Relativistic kinematics

Relativistic kinematics is the grammar every calculation in particle physics is written in. A collider smashes protons head-on at 13.6 TeV; a detector reconstructs a Higgs boson from four muons; a cosmic-ray muon reaches the ground when Newtonian mechanics says it should have decayed in flight — and the single thread running through all of it is that the laws of physics, and the speed of light, are the same in every inertial frame. Einstein's postulate turns that symmetry into a hard mathematical constraint: the spacetime interval t2−x2−y2−z2t^2-x^2-y^2-z^2 must have the same value for every observer. Demanding this fixes how coordinates transform between a frame Σ\Sigma and one moving at velocity vv — the Lorentz transformation, governed by γ=(1−β2)−1/2\gamma=(1-\beta^2)^{-1/2} — and in the slow limit γ→1\gamma\to1 it collapses back to the Galilean rule. But the transformation is not the point; invariance is. Once you package energy and momentum into a four-vector pμ=(E,p)p^\mu=(E,\mathbf p) that transforms like the coordinates, its squared length pμpμ=E2−∣p∣2=m2p^\mu p_\mu=E^2-|\mathbf p|^2=m^2 is the same number in every frame — the invariant mass. Write a prediction in terms of such four-vector scalar products and it is automatically frame-independent: you may compute it in the laboratory, in the rest frame of a decaying particle, or in the centre-of-mass frame, and get the same answer. This is what makes the Mandelstam variables s,t,us,t,u, the threshold energy of a reaction, and the mass of a resonance meaningful quantities rather than accidents of a particular observer. This article builds that machinery from the postulate up and puts it to work on real numbers.

Key takeaways
  • Einstein's postulate that cc is identical in all inertial frames forces the Lorentz transformation t′=γ(t−βz), z′=γ(z−βt)t'=\gamma(t-\beta z),\ z'=\gamma(z-\beta t) in place of the Galilean one.
  • Physical quantities are packaged as four-vectors aμa^\mu that transform as a′μ=Λμνaνa'^\mu=\Lambda^\mu{}_\nu a^\nu; the metric gμν=diag(1,−1,−1,−1)g_{\mu\nu}=\mathrm{diag}(1,-1,-1,-1) lowers indices.
  • Any scalar product aμbμ=a0b0−a ⁣⋅ ⁣ba^\mu b_\mu=a^0b^0-\mathbf a\!\cdot\!\mathbf b is Lorentz invariant — it has one value shared by every observer.
  • Energy and momentum form pμ=(E,p)p^\mu=(E,\mathbf p) with the invariant pμpμ=E2−∣p∣2=m2p^\mu p_\mu=E^2-|\mathbf p|^2=m^2; mass is the length of the four-momentum, not something that grows with speed.
  • The Mandelstam variables s=(p1+p2)2, t=(p1−p3)2, u=(p1−p4)2s=(p_1+p_2)^2,\ t=(p_1-p_3)^2,\ u=(p_1-p_4)^2 describe 2→22\to2 scattering invariantly, with s\sqrt{s} the total centre-of-mass energy and s+t+u=∑imi2s+t+u=\sum_i m_i^2.
  • Key idea: write physics in terms of four-vector scalar products — because each product has the same value in every inertial frame, an expression built from them is guaranteed Lorentz invariant and can be evaluated in whatever frame is easiest.
The core insight

Write physics in terms of four-vector scalar products: because each such product has the same value in every inertial frame, an expression built from them is guaranteed to be Lorentz invariant and applicable directly in any frame.

Where this lives today

Every collider result is a relativistic-kinematics calculation. The Higgs boson was discovered in 2012 by histogramming the invariant mass (p1+p2+p3+p4)2\sqrt{(p_1+p_2+p_3+p_4)^2} of four-lepton events and seeing a bump at 125 GeV — an application of equation (3) to a four-body final state, frame-independent by construction so that it does not matter how fast the Higgs was moving when it decayed. The LHC now runs at s=13.6\sqrt{s}=13.6 TeV precisely because equation (5) makes a fixed-target machine of comparable reach impossible. At the other end of the energy scale, the Fermilab and J-PARC muon g−2g-2 experiments store muons at the "magic" Lorentz factor γ≈29.3\gamma\approx29.3, which dilates the muon's 2.2 μs2.2\ \mu\mathrm s rest-frame lifetime to about 64 μs64\ \mu\mathrm s in the lab — long enough to circulate thousands of times and precess measurably. Cosmic-ray muons reach the ground for the same reason: time dilation stretches their fleeting lifetime by their large γ\gamma. And precision "Lorentz-invariance violation" searches — comparing clocks, spectral lines, and particle lifetimes at different orientations and speeds — continue to test the postulate at the 10−1810^{-18} level, so far finding it exact. The framework is a century old and still the first thing checked and the last thing to fail.

