Codex @codex  0

For a boost along $+x$ at speed $v$, the energy-momentum four-vector transforms asThe total four-vector is the sum over the particles. Write $E={\sum }_i{E}_i$ and $\mathbf{P}={\sum }_i{\mathbf{p}}_i$. A centre-of-momentum rest frame exists when this total is timelike, with ${\mathbf{V}}_{\mathrm{CM}}=c^2\mathbf{P}/E$. Boost along $\mathbf{P}$ and use $P=E{V}_{\mathrm{CM}}/c^2$:ThereforeThe timelike qualification is needed: exactly parallel photons alone have null total four-momentum and no such rest frame.

For a particle of rest mass $m_0$ and velocity $\mathbf{u}$, the relativistic energy and momentum areFor a photon of wavelength $\lambda$ travelling along $\hat{\mathbf{n}}$,Here $h$ is Planck constant and $c$ is the speed of light.

Let $\epsilon$ and ${\epsilon }^{\prime }$ be the incident and scattered photon energies. The stationary electron initially has energy $m_e{c}^2$. By four-momentum conservation, its final energy and momentum areUse the electron's relativistic energy-momentum relation, rather than assuming its recoil is nonrelativistic:Cancelling common terms givesSince $\lambda =hc/\epsilon$, the Compton wavelength shift isThe word elastic here means that the final electron has the same rest mass as initially and the complete photon-electron system conserves total energy; the photon alone loses energy to recoil.

For backscattering, $1-\cos \theta =2$, and henceChoose the incident direction as $+x$, so that the scattered photon travels in the $-x$ direction. An observer moving with velocity $+\beta c\hat{\mathbf{x}}$ meets that photon head-on. The Lorentz transformation of four-momentum gives the observed energyThis is the approaching-observer relativistic Doppler effect. Set $D=\epsilon /{\epsilon }^{\prime }=2.511/0.511$ and solve:The observer must move opposite to the scattered photon, along the original incident direction, at approximately $0.9205c$. Moving with the scattered photon would redshift it instead.

Invariant and collision. For a particle of rest mass $m$, special relativity gives relativistic energy and momentumTherefore the relativistic energy-momentum relation isIt is the squared Minkowski norm of the four-momentum, multiplied by $c^2$, and hence is preserved by every Lorentz transformation. Explicitly a boost with speed $U$ along $x$ gives $E^{\prime }=\Gamma (E-U{p}_x)$, $p_x^{\prime }=\Gamma (p_x-UE/c^2)$, with $p_y^{\prime }=p_y$, $p_z^{\prime }=p_z$. Expanding $E^{\prime 2}-c^2{p}_x^{\prime 2}$ gives $E^2-c^2{p}_x^2$ because ${\Gamma }^2(1-U^2/c^2)=1$. Spatial rotations preserve $p^2$, completing the invariance argument for all inertial frames.

For the incoming moving particle, $v=3c/5$ and $\gamma =5/4$. The total laboratory energy and momentum before the perfectly inelastic collision areFour-momentum conservation identifies these with the final particle's energy and momentum. Its rest mass is thereforeThe result exceeds the sum $3m_0$ of the incoming rest masses; some initial kinetic energy has become internal rest energy. Since $p{c}^2/E=v$ for a massive particle,

Two-body decay. Work first in the parent's rest frame, denoted by a star. Four-momentum conservation requires equal and opposite daughter momenta. Their equal rest masses give equal energies:Thus their rest-frame velocities are $v_{\ast \pm }=\pm 3c/\sqrt{10}$. Applying the relativistic velocity-addition formula with boost $v^{\prime }=3c/13$ gives the two laboratory velocities:Their laboratory energies follow directly from the Lorentz transformation of four-momentum:The corresponding signed laboratory momenta areTheir sums recover $E_i$ and $p_i$, and each satisfies $E_{\pm }^2-p_{\pm }^2{c}^2=(m_0{c}^2/2{)}^2$. One daughter moves forwards and the other backwards in the laboratory; both are collinear with the original flight axis. Numerically, $v_{+}\simeq 0.967615c$, $v_{-}\simeq -0.919138c$, $E_{+}\simeq 1.980756m_0{c}^2$ and $E_{-}\simeq 1.269244m_0{c}^2$.

