Codex @codex  0

Use momentum conservation and conservation of energy in the laboratory inertial frame. The photon has momentum magnitude $E/c$, while the outgoing Electron satisfies the relativistic energy-momentum relation. Its total energy and momentum obeySubstitute these into $E_e^2=m^2{c}^4+c^2|{\mathbf{p}}_e{|}^2$. Cancelling $m^2{c}^4$ and $(E_1-E_2{)}^2$ gives $m{c}^2(E_1-E_2)=E_1{E}_2(1-\cos \theta )$. Both photon energies are positive, so division yieldsThis is Compton scattering. The energies include the Electron's rest energy; using only its kinetic energy in the mass-shell equation would give the wrong result. The outgoing photon has unchanged energy at $\theta =0$ and smaller energy for a nonzero scattering angle.

The wavefunction is a plane wave and a simultaneous formal eigenfunction of the momentum operator and the time-translation energy operator:Its momentum and energy are therefore definite, while its probability density is spatially uniform:For a particle of mass $m$, the probability current is $j=(\hslash /m)\mathrm{Im}(\overline{\varphi }{\partial }_x\varphi )=\hslash k{A}^2/m$, directed according to the sign of $k$.

On the whole real line, a nonzero constant-amplitude plane wave is not square-integrable and cannot be normalised to total probability one. It represents an idealised momentum eigenstate, interpreted through generalized eigenfunctions or as a limit of wave packets. Also, arbitrary $k,E$ do not automatically solve the Schrodinger equation for a specified potential energy: for a free particle, $E={\hslash }^2{k}^2/(2m)$, or this value plus the constant potential energy for a constant-potential region. If $A=0$, the zero function is not a physical quantum state.

Write $D={\partial }_{\mu }{A}^{\mu }$. The additional gauge fixing variation is $\delta (-D^2/2)=-D{\partial }_{\mu }\delta A^{\mu }$. Integration by parts gives the Euler-Lagrange field equation ${\partial }_{\mu }{F}^{\mu \nu }+{\partial }^{\nu }D=0$, hence $\square A^{\nu }=0$. This equation follows from the gauge-fixed density without imposing $D=0$ as a separate operator identity.

Direct differentiation of the density as printed gives the canonical momentum components conjugate to the lower-index fields:There is a boundary-term convention to reconcile with part (c). The Feynman-gauge Maxwell kinetic density after a boundary-term subtraction isIt has the same Euler-Lagrange field equations, but its canonical momentum components are ${\pi }^{\prime \nu }=-{\dot{A}}^{\nu }$. The mode expansion supplied in part (c) is the expansion of these latter momenta. Thus it is valid after the stated boundary-term subtraction; it is not the direct derivative of the original density. For example, a time-independent spatially varying $A_0$ with $A_i=0$ gives ${\pi }^i=-{\partial }_i{A}_0$ but ${\pi }^{\prime i}=0$.

The boundary-term shift of canonical field momenta is a canonical transformation. If spatial boundary terms vanish, $B=\int d^{3}x{K}^0=\int d^{3}x{A}_0{\partial }_i{A}_i$, and ${\pi }^{\nu }={\pi }^{\prime \nu }+\delta B/\delta A_{\nu }$. This explains why the two conventions have the same dynamics while their momentum formulas differ.

Use the supplied oscillator expansion, with the boundary-term convention for momentum stated in part (b). Use a real polarization vector basis, as in the supplied unconjugated polarization completeness relation. Raise its second field index to obtainThe mixed commutator contains only the annihilation-creation and creation-annihilation terms. Their signs are both positive after combining the minus sign in the momentum expansion with the negative Minkowski metric oscillator commutator. Setting $\mathbf{r}=\mathbf{x}-\mathbf{y}$ and using the momentum Dirac delta distribution givesHere the last equality is the Fourier representation of the Dirac delta function. Similarly,because the integrand is odd under $\mathbf{p}\mapsto -\mathbf{p}$. The momentum-momentum commutator is proportional to the same odd difference, now weighted by $|\mathbf{p}|/2$, and also vanishes. Therefore the equal-time canonical commutation relations areThese are identities of operator-valued distributions, understood after smearing. The extra indices in the TeX polarization relation are transcription defects; the PDF has the ordinary two-polarization completeness contraction used above. The direct momenta of part (b) also satisfy the canonical commutation relations after their boundary-generated shift, although they do not have the unmodified mode expansion printed here.

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.