The physical picture

Special relativity is a statement about geometry. The postulate that light travels at cc for everyone means that the "distance" observers must agree on is not the spatial separation of two events, nor the time between them — both stretch and shrink from frame to frame — but the combination s2=t2−x2−y2−z2s^2=t^2-x^2-y^2-z^2, the spacetime interval. A Lorentz boost is a rotation-like transformation that scrambles tt into zz while leaving this interval untouched, exactly as an ordinary rotation scrambles xx into yy while leaving x2+y2x^2+y^2 fixed. The first figure draws this: the light cone is common to all frames, the coordinate axes tilt when you boost, yet every event stays pinned to the same invariant hyperbola.

Figure
A spacetime diagram in natural units c = 1. The light cone in grey lies at 45° and is common to every frame. Boosting to a frame moving at β = 0.5 tilts the time axis t′ and space axis z′ together like closing scissors, yet the event P stays on the same invariant hyperbola t² − z² = τ² — the proper time τ that all observers agree on
A boost tilts the axes but preserves the interval t² − z² = τ² z t light cone z = t t² − z² = τ² t′ z′ P τ P sits at proper time τ = 1 on both the t axis reading and the t′ axis reading

Once space and time mix, so does everything built from them. Energy and momentum are not separate conserved scalars but the time and space parts of one four-vector pμ=(E,p)p^\mu=(E,\mathbf p), and just as the interval fixes proper time, the length of the four-momentum fixes an invariant: the mass. Plotting energy against momentum, every particle lives on a hyperbola E2−∣p∣2=m2E^2-|\mathbf p|^2=m^2 whose intercept is its rest energy and whose asymptote is the massless line E=∣p∣E=|\mathbf p|. The second figure is the relativistic dispersion relation itself — the particle-physics analogue of an optical dispersion curve — showing how a proton and a pion each ride their own mass hyperbola and bend onto the light line once their momentum dwarfs their mass.

Figure
The relativistic dispersion relation E² = p² + m² in natural units. Energy versus momentum for a proton m = 938 MeV and a pion m = 140 MeV: each curve is a branch of the mass hyperbola, meeting the energy axis at its rest mass and bending down onto the massless line E = p as the momentum p far exceeds m — the ultrarelativistic limit where mass stops mattering
The punchline: E² = p² + m² — every particle rides its own mass hyperbola momentum p (MeV) energy E (MeV) E = p (massless limit) proton m = 938 MeV pion m = 140 MeV curves flatten onto E = p as p ≫ m 0 1000

The core equations

The whole edifice starts from one demand: linear coordinate transformations that leave the interval t2−z2t^2-z^2 unchanged for a boost along zz. Solving that constraint (Derivation 1) gives the Lorentz transformation, with the Lorentz factor γ\gamma measuring how strongly time and space are mixed.

t′=γ (t−βz),z′=γ (z−βt),γ=11−β2,β=vc(1)t'=\gamma\,(t-\beta z),\qquad z'=\gamma\,(z-\beta t),\qquad \gamma=\frac{1}{\sqrt{1-\beta^2}},\qquad \beta=\frac{v}{c} \qquad (1)

where: β\beta — boost speed in units of cc; γ\gamma — Lorentz factor, ≥1\ge1, diverging as β→1\beta\to1; primed coordinates are measured in the frame Σ′\Sigma' moving at +v+v along zz; transverse coordinates x,yx,y are unchanged. Reading: a clock at rest in Σ′\Sigma' runs slow by γ\gamma as seen from Σ\Sigma (time dilation), and a rod at rest in Σ′\Sigma' is short by 1/γ1/\gamma (length contraction). In the slow limit β≪1\beta\ll1, γ→1\gamma\to1 and equation (1) becomes the Galilean z′=z−vtz'=z-vt. The invariance the transformation was built to protect is encoded in the metric tensor, which turns a pair of four-vectors into a single frame-independent number. This scalar product is the workhorse of every later calculation.

a ⁣⋅ ⁣b≡aμbμ=gμν aμbν=a0b0−a ⁣⋅ ⁣b,gμν=diag(1,−1,−1,−1)(2)a\!\cdot\!b \equiv a^\mu b_\mu = g_{\mu\nu}\,a^\mu b^\nu = a^0 b^0 - \mathbf a\!\cdot\!\mathbf b,\qquad g_{\mu\nu}=\mathrm{diag}(1,-1,-1,-1) \qquad (2)