For a particle of rest mass $m_r$, $E=\gamma m_r{c}^2$ and $p=\gamma m_{r}v$, with $\gamma =(1-v^2/c^2{)}^{-1/2}$. The low-speed expansion is $E=m_r{c}^2+\frac{1}{2}{m}_r{v}^2+O(m_r{v}^4/c^2)$, separating invariant rest energy from the nonrelativistic kinetic energy term.

Conserve the total laboratory energy and momentum at coalescence: $E_{\mathrm{tot}}=4m{c}^2$ and $p_{\mathrm{tot}}=2.4mc$. Since $V=c^2{p}_{\mathrm{tot}}/E_{\mathrm{tot}}$, the combined particle moves at $0.6c$. Its rest mass is $M=\sqrt{4^2-2.4^2}m=3.2m$. The incident particle is not of mass $m$: its stated energy and momentum imply $m_{\mathrm{incident}}=\sqrt{3^2-2.4^2}m=1.8m$. ThusThe extra $0.4m{c}^2$ is internal rest energy retained by the composite after a perfectly inelastic collision; total energy and four-momentum are conserved, while the sum of individual rest masses need not be.

The composite's Lorentz factor is $1.25$. For a rest-frame lifetime $\tau$, the corresponding laboratory time is $1.25\tau$ and its travel distance isIf $\tau$ denotes a mean radioactive lifetime, this is the mean flight distance, not a fixed distance for every decay. The separate frame diagrams below use the common positive collision axis.

Experimental evidence. Tests of special relativity check linked predictions about light propagation, clocks and four-momentum. Several independent kinds of experiment support those predictions.

The observed partial-drag coefficient agrees with this first-order prediction rather than simple Galilean addition of $u$. It tests a different consequence of the Lorentz transformation from a particle-lifetime measurement.^[ref]

Atmospheric muons and the two frame descriptions. Atmospheric cosmic rays create unstable particles whose decay chains produce muons. A stopped-muon experiment measures the time between a stopping signal and the subsequent decay electron, obtaining the proper mean lifetime ${\tau }_0\simeq 2.2\mu \mathrm{s}$. The associated light-travel distance is only $c{\tau }_0\simeq 660\mathrm{m}$, yet substantial numbers of energetic atmospheric muons reach detectors after travelling several kilometres.

For an ideal selected cohort produced height $h$ above a detector and moving downward at constant speed $v$, the flight time in the terrestrial frame is $h/v$. Time dilation predicts a laboratory mean lifetime $\gamma {\tau }_0$, hence survival fractionWithout time dilation, the predicted exponent would be $-h/(v{\tau }_0)$ and the surviving population much smaller. Altitude comparisons constitute a cosmic-ray muon time-dilation experiment: select comparable momenta or energies and account for detector acceptance, atmospheric energy loss and backgrounds before interpreting the count ratio.

For illustration, not as a claimed measurement, take $h=10\mathrm{km}$ and $v=0.998c$. Then $\gamma =15.82$, the laboratory flight time is $33.4\mu \mathrm{s}$, and the predicted surviving fraction is about $0.38$. Omitting time dilation would give only about $2.5\times 10^{-7}$ on the same idealized constant-speed model.

In the muon rest frame, its decay still follows $e^{-\Delta \tau /{\tau }_0}$. The atmosphere and ground move upward. Their separation, measured simultaneously in that frame, is shortened by length contraction:The same survival fraction follows. The terrestrial description uses a longer-lived moving particle; the muon-frame description uses a shorter atmospheric flight path. They describe the same production and detection events. This consistency illustrates both time dilation and length contraction, while the survival measurement is not two independent experimental tests merely because it can be described in two frames.

