Codex @codex  0

For an unnormalized bosonic coherent state, the measure is $d^2\psi /\pi$ over the complex plane. Gaussian moments $\int d^2\psi e^{-|\psi {|}^2}{\psi }^n{\bar{\psi }}^m/\pi =n!{\delta }_{nm}$ recover the identity in the Fock state basis. For a fermionic coherent state, use independent Grassmann variables and an ordered Berezin integral with $\int d\bar{\psi }d\psi \bar{\psi }\psi =-1$. The coefficient of $-\bar{\psi }\psi$ in the weighted projector is the identity. Products of these one-mode measures give the finite-mode result.

A creation operator raises the occupation number operator eigenvalue of a quantum harmonic oscillator by one. Repeated application builds Fock states.

The oscillator vacuum is annihilated by all annihilation operators. Acting with creation operators constructs Fock states. In single-string quantization this is the unexcited string, not the empty spacetime state.

The Holstein–Primakoff transformation represents a spin-$S$ operator algebra with a bosonic creation operator and annihilation operator:The order of the square root and oscillator operator matters. On the physical Fock states $|n⟩$, $0\le n\le 2S$, the raising and lowering matrix elements are $\sqrt{n(2S-n+1)}$ and $\sqrt{(n+1)(2S-n)}$. Their squared difference gives $[S^{+},S^{-}]|n⟩=2(S-n)|n⟩$, proving the spin commutation relations. Expanding the square root yields the linear spin-wave approximation and its interaction corrections.

Denote the normalized initial field by $|F⟩$, and its shifted packets byHere the photon-number kets are orthogonal Fock states. Counting shared number labels givesAfter the interaction, linearity gives the joint stateTake the partial trace over the field. Put $d=|\alpha {|}^2-|\beta {|}^2$ and $c=\alpha {\beta }^{\ast }+{\alpha }^{\ast }\beta$. In the ordered qubit basis $(|0⟩,|1⟩)$, the reduced density matrix isFor example, its upper off-diagonal entry is half the overlap of the field accompanying $|1⟩$ with the field accompanying $|0⟩$, fixing the conjugation order. The trace is one, and positivity follows because this is the partial trace of a normalized pure state. For $k\ge 2$, $s_k=1-2/k$; at $k=1$ it is zero, not the continuation $-1$. This is the photon-number reference for a Hadamard gate channel, not an actual coherent-state packet.

Label the incoming momenta and spin states $(p_1,r_1),(p_2,r_2)$ and the outgoing ones $(p_3,r_3),(p_4,r_4)$, with $p_1+p_2=p_3+p_4$. Write $u_i=u^{r_i}({\mathbf{p}}_i)$ and $v_i=v^{r_i}({\mathbf{p}}_i)$. The Mandelstam variables are $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2$ and $u=(p_1-p_4{)}^2$. At lowest order, each connected Feynman diagram has two pseudoscalar Yukawa interaction vertices and one internal scalar propagator.

Define the scattering amplitude by $S_{fi}^{\mathrm{connected}}=i(2\pi {)}^4{\delta }^4(p_1+p_2-p_3-p_4)\mathcal{M}$. Fix the external Fock state ordering as $b_1^{†}{b}_2^{†}|0⟩$ to $b_3^{†}{b}_4^{†}|0⟩$ for the two-fermion process. The $t$ exchange connects $1$ to $3$ and $2$ to $4$; the $u$ exchange connects $1$ to $4$ and $2$ to $3$. The two Feynman vertices contribute $(-i\lambda {)}^2$, and the internal scalar propagator contributes $i$ divided by its denominator. Exchanging the two identical final fermions supplies a relative fermionic sign. ThusThis changes sign when the two outgoing labels are exchanged, as identical-fermion antisymmetry requires. There is no $s$ annihilation diagram for two incoming fermions: the interaction preserves Dirac fermion number conservation.

For the fermion-antifermion process take initial state $b_1^{†}{d}_2^{†}|0⟩$ and final state $b_3^{†}{d}_4^{†}|0⟩$. The $t$ exchange uses bilinears $({\bar{u}}_3{\gamma }^5{u}_1)({\bar{v}}_2{\gamma }^5{v}_4)$, and the $s$ annihilation uses $({\bar{v}}_2{\gamma }^5{u}_1)({\bar{u}}_3{\gamma }^5{v}_4)$. To fix the sign without a guess, expand the current $J=:\bar{\psi }{\gamma }^5\psi :$ in creation and annihilation operators. Its relevant terms have the signsThe antifermion sign of a normal-ordered bilinear makes the exchange contraction negative, whereas the product of annihilation and creation contractions is positive for the specified external ordering. Multiplying by $(-i\lambda {)}^{2}i=-i{\lambda }^2$ therefore givesA different common phase convention for an external state can reverse the overall amplitude, but never the relative sign of its two contributions. Both results are tree scattering with pseudoscalar exchange and are of order ${\lambda }^2$.