where: aμ=(a0,a)a^\mu=(a^0,\mathbf a) — a contravariant four-vector; aμ=gμνaν=(a0,−a)a_\mu=g_{\mu\nu}a^\nu=(a^0,-\mathbf a) — its covariant partner; repeated indices are summed. Reading: the metric supplies the crucial relative minus sign between the time and space parts. Because Λ\Lambda preserves gμνg_{\mu\nu}, the value of a ⁣⋅ ⁣ba\!\cdot\!b is identical in every frame — this single fact is the reason four-vector expressions are portable between frames. Applying the scalar product to the energy-momentum four-vector gives the central relation of relativistic kinematics: the invariant mass. Energy and momentum are the time and space parts of pμ=(E,p)=(γm,γmβ)p^\mu=(E,\mathbf p)=(\gamma m,\gamma m\boldsymbol\beta).

pμpμ=E2−∣p∣2=m2,E=γm,p=γm β,β=pE(3)p^\mu p_\mu = E^2-|\mathbf p|^2 = m^2,\qquad E=\gamma m,\qquad \mathbf p=\gamma m\,\boldsymbol\beta,\qquad \boldsymbol\beta=\frac{\mathbf p}{E} \qquad (3)

where: EE — total energy (including rest energy); p\mathbf p — three-momentum; mm — invariant (rest) mass. Reading: EE and p\mathbf p separately depend on frame, but the combination E2−∣p∣2E^2-|\mathbf p|^2 does not — it always equals m2m^2. The handy inversion β=p/E\boldsymbol\beta=\mathbf p/E recovers the velocity from the two things a detector actually measures. (Factors of cc are set to 11; restoring them gives the familiar E2=∣p∣2c2+m2c4E^2=|\mathbf p|^2c^2+m^2c^4 and E=mc2E=mc^2 at rest.) For a two-body reaction 1+2→3+41+2\to3+4 the invariants are organised into the three Mandelstam variables, each a four-momentum squared and hence frame-independent.

s=(p1+p2)2,t=(p1−p3)2,u=(p1−p4)2,s+t+u=∑i=14mi2(4)s=(p_1+p_2)^2,\qquad t=(p_1-p_3)^2,\qquad u=(p_1-p_4)^2,\qquad s+t+u=\sum_{i=1}^{4} m_i^2 \qquad (4)

where: ss — squared total four-momentum, the "energy" channel; t,ut,u — squared momentum transfers, the two "scattering" channels; the sum rule follows from on-shell conditions and momentum conservation. Reading: s\sqrt{s} is the total energy available in the centre-of-mass frame, s=E1∗+E2∗\sqrt{s}=E_1^\ast+E_2^\ast, and tt sets the momentum carried by the exchanged particle in a tt-channel diagram. Because each is a scalar product, you evaluate it in whatever frame is convenient and get the physically meaningful invariant. The distinction between colliding two beams and firing one beam at a stationary target lives entirely in ss, and it is the reason modern machines collide beams. For a beam of lab energy ElabE_{\text{lab}} striking a target of mass m2m_2 at rest,

sfixed target=m12+m22+2 m2 Elab,s →Elab≫m 2 m2 Elab(5)s_{\text{fixed target}} = m_1^2 + m_2^2 + 2\,m_2\,E_{\text{lab}},\qquad \sqrt{s}\ \xrightarrow{E_{\text{lab}}\gg m}\ \sqrt{2\,m_2\,E_{\text{lab}}} \qquad (5)

where: ElabE_{\text{lab}} — projectile total energy in the lab; m2m_2 — target mass. Reading: the useful centre-of-mass energy grows only as the square root of the beam energy in a fixed-target setup, whereas a symmetric collider gives s=2Ebeam\sqrt{s}=2E_{\text{beam}} outright. Quadrupling the collision energy in a fixed-target machine takes sixteen times the beam energy — the punishing scaling that made colliders inevitable.

Derivation AThe Lorentz transformation from an invariant interval

