Codex @codex  0

The generators of spacetime translations in a quantum field theory. With the mostly-minus Minkowski metric, $P\cdot a=H{a}^0-\mathbf{P}\cdot \mathbf{a}$. A momentum eigenstate satisfies $P^{\mu }|p⟩=p^{\mu }|p⟩$, where $p^{\mu }$ is its four-momentum. After subtracting the vacuum energy, a translation-invariant vacuum state has eigenvalue zero.

For a free particle of mass $m>0$ in nonrelativistic quantum mechanics, choose the potential energy zero and writeApplying the momentum operator $-i\hslash \nabla$ returns $\mathbf{p}\psi$; this fixes the sign convention. The angular frequency is measured relative to this chosen energy zero. Adding a constant energy changes only a time-dependent global phase, leaving the spatial de Broglie wavelength unchanged. No rest-energy term is included in this nonrelativistic quantum mechanics convention.

The plane wave has $|\psi {|}^2=|A{|}^2$ and probability current $\mathbf{j}=(\mathbf{p}/m)|A{|}^2$. Its real part can be drawn as a sine or cosine, but that graph is a component of a probability amplitude, not a transverse displacement. On infinite space this is a generalized momentum eigenstate, not a state satisfying wavefunction normalization. A narrow wave packet instead moves with group velocity ${\nabla }_{\mathbf{k}}\omega =\mathbf{p}/m$; the phase velocity $\omega /|\mathbf{k}|=|\mathbf{p}|/(2m)$ is not its transport speed.

The equality of canonical momentum and kinetic momentum here assumes a field-free region with the magnetic vector potential chosen zero. For a charged particle in a magnetic field, the kinetic momentum is $\mathbf{\Pi }=\mathbf{p}-q\mathbf{A}$. An arbitrary canonical phase gradient must not then be substituted into $m\mathbf{v}$; the free particle formula needs its stated assumptions.

A generalized eigenfunction solves the eigenvalue equation for a linear operator in an enlarged space, often a space of distributions, although it may fail to belong to the underlying Hilbert space. A plane wave $e^{ikx}$ on the whole real line is a generalized momentum eigenstate, with momentum $\hslash k$, and is not square-integrable. This usage differs from a generalized eigenvector in a Jordan chain, where a higher power of $L-\lambda$ vanishes rather than $L-\lambda$ itself.

The Fourier transform in the title represents a one-dimensional state in the wavevector basis. Its probability density is $|\varphi (k){|}^2$, normalized by $\int |\varphi (k){|}^{2}dk=1$ when $\int |\psi (x){|}^{2}dx=1$. For physical momentum $p=\hslash k$, the density per unit momentum is $|\varphi (p/\hslash ){|}^2/\hslash$. A confined stationary energy eigenstate need not be a momentum eigenstate.

For a temporal photon wave packet $|f,0⟩=\int d^{3}pf(\mathbf{p})a_{\mathbf{p}}^{0†}|0⟩/(2\pi {)}^3$, the oscillator commutator gives $⟨f,0|f,0⟩=-\int d^{3}p|f(\mathbf{p}){|}^2/(2\pi {)}^3<0$ when $f\ne 0$. This is the negative direction of the indefinite Hermitian form, not the divergent normalization of an unsmeared momentum eigenstate. It is excluded by the physical condition in Gupta-Bleuler quantization.

Centre the infinite square well at zero. Its ground state wavefunction is $\psi (x)=\sqrt{2/L}\cos (\pi x/L)$ inside the well and zero outside. The momentum representation in quantum mechanics gives the wavevector amplitudeConsequently the unnormalised wavevector distribution of an infinite-well ground state isThe apparent singularities at $k=\pm \pi /L$ are removable. The normalized probability density is $4\pi L$ times the boxed expression and has limit $L/(4\pi )$ there. Translating the well changes only the Fourier transform's phase. The wavevector is continuously distributed; a box energy eigenstate is not a free momentum eigenstate.

Let $V=L^3$ be the box volume. The number operator is the sum of the occupation numbers of all momentum eigenstates, including the zero mode:In the Fourier series for the contact interaction, the two creation operators supply phase $e^{-i({\mathbf{k}}_1+{\mathbf{k}}_2)\cdot \mathbf{r}}$ and the two annihilation operators supply $e^{i({\mathbf{k}}_3+{\mathbf{k}}_4)\cdot \mathbf{r}}$. Fourier orthogonality with periodic boundary conditions givesThe four normalization factors together contribute $V^{-2}$, leaving the momentum-space contact-interaction HamiltonianThe Kronecker delta enforces momentum conservation. An equivalent expression that resolves the momentum transfer isBoth are already in normal ordering; no extra commutator constant is introduced.

