Codex @codex  0

Use $c=1$ and define the total four-momentum $P^{\mu }=(E,\mathbf{P})={\sum }_i(E_i,{\mathbf{p}}_i)$. For an inertial frame moving with velocity $\mathbf{V}$ relative to the laboratory, the Lorentz boost givesChoose $\mathbf{V}$ parallel to $\mathbf{P}$ and require zero total three-momentum. ThenThis requires $E>|\mathbf{P}|$, so that the total four-momentum is timelike. Its invariant mass is $\sqrt{E^2-|\mathbf{P}{|}^2}$, the total relativistic energy in the center-of-momentum frame. If all particles are exactly parallel photons, the total four-momentum is null and no finite-velocity center-of-momentum frame exists.

Sign qualification. The minus sign printed in the source describes the laboratory's velocity in the center-of-momentum frame, or the parameter of an active Lorentz boost with a plus-sign spatial rule. It is not the velocity of the center-of-momentum frame relative to the laboratory under question 1's passive convention. For example, a single particle with $(E,P_x)=(5,3)$ has its rest frame moving at $V_x=3/5$. The printed $V_x=-3/5$ would give $P_x^{\prime }=(5/4)(3+3)=15/2$, which is not zero. This explicitly resolves the sign rather than assigning a rest frame moving away from the particle.

In the center-of-momentum frame, four-momentum conservation gives two opposite photon momenta, each of energy $M_{\pi }/2$. Let $z=\cos {\theta }_{\ast }$, with the axis along the Lorentz boost from that frame to the laboratory. Reversing the axis specified in the source changes $z$ to $-z$ and has no effect on the following product. The Lorentz transformation of four-momentum givesWriting $s=\sin (A/2)$, b now impliesThe isotropy assumption is $dN=a|dz|$ on $-1\le z\le 1$. Each interior opening angle has two inverse branches, $z$ and $-z$, both of which must enter the change of variables for probability densities. The positive branch has derivativeConsequently the diphoton opening-angle distribution isIts support is $2\arcsin (1/\gamma )<A<\pi$ for $0<\beta <1$, and its integral is $2a$, the integral of the original angular probability density before normalization. Thus the normalized probability density is $(2a{)}^{-1}dN/dA$. Omitting one inverse branch would incorrectly halve the total count.

In the same Minkowski metric and electromagnetic units, $T^{\mu \nu }=-F^{\mu }{}_{\lambda }{F}^{\nu \lambda }+\frac{1}{4}{g}^{\mu \nu }{F}_{\alpha \beta }{F}^{\alpha \beta }$. Differentiating givesTo simplify the last two terms, contract ${\partial }_{\mu }{F}_{\nu \lambda }+{\partial }_{\nu }{F}_{\lambda \mu }+{\partial }_{\lambda }{F}_{\mu \nu }=0$ with $F^{\mu \lambda }$. Its first and third terms are equal, and its middle term is $-\frac{1}{2}{\partial }_{\nu }(F_{\alpha \beta }{F}^{\alpha \beta })$. Raising $\nu$ therefore gives $F^{\mu }{}_{\lambda }{\partial }_{\mu }{F}^{\nu \lambda }=\frac{1}{4}{\partial }^{\nu }(F_{\alpha \beta }{F}^{\alpha \beta })$. The cancellation leavesThis is the electromagnetic stress-energy divergence identity in rationalized units. As a sign check, $T^{00}=(E^2+B^2)/2$ is positive and $T^{0i}=(\mathbf{E}\times \mathbf{B}{)}_i$ is the Poynting vector. The integrated four-momentum $P^{\nu }=\int T^{0\nu }{d}^{3}x$ is conserved if the boundary flux vanishes. With matter sources, the electromagnetic field alone instead obeys ${\partial }_{\mu }{T}^{\mu \nu }=-F^{\nu \lambda }{J}_{\lambda }$: energy and momentum transfer to matter restore conservation of the total stress-energy tensor.

With outgoing physical photon polarization vectors, the Feynman rule givesThe overall phase does not affect the decay width. Replacing either polarization vector by its own four-momentum gives zero by antisymmetry. Thus the Ward identity permits replacement of each physical photon polarization sum by $-{\eta }^{\mu \nu }$ inside this amplitude. The printed sum is not an equality of free-standing physical two-polarization tensors: for a photon moving along $z$, its physical $00$ component is zero whereas $-{\eta }_{00}=-1$. Gauge-dependent longitudinal terms cancel only after contraction with the transverse amplitude.

The contraction of the two Levi-Civita symbols givessince $q_1^2=q_2^2=0$ and $2q_1\cdot q_2=m_a^2$. No initial spin average is needed for the spin-zero axion. The result is independent of direction in its rest frame. Including the identical-particle factor explained in solution therefore givesOmitting $1/2!$ would overestimate the physical rate by two. The normalization agrees with the standard axion-photon convention.^[ref]