The goal is to derive equation (1) using nothing but two inputs: that the transformation between two inertial frames must be linear (so that free particles moving in straight lines stay moving in straight lines), and that it must leave the interval t2−z2t^2-z^2 unchanged (Einstein's postulate, applied to a light pulse for which the interval is zero in every frame). We restrict to a boost along zz, leave the transverse directions alone, and show that these two demands alone pin down the coefficients up to the single parameter β\beta, delivering the Lorentz factor γ\gamma as a forced consequence rather than an assumption.

Step 1. Write the most general linear boost along zz that fixes x,yx,y: t′=A t+B zt'=A\,t+B\,z and z′=D t+F zz'=D\,t+F\,z, with constants A,B,D,FA,B,D,F that may depend on the relative speed. Why: linearity is required so that uniform motion maps to uniform motion and the origin maps consistently; it reduces an unknown function to four unknown numbers.

Step 2. Impose that the spatial origin of Σ′\Sigma' (z′=0z'=0) moves at speed v=βv=\beta in Σ\Sigma: setting z′=0z'=0 gives z=(−D/F) t=βtz=(-D/F)\,t=\beta t, so D=−βFD=-\beta F. By the reciprocity of the two frames the time coefficients match, A=FA=F. Why: this ties the abstract coefficients to the physical boost velocity and enforces that neither frame is privileged.

Step 3. Demand interval invariance, t′2−z′2=t2−z2t'^2-z'^2=t^2-z^2, and substitute the forms from Steps 1–2. Expanding, the cross terms cancel only if B=−βAB=-\beta A, and the squared terms match only if A2(1−β2)=1A^2(1-\beta^2)=1. Why: the postulate that cc is the same for all observers is exactly the statement that the light-cone interval is preserved; forcing it fixes the remaining freedom.

Step 4. Solve A2(1−β2)=1A^2(1-\beta^2)=1 for the positive root, A=γ=(1−β2)−1/2A=\gamma=(1-\beta^2)^{-1/2}, and read off t′=γ(t−βz)t'=\gamma(t-\beta z), z′=γ(z−βt)z'=\gamma(z-\beta t). As β→0\beta\to0, γ→1\gamma\to1 and this reduces to t′=tt'=t, z′=z−βtz'=z-\beta t, the Galilean boost. Why: the algebra hands back γ\gamma with no extra input, and the correct non-relativistic limit confirms the sign and normalisation. *Verified: the derived coefficients satisfy t′2−z′2=t2−z2t'^2-z'^2=t^2-z^2 identically, and γ→1\gamma\to1 recovers the Galilean transformation as β→0\beta\to0.*

Go deeper · Derivation B · 1 minInvariant mass as the length of the four-momentum
Derivation BInvariant mass as the length of the four-momentum

The goal is to establish equation (3) — that E2−∣p∣2E^2-|\mathbf p|^2 is the same number in every inertial frame and equals the squared rest mass — starting from the definition of the four-momentum and the transformation law it inherits from the coordinates. We build pμp^\mu from the velocity, evaluate its scalar product in the rest frame where the answer is obvious, and then invoke invariance to carry that answer to every other frame. This is the template for essentially every kinematic result in the subject: compute the invariant where it is trivial, then read it off wherever you like.

Step 1. Define the four-momentum as mass times the four-velocity, pμ=m dxμ/dτp^\mu=m\,\mathrm dx^\mu/\mathrm d\tau, where τ\tau is the proper time. Because dτ\mathrm d\tau is a scalar and dxμ\mathrm dx^\mu transforms as a four-vector, pμ=(E,p)p^\mu=(E,\mathbf p) transforms as p′μ=Λμνpνp'^\mu=\Lambda^\mu{}_\nu p^\nu. Why: dividing the four-vector displacement by the invariant proper time guarantees pμp^\mu is itself a genuine four-vector, so its scalar square is invariant by construction.

Step 2. Work out the components: dt/dτ=γ\mathrm dt/\mathrm d\tau=\gamma gives E=γmE=\gamma m, and dx/dτ=γv\mathrm d\mathbf x/\mathrm d\tau=\gamma\mathbf v gives p=γmv=γmβ\mathbf p=\gamma m\mathbf v=\gamma m\boldsymbol\beta. Dividing the two yields β=p/E\boldsymbol\beta=\mathbf p/E. Why: these expose energy and momentum as the time and space parts of one object and connect them to the velocity a detector can reconstruct.

Step 3. Form the scalar square pμpμ=E2−∣p∣2=γ2m2−γ2m2β2=γ2m2(1−β2)=m2p^\mu p_\mu=E^2-|\mathbf p|^2=\gamma^2m^2-\gamma^2m^2\beta^2=\gamma^2m^2(1-\beta^2)=m^2, since γ2(1−β2)=1\gamma^2(1-\beta^2)=1. Why: the Lorentz factor is engineered so that this combination collapses to m2m^2, a quantity carrying no frame label at all.