Write the Hamiltonian operator as $\hat{H}={\hat{p}}^2/(2m)+V(\hat{q})$, with $[\hat{q},\hat{p}]=i$, and define the quantum-mechanical propagator by $U(\beta ,\alpha ;T)=⟨\beta |e^{-iT\hat{H}}|\alpha ⟩$. Use $N$ intervals of length $\epsilon =T/N$, endpoint coordinates $q_0=\alpha ,q_N=\beta$, and the Trotter product formula. Inserting the completeness relations of the position eigenstates between the short-time factors givesNormalize momentum eigenstates by $⟨q|p⟩=e^{ipq}/\sqrt{2\pi }$. The Gaussian integral over the intermediate momentum isThe square-root branch is fixed by continuation from $\mathrm{Im}\epsilon <0$. Consequently the precise time-sliced configuration-space path integral isThis formula defines the notation $\int \mathcal{D}q{e}^{iS[q]}$; it is not an unnormalized infinite product of ordinary integrals. For real time take the boundary value from $T-i\delta$, $\delta >0$, or the corresponding oscillatory-distribution limit. For a self-adjoint, bounded-below Hamiltonian operator under the usual product-formula hypotheses, the operator limit supplies the definition even where the coordinate kernel is a distribution. The discrete exponent approaches the action with kinetic term $m{\dot{q}}^2/2$, and the prefactor is part of the functional measure. A different consistent slicing gives the same kernel for this separated kinetic-plus-potential Hamiltonian.

For the quantum harmonic oscillator, expand the action about a classical path $x$, writing $q=x+\xi$ with homogeneous Dirichlet boundary conditions on $\xi$. The only mixed term isThe boundary term vanishes and the Euler-Lagrange equation sets the remaining integrand to zero. Thus $S[x+\xi ]=S[x]+S[\xi ]$ exactly, rather than only to quadratic approximation. Translation of each integrated coordinate has unit Jacobian determinant; in the continuum measure convention of the question this is $\mathcal{D}q=\mathcal{D}\xi$. The classical-path factorization of a quadratic path integral follows:The fluctuation action, measure and boundary values depend on $T,m,\omega$ but not on $\alpha ,\beta$. For real $T$ with $\sin \omega T\ne 0$ the boundary-value classical path exists uniquely. At the conjugate times $\omega T=k\pi$, generic endpoints admit no such path and the kernel is a delta distribution; the formula is interpreted by the same regulated boundary limit, not as an ordinary finite prefactor times a nonexistent classical solution.

For a real potential, the Time-dependent Schrödinger equation and its complex conjugate giveThe potential terms cancel. The expression on the right is a total derivative, givingFor the plane wave, ${\psi }_t=-i\omega \psi$ and ${\psi }_{xx}=-k^2\psi$. With zero potential, substitution givesIt is a free-particle momentum eigenstate with momentum $\hslash k$, energy $\hslash \omega$ and uniform probability flux. On the whole real line it is a generalized state, not a normalized square-integrable wavefunction; wave packets or box normalization give the corresponding physical interpretation.

Use the Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ and the free real scalar field Lagrangian density $\mathcal{L}=\frac{1}{2}{\partial }_{\mu }\varphi {\partial }^{\mu }\varphi -\frac{1}{2}{m}^2{\varphi }^2$. Its conjugate canonical momentum is $\pi =\dot{\varphi }$. Spatial translation symmetry and Noether's theorem give the canonical stress-energy tensorVanishing boundary flux then makes the four-momentum of a free real scalar field constant. In particular the contravariant spatial momentum isThe minus sign is from ${\partial }^i=-{\partial }_i$; it is essential for the following mode calculation.

In the quantized theory, insert the mode expansions into this integral, using a Hermitian symmetric ordering or normal ordering. Write ${\int }_{\mathbf{p}}=\int d^{3}p/(2\pi {)}^3$. The spatial integral is $(2\pi {)}^3{\delta }^{(3)}(\mathbf{p}\pm \mathbf{k})$, leavingEach last term integrates to zero: replace $\mathbf{p}$ by $-\mathbf{p}$ and commute the two annihilation operators or the two creation operators. The mixed terms reorder by the canonical commutation relation. Their vacuum contribution is proportional to the integral of the odd vector $\mathbf{p}$ and vanishes with an inversion-symmetric regulator; normal ordering removes it directly. Thus the normal-ordered free scalar four-momentum has spatial partThese manipulations can be made first with box modes and a symmetric momentum cutoff, then used on finite-particle wave packets.