Use a local first-derivative Lagrangian density $\mathcal{L}(\varphi ,{\partial }_{\mu }\varphi ,x)$ with sufficient differentiability, and let variations have compact support or vanish at the spacetime boundary. If the phrase “a function of the field” were read literally as forbidding derivatives, the equation below would reduce to $\partial \mathcal{L}/\partial \varphi =0$; a propagating field requires derivative dependence. Varying the action givesIntegration by parts and arbitrary interior variations yield the Euler-Lagrange field equation,The boundary condition is part of this derivation; if boundary variations are allowed, their separate boundary equations must also be imposed.

A variational symmetry of a Lagrangian density is an infinitesimal field change $\delta \varphi =\epsilon X$ for which $\delta \mathcal{L}=\epsilon {\partial }_{\mu }{K}^{\mu }$ off shell. Equality to zero is sufficient but is not necessary: a divergence changes only the boundary contribution to the action. For fixed-coordinate field variations,Equating the two expressions proves the scalar-field form of the Noether theorem:Thus every differentiable one-parameter variational symmetry gives a conserved current, and its Noether charge $Q=\int d^{3}x{j}^0$ is constant when the spatial boundary flux vanishes. This is the Noether current for a first-derivative scalar field; the same identity applies to several real components by summing over them. Identically conserved improvement terms can change its local expression without changing the charge under the same boundary assumptions.

For an active spacetime translation, ${\varphi }^{\prime }(x)=\varphi (x-a)$ and $\delta \varphi =-a^{\nu }{\partial }_{\nu }\varphi$. If the Lagrangian density has no explicit coordinate dependence, $\delta \mathcal{L}=-a^{\nu }{\partial }_{\nu }\mathcal{L}$, so $K^{\mu }=-a^{\mu }\mathcal{L}$. The Noether current is $j^{\mu }=-a^{\nu }{T}^{\mu }{}_{\nu }$, whereThese four translation currents are the canonical stress-energy tensor, also called the energy-momentum tensor. The sign in $j=-aT$ follows from the chosen active translation; the translation charges themselves can be labelled by $P_{\nu }=\int T^0{}_{\nu }{d}^{3}x$.

For the free real scalar field, take the standard kinetic term and mass term. Its Lagrangian density and Klein-Gordon equation areHere ${\Pi }^{\mu }={\partial }^{\mu }\varphi$, so $T^{\mu \nu }={\partial }^{\mu }\varphi {\partial }^{\nu }\varphi -{\eta }^{\mu \nu }\mathcal{L}$. Raising the charge index gives the four-momentum of a free real scalar field,The first is total energy, and the three components of the second are physical spatial momentum. With signature $(+,-,-,-)$, $P_i=-P^i$; this explains the opposite sign if the conserved quantities are instead written with lower spatial indices. For example, a plane wave proportional to $\cos (Et-\mathbf{k}\cdot \mathbf{x})$ has momentum density along $\mathbf{k}$, confirming the sign. All charges require convergence of the integrals and vanishing boundary flux, or periodic boundary conditions in a finite box.

For the complex scalar field, treat $\psi$ and ${\psi }^{\ast }$ as independent variables when varying, equivalently use their two real components. The global phase symmetry of a complex scalar field is $\psi \mapsto e^{-i\alpha }\psi$, ${\psi }^{\ast }\mapsto e^{i\alpha }{\psi }^{\ast }$ for constant $\alpha$. Both the kinetic term and $V(|\psi {|}^2)$ are invariant. This is a global internal symmetry of a classical field theory with circle group $U(1)$; a spacetime-dependent phase would require a gauge connection.

Choosing this orientation for the phase parameter gives the Noether charge of a complex scalar field:To check conservation directly, the Euler-Lagrange field equations are $\square \psi +V^{\prime }(|\psi {|}^2)\psi =0$ and their complex conjugates, assuming a real differentiable potential. Hence ${\partial }_{\mu }{j}^{\mu }=i({\psi }^{\ast }\square \psi -\psi \square {\psi }^{\ast })=0$. Reversing the phase-parameter orientation reverses the current and charge, which is merely a convention. For a scalar carrying electric charge $q$, the physical electric charge is $qQ$ after electromagnetic coupling. In a neutral theory the same global charge can instead label an internal conserved quantum number; the density alone does not identify it automatically with electricity.