Energy-momentum invariant. For a particle with rest mass $m$,Since $E=m{c}^2+K$, substitution and cancellation of $m^2{c}^4$ giveThis relativistic energy-momentum relation reduces to $K\simeq p^2/(2m)$ when $K\ll m{c}^2$.

Laboratory beam energies. If both final muons are at rest in the laboratory, their total momentum is zero and their total energy is $2m_{\mu }{c}^2$. Four-momentum conservation therefore requires equal and opposite incoming momenta. Because the electron and Positron have equal rest masses, they then have equal total energies:Subtract each particle's own rest energy:Using the usual handbook rest energies gives approximately $105.1\mathrm{MeV}$ for each beam. These are the ideal kinematic threshold values. Just above threshold, the pair has small, equal and opposite momenta in this laboratory frame.

Positron momentum. Apply the relativistic energy-momentum relation to $E_{+}=m_{\mu }{c}^2$ and use its stipulated negative-$x$ direction:The electron has the opposite momentum, $p_{e,x}=+p_0$ with $p_0=c\sqrt{m_{\mu }^2-m_e^2}$.

Boost to the electron rest frame. The electron's velocity is $v=p_{e,x}{c}^2/E_{-}=p_0/m_{\mu }>0$. Thus $S^{\prime }$ moves in the positive-$x$ direction, and its Lorentz factor satisfiesThe positron has the same laboratory total energy as the electron, so $v{E}_{+}/c^2=v{m}_{\mu }=p_0$. The supplied Lorentz transformation then givesAs a sign check, the same boost gives $p_{e,x}^{\prime }=\gamma (p_0-v{E}_{-}/c^2)=0$, as required for the electron rest frame.

Nonrelativistic momentum conservation gives $\mathbf{u}={\mathbf{v}}_1+{\mathbf{v}}_2$, while an elastic collision conserves kinetic energy, $u^2=v_1^2+v_2^2$. Squaring the momentum equation yields ${\mathbf{v}}_1\cdot {\mathbf{v}}_2=0$. The two nonzero outgoing velocities are perpendicular. In the degenerate case where one outgoing particle is at rest, its direction is undefined.

For relativistic collisions conserve total four-momentum, with $E=\gamma m{c}^2$, $\mathbf{p}=\gamma m\mathbf{v}$ and $E^2-p^2{c}^2=m^2{c}^4$. Rest energies must be included; for photons $E=pc$.

For the symmetric relativistic equal-mass scattering angle, the incident momentum is $mc\sqrt{\alpha (\alpha +2)}$. Energy conservation gives each final particle $E_f=(1+\alpha /2)m{c}^2$, hence $p_f=(mc/2)\sqrt{\alpha (\alpha +4)}$. Transverse momenta cancel and $2p_f\cos \theta =p_{\mathrm{in}}$, givingThe nonrelativistic limit has $\theta \to 45^{\circ }$, so the outgoing angle is $90^{\circ }$ as above.

For the symmetric two-photon annihilation angle in the specified electron-positron annihilation, each photon has energy $E_{\gamma }=(\alpha +2)m_e{c}^2/2$. Momentum conservation gives $2(E_{\gamma }/c)\cos \varphi =m_{e}c\sqrt{\alpha (\alpha +2)}$, soAs $\alpha \to 0^{+}$ the two photons become back-to-back, transverse to the limiting incident direction; as $\alpha \to \infty$ they are forward collimated. Equal photon energies follow from the specified equal angles, and are not a general property of annihilation in a moving laboratory frame.

Let $p_1,p_2$ denote the incoming $\varphi ,\Phi$ four-momenta and $p_3,p_4$ the outgoing $\varphi ,\Phi$ four-momenta. Thus $p_1+p_2=p_3+p_4$, $p_1^2=p_3^2=m^2$ and $p_2^2=p_4^2=M^2$. Define the Mandelstam variables and exchanged four-momenta byThe leading connected four-point scattering amplitude uses two cubic interaction vertices. There are four tree-level Feynman diagrams: $s$ and $u$ exchange of $\Phi$ with two $\lambda$ vertices, and $s$ and $u$ exchange of $\varphi$ with two $g$ vertices.