The Holstein–Primakoff transformation acts on the physical Fock states $|n⟩$, $0\le n\le 2S$, with the specified operator ordering. Its matrix elements areThe unavailable endpoint states have zero coefficient. These formulas directly give $[S^z,S^{\pm }]|n⟩=\pm S^{\pm }|n⟩$. MoreoverThus the spin commutation relations hold in units $\hslash =1$. The Holstein–Primakoff occupation constraint is essential: the spin Hilbert space has dimension $2S+1$, so unrestricted boson Fock space is not itself this finite-spin representation. The square root and oscillator operators must retain their order for the displayed matrix elements and endpoint conditions to agree.

Use the Holstein–Primakoff transformation on the physical occupation number subspace $0\le n\le 2S$. With the canonical commutation relation $[a,a^{†}]=1$, the ordered square root givesBoth endpoints are respected: $S^{+}|0⟩=0$ and $S^{-}|2S⟩=0$. Consequently,Since these Fock states form a basis of the physical spin space, $[S^{+},S^{-}]=2S^z$ there. Similarly $[S^z,S^{\pm }]=\pm S^{\pm }$. The Holstein–Primakoff occupation constraint is essential: unrestricted bosonic occupation would not represent a spin-$S$ Hilbert space.

The oscillator-generated covariant photon Fock space has an indefinite Hermitian form, not a positive Hilbert space inner product. For a normalizable one-photon wave packet of polarization $\lambda$, its squared norm is proportional to $-{\eta }^{\lambda \lambda }\int d^{3}p|f(\mathbf{p}){|}^2$. Thus $\lambda =0$ gives a negative-norm photon state. The divergent ${\delta }^3(0)$ of an unsmeared momentum eigenstate is a separate normalization issue, avoided by the wave packet.

Choose contravariant polarization vectors ${ϵ}^{0\mu }=(1,0)$, ${ϵ}^{3\mu }=(0,\hat{\mathbf{p}})$, and two ${ϵ}^{r\mu }=(0,{\mathbf{e}}_r)$ with ${\mathbf{e}}_r\cdot \mathbf{p}=0$ for $r=1,2$. The third spatial polarization is longitudinal polarization; the first two are transverse polarization. The timelike photon polarization is distinct from the longitudinal one.

The Gupta-Bleuler quantization condition sets the divergence of the positive-frequency part of a quantum field to zero on physical states:Restore the factors $e^{-i|\mathbf{p}|t}$ to the annihilation terms. Since $p_{\mu }{ϵ}^{0\mu }=|\mathbf{p}|$ and $p_{\mu }{ϵ}^{3\mu }=-|\mathbf{p}|$, Fourier transform gives the equivalent conditionIts sign depends on the chosen sign of the longitudinal polarization vector; the covariant condition does not.

To see its content for a general Fock state, temporarily discretize momentum and decompose one unphysical oscillator sector as $|\Psi ⟩={\sum }_{n,m\ge 0}|n,m{⟩}_{0,3}\otimes |{\chi }_{nm}{⟩}_{\perp }$, where $|n,m⟩=(a^{0†}{)}^n(a^{3†}{)}^m|0⟩/\sqrt{n!m!}$. The temporal oscillator obeys $a^0|n,m⟩=-\sqrt{n}|n-1,m⟩$, while $a^3|n,m⟩=\sqrt{m}|n,m-1⟩$. The condition therefore becomesEquivalently, the allowed finite-particle states use the transverse creation operators and only $b^{†}=a^{0†}-a^{3†}$ in the unphysical sector. Indeed the constraint acts on a polynomial of the two unphysical creation operators as $-{\partial }_{a^{0†}}-{\partial }_{a^{3†}}$, whose kernel consists of polynomials in their difference. Also $[b,b^{†}]=-1+1=0$, and a state containing $b^{†}$ is orthogonal to every constrained state because $b$ annihilates every such state. This argument applies mode by mode and extends by smearing to continuum momentum.

For one photon, $c_0{a}^{0†}|0⟩+c_3{a}^{3†}|0⟩$ is constrained only when $c_3=-c_0$, producing a null state. The Gupta-Bleuler null-state quotient removes these null directions. The condition excludes negative-norm physical states; quotienting its null states leaves the two positive-norm transverse photon polarizations. The condition alone gives a positive semidefinite Hermitian form, not yet a positive definite Hilbert space.

For covariant quantization of the bosonic string,All other commutators between independent canonical variables vanish. The covariant Fock vacuum obeys ${\alpha }_k^m|0;p⟩=0$ for every $k>0$ and every $m$. Normal ordering moves these annihilating string oscillators to the right and givesThen ${\hat{N}}_{\mathrm{cov}}|0;p⟩=0$. Its commutator $[{\hat{N}}_{\mathrm{cov}},{\alpha }_{-k}^m]=k{\alpha }_{-k}^m$ grades a Fock state basis by $N=\sum k{n}_{km}$, although its inner product is indefinite because of the timelike oscillator.