Assume a complete relativistically normalized basis of scalar momentum eigenstates transforms asThis states both reversal of spatial momentum and preservation of the normalization of basis quantum states. Antilinearity alone would not suffice: multiplying a conjugation operator by two gives an antilinear operator that multiplies squared norms by four.

Expand $|\varphi ⟩=\int d{\Pi }_p\varphi (\mathbf{p})|\mathbf{p}⟩$ and similarly for $|\psi ⟩$, with $d{\Pi }_p=d^{3}p/((2\pi {)}^{3}2E_p)$. This Lorentz-invariant phase-space measure is unchanged under $\mathbf{p}\mapsto -\mathbf{p}$. The antilinearity of the quantum time-reversal operator gives conjugated expansion coefficients. Orthogonality of the momentum eigenstates and cancellation of their unit-modulus phases yieldSince momentum reversal is a bijection of the complete basis, $\hat{T}$ is also onto. ThusThis proves antiunitarity, with the normalization hypothesis explicitly included. For scalar multiparticle quantum states the same argument uses the complete occupation-state basis and reverses all momenta; it is not restricted to a single-particle wave packet.

Set $\hslash =1$. Work on the strip $0\le \sigma \le \pi$ in conformal gauge, with worldsheet signature $(-,+)$ and target signature $(-,+,\dots ,+)$. In light-cone gauge in string theory, the independent fields are the $d=D-2=24$ transverse coordinates. Put the Neumann boundary condition at $\sigma =0$ and the Dirichlet boundary condition at $\sigma =\pi$; reversing the endpoints exchanges cosine and sine modes without changing the spectrum. The fixed endpoint is $X^i(\tau ,\pi )=y^i$.

Varying the transverse Polyakov action gives $({\partial }_{\tau }^2-{\partial }_{\sigma }^2)X^i=0$ and the spatial boundary contribution $-(2\pi {\alpha }^{\prime }{)}^{-1}\int d\tau [X^{\prime i}\delta X^i{]}_0^{\pi }$. At the free endpoint this vanishes precisely when $X^{\prime i}=0$; at the fixed endpoint $\delta X^i=0$. Separation of variables then gives $\cos (r\sigma )$ with $\cos (r\pi )=0$, hence $r=n+\frac{1}{2}$, $n=0,1,\dots$. These are Neumann-Dirichlet open-string boundary conditions. No dynamical transverse worldsheet zero mode survives: a constant solution must equal the prescribed $y^i$, and a linear-in-$\sigma$ solution violates the free-end condition.

Write $X^i-y^i={\sum }_{r>0}{q}_r^i(\tau )\cos (r\sigma )$. The orthogonality relation ${\int }_0^{\pi }\cos (r\sigma )\cos (s\sigma )d\sigma =(\pi /2){\delta }_{rs}$ reduces the action to independent harmonic oscillators:The canonical commutation relations $[q_r^i,P_s^j]=i{\delta }^{ij}{\delta }_{rs}$ determine normalized annihilation operators at $\tau =0$Thus $q_r^i=\sqrt{2{\alpha }^{\prime }/r}(a_r^i{e}^{-ir\tau }+a_r^{i†}{e}^{ir\tau })$. These formulas derive the quantization from the action rather than import integer-moded open-string rules.

For the usual phased string oscillators, set ${\alpha }_r^i=-i\sqrt{r}{a}_r^i$ and ${\alpha }_{-r}^i=i\sqrt{r}{a}_r^{i†}$ for $r>0$. Then the half-integer open-string oscillator expansion and algebra areThe corresponding field momentum density is ${\Pi }_i={\dot{X}}^i/(2\pi {\alpha }^{\prime })$. Completeness of the mixed-boundary eigenfunctions gives $[X^i(\sigma ),{\Pi }_j({\sigma }^{\prime })]=i{\delta }_j^i{\delta }_{\mathrm{ND}}(\sigma ,{\sigma }^{\prime })$, where ${\delta }_{\mathrm{ND}}=(2/\pi ){\sum }_{r>0}\cos (r\sigma )\cos (r{\sigma }^{\prime })$. This is a distribution identity on the mixed-boundary function space, not an unrestricted value at a fixed endpoint with a Dirichlet boundary condition.

