Four-Vectors and Invariant Mass

Relativistic kinematics is the bookkeeping of energy and momentum in reactions where speeds approach $c$ and particles are created and destroyed. Its central object is the four-vector, and its central quantity is an invariant that every observer agrees on: the mass. This lesson sets up the four-vector formalism and the invariants built from it, working in the natural units of the previous lesson, where energy, momentum, and mass share the unit GeV.

The energy-momentum four-vector

A particle's energy $E$ and three-momentum $p = (p_{x}, p_{y}, p_{z})$ combine into a single four-component object,

p^{μ} = (E, p) = (E, p_{x}, p_{y}, p_{z}), μ = 0, 1, 2, 3,

with the energy as the time component $p^{0} = E$ and the momentum as the space components. Under a Lorentz transformation between two inertial frames, the four components mix exactly as the time and space coordinates $x^{μ} = (t, x)$ do. A boost of speed $β$ along the $z$ -axis, with $γ = (1 - β^{2})^{- 1/2}$ , acts as

E^{'} = γ (E - β p_{z}), p_{z}^{'} = γ (p_{z} - β E), p_{x}^{'} = p_{x}, p_{y}^{'} = p_{y} .

The transverse components are untouched; energy and longitudinal momentum rotate into each other. Any four quantities that transform by this rule form a four-vector, and the machinery below applies to all of them equally.

The metric and invariant products

The scalar product of four-vectors is not the Euclidean sum of component products. It is defined with the Minkowski metric

g_{μν} = diag (1, - 1, - 1, - 1),

so that for two four-vectors $a^{μ} = (a^{0}, a)$ and $b^{μ} = (b^{0}, b)$ ,

a \cdot b \equiv g_{μν} a^{μ} b^{ν} = a^{0} b^{0} - a \cdot b .

The single minus sign carrying the space components is the entire content of special relativity for kinematics. This product is a Lorentz invariant: every inertial observer computes the same number for $a \cdot b$ , because the metric is built to cancel the frame-dependence introduced by the boost. The square of a single four-vector,

p^{2} \equiv p \cdot p = E^{2} - ∣ p ∣^{2},

is therefore the same in every frame.

The energy-momentum relation as a right triangle. The energy E is the hypotenuse, the momentum magnitude and the mass are the legs, and the Pythagorean relation E squared equals p squared plus m squared is the frame-independent content. Boosting a particle slides it along the hypotenuse without changing the mass leg.

Mass as the invariant square

The energy and momentum of a free particle satisfy the relativistic relation

E^{2} = ∣ p ∣^{2} + m^{2},

which restores in SI to $E^{2} = (p c)^{2} + (m c^{2})^{2}$ . Substituting into the invariant square gives the fundamental identity

p^{2} = E^{2} - ∣ p ∣^{2} = m^{2} .

The square of the energy-momentum four-vector equals the mass squared, in every frame. This is the mass-shell condition. Its power is that mass, an intrinsic property, is computed from the frame-dependent $E$ and $p$ by a combination that removes all frame-dependence. Two limits fix intuition:

massless particle ( $m = 0$ ): $E = ∣ p ∣$ , so a photon's energy equals its momentum magnitude. Its four-vector squares to zero and is called null.
particle at rest ( $p = 0$ ): $E = m$ , the rest energy, which restores to the familiar $E = m c^{2}$ .

Between these, a massive moving particle has $E = γ m$ and $∣ p ∣ = γ m β$ , from which $E^{2} - ∣ p ∣^{2} = γ^{2} m^{2} (1 - β^{2}) = m^{2}$ directly.

The invariant mass of a system

The four-vector of a system of $n$ particles is the sum of the individual four-vectors, because energy and momentum are additive:

P^{μ} = i = 1 \sum n p_{i}^{μ} = (\sum_{i} E_{i}, \sum_{i} p_{i}) .

The square of this total four-vector defines the invariant mass $W$ of the system,

W^{2} = P^{2} = (i \sum E_{i})^{2} - i \sum p_{i}^{2},

a single number that every frame agrees on. For a single particle it reduces to the mass. For several it is generally larger than the sum of the individual masses, the excess being the kinetic energy available in the center-of-momentum frame.

The invariant mass is the primary reconstruction quantity in experiment. When an unstable particle of mass $M$ decays into daughters that a detector measures, the daughters' four-vectors reconstruct the parent through $W = M$ . Combining every candidate pair and histogramming $W$ produces a peak at the parent mass over a smooth combinatorial background. The two-photon decay of the neutral pion is the prototype: for $π^{0} \to γ γ$ ,

