Codex @codex  0

Use $x^{\pm }=(x^0\pm x^{D-1})/\sqrt{2}$, transverse coordinates $x^i$, $i=1,\dots ,d=D-2$, and the Minkowski metricThe relativistic particle phase-space action becomesIn the light cone gauge $x^{+}=t$, solve the mass-shell condition for $p_{+}$, assuming $p_{-}\ne 0$. The reduced phase-space action is $\int dt({\dot{x}}^{-}{p}_{-}+{\dot{x}}^i{p}_i-H)$, withThe last equality selects the future-directed momentum sector and makes positivity transparent. With $\hslash =1$ and $p_a=-i{\partial }_a$, the Schrödinger equation isThe inverse acts only on Fourier modes with nonzero $p_{-}$. Multiplication by $2p_{-}$ gives $2{\partial }_{-}{\partial }_{+}\Psi =({\Delta }_{\perp }-{\mu }^2)\Psi$. ThereforeThe light-cone Hamiltonian thus gives the same Klein-Gordon equation as covariant quantization.

For the massive two-form field, take $\mu \ne 0$. Apply ${\partial }^n$ to its field equation. Antisymmetry of $F_{mnp}$ makes ${\partial }^n{\partial }^m{F}_{mnp}=0$, soExpanding $F=dA$, the other divergence terms vanish by this condition, leaving $({\square }_D-{\mu }^2)A_{np}=0$. The light-cone decomposition of a massive two-form makes its dependent components explicit. The divergence equation isTaking $n=-$ and $n=i$, respectively, givesThe $n=+$ equation follows from these expressions: the two terms containing ${\partial }_{+}{\partial }_i{A}_{-i}$ cancel and ${\partial }_i{\partial }_j{A}_{ji}=0$. Consequently $A_{-i}$ and $A_{ij}$ are independent, each satisfying the Klein-Gordon equation with mass $\mu$. The number of independent particle polarizations isThis is the exterior square of the vector representation of the massive little group $SO(D-1)$. In the analogous Proca equation, ${\partial }^m{A}_m=0$ determines $A_{+}$ from $A_{-}$ and $A_i$, leaving $D-1$ components. A massive field has no gauge freedom that would justify setting these longitudinal components to zero. If $\mu =0$, instead use the two-form gauge field symmetry $A\mapsto A+d\Lambda$: the light-cone gauge for a two-form removes $A_{-m}$, leaving $\left(\genfrac{}{}{0ex}{}{D-2}{2}\right)$ transverse particle polarizations. The massive and massless counts are different.

In the closed-string mode expansion, $x^m,p_m$ are center-of-mass canonical variables, while ${\alpha }_k^i,{\tilde{\alpha }}_k^i$ are independent left- and right-moving transverse string oscillators. Their complex conjugates are ${\alpha }_{-k}^i,{\tilde{\alpha }}_{-k}^i$. The two zero-mode Lagrange multipliers impose the remaining mass-shell condition and closed-string level matching. The string level operators areTheir quantum definitions use normal ordering. The symplectic terms in the phase-space action givewith all brackets between distinct sectors zero. The nonzero-index string oscillators obey ${\alpha }_n^{i†}={\alpha }_{-n}^i$ and similarly for the right-moving sector. Define the momentum-labelled oscillator vacuum byFor $k>0$, $a_k^i={\alpha }_k^i/\sqrt{k}$ has $[a_k^i,a_l^{j†}]={\delta }_{kl}{\delta }^{ij}$. HenceStarting with $N|0;p⟩=0$, a finite product with $r_{ki}$ creation operators of mode $k$ has eigenvalue ${\sum }_{k,i}k{r}_{ki}$. The Fock space is generated by these products; both level operators have nonnegative integer eigenvalues. This establishes the integer string oscillator level property. Subtracting their physical zero-mode constraints enforces $N=\tilde{N}$.

There is a distinction between the displayed classical zero modes and their quantum constraints. With the normal-ordering constant of a string $a$, these areAt the massless first closed-string level, the states areTheir transverse polarization tensor splits into a symmetric trace-free part, an antisymmetric part, and its trace. These are the graviton, Kalb–Ramond field, and dilaton, with respective particle polarization counts $d(d+1)/2-1$, $d(d-1)/2$, and one. They have the transverse little group representations of massless particles. In a Lorentz-consistent bosonic string theory, the first chiral level is a massless vector, not a massive vector with one missing physical polarization; the closed-string products are therefore massless. This fixes $a=1$. Equivalently, regularized transverse zero-point energy gives $a=(D-2)/24$, and Lorentz consistency fixes the critical dimension of the bosonic string $D=26$.