Classically, the transverse Virasoro algebra zero-mode generator isThere is no transverse momentum term. If the two light-cone directions are common directions with Neumann boundary conditions, the full zero-mode constraint adds ${\alpha }^{\prime }{p}_{\parallel }^2=-2{\alpha }^{\prime }{p}^{+}{p}^{-}$: $L_{0,\mathrm{cl}}={\alpha }^{\prime }{p}_{\parallel }^2+L_{0,\mathrm{cl}}^{\perp }$. This assumption about the longitudinal directions is needed to interpret oscillator levels as target-space masses.

Quantizing the symmetrically ordered transverse generator gives $L_0^{\perp }=N+E_0$, where the string level operator is $N={\sum }_{i,r>0}r{a}_r^{i†}{a}_r^i$. Each harmonic oscillator contributes $r/2$ to the vacuum energy. Use zeta function regularization and the Riemann zeta function with the actual half-integer spectrum:Consequently the Neumann-Dirichlet string zero-point energy isIn the common convention $L_0={\alpha }^{\prime }{p}_{\parallel }^2+N-a$, the normal-ordering constant of a string is $a=-\frac{1}{2}$. This positive shift differs from the $-1$ vacuum energy of 24 integer-moded transverse bosons. The difference between those two vacuum energies is $3/2$. To distinguish zero-mode conventions, the ND twist conformal weight is $1/16$ per transverse boson. With 24 bosons, the plane matter generator is $L_0^{\mathrm{plane}}={\alpha }^{\prime }{p}_{\parallel }^2+N+3/2$; its physical open-string condition $L_0^{\mathrm{plane}}-1=0$ is exactly the strip/light-cone constraint ${\alpha }^{\prime }{p}_{\parallel }^2+N+1/2=0$ used here. The transverse plane and strip constants differ by the central charge shift $c_{\perp }/24=24/24=1$. A common exponential frequency cutoff independently gives ${\sum }_{r>0}r{e}^{-\epsilon r}={\epsilon }^{-2}+1/24+O({\epsilon }^2)$, confirming the finite part and avoiding invalid termwise manipulation of divergent sums.

Let $a_r^i|0⟩=0$. The lowest levels of a fully transverse ND bosonic string areThe third level has two $r=1/2$ excitations; there is no $r=1$ oscillator. Its indices are symmetric because the creation operators commute. With $L_0=0$ and the common longitudinal momentum convention, the rest energies and masses obeyAt fixed positive $p^{+}$ the corresponding light-cone energies are $p^{-}=(N+1/2)/(2{\alpha }^{\prime }{p}^{+})$; the table lists excitation levels, not a spectrum that remains discrete if longitudinal momentum is varied continuously.

The surviving transverse rotations form $SO(24)$. The ground state is a scalar, the next level its vector, and the third level the symmetric square of the vector. Separating its trace givesThe trace state is proportional to ${\sum }_i(a_{1/2}^{i†}{)}^2|0⟩$; subtracting this trace gives the 299-dimensional symmetric traceless square.

There is a qualification to the printed “little group”. The little group with mixed string boundary conditions must preserve the endpoints as well as momentum. These boundary conditions break the full 26-dimensional Lorentz group, so the massive states above cannot be classified as representations of the unbroken 26-dimensional massive little group $SO(25)$. In a D1–D25 realization the common worldvolume has Lorentz group $SO(1,1)$ and trivial connected massive little group; $SO(24)$ acts on the ND coordinates as an internal rotation group. The scalar, vector and symmetric trace-free decomposition is under the surviving transverse SO(24), with this boundary-background qualification.

Use a genus-zero Polyakov path integral, target signature $(-,+,\dots ,+)$ and all four momenta incoming. Define the Mandelstam variables by $s=-(p_1+p_2{)}^2$, $t=-(p_1+p_3{)}^2$, $u=-(p_1+p_4{)}^2$. The string mass-shell condition is $p_i^2=4/{\alpha }^{\prime }$ and momentum conservation is ${\sum }_i{p}_i=0$, soThe reduced amplitude omits the overall momentum-conservation Dirac delta distribution and any conventional overall scattering-matrix phase. Interpret each tachyon vertex operator as normal ordered; self-contractions must not be included.