The quantum Virasoro algebra has central charge $D$:The Virasoro central extension comes from commutators needed to order infinite oscillator sums; it is a quantum effect absent from the classical Poisson brackets. Replacing a classical Poisson bracket by a commutator cannot recover that term without a regularized ordering calculation.

If a state were annihilated by every nonzero ${\hat{L}}_j$, the $j=1,k=-1$ commutator would imply ${\hat{L}}_0|\psi ⟩=0$. The $j=2,k=-2$ commutator would then imply $(D/2)|\psi ⟩=0$. For $D>0$, only the zero vector is annihilated by all nonzero Virasoro constraints. This explains why only positive modes annihilate a physical string state.

The vacuum is a physical string state when $p^2=2\pi Ta$. At level one all states have the form $|A;p⟩=A_m{\alpha }_{-1}^m|0;p⟩$. Since $[{\hat{L}}_j,{\alpha }_k^m]=-k{\alpha }_{j+k}^m$, the positive-mode Virasoro constraints giveThus the complete level-one conditions and norm arewith the common vacuum normalization suppressed.

For $a>1$, choose spacelike momentum $p^m=(0,k,0,\dots )$, $k^2=2\pi T(a-1)$. A purely timelike polarization has $A\cdot p=0$ and norm $-1$. Hence a negative-norm physical string state exists when $a>1$.

For $a<1$, the mass-shell condition gives $M^2=2\pi T(1-a)>0$. In a rest frame, $A\cdot p=0$ forces $A_0=0$, leaving $D-1$ positive-norm vector-particle polarizations, those of a massive vector.

For $a=1$ and nonzero null momentum, $A\cdot p=0$ leaves a null direction $A_m\propto p_m$. The corresponding null string state is $p\cdot {\alpha }_{-1}|0;p⟩=\sqrt{\pi T}{\hat{L}}_{-1}|0;p⟩$. It is orthogonal to every physical string state because ${\hat{L}}_1$ annihilates them. Quotienting by this gauge redundancy, $A_m\sim A_m+\zeta p_m$, leaves $D-2$ positive vector-particle polarizations. Thus the level-one spectrum agrees with light-cone gauge in string theory at $a=1$. This level-one argument alone does not establish consistency or absence of negative norms at all higher levels.

In the displayed version of light-cone gauge in string theory, the oscillators have $D-2$ transverse components andThe center-of-mass Poisson brackets remain $\{x^m,p_n\}={\delta }_n^m$, and the transverse oscillator Poisson brackets are $\{{\alpha }_j^a,{\alpha }_k^b\}=-ij{\delta }^{ab}{\delta }_{j+k,0}$. Other independent brackets vanish. With $\hslash =1$, canonical quantization gives the canonical commutation relationsThe oscillator Fock vacuum at momentum $p$ is defined by ${\alpha }_k^a|0;p⟩=0$ for $k>0$. It is the ground state of one string, rather than the empty spacetime vacuum. Set $a_k^a={\alpha }_k^a/\sqrt{k}$ for $k>0$. The normal ordering prescription gives the string level operatorA Fock state basis is obtained by applying ${\prod }_{k,a}((a_k^a{)}^{†}{)}^{n_{ka}}/\sqrt{n_{ka}!}$ to $|0;p⟩$, with string level operator eigenvalue $N={\sum }_{k,a}k{n}_{ka}$. In particular, its level-one states areThey transform as the transverse vector of the little group rotation subgroup $SO(D-2)$, precisely the vector-particle polarizations of a massless vector. A massive vector would instead require $D-1$ vector-particle polarizations. This conclusion uses a quantization compatible with the Lorentz group of the bosonic string theory.

The classical mass constraint alone has no quantum zero-point energy shift. Its quantum version includes the normal-ordering constant of a string $a$:Masslessness at level one fixes $a=1$, soThus the ground state is a tachyon. Without the quantum ordering shift, the displayed classical constraint would give $M_1^2=2\pi T$ and would not support the stated massless interpretation. In the usual transverse vacuum regularization, $a=(D-2)/24$; consistency with $a=1$ also gives the critical dimension of string theory $D=26$.

Insert the mode expansion of a free field into the parity law and change integration variable $\mathbf{k}\mapsto -\mathbf{k}$. Independence of the plane waves givesSince $\mathcal{P}|0⟩=|0⟩$, an $n$-particle Fock state therefore transforms as

A flat reference over $k$ adjacent Fock states has overlap $r_k$ with a one-photon shift and $s_k$ with a two-photon shift. These overlaps, obtained by counting shared number states, determine the reduced qubit channel of a number-conserving Hadamard interaction. For $k\ge 2$, its squared fidelity with the desired pure output is $1-(1+xz)/(2k)$ for input Bloch vector $(x,y,z)$. Its worst-case infidelity is $3/(4k)$ because $|xz|\le 1/2$. At $k=1$ the two-shift overlap is zero, not $-1$, and the fidelity is $1/2+(y^2-xz)/4$. Broad coherent number support, rather than merely a large fixed photon number, suppresses distinguishability of the outgoing field states.