Occupation number 2026-10-06
The eigenvalue of a mode number operator counts excitations in that mode. Bosonic occupation numbers range over all nonnegative integers; fermionic occupation numbers are zero or one.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 49 2 Solution Created 2026-10-03 Updated 2026-10-06
Solving the massive subsidiary conditions. In light-cone coordinates, use and write . The divergence condition readsThus, when is invertible,First apply this with , then with , and finally with ; symmetry supplies the mixed components already determined. The trace condition becomesThe independent components are , and the trace-free part of . Under transverse rotations they form a scalar representation, a vector representation, and a symmetric traceless rank-two tensor. ThereforeThis is the light-cone decomposition of a massive spin-two field for . In , the trace and divergence give and . The massive wave equation then forces , so there are no polarizations, consistent with the zero value of the printed count. The massive particle little group is , and its symmetric traceless square branches asThe mixed components with the extra direction give the vector; one independent trace combination gives the scalar. These are exactly the polarizations of a massive spin-two field. The remaining independent components retain the massive Klein-Gordon equation.
Transverse bosonic modes and mass levels. The variables are Fourier amplitudes of the physical transverse open-string mode expansion. Classically, reality requires . The symplectic term in the action fixes their quantum commutators:With string tension convention , the zero mode of the constraint givesThe longitudinal nonzero modes have already been removed in light-cone gauge in string theory. Quantum normal ordering introduces the string intercept , giving the open bosonic string mass spectrumEach bosonic occupation number is a nonnegative integer, so is a nonnegative integer weighted by oscillator frequency.
Suppressing the common momentum label, the lowest light-cone levels of an open bosonic string areThe oscillator vacuum is annihilated by every positive . At level one there are only vector polarizations. For a Lorentz-consistent vector, these are the transverse polarizations of a massless particle, transforming under the rotation part of its massless particle little group. A massive vector would need polarizations, including a scalar under that is absent here. Thus the first bosonic vector level must be massless, fixing .
At level two the commuting creation operators give a symmetric square. Its scalar trace and symmetric traceless square, together with the mode-two vector, are the massive-spin-two decomposition above. In the consistent bosonic theory they form one massive spin-two field with . The covariant equations describe its propagation while eliminating the redundant components. For the transverse counts are , the symmetric traceless rank-two tensor dimension of .
Half-integer fermionic modes. The Neveu–Schwarz sector has antiperiodic worldsheet Majorana fermions. Its Neveu–Schwarz fermionic oscillators obeyThe oscillator vacuum satisfies for and for . A negative fermion mode is a fermionic creation operator for a transverse worldsheet excitation. The Neveu–Schwarz level operator and mass condition areThe smallest positive frequency is , so the only first-excited states areThe same vector-polarization argument requires them to be massless in Lorentz-consistent quantization, fixing .
At , is a vector, while is the exterior square: interchanging the indices changes the sign and equal indices give zero. Together they branch from an antisymmetric tensor:Thus the Neveu–Schwarz level-one massive tensor has polarizations and mass squared . It differs from spin two because the two-fermion tensor is antisymmetric and has neither the symmetric trace-free representation nor its scalar trace. At , the count is , compared with for a massive spin-two field. The specified states are before the GSO projection; the usual tachyon-removing GSO projection also removes this integer level.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 306 4 ii Solution Created 2026-10-03 Updated 2026-10-06
The PDF's displayed zero-mode term has no derivative. Read literally, vanishes for classical Grassmann variables and supplies no zero-mode symplectic structure. The subsequent canonical-algebra requests therefore require the standard kinetic term . We use that intended correction explicitly; the rest of the displayed action fixes the nonzero-mode normalization.
The Ramond level operator, with vacuum-annihilating normal ordering, isThe canonical oscillator relations, for transverse indices , areThe hermiticity convention is and . The commuting bosonic zero mode is supplied by the center-of-mass momentum. For , define and . Their bosonic occupation numbers are and their fermionic occupation numbers are . Therefore, on the Fock space generated from an oscillator vacuum,Equivalently, creation operators raise the level by , since and . The zero modes commute with and do not change the level. The multiplier imposesso the states are massless. In the Ramond sector the bosonic and fermionic oscillator zero-point contributions cancel, consistently with the stated zero intercept. The massless ground states are spacetime spinors, as the Ramond zero-mode Clifford algebra now shows.
Normalize . ThenLet . Each positive-frequency bosonic annihilator commutes with , while each fermionic annihilator anticommutes with it. Applying either annihilator to therefore gives zero. Thus all eight are oscillator vacua. For real , the hermitian operator satisfies , soThis proves the real independence of Clifford-generated vectors, and hence their linear independence over .
The same argument applies to the nonzero vacuum , because . It gives eight real-linearly independent oscillator vacua . They include itself, at . Products of two zero modes preserve vacuum annihilation just as products of one do.
For the chirality matrix , reversing eight anticommuting factors introduces . HenceMoving any through the other seven factors also gives . If , thenThe first collection has negative chirality; the second has positive chirality. If and have these respective chiralities, hermiticity gives , so they are orthogonal. Combining the two real-independent collections therefore gives at least sixteen real-linearly independent oscillator vacua, eight in each chirality.
The real qualification in the question matters: the particular eight vectors generated from an arbitrary complex need not be independent over . Nevertheless the dimension bound from paired Clifford involutions also follows from the full Clifford algebra. Define four commuting hermitian involutions , . Their joint spectral projections preserve the vacuum space, so it contains a nonzero common eigenvector . Multiplication by flips the eigenvalue of and leaves the other three eigenvalues unchanged. The sixteen products obtained by independently choosing whether to apply these four odd-indexed Gamma matrices to consequently have distinct joint eigenvalue quadruples. They are nonzero, mutually orthogonal oscillator vacua. Thus the unprojected vacuum space also has complex dimension at least sixteen, with eight states of each chirality in the minimal representation. A further chiral projection is an additional physical restriction, not part of the oscillator-vacuum conditions here.