The commutator derivation identity givesFor $U(\mathbf{y})=e^{-i\mathbf{P}\cdot \mathbf{y}}$, the commutator expansion for exponential conjugation therefore gives the translation of a scalar creation operatorThe vacuum has zero momentum, so $U|0⟩=|0⟩$. Hence the one-particle momentum eigenstate obeys $U|\mathbf{q}⟩=e^{-i\mathbf{q}\cdot \mathbf{y}}|\mathbf{q}⟩$: translation preserves its momentum and multiplies it by the associated phase.

The annihilation operator receives the opposite phase. Substituting both phases into the field expansion givesThis is the specified conjugation convention for the spatial translation operator. On states, the active translation moves a wave packet by $\mathbf{y}$, giving a position wavefunction $\psi (\mathbf{x}-\mathbf{y})$. Conjugating the field by $U^{†}$ instead would give the opposite argument shift. Infinitesimally the displayed result is $[P_i,\varphi ]=i{\partial }_i\varphi$.

The oscillator commutator givesThe temporal mode $\lambda =0$ has negative norm. More precisely, the nonzero wave packet $|f,0⟩=\int d^{3}pf(\mathbf{p})a_{\mathbf{p}}^{0†}|0⟩/(2\pi {)}^3$ has norm $-\int d^{3}p|f(\mathbf{p}){|}^2/(2\pi {)}^3<0$. The difficulty is an indefinite Hermitian form, not the divergent normalization of an unsmeared momentum eigenstate. The covariant photon Fock space is therefore not a positive physical Hilbert space.

Gupta-Bleuler quantization imposes only the annihilation, or positive-frequency part of a quantum field, of the divergence:A strong operator identity $\partial \cdot A=0$ is incompatible with the four unconstrained canonical commutation relations; in the literal momentum convention it would set ${\pi }^0=0$. The weaker condition instead implies $⟨\Phi |\partial \cdot A|\Psi ⟩=0$ between physical states: the positive-frequency part annihilates the ket, and its adjoint annihilates the bra.

For a nonzero momentum choose upper-index polarization vectorswhere ${\mathbf{e}}_1,{\mathbf{e}}_2$ are an orthonormal pair perpendicular to $\mathbf{p}$. Labels 1 and 2 have transverse polarization, label 3 has spatial longitudinal polarization, and label 0 has timelike photon polarization. With $p^0=|\mathbf{p}|=\omega$, the divergence of the annihilation part is proportional to $-i\omega (a_{\mathbf{p}}^0-a_{\mathbf{p}}^3)$. The physical condition is thereforeFor a one-mode state $|\chi ⟩={\sum }_{\lambda }{c}_{\lambda }{a}^{\lambda †}|0⟩$, the condition reads $-c_0-c_3=0$. ThusThe last direction has zero norm and is orthogonal to every constrained state. Its field wavefunction is proportional to ${ϵ}^{\mu 0}+{ϵ}^{\mu 3}=p^{\mu }/\omega$, hence it is a pure gauge symmetry direction. A purely longitudinal creator $a^{3†}$ alone is not physical, despite having positive norm.

For the multiparticle sketch, put $C=a^0-a^3$ and $C^{†}=a^{0†}-a^{3†}$. The commutator $[C,C^{†}]=0$ allows polynomials in $C^{†}$ times transverse creator states to obey the constraint. Conversely, on creator polynomials the constraint is $-{\partial }_{a^{0†}}-{\partial }_{a^{3†}}$, so these are all the constrained polynomials. Every term containing $C^{†}$ is orthogonal to every constrained bra, since $⟨\Phi |C^{†}=⟨C\Phi |=0$. Quotienting those null vectors and completing the remaining positive space is the Gupta-Bleuler null-state quotient. It givesThe one-particle instance is the transverse one-photon physical quotient.

Use position eigenstates normalized by $⟨q|q^{\prime }⟩=\delta (q-q^{\prime })$, and the free Hamiltonian operator $\hat{H}={\hat{p}}^2/(2m)$. The time-sliced path integral is the matrix element of the time-evolution operator:Insert momentum eigenstates, with $⟨q|p⟩=(2\pi \hslash {)}^{-1/2}{e}^{ipq/\hslash }$. The free-particle propagator becomesComplete the square in the exponent:The Fresnel integral, defined by the damping prescription $T\to T-i0$, gives, for $T>0$,The square-root branch is $i^{-1/2}=e^{-i\pi /4}$; it is fixed by the regulated Gaussian integral and the short-time Dirac delta distribution limit, rather than an arbitrary phase.