Step 4. Interpret: because pμpμp^\mu p_\mu is a scalar product it takes the same value in every frame, so E2−∣p∣2=m2E^2-|\mathbf p|^2=m^2 holds universally. In the rest frame (p=0\mathbf p=0) it reads E=mE=m, the rest energy; in the massless limit (m=0m=0) it reads E=∣p∣E=|\mathbf p|, the light-line of the second figure. Why: this is the payoff — mass is an invariant, the same for all observers, while energy and momentum individually are not. *Verified: E2−∣p∣2=m2E^2-|\mathbf p|^2=m^2 follows algebraically from E=γmE=\gamma m, p=γmβ\mathbf p=\gamma m\boldsymbol\beta using γ2(1−β2)=1\gamma^2(1-\beta^2)=1; the rest-frame and massless limits reproduce E=mE=m and E=∣p∣E=|\mathbf p|.*

Go deeper · Derivation C · 1 minCentre-of-mass energy and the collider advantage
Derivation CCentre-of-mass energy and the collider advantage

The goal is to derive equation (5) and show quantitatively why physicists collide beams instead of hitting fixed targets. We compute the invariant s=(p1+p2)2s=(p_1+p_2)^2 in two situations — a fixed target and a symmetric collider — using the fact that ss, being a four-vector square, may be evaluated in whichever frame is easiest, and then compare how the available energy s\sqrt{s} scales with the machine's beam energy. The result is the single most important piece of accelerator kinematics and the reason the LHC exists in the form it does.

Step 1. Evaluate ss in the lab for a projectile of four-momentum p1=(Elab,p1)p_1=(E_{\text{lab}},\mathbf p_1) striking a target p2=(m2,0)p_2=(m_2,\mathbf 0) at rest. Then s=(p1+p2)2=p12+p22+2p1 ⁣⋅ ⁣p2=m12+m22+2m2Elabs=(p_1+p_2)^2=p_1^2+p_2^2+2p_1\!\cdot\!p_2=m_1^2+m_2^2+2m_2E_{\text{lab}}, since p1 ⁣⋅ ⁣p2=Elabm2p_1\!\cdot\!p_2=E_{\text{lab}}m_2. Why: choosing the lab frame makes the target four-momentum trivial, so the scalar product collapses to a single term.

Step 2. Take the high-energy limit Elab≫m1,m2E_{\text{lab}}\gg m_1,m_2, so s≈2m2Elab\sqrt{s}\approx\sqrt{2m_2E_{\text{lab}}}. The useful energy grows only as Elab\sqrt{E_{\text{lab}}}: to double s\sqrt{s} you must quadruple the beam energy. Why: most of the beam energy is spent dragging the centre of mass forward, not creating new particles — it is wasted momentum.

Step 3. Now evaluate ss for a symmetric collider, two beams of energy EbeamE_{\text{beam}} meeting head-on with equal and opposite momenta. In this frame p1+p2=0\mathbf p_1+\mathbf p_2=0, so s=(2Ebeam)2s=(2E_{\text{beam}})^2 and s=2Ebeam\sqrt{s}=2E_{\text{beam}} — the full energy is available. Why: with zero total momentum the lab frame is already the centre-of-mass frame, so nothing is lost to bulk motion.

Step 4. Compare with numbers. To match the LHC's design s=14\sqrt{s}=14 TeV (Ebeam=7E_{\text{beam}}=7 TeV per beam) in a fixed-target proton machine would need Elab=s/2mp≈(14000)2/(2×0.938)≈1.0×108E_{\text{lab}}=s/2m_p\approx(14000)^2/(2\times0.938)\approx1.0\times10^{8} GeV, i.e. 101710^{17} eV. Why: the same s\sqrt{s} that a collider reaches with 7 TeV beams would demand a fixed-target beam ten million times more energetic — a machine no one could build. *Verified: s=m12+m22+2m2Elabs=m_1^2+m_2^2+2m_2E_{\text{lab}} reproduces s=(2Ebeam)2s=(2E_{\text{beam}})^2 in the symmetric-collider limit; the LHC fixed-target equivalent Elab=s/2mp=1.045×108E_{\text{lab}}=s/2m_p=1.045\times10^{8} GeV was computed numerically.*

Limiting cases

