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 must have the same value for every observer. Demanding this fixes how coordinates transform between a frame and one moving at velocity — the Lorentz transformation, governed by — and in the slow limit 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 that transforms like the coordinates, its squared length 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 , 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.
- Einstein's postulate that is identical in all inertial frames forces the Lorentz transformation in place of the Galilean one.
- Physical quantities are packaged as four-vectors that transform as ; the metric lowers indices.
- Any scalar product is Lorentz invariant — it has one value shared by every observer.
- Energy and momentum form with the invariant ; mass is the length of the four-momentum, not something that grows with speed.
- The Mandelstam variables describe scattering invariantly, with the total centre-of-mass energy and .
- 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.
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 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 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 experiments store muons at the "magic" Lorentz factor , which dilates the muon's rest-frame lifetime to about 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 . 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 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 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 , the spacetime interval. A Lorentz boost is a rotation-like transformation that scrambles into while leaving this interval untouched, exactly as an ordinary rotation scrambles into while leaving 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.
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 , 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 whose intercept is its rest energy and whose asymptote is the massless line . 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.
The core equations
The whole edifice starts from one demand: linear coordinate transformations that leave the interval unchanged for a boost along . Solving that constraint (Derivation 1) gives the Lorentz transformation, with the Lorentz factor measuring how strongly time and space are mixed.
where: — boost speed in units of ; — Lorentz factor, , diverging as ; primed coordinates are measured in the frame moving at along ; transverse coordinates are unchanged. Reading: a clock at rest in runs slow by as seen from (time dilation), and a rod at rest in is short by (length contraction). In the slow limit , and equation (1) becomes the Galilean . 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.
where: — a contravariant four-vector; — its covariant partner; repeated indices are summed. Reading: the metric supplies the crucial relative minus sign between the time and space parts. Because preserves , the value of 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 .
where: — total energy (including rest energy); — three-momentum; — invariant (rest) mass. Reading: and separately depend on frame, but the combination does not — it always equals . The handy inversion recovers the velocity from the two things a detector actually measures. (Factors of are set to ; restoring them gives the familiar and at rest.) For a two-body reaction the invariants are organised into the three Mandelstam variables, each a four-momentum squared and hence frame-independent.
where: — squared total four-momentum, the "energy" channel; — squared momentum transfers, the two "scattering" channels; the sum rule follows from on-shell conditions and momentum conservation. Reading: is the total energy available in the centre-of-mass frame, , and sets the momentum carried by the exchanged particle in a -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 , and it is the reason modern machines collide beams. For a beam of lab energy striking a target of mass at rest,
where: — projectile total energy in the lab; — 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 outright. Quadrupling the collision energy in a fixed-target machine takes sixteen times the beam energy — the punishing scaling that made colliders inevitable.
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 unchanged (Einstein's postulate, applied to a light pulse for which the interval is zero in every frame). We restrict to a boost along , leave the transverse directions alone, and show that these two demands alone pin down the coefficients up to the single parameter , delivering the Lorentz factor as a forced consequence rather than an assumption.
Step 1. Write the most general linear boost along that fixes : and , with constants 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 () moves at speed in : setting gives , so . By the reciprocity of the two frames the time coefficients match, . Why: this ties the abstract coefficients to the physical boost velocity and enforces that neither frame is privileged.
Step 3. Demand interval invariance, , and substitute the forms from Steps 1–2. Expanding, the cross terms cancel only if , and the squared terms match only if . Why: the postulate that 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 for the positive root, , and read off , . As , and this reduces to , , the Galilean boost. Why: the algebra hands back with no extra input, and the correct non-relativistic limit confirms the sign and normalisation. *Verified: the derived coefficients satisfy identically, and recovers the Galilean transformation as .*
Go deeper · Derivation B · 1 minInvariant mass as the length of the four-momentum
The goal is to establish equation (3) — that 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 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, , where is the proper time. Because is a scalar and transforms as a four-vector, transforms as . Why: dividing the four-vector displacement by the invariant proper time guarantees is itself a genuine four-vector, so its scalar square is invariant by construction.
Step 2. Work out the components: gives , and gives . Dividing the two yields . 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 , since . Why: the Lorentz factor is engineered so that this combination collapses to , a quantity carrying no frame label at all.
Step 4. Interpret: because is a scalar product it takes the same value in every frame, so holds universally. In the rest frame () it reads , the rest energy; in the massless limit () it reads , 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: follows algebraically from , using ; the rest-frame and massless limits reproduce and .*
Go deeper · Derivation C · 1 minCentre-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 in two situations — a fixed target and a symmetric collider — using the fact that , being a four-vector square, may be evaluated in whichever frame is easiest, and then compare how the available energy 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 in the lab for a projectile of four-momentum striking a target at rest. Then , since . 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 , so . The useful energy grows only as : to double 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 for a symmetric collider, two beams of energy meeting head-on with equal and opposite momenta. In this frame , so and — 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 TeV ( TeV per beam) in a fixed-target proton machine would need GeV, i.e. eV. Why: the same 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: reproduces in the symmetric-collider limit; the LHC fixed-target equivalent GeV was computed numerically.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Rest frame, | rest energy ; the mass is the energy an observer at rest measures | |
| Non-relativistic, | , | Newtonian kinetic energy is the first correction to the rest energy |
| Ultrarelativistic, | , | mass negligible; the particle hugs the light-line of Figure 2 |
| Massless, | , exactly | photons and gluons travel at in every frame; no rest frame exists |
| Fixed target, | centre-of-mass energy grows only as — the collider advantage | |
| Symmetric collider | 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, , with MeV, MeV, and . 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 with . The two products recoil back-to-back, so and they share a common momentum magnitude . Isolate the neutrino: .
Step 2. Square both sides and use : . In the rest frame , so .
Step 3. Solve for the muon energy: MeV .
Step 4. Momentum from the mass shell, , or equivalently MeV . The neutrino carries the same MeV of momentum in the opposite direction.
Step 5. Kinetic energy is total minus rest energy: . 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 , which needs three protons plus an antiproton in the final state. What beam energy is required at threshold? Take 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 — just enough to make four proton masses with nothing left for motion.
Step 2. Evaluate in the lab with a target at rest (equation 5): . Setting this equal to gives , hence .
Step 3. Numerically , a kinetic threshold of . 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
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 , that physical quantities should be grouped into four-vectors transforming under it, and that invariants like 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.
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 and reduce to Galilean form as ; (2) from ; (3) the pion-decay values MeV, MeV, MeV; (4) the antiproton threshold GeV; (5) the LHC fixed-target equivalent GeV; (6) the Mandelstam sum .
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 and momentum are the time and space components of one object, the four-momentum , 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, , 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 .
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 , all plus signs, because Euclidean space treats every direction alike. Spacetime does not: time and space enter the invariant interval with opposite signs, , and that relative minus is what distinguishes past from future and keeps the speed of light the same for everyone. The metric simply encodes this. A common slip is to forget it and write ; the correct invariant is . 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 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, is the squared total centre-of-mass energy — it tells you what particles you have enough energy to create — while and are squared momentum transfers that set how much the interaction deflects the particles and appear directly in the propagators of - and -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 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 with a large Lorentz factor , and from the ground its internal clock runs slow by exactly that factor: a 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 (), which forces its speed below for any finite energy — reaching would take infinite energy. Massless particles have , so and exactly: they always travel at , 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 without contradiction, but nothing that carries energy, momentum or information does.
Why work in "natural units" where c = 1?
Setting (and ) removes clutter: energy, momentum and mass all carry the same unit, usually the electronvolt, so is written without stray factors of . A proton's mass is simply 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 's at the end by dimensional analysis, turning into for an energy or 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.