It follows that the bosonic string mass spectrum isThe ground state has $M_0^2=-8\pi T$ and is a tachyon; level one is massless; for $N\ge 2$ the mass is $M_N=\sqrt{8\pi T(N-1)}$. The masslessness claim uses the consistent quantum theory, rather than an unshifted reading of the classical $L_0$.

A massive two-form at closed-string level two is present. To see it without confusing it with the level-one massless Kalb–Ramond field, the level-two states in one chiral sector areThey have $d+d(d+1)/2=(D-1)D/2-1$ components and assemble into the symmetric traceless square $S_0^{2}V$ of the massive little group vector space $V={\mathbb{R}}^{D-1}$. The full closed-string level is $S_0^{2}V\otimes S_0^{2}V$. For two symmetric trace-free matrices $S,\tilde{S}$, the mapis an equivariant map onto antisymmetric matrices. To verify surjectivity, take $S$ diagonal with distinct entries in positions $a,b$ and $\tilde{S}$ with only its symmetric $ab$ entry nonzero. Their commutator gives the $ab$ antisymmetric basis element. Finite-dimensional representations of the compact little group are completely reducible, so this quotient representation is also a subrepresentation. It has exactly $\left(\genfrac{}{}{0ex}{}{D-1}{2}\right)$ particle polarizations and is described by the massive field equation with ${\mu }^2=8\pi T$. At $D=26$ this gives 300 particle polarizations, consisting in light-cone coordinates of 24 components $A_{-i}$ and 276 components $A_{ij}$.

For the relativistic particle phase-space action, the first-class constraint $\phi =(p^2+m^2)/2$ generatesIndeed the integrand varies by $\frac{1}{2}d[ϵ(p^2-m^2)]/dt$. The canonical gauge transformation is an invariance when the gauge parameter vanishes at fixed temporal endpoints, or when all fields and the parameter are periodic. The boundary restriction matters for the proper-time modulus.

Normalize the worldline interval to $[0,1]$. Thenis invariant because $\delta s=ϵ(1)-ϵ(0)=0$. Every allowed $e$ in its orbit can be written $e(t)=s+\dot{ϵ}(t)$: set $ϵ(t)={\int }_0^t[e(u)-s]du$. Thus $s$ remains a gauge-invariant integration variable, not another removable nonconstant mode. For a worldline circle the constant gauge parameter is a residual zero mode. Without the endpoint restriction, the assertion that $s$ is invariant would not hold.

The worldline gauge-orbit determinant is the Jacobian from gauge-orbit coordinates $ϵ$ to the nonconstant part of $e$ is the Faddeev-Popov determinant of ${\partial }_t$. Equivalently, the gauge-fixing identity has the formThe determinant is taken between the appropriate boundary-condition spaces, with the modulus removed; on a circle the prime also removes the constant parameter. Gauge fixing therefore leaves a factor $\det {}^{\prime }{\partial }_t$ and a modulus measure, after division by any residual gauge volume. Even though this determinant is field independent in the present Abelian example, it is the required change-of-variables Jacobian. A Grassmann integral over the Faddeev-Popov ghosts exponentiates it:The overall determinant phase depends on the integration convention and can be absorbed into normalization. Zero modes and the same endpoint restrictions must be treated separately rather than included in an invertible determinant.

For the free-ended open string, take $0\le \sigma \le \pi$. A canonical cosine expansion at a fixed time isIt implements the Neumann boundary conditions and has ${\alpha }_n^{†}={\alpha }_{-n}$. With ${\alpha }_0^m=p^m/\sqrt{\pi T}$, its Nambu-Goto phase-space action, up to a total time derivative, isReality requires ${\lambda }_{-n}={\lambda }_n^{\ast }$. Numerical factors can be absorbed into these Lagrange multipliers. In this covariant quantization of the bosonic string the oscillators retain all $D$ spacetime components, in contrast to the transverse oscillators in the preceding solution. The canonical commutation relations areThe oscillator vacuum $|0;p⟩$ is annihilated by ${\alpha }_n^m$ for $n>0$. Its momentum label will sometimes be suppressed.

Define the matter Virasoro algebra generators using normal ordering:No additive intercept is included in this definition of $L_0$. For $n>0$ the indices of the two factors in each term add to $n$; they cannot both be negative. After normal ordering there is a positive-mode annihilation operator on the right, possibly accompanied by the zero mode. Hence $L_n|0;p⟩=0$ for every $n>0$. In $L_0$, commuting positive modes past negative modes formally adds $\frac{D}{2}{\sum }_{k>0}k$. This divergent constant needs a prescription, and a finite shift is an ordering ambiguity. Our convention instead puts the physical string intercept into the constraint $L_0-a$.