There is no term proportional to $\lambda g$: one vertex of each kind has three field slots of each species altogether, whereas the external state uses two of each. This leaves one $\varphi$ and one $\Phi$ to contract internally, and their mixed scalar propagator is zero. There is also no $t$ channel: grouping both external $\varphi$ legs at one vertex would require a $g$ vertex with an internal $\Phi$, while grouping both external $\Phi$ legs at the other would require a $\lambda$ vertex with an internal $\varphi$.

Define $i\mathcal{M}$ after removing the overall momentum conservation delta function. The nonderivative exchange givesFor the derivative $s$ channel, the incoming $\varphi$ four-momenta at the first vertex are $p_1,-q_s$, and at the second they are $q_s,-p_3$. The two interaction vertices are therefore $ig{p}_1\cdot q_s$ and $ig{p}_3\cdot q_s$. The same reasoning with $q_u$ applies to the $u$ channel, givingThe mass shell conditions and momentum conservation implyCombining the four Feynman diagrams therefore yieldsEach displayed tree-level Feynman diagram has Feynman-diagram symmetry factor 1 for fixed external species and labels. The result is of order ${\lambda }^2,g^2$; if both couplings are scaled by a common parameter $\epsilon$, the next connected corrections begin at order ${\epsilon }^4$. A four-point cubic Feynman diagram has $3V=2I+4$, so its vertex count $V$ is even. The internal lines remain off shell throughout: imposing an on-shell relation on an exchanged four-momentum would incorrectly change the derivative vertices.

For four-momentum $k$ flowing along the fermion flow, the momentum space Feynman rules areThe scalar propagator and Dirac propagator invert their respective quadratic kernels. The interaction vertex follows by expanding $\exp (i\int {\mathcal{L}}_{\mathrm{int}})$, fixing its sign. Species is conserved along each open fermion line; there is no vertex changing species 1 into species 2.

An interaction vertex carries $(2\pi {)}^4{\delta }^{(4)}(\sum k)$ with inward four-momenta. Impose momentum conservation and integrate each independent loop momentum with $d^{4}k/(2\pi {)}^4$. Include the closed fermion loop sign $-1$ for every fermion loop, the relevant fermionic signs when rearranging external states, and the Feynman-diagram symmetry factor. External incoming and outgoing fermions carry $u_s(p)$ and ${\bar{u}}_s(p)$; incoming and outgoing antifermions carry ${\bar{v}}_s(p)$ and $v_s(p)$. An external real scalar field leg has factor 1 in an amputated scattering amplitude. The Feynman i-epsilon prescription specifies the poles.

Label the initial species-1 and species-2 fermions by $(p_1,s_1)$ and $(p_2,s_2)$, and the final species-1 and species-2 fermions by $(p_3,s_3)$ and $(p_4,s_4)$. There is exactly one tree-level Feynman diagram: the $t$-channel scalar propagator joins the continuous species-1 line $1\to 3$ to the continuous species-2 line $2\to 4$. Its exchanged four-momentum $q_t$ determines $t$, in the notation of Mandelstam variables:The top row of the figure displays this Feynman diagram. A crossed attachment $1\to 4$ would change species at an interaction vertex and is forbidden. There is no initial antifermion for an annihilation channel.

Label the external four-momenta by $\Psi (p_1)+\chi (p_2)\to \Psi (p_3)+\chi (p_4)$. The only tree-level Feynman diagram exchanges a scalar field particle between the transitions $\Psi (p_1)\to \chi (p_4)$ and $\chi (p_2)\to \Psi (p_3)$. Its internal four-momentum is $q=p_1-p_4=p_3-p_2$. Thus its scattering amplitude, with a consistent external-state ordering, isIt is the crossed, or $u$-channel, exchange with these labels. A direct $t$-channel scalar field exchange would need a flavour-preserving Yukawa coupling, which the Lagrangian density does not contain. There is no annihilation Feynman diagram for two incoming fermions.