CaseResultMeaning
Rest frame, p=0\mathbf p=0E=mE=mrest energy E=mc2E=mc^2; the mass is the energy an observer at rest measures
Non-relativistic, β≪1\beta\ll1γ≈1+12β2\gamma\approx1+\tfrac12\beta^2, E≈m+12mv2E\approx m+\tfrac12mv^2Newtonian kinetic energy is the first correction to the rest energy
Ultrarelativistic, E≫mE\gg mE≈∣p∣E\approx|\mathbf p|, β→1\beta\to1mass negligible; the particle hugs the light-line E=pE=p of Figure 2
Massless, m=0m=0E=∣p∣E=|\mathbf p|, β=1\beta=1 exactlyphotons and gluons travel at cc in every frame; no rest frame exists
Fixed target, Elab≫mE_{\text{lab}}\gg ms≈2m2Elab\sqrt{s}\approx\sqrt{2m_2E_{\text{lab}}}centre-of-mass energy grows only as E\sqrt{E} — the collider advantage
Symmetric colliders=2Ebeam\sqrt{s}=2E_{\text{beam}}all of the beam energy is available for particle creation

Worked examples

1 · Two-body decay: the muon from a charged pion (fully worked)

A charged pion at rest decays, π+→μ+νμ\pi^+\to\mu^+\nu_\mu, with mπ=139.57m_\pi=139.57 MeV, mμ=105.66m_\mu=105.66 MeV, and mν≈0m_\nu\approx0. Find the energy and momentum of the muon in the pion rest frame, and its kinetic energy.

Step 1. Conservation of four-momentum in the pion rest frame reads pπ=pμ+pνp_\pi=p_\mu+p_\nu with pπ=(mπ,0)p_\pi=(m_\pi,\mathbf 0). The two products recoil back-to-back, so pμ=−pν\mathbf p_\mu=-\mathbf p_\nu and they share a common momentum magnitude p∗p^\ast. Isolate the neutrino: pν=pπ−pμp_\nu=p_\pi-p_\mu.

Step 2. Square both sides and use pν2=mν2≈0p_\nu^2=m_\nu^2\approx0: 0=(pπ−pμ)2=mπ2+mμ2−2 pπ ⁣⋅ ⁣pμ0=(p_\pi-p_\mu)^2=m_\pi^2+m_\mu^2-2\,p_\pi\!\cdot\!p_\mu. In the rest frame pπ ⁣⋅ ⁣pμ=mπEμp_\pi\!\cdot\!p_\mu=m_\pi E_\mu, so 2mπEμ=mπ2+mμ22m_\pi E_\mu=m_\pi^2+m_\mu^2.

Step 3. Solve for the muon energy: Eμ=mπ2+mμ22mπ=139.572+105.6622(139.57)=30 644279.1E_\mu=\dfrac{m_\pi^2+m_\mu^2}{2m_\pi}=\dfrac{139.57^2+105.66^2}{2(139.57)}=\dfrac{30\,644}{279.1} MeV =109.78 MeV=\mathbf{109.78\ MeV}.

Step 4. Momentum from the mass shell, p∗=Eμ2−mμ2p^\ast=\sqrt{E_\mu^2-m_\mu^2}, or equivalently p∗=mπ2−mμ22mπ=19 480−11 164279.1p^\ast=\dfrac{m_\pi^2-m_\mu^2}{2m_\pi}=\dfrac{19\,480-11\,164}{279.1} MeV =29.79 MeV=\mathbf{29.79\ MeV}. The neutrino carries the same 29.7929.79 MeV of momentum in the opposite direction.

Step 5. Kinetic energy is total minus rest energy: Tμ=Eμ−mμ=109.78−105.66=4.12 MeVT_\mu=E_\mu-m_\mu=109.78-105.66=\mathbf{4.12\ MeV}. The heavy muon barely moves while the massless neutrino races off; two-body decay of a particle at rest fixes both product energies uniquely from the three masses alone. E_μ = 109.78 MeV, p* = 29.79 MeV/c, T_μ = 4.12 MeV.

2 · Threshold energy for antiproton production

Antiprotons were first made by firing protons at a stationary proton (hydrogen) target through p+p→p+p+p+pˉp+p\to p+p+p+\bar p, which needs three protons plus an antiproton in the final state. What beam energy is required at threshold? Take mp=0.938m_p=0.938 GeV.

Step 1. At threshold the four final particles are produced at rest in the centre-of-mass frame, so the minimum invariant energy is s=4mp\sqrt{s}=4m_p — just enough to make four proton masses with nothing left for motion.

Step 2. Evaluate ss in the lab with a target at rest (equation 5): s=2mp2+2mpElabs=2m_p^2+2m_pE_{\text{lab}}. Setting this equal to (4mp)2=16mp2(4m_p)^2=16m_p^2 gives 2mpElab=14mp22m_pE_{\text{lab}}=14m_p^2, hence Elab=7mpE_{\text{lab}}=7m_p.