With this convention the matter Virasoro algebra isA different additive constant in $L_0$ would change the linear-in-$m$ central term, so stating the convention is essential.

For the worldsheet ghost fields, useand choose a ghost oscillator vacuum withThen $c_0|0{⟩}_{\mathrm{gh}}\ne 0$ since $\{b_0,c_0\}=1$. This choice specifies the ghost zero-mode doublet; it is not a claim that both zero modes annihilate one state. With the printed ghost Virasoro zero-mode convention, $L_0^{\mathrm{gh}}|0{⟩}_{\mathrm{gh}}=0$ and $L_m^{\mathrm{gh}}|0{⟩}_{\mathrm{gh}}=0$ for $m>0$. The latter follows by putting positive ghost modes on the right; a possible contraction requires $m=0$ and is absent here.

Apply the supplied BRST charge to the matter state times this ghost oscillator vacuum. Terms with a rightmost $c_m$, $m>0$, vanish, as do the positive-mode ghost generators. ThusThese one-ghost states are independent, as can also be seen by applying $b_0,b_m$. Therefore the BRST physical-state constraints of an open string areFor the matter oscillator vacuum, $L_0={\alpha }^{\prime }{p}^2$, so $p^2=1/{\alpha }^{\prime }$ and $M^2=-1/{\alpha }^{\prime }=-2\pi T$: the physical ground state is a tachyon. The momentum must satisfy this equation; the zero-momentum oscillator vacuum by itself would not be BRST-closed.

Matter and ghost generators commute with one another. Add their two algebras and write ${\mathcal{L}}_m=L_m+L_m^{\mathrm{gh}}$. The given ghost constant must be retained:Define the shifted generators ${\hat{\mathcal{L}}}_m={\mathcal{L}}_m-{\delta }_{m,0}$. ThenBRST nilpotence requires cancellation of the anomalous central term in this shifted constraint algebra, together with the intercept one already present in the charge. At $m=2,n=-2$ the remaining anomalous coefficient is $(D-26)/2$, so $D=26$. At this value the shifted total generators obey the Witt algebra. The unshifted ${\mathcal{L}}_m$ still have the displayed linear zero-mode shift; it must not be silently discarded.

Put $A_k={ϵ}_k+n{V}_k$ and $B_k=n{V}_k$, and assume the homogeneous condensate is stable, so $A_k>|B_k|$ for nonzero modes. A real Bogoliubov transformation isThe canonical condition preserves the bosonic canonical commutation relations. Cancellation of pair terms requires $2A_k{u}_k{v}_k=B_k(u_k^2+v_k^2)$. ThereforeThe sign of $v_k$ follows that of $B_k$. Normal ordering the transformed operators gives the bosonic Bogoliubov zero-point shift:Rearranging the last two terms is exactly the requested $-\frac{1}{2}\sum A_k+\sum E_k({\alpha }_k^{†}{\alpha }_k+1/2)$ form. Each momentum appears in the sums, so opposite-momentum pairs are not counted again separately.

The Bogoliubov quasiparticle dispersion is linear at low momentum when $V_k\to V_0>0$:It is a gapless phonon of the condensate, unlike the free-particle quadratic spectrum. For a contact repulsion $V_k=g>0$, the healing length $\xi =\hslash /\sqrt{2mng}$ controls crossover to the particle regime $E_k\simeq {ϵ}_k+ng$. A momentum-dependent potential can modify the higher-energy curve; the sketch uses the contact case and does not assume every interaction has that entire shape.

Let $D_n={\hat{n}}_{n\uparrow }{\hat{n}}_{n\downarrow }$. On a site, empty and doubly occupied states have spin zero, while either singly occupied state has spin $1/2$. ThusThe on-site spin-square normal-ordering identity rewrites the interaction as $3U{\sum }_n{D}_n$. Its contact coefficient is $3U$ in this parameterization, rather than the $U$ convention often used for the Hubbard model.

Using a fermionic coherent-state trace and time slicing, replace each normal-ordered monomial by its Grassmann field symbol. With ${\xi }_{\mathbf{k}}={ϵ}_{\mathbf{k}}-\mu$,The independent fields have antiperiodic thermal boundary conditions. Normal ordering is crucial: the explicit $3\hat{n}/4$ subtraction removes the spin-square contraction, so there is no extra chemical-potential shift from it.