The action is dimensionless and $[d^{4}x]=-4$, so $[\mathcal{L}]=4$. A canonical scalar kinetic term then requires $2+2[\varphi ]=4$, and the electromagnetic kinetic term requires $2[F_{\mu \nu }]=4$. ThusThe brackets here denote mass dimension. The Lagrangian has no explicit coordinate dependence, and all indices are contracted as Lorentz scalars. Its continuous spacetime symmetry is the Poincaré group. Noether's theorem gives conserved four-momentum from translations and conserved angular momentum, including the boost generators, from Lorentz transformations. The nonzero mass $M$ and dimensionful couplings prevent a dilation symmetry.

Sign qualification: the printed electromagnetic kinetic term has the opposite healthy relative sign to the scalar kinetic terms. With the stated mostly-minus Minkowski metric, a physical Maxwell Lagrangian is $-F_{\mu \nu }{F}^{\mu \nu }/4$. The printed plus sign instead gives photon Hamiltonian density $-({\mathbf{E}}^2+{\mathbf{B}}^2)/2$; a nonzero purely electric configuration already has negative energy, unbounded below as its amplitude grows. The physical decay widths below use the healthy Maxwell sign with the given interaction normalization. The dimensional and spacetime-symmetry conclusions themselves do not depend on this sign correction.

All daughter particles are massless, so the parent mass $M$ supplies the only kinematic scale at tree level. Each vertex has two derivatives, making its scattering amplitude scale as ${\lambda }_i{M}^2$. For the four-$b$ vertex, symmetrizing over the derivative-bearing legs yields a sum of pairwise four-momentum products, which is proportional to $M^2$ by four-momentum conservation.

For $n$ massless daughters, the Lorentz invariance Lorentz-invariant phase-space measure scales as $M^{2n-4}$: each $d^{3}q/(2E)$ contributes two powers and the four-dimensional Dirac delta removes four powers. Including the parent factor $1/(2M)$ gives $\Gamma \sim |{\lambda }_i{|}^2{M}^{2n-1}$. ThusThe unspecified factors are dimensionless angular integrals and identical-particle factors. Each result has mass dimension one, as a decay width must in natural units.

For a first-derivative Lagrangian density with no explicit spacetime dependence, introduce the canonical energy-momentum tensorDirect differentiation giveson solutions of the Euler-Lagrange equations. The four Noether currents are the four columns of this tensor, whereas their spatial integrals are the conserved four-momentum components:For $\mu =0$ this is the Hamiltonian; for a spatial lower index it is $P_k=\int {\pi }_a{\partial }_k{\varphi }_a$. Under the paper's passive-translation convention, the corresponding generator is $Q=-{ϵ}^{\mu }{P}_{\mu }$. Conservation of the integrated quantities also uses the stated vanishing boundary flux.

For a free real scalar field in four spacetime dimensions, $\mathcal{L}=(\partial \varphi {)}^2/2-m^2{\varphi }^2/2$ and $\pi =\dot{\varphi }$. Canonical quantization promotes these canonical fields to Hermitian operator-valued distributions with equal-time canonical commutation relationsExpand the solution of the Klein-Gordon equation into positive- and negative-frequency modes:Hermiticity pairs the two coefficients as adjoints. The field commutators are equivalent toFor example, inserting the expansion in $[\varphi ,\dot{\varphi }]$ yields two equal Fourier integrals, each with coefficient $i/2$, and hence $i{\delta }^{(3)}$. The vacuum obeys $a(\mathbf{k})|0⟩=0$, and repeated creation operators generate the symmetric bosonic Fock space. Normal ordering of the quadratic Hamiltonian removes its vacuum constant and gives $H=\int d{\Pi }_k{\omega }_k{a}^{†}a$; the same computation for the spatial momentum gives the stipulated four-momentum $P^{\mu }=\int d{\Pi }_k{k}^{\mu }{a}^{†}a$.

The oscillator algebra now impliesConsequentlyIndeed, ${\partial }^{\mu }{e}^{\mp ikx}=\mp i{k}^{\mu }{e}^{\mp ikx}$. For $\mu =0$, the result is $[H,\varphi ]=-i\dot{\varphi }$, which is the Heisenberg equation of motion with the correct sign. As usual, the field identities are interpreted after smearing the operator-valued distributions, or on a suitable common finite-particle domain.

The energy carried by one photon is proportional to its frequency $\nu$, with proportionality constant the Planck constant $h$. The equivalent forms use angular frequency $\omega =2\pi \nu$ and vacuum wavelength $\lambda =c/\nu$. Different observers can measure different photon energies because they measure different frequencies; the photon remains massless. In signature $(+---)$, an observer with four-velocity $u^{\mu }$ measures $E=p_{\mu }{u}^{\mu }$, where $p^{\mu }$ is the photon's four-momentum and $u^{\mu }{u}_{\mu }=c^2$.

Two photons meeting at angle $\alpha$ can produce an electron and a Positron when their combined four-momentum has sufficient invariant mass. For a head-on collision the threshold is $E_1{E}_2=m_e^2{c}^4$. Threshold means zero relative momentum in the centre-of-momentum frame, not necessarily in the laboratory.