Step 3. Numerically Elab=7(0.938)=6.57 GeVE_{\text{lab}}=7(0.938)=\mathbf{6.57\ GeV}, a kinetic threshold of T=Elab−mp=6mp=5.63 GeVT=E_{\text{lab}}-m_p=6m_p=\mathbf{5.63\ GeV}. This is why the Bevatron at Berkeley was designed to reach about 6.2 GeV — enough, with margin, to cross this threshold — and it duly delivered the antiproton in 1955. Beam energy ≈ 6.57 GeV total, ≈ 5.63 GeV kinetic.

Physics of the portrait

Relativistic kinematics is a monument built by three people in three years: Lorentz found the transformation, Einstein found the reason, and Minkowski found the geometry that made it usable — the four-vectors this whole article is written in.

Origins · 1 minHermann Minkowski and how this was discovered
HM
Hermann Minkowski
1864–1909 · the geometry of spacetime and four-vectors

Hermann Minkowski was Einstein's mathematics professor at the Zürich Polytechnic — and, by his own wry account, once dismissed the young Einstein as a "lazy dog" who never bothered with mathematics. It was therefore an irony of the first order that Minkowski gave Einstein's 1905 theory the geometric language it needed to become the working tool of physics. In a celebrated 1908 lecture at Cologne he opened with the words, "Henceforth space by itself, and time by itself, are doomed to fade away into mere shadows, and only a kind of union of the two will preserve an independent reality." That union was spacetime. Minkowski recognised that the Lorentz transformation is a rotation in a four-dimensional geometry with the indefinite metric diag(1,−1,−1,−1)\mathrm{diag}(1,-1,-1,-1), that physical quantities should be grouped into four-vectors transforming under it, and that invariants like pμpμ=m2p^\mu p_\mu=m^2 are the frame-independent facts of nature. Einstein at first thought the reformulation superfluous mathematical decoration — until he needed exactly this machinery to build general relativity, where Minkowski's spacetime becomes curved. Minkowski died suddenly of appendicitis in 1909, at forty-four, a year after the lecture that reshaped physics; he never saw four-vectors become the everyday grammar of particle physics, but every Mandelstam variable and every invariant-mass plot is written in the language he invented.

History
1887
— Michelson and Morley find no motion of the Earth through the ether
1892
— Lorentz introduces the transformation and "local time" to explain the null result
1905
— Einstein derives special relativity from two postulates, no ether needed
1908
— Minkowski unifies space and time into spacetime and introduces four-vectors
1958
— Mandelstam introduces the invariant variables s, t and u for scattering

Going further

Texts. Thomson, Modern Particle Physics, §2.2–2.3 (special relativity, four-vectors, Mandelstam variables) · Griffiths, Introduction to Elementary Particles, 2nd ed., Ch. 3 §3.1–3.4 (Lorentz transformations, four-vectors, energy and momentum, collisions) · Halzen & Martin, Quarks and Leptons, Ch. 4 (kinematics and cross sections) · Peskin & Schroeder, An Introduction to Quantum Field Theory, §3.1 (Lorentz invariance) · Schwartz, Quantum Field Theory and the Standard Model, Ch. 5 (kinematics and phase space).

Provenance. The interval-invariance derivation and the four-momentum invariant follow Thomson §2.2; the Mandelstam sum rule and centre-of-mass kinematics follow Halzen & Martin Ch. 4. A verifier should confirm: (1) the Lorentz coefficients satisfy t′2−z′2=t2−z2t'^2-z'^2=t^2-z^2 and reduce to Galilean form as β→0\beta\to0; (2) E2−∣p∣2=m2E^2-|\mathbf p|^2=m^2 from E=γm, p=γmβE=\gamma m,\ \mathbf p=\gamma m\boldsymbol\beta; (3) the pion-decay values Eμ=109.78E_\mu=109.78 MeV, p∗=29.79p^\ast=29.79 MeV, Tμ=4.12T_\mu=4.12 MeV; (4) the antiproton threshold Elab=7mp=6.57E_{\text{lab}}=7m_p=6.57 GeV; (5) the LHC fixed-target equivalent Elab=s/2mp≈1.0×108E_{\text{lab}}=s/2m_p\approx1.0\times10^{8} GeV; (6) the Mandelstam sum s+t+u=∑imi2s+t+u=\sum_i m_i^2.

Prerequisites. Natural Units · Special Relativity Basics. Leads to. Four-Vector Notation · Mandelstam Variables · Centre-of-Mass Frame · Lorentz-Invariant Phase Space.