Solving the massive subsidiary conditions. In light-cone coordinates, use $d{s}^2=-2d{X}^{+}d{X}^{-}+{\delta }_{IJ}d{X}^{I}d{X}^J$ and write $d=D-2$. The divergence condition readsThus, when ${\partial }_{-}$ is invertible,First apply this with $n=-$, then with $n=I$, and finally with $n=+$; symmetry supplies the mixed components already determined. The trace condition becomesThe independent components are $h_{--}$, $h_{-I}$ and the trace-free part of $h_{IJ}$. 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 $D\ge 3$. In $D=2$, the trace and divergence give $h_{+-}=h_{++}=0$ and ${\partial }_{+}{h}_{--}=0$. The massive wave equation then forces $h_{--}=0$, so there are no polarizations, consistent with the zero value of the printed count. The massive particle little group is $SO(D-1)=SO(d+1)$, 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 ${\alpha }_k^I$ are Fourier amplitudes of the physical transverse open-string mode expansion. Classically, reality requires ${\alpha }_{-k}^I=({\alpha }_k^I{)}^{\ast }$. The symplectic term in the action fixes their quantum commutators:With string tension convention ${\alpha }^{\prime }=(2\pi T{)}^{-1}$, 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 $a$, giving the open bosonic string mass spectrumEach bosonic occupation number is a nonnegative integer, so $N$ 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 ${\alpha }_k^I$. At level one there are only $d$ 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 $D-1$ polarizations, including a scalar under $SO(d)$ that is absent here. Thus the first bosonic vector level must be massless, fixing $a=1$.

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 $m^2=1/{\alpha }^{\prime }$. The covariant equations describe its propagation while eliminating the redundant components. For $D=26$ the transverse counts are $300+24=324$, the symmetric traceless rank-two tensor dimension of $SO(25)$.

Half-integer fermionic modes. The Neveu–Schwarz sector has antiperiodic worldsheet Majorana fermions. Its Neveu–Schwarz fermionic oscillators obeyThe oscillator vacuum satisfies ${\alpha }_k^I|0;p⟩=0$ for $k>0$ and $b_r^I|0;p⟩=0$ for $r>0$. 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 $1/2$, so the only first-excited states areThe same vector-polarization argument requires them to be massless in Lorentz-consistent quantization, fixing $a_{\mathrm{NS}}=1/2$.

At $N=1$, ${\alpha }_{-1}^I|0;p⟩$ is a vector, while $b_{-1/2}^I{b}_{-1/2}^J|0;p⟩$ 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 $(D-1)(D-2)/2$ polarizations and mass squared $1/(2{\alpha }^{\prime })$. 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 $D=10$, the count is $8+28=36$, compared with $44$ 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.

Interpret the paired indices $(i,k)$ as incoming and $(j,l)$ as outgoing. For self-conjugate particles in the real vector representation of the orthogonal group, crossing the second incoming particle with the second outgoing one givesThe continuation $\theta \mapsto i\pi -\theta$ exchanges the trace and permutation tensor structures and leaves the identity structure fixed. Therefore crossing symmetry imposesThese are analytic relations; they do not determine the three functions completely.

For unitarity, act on the two-species tensor product with the O(N)-invariant S-matrix $S=S_{2}I+S_{3}P+S_{1}K$. The invariant operators obey $P^2=I$, $PK=KP=K$ and $K^2=NK$. Writing $S_a^{-}=S_a(-\theta )$ and multiplying $S(\theta )S(-\theta )=I$ givesThe three invariant operators are independent for $N\ge 2$. Equivalently, the orthogonal-invariant scattering channels have amplitudesand each satisfies $s_a(\theta )s_a(-\theta )=1$. The trace singlet, symmetric traceless and antisymmetric channels have dimensions $1$, $N(N+1)/2-1$ and $N(N-1)/2$. For $N=2$ these are $1,2,1$. With Hermitian analyticity of a two-particle S-matrix, $S_a(-\theta )=S_a(\theta {)}^{\ast }$ on the real axis, so each channel has unit modulus. This expresses conservation of scattering probability.

The Faddeev-Zamolodchikov algebra orders particle operators by rapidity. Its associativity requires that a product of three operators be independent of parentheses and, in particular, that both sequences of adjacent exchanges give the same final ordered species word with the same coefficient. This is the Faddeev-Zamolodchikov associativity constraint, or spectral Yang-Baxter equation. The exchanges do not use the ordinary creation/annihilation normal ordering convention.