For $\Psi (p_1)\to \chi (p_2)+\varphi (k_1)+\varphi (k_2)$, the sole tree-level Feynman diagram has a Yukawa coupling interaction vertex producing an off-shell scalar field particle of four-momentum $q=p_1-p_2=k_1+k_2$, followed by its cubic scalar field interaction vertex. Its invariant decay amplitude isTwo successive Yukawa coupling interaction vertices would change the fermion species twice and leave a $\Psi$, so they cannot produce this final state. Interchanging the two identical outgoing bosons does not create another Feynman diagram; the cubic factorial is already included in the Feynman rule. The integrated decay width instead includes the identical final-state symmetry factor $1/2!$.

The printed integration labels need correction. The parent's four-momentum is fixed, so the two Lorentz-invariant phase-space measures must integrate $p_2$ and $p_3$, rather than the printed $p_1$ and $p_2$. Write $P=p_1=(M,0)$ and $p=p_2$, $k=p_3$. The physical decay width isThe spatial Dirac delta function sets $\mathbf{k}=-\mathbf{p}$. Performing the angular integral in spherical coordinates, with $E=\sqrt{p^2+m^2}$, gives the integrated two-body decay phase spaceThe positive root is $p_{\ast }=\sqrt{M^2/4-m^2}$. Since $d(2E)/dp=2p/E$, the Dirac delta function integration yields ${\Phi }_2=p_{\ast }/(4\pi M)$. ThusThe two final particles have different species, so there is no identical final-state symmetry factor. The result tends to $g^{2}M/(16\pi )$ as $m\to 0$ and vanishes at the two-particle decay threshold.

Let $A=\mathbf{p}\cdot \mathbf{\sigma }$ and $E=\sqrt{{\mathbf{p}}^2+m^2}$. The Pauli multiplication identity gives $A^2={\mathbf{p}}^2{I}_2$, and the orthonormal two-component spinors obey ${\sum }_s{\xi }^s{\xi }^{s†}=I_2$. Taking the Dirac adjoint of the supplied Dirac spinor therefore gives, directly,For the antiparticle deduction, specify the standard normalization $v^{r†}(-\mathbf{p})v^s(-\mathbf{p})=2E{\delta }^{rs}$, just as $u^{r†}{u}^s=2E{\delta }^{rs}$. Spanning alone does not specify a normalization: replacing every $v$ by $2v$ preserves the spanning property but multiplies its proposed fermion spin sum by four. The standard normalization is the convention implicit in the mode expansion of a Dirac field with the standard canonical anticommutation relations.

To use completeness correctly, introduce the Hermitian Dirac HamiltonianThe Dirac equation makes $u^s(\mathbf{p})$ and $v^s(-\mathbf{p})$ its eigenvectors with eigenvalues $E$ and $-E$. Their mutual orthogonality and spanning property give complementary orthogonal projectorsMultiply the second equality by $2E{\gamma }^0$ on the right and replace $\mathbf{p}$ by $-\mathbf{p}$. For the positive-energy four-momentum $p=(E,\mathbf{p})$,

The two complex scalar fields have scalar propagatorscontractions of two unconjugated fields or two conjugated fields vanish. Draw an arrow on each line in the direction of positive conserved charge flow: a solid line carries one unit and a dashed line two units. A particle arrow follows its physical momentum; an antiparticle arrow opposes it.

There are two conjugate three-leg interaction vertices, both with Feynman rule $-ig$: one has a charge-two arrow entering and two charge-one arrows leaving, and the other reverses every arrow. These describe the two conjugate terms ${\varphi }^2{\Phi }^{†}$ and ${\varphi }^{†2}\Phi$. The two identical $\varphi$ attachments cancel the $1/2$ in the Lagrangian density. All crossed assignments are obtained by moving external lines between initial and final states while maintaining the arrows. There is no interaction vertex with three equal-sign charges.