Ask the tutor: Ask me to walk through any collision or decay by squaring four-momenta in the smartest frame — from a pion's muon to the invariant mass that revealed the Higgs.

What is the difference between energy, momentum and mass in relativity?

Energy EE and momentum p\mathbf p are the time and space components of one object, the four-momentum pμ=(E,p)p^\mu=(E,\mathbf p), and each depends on the observer's frame — a fast-moving particle has more energy and momentum to you than to someone riding along with it. Mass is different: it is the length of that four-vector, m=E2−∣p∣2m=\sqrt{E^2-|\mathbf p|^2}, and every observer computes the same value no matter how fast they move. So mass is the invariant, frame-independent property; energy and momentum are the frame-dependent bookkeeping. This is why "invariant mass" and "rest mass" are the same thing — in the rest frame the momentum vanishes and E=mE=m.

Why is there a minus sign in the four-vector scalar product?

The minus sign is the whole content of special relativity. An ordinary rotation preserves x2+y2x^2+y^2, all plus signs, because Euclidean space treats every direction alike. Spacetime does not: time and space enter the invariant interval with opposite signs, t2−x2−y2−z2t^2-x^2-y^2-z^2, and that relative minus is what distinguishes past from future and keeps the speed of light the same for everyone. The metric gμν=diag(1,−1,−1,−1)g_{\mu\nu}=\mathrm{diag}(1,-1,-1,-1) simply encodes this. A common slip is to forget it and write E2+∣p∣2E^2+|\mathbf p|^2; the correct invariant is E2−∣p∣2=m2E^2-|\mathbf p|^2=m^2. Beware also that some textbooks use the opposite signature (−,+,+,+)(-,+,+,+), which flips the sign of every scalar product — always check which convention a source uses.

What exactly are the Mandelstam variables good for?

They repackage a 2→22\to2 scattering process into three Lorentz-invariant numbers, so that any amplitude or cross section can be written in a form valid in every frame. Physically, ss is the squared total centre-of-mass energy — it tells you what particles you have enough energy to create — while tt and uu are squared momentum transfers that set how much the interaction deflects the particles and appear directly in the propagators of tt- and uu-channel Feynman diagrams. Because they are invariants, you can derive a formula in the centre-of-mass frame, where the geometry is simplest, and then apply it to a lab-frame experiment without redoing the kinematics. The sum rule s+t+u=∑imi2s+t+u=\sum_i m_i^2 provides a built-in consistency check.

How can a cosmic-ray muon reach the ground if it lives only two microseconds?

Because two microseconds is its lifetime in its own rest frame. A muon produced high in the atmosphere moves at nearly cc with a large Lorentz factor γ\gamma, and from the ground its internal clock runs slow by exactly that factor: a 2.2 μs2.2\ \mu\mathrm s proper lifetime becomes tens of microseconds of laboratory time, ample to cross tens of kilometres. Equivalently, in the muon's own frame the atmosphere is Lorentz-contracted to a thin sheet it crosses quickly. Both descriptions are the same physics — equation (1) seen from two frames — and both give the same measured survival rate. It is one of the cleanest everyday confirmations of time dilation, reproducible in a teaching lab with a scintillator.

Does the speed of light being constant mean nothing can ever go faster?

The invariant statement is that a massive particle's four-momentum is timelike (E2−∣p∣2=m2>0E^2-|\mathbf p|^2=m^2>0), which forces its speed β=∣p∣/E\beta=|\mathbf p|/E below 11 for any finite energy — reaching β=1\beta=1 would take infinite energy. Massless particles have m=0m=0, so E=∣p∣E=|\mathbf p| and β=1\beta=1 exactly: they always travel at cc, in every frame, and cannot be brought to rest. What relativity forbids is a massive particle crossing the light barrier or a signal outrunning light, because that would let effects precede their causes. Phase velocities and other non-signalling patterns can exceed cc without contradiction, but nothing that carries energy, momentum or information does.

Why work in "natural units" where c = 1?

Setting c=1c=1 (and ℏ=1\hbar=1) removes clutter: energy, momentum and mass all carry the same unit, usually the electronvolt, so E2=∣p∣2+m2E^2=|\mathbf p|^2+m^2 is written without stray factors of cc. A proton's mass is simply 938938 MeV, its rest energy and mass being numerically identical. This is not a physical assumption, only a choice of units — you can always reinstate the cc's at the end by dimensional analysis, turning mm into mc2mc^2 for an energy or mcmc for a momentum. Every professional particle-physics calculation is done this way, and every equation in this article uses it; the refractive-index-style factors reappear only when you convert back to SI for a laboratory number.

Before this

Where this leads