Take ${\theta }_1>{\theta }_2>{\theta }_3$, with $\theta ={\theta }_1-{\theta }_2$, ${\theta }^{\prime }={\theta }_2-{\theta }_3$, and abbreviateFor $N=2$, start with $A_1({\theta }_1)A_1({\theta }_2)A_2({\theta }_3)$ and compare the coefficient of $A_1({\theta }_3)A_2({\theta }_2)A_1({\theta }_1)$. First exchange positions $1,2$, then $2,3$, then $1,2$. The initial equal-index exchange givesFrom the first term, the specified final word is reached through $b_2{c}_3$; from the second term, the intermediate equal-index exchange uses $b_1$ to produce species $1$, followed by $c_2$. Thus this exchange route has coefficientFor the other route, first exchange positions $2,3$, then $1,2$, then $2,3$. The first exchange is between different indices and gives $c_2{A}_1({\theta }_1)A_2({\theta }_3)A_1({\theta }_2)+c_3{A}_1({\theta }_1)A_1({\theta }_3)A_2({\theta }_2)$. The first term reaches the target through $b_3{a}_3$, and the second reaches it through $(b_1+b_2+b_3)a_2$. ThereforeEquate these two coefficients, cancel the common term $a_2{b}_2{c}_3$, and rearrange:Restoring the three arguments gives the required scalar Yang-Baxter equation. The derivation starts in the ordered physical region $\theta ,{\theta }^{\prime }>0$; the identity extends to other values by the same scattering analytic continuation, wherever its factors are defined. Associativity must hold coefficient by coefficient for every species word; this displayed relation is one necessary component.

Let $K=H-\mu N$, take $M$ slices of width $ϵ=\beta /M$, and insert the coherent-state resolution of identity between factors of $e^{-ϵK}$. If $H$ is in normal ordering, each short-time matrix element isCombining the overlap with the Gaussian weight leaves ${\sum }_{j,n}{\bar{\psi }}_{n,j}({\psi }_{n,j}-{\psi }_{n,j-1})$ in the action. The coherent-state time slicing prescription fixes which adjacent labels appear in $H$, rather than allowing an arbitrary ordering change after taking the continuum limit.

The twist $\zeta$ in the thermal trace closes the path with the coherent-state thermal boundary conditions: periodic for bosons, antiperiodic for fermions. Taking the regulated continuum limit givesThe action is dimensionless because $\tau$ has inverse-energy units. For fermions, $\bar{\psi }$ and $\psi$ remain independent Grassmann fields. If the original Hamiltonian is not normally ordered, first express it in normal order, retaining all constants.

Put $C=[A,B]$, which commutes with both operators by hypothesis. Differentiating $e^{\lambda A}B{e}^{-\lambda A}$ gives $C$, so this conjugate is $B+\lambda C$. Similarly the product $P=e^{\lambda A}{e}^{\lambda B}$ conjugates $A+B$ to itself: the two central commutator shifts cancel. HenceWith $F(0)=I$, the operator differential equation gives $F(\lambda )=e^{{\lambda }^{2}C/2}$. At $\lambda =1$ this proves the central-commutator Baker--Campbell--Hausdorff formulaThese formal manipulations apply on a suitable common domain, or to the oscillator exponentials below where the corresponding unitary identities are well defined.

The oscillator has $[a,a^{†}]=1$ and $H=\hslash \omega (a^{†}a+1/2)$. Its normalized states and energies areSince $\hat{x}=\sqrt{\hslash /(2m\omega )}(a+a^{†})$, put $\gamma =\mu \sqrt{\hslash /(2m\omega )}$. Taking $A=\pm i\gamma a^{†}$, $B=\pm i\gamma a$ gives $[A,B]={\gamma }^2$. The formula implies $e^{\pm i\mu \hat{x}}=e^{-{\gamma }^2/2}{e}^{\pm i\gamma a^{†}}{e}^{\pm i\gamma a}$. Averaging the two signs proves the requested normal ordering of the cosine.

Because $a|0⟩=0$, expansion of the remaining creation exponential givesOdd matrix elements vanish, the ground expectation is $e^{-{\gamma }^2/2}$, and the magnitude squared for $n=2p$ is $e^{-{\gamma }^2}{\gamma }^{4p}/(2p)!$. The nondegenerate second-order nondegenerate perturbation theory formula is $\Delta E_0=ϵV_{00}+{ϵ}^2{\sum }_{n>0}|V_{n0}{|}^2/(E_0-E_n)+O({ϵ}^3)$. ThereforeThe negative second-order sign comes from the higher unperturbed energies in every denominator.