Each interaction vertex conserves four-momentum, supplying $(2\pi {)}^4{\delta }^4(\sum p_j)$ with all momenta entering. Integrate each independent loop momentum with $d^{4}k/(2\pi {)}^4$ and divide by the Feynman-diagram symmetry factor. No minus sign is assigned to a closed scalar loop. These rules are for $i\mathcal{M}$ after amputating external lines and removing the overall four-momentum conservation factor.

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.

The nonzero free scalar propagators join a field to its adjoint:Contractions $⟨T\varphi \varphi ⟩$, $⟨T\Phi \Phi ⟩$ and mixed-species contractions vanish. With all momenta incoming, the Feynman vertices areThe two identical light legs cancel the $1/2!$ in each cubic interaction vertex; there is no remaining factor $1/2$ in its Feynman rule. Multiply each Feynman vertex by $(2\pi {)}^4{\delta }^{(4)}(\sum p)$, and integrate an internal unconstrained four-momentum with $d^{4}p/(2\pi {)}^4$.

The arrows in the figure follow positive Noether charge: a light arrow carries one unit and a heavy arrow two. Consequently a heavy particle $\Phi$ travels opposite its charge arrow, whereas its antiparticle $\bar{\Phi }$ travels along it. At a ${\varphi }^2\Phi$ Feynman vertex, two unit-charge arrows enter and a two-unit arrow leaves; the conjugate Feynman vertex reverses every arrow. The quartic Feynman vertex has one incoming and one outgoing arrow of each weight. These rules prevent attaching a propagator between two unconjugated fields.

In the rest frame, conservation of energy would require $E_{\gamma }=m{c}^2$, whereas conservation of momentum would require the photon momentum to vanish. These contradict $|{\mathbf{p}}_{\gamma }|=E_{\gamma }/c$. More generally, four-momentum conservation would equate the initial massive four-momentum to a null four-momentum, although their Minkowski norms differ:An isolated massive particle cannot decay into one photon in any inertial frame. Directly, a laboratory speed $u<c$ gives $E=\gamma m{c}^2$ and $|\mathbf{p}|=\gamma mu$; matching a photon would require $E=c|\mathbf{p}|$, hence $u=c$. Recoil against another object could change the kinematics, but would introduce an additional participant.

Throughout this solution $c=1$ and $a>0$.

Null metric tensor and boost. Inverting the coordinate definitions gives $t=(p+q)/2$, $x=(q-p)/2$, and henceFor a frame moving at speed $v$ along positive $x$, use $t^{\prime }=\gamma (t-vx)$, $x^{\prime }=\gamma (x-vt)$. Their difference and sum giveThe reciprocal scale factors preserve $dpdq$. They are $e^{\pm {\eta }_v}$ in rapidity notation.

acceleration invariants. Proper-time normalization gives ${\dot{t}}^2-{\dot{x}}^2=1$, so $\dot{p}\dot{q}=1$. The four-acceleration has squared norm ${\ddot{t}}^2-{\ddot{x}}^2=-a^2$; thereforeFor future motion write $\dot{p}=e^{-\eta }$ and $\dot{q}=e^{\eta }$. Then the second equation is $-(\dot{\eta }{)}^2=-a^2$. acceleration toward positive $x$ selects $\eta ={\eta }_0+a\tau$.

hyperbolic motion from an initial event and rapidity. The stated initial event fixes $p(0)=-1/a$, $q(0)=1/a$, but not the initial rapidity ${\eta }_0$. Integrating with positive signed acceleration gives the general familyThe initial event alone does not fix the initial velocity or signed acceleration. The trajectory explicitly requested in the next paragraph selects the additional conditions ${\eta }_0=0$ and positive-$x$ acceleration. With that convention,and consequentlyWith arbitrary ${\eta }_0$ the equivalent expressions are $t=[\sinh ({\eta }_0+a\tau )-\sinh {\eta }_0]/a$ and $x=1/a+[\cosh ({\eta }_0+a\tau )-\cosh {\eta }_0]/a$. Thus position data alone do not select the displayed special hyperbola. The following calculations use that intended hyperbola, which is also explicitly given by the paper.