The free-boson worldsheet propagator is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. Wick theorem then evaluates the normal-ordered exponential correlator as the Koba-Nielsen factorThe worldsheet zero mode supplies momentum conservation. Four vertices give $g_s^4$ and the sphere contributes $g_s^{-2}$ through the string genus expansion, leaving $g_s^2$.

The sphere's residual Möbius transformations fix three insertion points. In sphere gauge fixing for four string vertices, take $(z_1,z_2,z_3,z_4)=(z,0,1,\infty )$. The worldsheet ghost fields, equivalently the Faddeev-Popov determinant for this residual group, supply $|z_{23}{z}_{24}{z}_{34}{|}^2$. At finite $z_4$, this determinant grows as $|z_4{|}^4$, while the matter correlator decays as $|z_4{|}^{-4}$ by momentum conservation and the tachyon mass shell; their product has a finite limit. Equivalently the weight-$(1,1)$ matter operator at infinity is normalized with $|z_4{|}^4$, while the ghost pair uses the inverse factor. After stripping the fixed-position normalization, onlyremains. Here choose the standard complex-coordinate measure $d^{2}z=idz\wedge d\bar{z}=2dxdy$. With $dxdy$ instead, the reduced normalization must acquire a factor two to give the same requested amplitude. Absolute vertex/sphere normalization is a convention; this choice fixes it consistently with the displayed $2\pi$ prefactor.

Set $a=-1-{\alpha }^{\prime }s/4$, $b=-1-{\alpha }^{\prime }t/4$, $c=-1-{\alpha }^{\prime }u/4$. Then $a+b+c=1$ and the integrand is $|z{|}^{2a-2}|1-z{|}^{2b-2}$. To evaluate the complex beta integral first work where $\mathrm{Re}a,\mathrm{Re}b,\mathrm{Re}c>0$. This ensures convergence near $0$, $1$ and infinity. Set $v=1-a$ and $w=1-b$. Schwinger parameterization givesCompleting the square, the $dxdy$ Gaussian integral is $\pi (\lambda +\rho {)}^{-1}\exp [-\lambda \rho /(\lambda +\rho )]$. Change variables to $q=\lambda +\rho$ and $x=\lambda /q$; their Jacobian determinant is $q$. Integrating $q$ gives $\Gamma (v+w-1)[x(1-x){]}^{-(v+w-1)}$. The remaining integral is the ordinary beta function $B(1-w,1-v)=B(b,a)$. ThusRestoring $d^{2}z=2dxdy$ and substituting the Mandelstam variables proves the Virasoro–Shapiro amplitude:For physical scattering the original position integral generally fails to converge. The formula defines the amplitude by analytic continuation from the convergence domain, with the desired scattering boundary value at real poles; the convergent integral should not be claimed valid for every physical momentum.

The gamma function is a meromorphic function, with simple poles at nonpositive integers and no zeros, while its reciprocal $1/\Gamma$ is an entire function. Consequently it is a meromorphic function of the independent invariants and a crossing-symmetric scattering amplitude: permuting $s,t,u$ leaves it unchanged. Its generic channel poles areand the same tower in $t$ and $u$. They represent the exchanged bosonic string mass spectrum: the tachyon, massless states including the graviton, and an infinite sequence of massive closed-string levels. There are no threshold branch cuts at this tree order.

A precise check of factorization is the Virasoro–Shapiro amplitude pole residue. Near $a=-n$, set $c=1+n-b$ in the nonsingular factor. The gamma function recurrence givesCombining this with $\Gamma (a)\sim (-1{)}^n/[n!(a+n)]$ showsThe residue is a degree-$2n$ polynomial in $t$, consistent with exchange up to spin $2n$ and scattering-amplitude factorization. At exceptional kinematics reciprocal Gamma zeros can remove apparent poles. In particular, when both $a$ and $b$ approach nonpositive integers, the zero from $1/\Gamma (a+b)$ cancels the putative double pole, leaving channel simple-pole terms. Thus one must not count products of numerator poles without using $a+b+c=1$.