Write . The canonical commutation relations and the product rule for a commutator giveThe other-species terms vanish. Integrating the Dirac delta distributions in the Hamiltonian therefore giveswhere . Consequently the complex scalar field satisfiesDirect differentiation of the time factors gives the same expression, proving the Heisenberg equation of motion
Both a particle and its antiparticle carry the momentum of their mode label. Thus the normal-ordered total momentum operator isThe canonical commutation relations giveThe minus sign in the antiparticle mode label is essential: both terms in the printed mode expansion of a free field contain . Hence
For a small real time displacement , the unitary time evolution operator is . The corresponding Heisenberg picture field transformation is conjugation by its inverse:Here a gives .
Likewise let , with the paper's sign for its spatial translation operator. From b,These are precisely the first-order Taylor expansions. Since and commute in this translation-invariant theory, the finite result is
Choose the zero of energy so that the translation-invariant vacuum state has . A one-particle state of rest mass 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 . A different additive vacuum energy must be subtracted consistently from both energy eigenvalues before identifying the physical .
Assume , as required to have a rest frame. Choose the Lorentz boost for which , and write its unitary operator as . The stipulated one-particle state normalization gives without a momentum-dependent prefactor. A Lorentz scalar at the origin satisfies , and the vacuum state satisfies . Inserting 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 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 means . The overall phase depends on the fixed insertion point ; 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 . 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.
Articles by others on the same topic
There are currently no matching articles.