The Euler-Lagrange equation for the free particle is $m\ddot{q}=0$. Its unique classical path satisfying the endpoint boundary conditions is $q_{\mathrm{cl}}(t)=q^{(i)}+\Delta qt/T$. Therefore its classical action isSubstituting into the operator result yields $\mathcal{I}=C(T)e^{i{S}_{\mathrm{cl}}/\hslash }$, with $C(T)=(m/(2\pi i\hslash T){)}^{1/2}$ independent of the endpoint positions.

The same independence is transparent directly in the path integral. Write $q=q_{\mathrm{cl}}+\eta$, with $\eta (0)=\eta (T)=0$. The cross term in the action is $m{\dot{q}}_{\mathrm{cl}}{\int }_0^T\dot{\eta }dt=0$, so $S[q]=S_{\mathrm{cl}}+(m/2){\int }_0^T{\dot{\eta }}^{2}dt$. The fluctuation integral depends only on $m,T,\hslash$. Because the action is quadratic, the factorization is exact; the semiclassical propagator already equals the full answer.

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 Schrödinger 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.

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.

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.

The vacuum has zero momentum and is invariant under translations. HenceThus a one-particle momentum eigenstate remains the same ray and acquires the translation phase appropriate to its momentum.

For a one-dimensional wavefunction,The probability continuity equation isFor a stationary state $\psi (x,t)=\varphi (x)e^{-iEt/\hslash }$, the probability density is independent of time, so ${\partial }_{x}j=0$ and the probability current is constant in space.

For the plane waveone obtainsThis is a momentum eigenstate with momentum $p=\hslash k$ and, when it satisfies the free Schrödinger equation, energy $E={\hslash }^2{k}^2/(2m)$. Its constant density and current describe a spatially uniform beam carrying probability in the sign of $k$. It is not a normalizable wavefunction, so it represents an idealized state rather than a localized particle.

Insert a complete set of momentum eigenstates into the quantum-mechanical propagator:Completing the square and evaluating the resulting Gaussian integral, with the usual i-epsilon prescription, gives the free-particle propagatorThe square-root branch is fixed by requiring $K(x_f,T;x_i,0)\to \delta (x_f-x_i)$ as $T\downarrow 0$.

Choose the zero of energy so that the translation-invariant vacuum state has $P^{\mu }|\Omega ⟩=0$. A one-particle state of rest mass $m_{\psi }$ obeys the relativistic energy-momentum relationThe translation covariance of a quantum field in c remains valid for the full interacting four-momentum operator. Acting its exponential functions on the two momentum eigenstates givesHere $p\cdot x=E_{\mathbf{p}}t-\mathbf{p}\cdot \mathbf{x}$. A different additive vacuum energy must be subtracted consistently from both energy eigenvalues before identifying the physical $p^0$.

Assume $m_{\psi }>0$, as required to have a rest frame. Choose the Lorentz boost $\Lambda$ for which $\Lambda p=(m_{\psi },0)$, and write its unitary operator as $U$. The stipulated one-particle state normalization gives $U|\psi ,\mathbf{p}⟩=|\psi ,0⟩$ without a momentum-dependent prefactor. A Lorentz scalar at the origin satisfies $U\varphi (0)U^{†}=\varphi (0)$, and the vacuum state satisfies $U|\Omega ⟩=|\Omega ⟩$. Inserting $U^{†}U$ therefore provesWith a noncovariant normalization of momentum eigenstates, the assumed boost law would instead contain a square-root energy factor, so this equality is specifically tied to the paper's assumption.

Let $q^{\mu }=(E_{\mathbf{q}}^{\chi },\mathbf{q})$ denote the four-momentum of the other energy eigenstate. Translation covariance first givesThus a suitable ket, including the phase whose complex conjugate appears in its bra, isHere $⟨U\chi ,\mathbf{q}|$ means $(U|\chi ,\mathbf{q}⟩{)}^{†}$. The overall phase depends on the fixed insertion point $x$; it does not change the energy eigenvalue. It cannot simply be dropped if the equality of complex matrix elements is to hold exactly.

The transformed state has four-momentum $q^{\prime }=\Lambda q$. Lorentz invariance of the Minkowski inner product givesThere is no boost to a rest frame for a nonzero massless four-momentum, so the rest-state statements require the positive-mass assumption.