W^{2} = (p_{γ 1} + p_{γ 2})^{2} = 2 p_{γ 1} \cdot p_{γ 2} = 2 E_{1} E_{2} (1 - cos θ_{12}),

since each photon is massless, and the peak in $W$ sits at $m_{π^{0}} = 135$ MeV.

An invariant-mass spectrum reconstructed from photon pairs. Each entry is the invariant mass of one photon pair; true pions from the same decay pile up at 135 MeV as a peak, while random pairings form the smooth combinatorial background beneath it.

Laboratory and center-of-momentum frames

Two frames organize every reaction. The laboratory frame is where the experiment sits: in a fixed-target setup one particle is at rest and the other carries the beam momentum; in a collider the two beams meet. The center-of-momentum frame, written CM, is the frame in which the total three-momentum vanishes,

i \sum p_{i}^{*} = 0,

with starred quantities denoting CM-frame values. In the CM frame the total four-vector is purely temporal, $P^{μ *} = (W, 0)$ , so the invariant mass equals the total energy there:

W = s = i \sum E_{i}^{*} .

The symbol $s = W^{2} = P^{2}$ is the standard name for this invariant, and $s$ is the total energy available in the CM frame — the energy that can be converted into new particle masses. For a two-body collision of particles $a$ and $b$ ,

s = (p_{a} + p_{b})^{2} = m_{a}^{2} + m_{b}^{2} + 2 p_{a} \cdot p_{b} .

In a fixed-target experiment with $b$ at rest, $p_{a} \cdot p_{b} = E_{a} m_{b}$ , so $s = m_{a}^{2} + m_{b}^{2} + 2 E_{a} m_{b}$ and $s$ grows only as $E_{a}$ . In a symmetric collider the two beams have equal and opposite momenta, $p_{a} \cdot p_{b} = 2 E_{a} E_{b} + \dots$ , giving $s = 2 E$ for equal beams of energy $E$ . The collider spends beam energy far more efficiently, a point developed in the lesson on thresholds and again in the module on accelerators.

The same two-body reaction in the laboratory and center-of-momentum frames. In the lab (top) the target is at rest and the beam carries all the momentum; in the CM frame (bottom) the two momenta are equal and opposite and the total three-momentum is zero.

Rapidity

Collinear boosts along a fixed axis have a variable in which they add. Define the rapidity $y$ of a particle by

y = \frac{1}{2} ln \frac{E + p _{z}}{E - p _{z}} = tanh^{- 1} (β_{z}),

the second form holding when $β_{z} = p_{z} / E$ is the longitudinal velocity. A boost of rapidity $η$ along $z$ maps

y ⟶ y + η,

so rapidities of collinear motions add by ordinary addition, where velocities combine by the nonlinear relativistic law

β = \frac{β _{1} + β _{2}}{1 + β _{1} β _{2}} .

The two statements are the same physics: writing $β = tanh y$ turns the velocity-addition formula into the addition theorem for $tanh$ , which is exactly $y = y_{1} + y_{2}$ . Rapidity is preferred in collider physics because differences of rapidity are boost-invariant, so the shape of a rapidity distribution does not depend on the longitudinal frame. For small velocities $y \approx β$ , and the two coincide; near the speed of light $y$ diverges while $β$ saturates at one.

Velocity versus rapidity. The longitudinal velocity beta equals the hyperbolic tangent of the rapidity y, rising linearly at small y and saturating at one as y grows. Rapidities add under collinear boosts, so equal steps along the horizontal axis are equal boosts, while the velocity increments they produce shrink toward the light speed.

The four-vector formalism and its invariants — the mass shell $p^{2} = m^{2}$ , the system invariant mass $s$ , and the additive rapidity — are the arithmetic of every reaction in the course. The next lesson applies them to specific processes: two-body decay, production thresholds, and the Mandelstam variables of $2 \to 2$ scattering.¹

Griffiths, Introduction to Elementary Particles, Ch. 3, §3.1–3.2, develops the four-vector formalism and the invariant mass; Thomson, Modern Particle Physics, §2.3, gives the same in the metric convention used here, and Halzen & Martin, Quarks and Leptons, §3, treats the invariants of scattering. The $π^{0}$ mass and other data are from the Particle Data Group, Review of Particle Physics, pdg.lbl.gov. ↩