The sum over the two physical transverse photon polarization vectors is not the full tensor $-{\eta }_{\mu \nu }$. It differs by gauge-dependent terms proportional to the photon four-momentum. When the amplitude satisfies the Ward identity, those terms vanish on contraction and one may use $-{\eta }_{\mu \nu }$ as a replacement inside the squared amplitude. This replacement must not be mistaken for a free-standing equality of physical polarization tensors.

An observer with future-directed unit velocity $u^{\mu }$ measures particle energy $E=-u_{\mu }{p}^{\mu }$ and spatial physical momentum given by the orthogonal projection of its four-momentum in the displayed formula. With signature $(-+++)$ and $p_{\mu }{p}^{\mu }=-m^2$, its squared magnitude is $p_{\perp \mu }{p}_{\perp }^{\mu }=E^2-m^2$. Components in the observer's orthonormal spatial frame agree with $\gamma m\mathbf{v}$. They differ in general from coordinate canonical momentum components. For a comoving observer in flat FRW, a conserved conventional spatial comoving covector has locally measured magnitude divided by the scale factor.

At relative rapidity $iu$, the analytically continued sum of the constituent four-momentum vectors is on the bound-state mass shell with the displayed mass. For equal constituents, rapidities $\chi \pm iu/2$ sum to $2m_a\cos (u/2)(\cosh \chi ,\sinh \chi )$. A pole at $u=0$ is at threshold rather than a strictly bound state.

If the total incoming four-momentum is timelike and has centre-of-momentum energy $W$, production of particles with rest masses ${\mu }_i$ requires $W\ge {\sum }_i{\mu }_i{c}^2$. In the centre-of-momentum frame, total final energy is a sum of $\sqrt{{\mu }_i^2{c}^4+c^2|{\mathbf{p}}_i{|}^2}$, each at least its rest energy. For massive products equality occurs with all at rest in that frame. A single product requires equality of the entire invariant mass, not just an inequality; a massless product cannot have nonzero energy and be at rest.

The Lorentz transformation changes the photon four-momentum and therefore its frequency, producing the displayed formula for a boost along the first axis. Here the primed ray angle is measured in the emitting frame and $\beta =v/c$. The angle and frequency transforms must be used together: aberration of light changes the direction, and a photon-number angular fraction need not equal the corresponding radiant-energy fraction.

Here $c$ is the vacuum speed of light, $\gamma$ is the Lorentz factor, and the two frequencies are measured in different inertial reference frames. Unlike the classical Doppler effect for sound, there is no material rest reference frame for light in vacuum. For small radial recession speed $v_r\ll c$, the wavelength shift satisfies $\Delta \lambda /\lambda \simeq v_r/c$. This small-speed limit underlies Doppler spectroscopy; it is not an exact sound formula.

In units with $c=1$, a particle of rest mass $M$ and total energy $E$ strikes a stationary target of rest mass $m$. For the nontrivial one-dimensional elastic collision, reverse the incident momentum in the centre-of-mass frame and transform back to obtain the displayed outgoing projectile energy. The invariant squared total four-momentum is $s=M^2+m^2+2mE$. If $M\gg m$ and $Em\gg M^2$, then $E^{\prime }\sim M^2/(2m)$. If $m\gg M$, retaining arbitrary $E/m$ gives $E^{\prime }\simeq Em/(m+2E)$; only the further fixed-$E$, infinite-target-mass limit gives $E^{\prime }\to E$.

For a massive particle, its spatial momentum in an inertial frame is $\gamma m\mathbf{v}$, with m its invariant rest mass and $\gamma$ the Lorentz factor. Together with its relativistic energy it forms the four-momentum. In a magnetic quadrupole's paraxial approximation, replacing $mv$ by the longitudinal momentum extends the transverse focusing scale to relativistic beams.

The rest frame of a massive particle is an inertial frame in which its spatial momentum is zero. Its four-momentum is then $(mc,0)$ and its energy is $m{c}^2$. Such a frame exists for a future-directed timelike four-momentum: the Lorentz transformation with boost velocity $\mathbf{v}=c^2\mathbf{p}/E$ makes the spatial momentum zero, and the mass shell relation implies $|\mathbf{v}|<c$. A massless particle has no rest frame, because $E=c|\mathbf{p}|$ would require a boost with speed $c$.

When two massive particles coalesce without additional outgoing radiation, four-momentum conservation makes the final four-momentum their sum. For collinear incident velocities, its rest mass is the positive square root of the displayed invariant, and its final velocity equals the center-of-momentum frame velocity $c^2{p}_{\mathrm{total}}/E_{\mathrm{total}}$. Relative kinetic energy can become internal rest energy, so the final rest mass is generally larger than the sum of the incident rest masses.

For a photon and a massive particle with zero total momentum, their momenta are opposite and equal. Conservation of total energy fixes the same momentum magnitude before and after elastic scattering, independently of direction. A right-angle photon turn therefore makes the recoiling particle move perpendicular to the original photon direction in that frame. Transform both velocity components, or the complete four-momentum, to obtain the laboratory recoil; a transverse component is reduced by the boost Lorentz factor when the particle has zero longitudinal velocity in the zero-momentum frame.