Lorentz-Invariant Phase Space and the Decay/Cross-Section Master Formulae
Statement
We construct the Lorentz-invariant \(n\)-body phase-space measure \(d\Pi_n = (2\pi)^4\,\delta^4\!\left(P-\sum_i p_i\right)\prod_i \dfrac{d^3p_i}{(2\pi)^3\,2E_i}\) from the on-shell delta-function, and use it to derive the two master formulae that convert a Lorentz-invariant squared matrix element \(|\mathcal{M}|^2\) into an observable: the differential decay width \(d\Gamma = \dfrac{1}{2M}\,|\mathcal{M}|^2\,d\Pi_n\) and the differential cross-section \(d\sigma = \dfrac{1}{F}\,|\mathcal{M}|^2\,d\Pi_n\) with invariant flux \(F = 4\sqrt{(p_1\!\cdot p_2)^2 - m_1^2 m_2^2}\). We then reduce these to the two-body results \(\Gamma = \dfrac{|\vec{p}_f|}{8\pi M^2}\,|\mathcal{M}|^2\) and \(\dfrac{d\sigma}{d\Omega} = \dfrac{1}{64\pi^2 s}\dfrac{|\vec{p}_f|}{|\vec{p}_i|}\,|\mathcal{M}|^2\).
Why it matters
Every prediction of a relativistic quantum field theory that can be measured in a detector — a decay rate, a lifetime, a scattering cross-section — is a number obtained by folding the frame-independent dynamical content \(|\mathcal{M}|^2\) against a purely kinematic weight, the phase-space measure. Getting the measure right, and Lorentz invariant, is what lets the same Feynman-diagram calculation be quoted in the lab frame of a fixed-target experiment and the centre-of-mass frame of a collider without recomputation.
These are the formulae that sit at the boundary between theory and experiment: the left-hand sides are what the Particle Data Group tabulates, the right-hand sides are what a theorist computes diagram by diagram. Their structure — a flux or lifetime prefactor, times \(|\mathcal{M}|^2\), times \(d\Pi_n\) — is universal across the Standard Model and beyond.
Assumptions
Derivation
Result
Reading. The dynamics live entirely in \(|\mathcal{M}|^2\); the phase-space measure is a purely kinematic weight, positive-definite and Lorentz invariant, that counts how many ways the final-state momenta can be arranged consistent with energy-momentum conservation. A decay is that weight divided by \(2M\) (the rest-frame state normalisation); a cross-section is the same weight divided by the incident invariant flux \(F\). The boxed two-body forms are the special cases most experiments actually use, with \(|\vec p_f|\) the final-state CM momentum and \(|\vec p_i|\) the initial one.
Units check. In natural units \(d\Pi_2\) is dimensionless (each \(d^3p/2E\sim E^2\), two of them give \(E^4\), \(\delta^4\sim E^{-4}\)). For a \(1\to2\) decay \([\,\overline{|\mathcal{M}|^2}\,]=E^2\) and \(\Gamma\sim E^2/E = E\) — an inverse time, correct. For \(2\to2\), \(\overline{|\mathcal{M}|^2}\) is dimensionless, \(F\sim E^2\), so \(\sigma\sim E^{-2}\) — an area (\(1\,\text{GeV}^{-2}=0.3894\,\text{mb}\)), correct.
Limiting cases
- Threshold, \(M\to m_1+m_2\): \(\lambda\to0\), so \(|\vec p_f|\to0\) and both \(\Gamma\) and \(\sigma\) vanish — no phase space at rest for the products.
- Massless products, \(m_1=m_2=0\): \(|\vec p_f|=\sqrt s/2\), and \(d\Pi_2=\dfrac{1}{32\pi^2}\,d\Omega\), a constant times solid angle.
- Elastic scattering, \(m_i^{\text{out}}=m_i^{\text{in}}\): \(|\vec p_f|=|\vec p_i|\), so \(\dfrac{d\sigma}{d\Omega}=\dfrac{\overline{|\mathcal{M}|^2}}{64\pi^2 s}\).
- High energy, \(s\gg m_i^2\): the momentum ratio \(|\vec p_f|/|\vec p_i|\to1\) and all mass corrections to the measure fade as \(m^2/s\).
- Isotropic amplitude: integrating the angular factor gives \(\sigma=\dfrac{|\vec p_f|}{16\pi s\,|\vec p_i|}\,\overline{|\mathcal{M}|^2}\).
Breaks when
- Identical particles in the final state. The formulae above count each momentum configuration once; for \(k\) identical final particles one must divide the total rate or cross-section by the symmetry factor \(S=\prod_j k_j!\), else phase space is over-counted (e.g. \(\Phi\to\pi\pi\) needs a factor \(1/2\)).
- Unstable / broad intermediate states. When a final particle has a width comparable to the available energy, the sharp on-shell \(\delta(p^2-m^2)\) is a poor approximation; it must be smeared into a Breit-Wigner spectral function \(\propto \dfrac{1}{(p^2-m^2)^2+m^2\Gamma^2}\), and the naive two-body result fails.
- More than two incoming particles. The flux factor \(1/F=1/(4E_1E_2|\vec v_1-\vec v_2|)\) is defined only for a two-body initial state; three-body "collisions" have no single incident flux and the master cross-section formula does not apply.
- Collinear/soft massless emission. For processes with massless radiated quanta, phase-space integrals develop infrared and collinear divergences; the bare formula gives a divergent rate until real and virtual contributions are combined (KLN / dressed observables).
Failure modes
- Non-relativistic normalisation leak. Using \(\int d^3p/(2\pi)^3\) without the \(1/2E\) (Schrödinger convention) while keeping the relativistic \(|\mathcal{M}|^2\); the two conventions must match or spurious factors of \(2E\) appear.
- Forgetting the \(1/2M\) or \(1/F\). Writing \(\Gamma=\int|\mathcal{M}|^2 d\Pi_n\) with no initial-state normalisation — the single most common dimensional error, off by a factor of energy.
- Wrong momentum in the two-body factor. Using \(|\vec p_i|\) where \(|\vec p_f|\) belongs (or vice versa) in \(\Gamma\); the decay uses the final momentum only, but scattering carries the ratio \(|\vec p_f|/|\vec p_i|\).
- Omitting the identical-particle symmetry factor when integrating over the full \(4\pi\) for two identical products.
- Averaging vs summing spins. Forgetting to average over initial spins (dividing by \((2s_1+1)(2s_2+1)\)) while summing over final ones — the unpolarised cross-section needs both.
- Using \(s=M^2\) off resonance. Setting \(\sqrt s=M\) in the scattering formula (that substitution belongs only to the rest-frame decay).
Discussion
The deep point is factorisation: an observable rate splits cleanly into a dynamical scalar \(|\mathcal{M}|^2\) and a kinematic measure \(d\Pi_n\). This is not an accident of perturbation theory — it follows from the LSZ reduction of the \(S\)-matrix, where each external leg contributes exactly one invariant momentum-space factor \(d^3p/(2\pi)^3 2E\), and the connected amputated Green's function supplies \(\mathcal{M}\). Because the measure is manifestly Lorentz invariant, the whole apparatus is frame-agnostic: the same \(|\mathcal{M}|^2\) computed once yields the collider cross-section and the fixed-target cross-section merely by evaluating the flux and phase space in the relevant frame.
The two prefactors have complementary physical readings. The \(1/2M\) in the decay is time dilation in disguise: a particle boosted to energy \(E=\gamma M\) has its rest-frame width \(\Gamma\) reduced to a lab decay rate \(\Gamma/\gamma\), and the invariant \(1/2E\) normalisation is what encodes that dilation covariantly. The invariant flux \(F=4\sqrt{(p_1\!\cdot p_2)^2-m_1^2m_2^2}\) is the covariant statement of "beams sweeping through each other": it reduces to \(4|\vec p_i|\sqrt s\) in the CM frame and to \(4 m_2 |\vec p_1^{\,\text{lab}}|\) against a fixed target, so a single computed cross-section transfers between the two setups without touching \(|\mathcal{M}|^2\).
The measure also organises multi-body final states through recursive structure: \(d\Pi_n\) factorises into \(d\Pi_2\) for a subsystem times \(d\Pi_{n-1}\) times an invariant-mass integral \(dm^2/2\pi\). This is the engine behind the Dalitz plot for three-body decays, where the density of events across the \((m_{12}^2,m_{23}^2)\) plane is flat for constant \(|\mathcal{M}|^2\) — so any structure a Dalitz plot shows is dynamics, resonances and interference, cleanly separated from kinematics.
At the most rigorous level, the invariance in Step 2 rests on the mass-shell hyperboloid \(p^2=m^2,\ p^0>0\) being an orbit of the orthochronous Lorentz group, and \(d^3p/2E\) being (up to normalisation) the unique group-invariant measure on that orbit — a special case of the Haar measure on a homogeneous space \(SO^+(3,1)/SO(3)\). This is why no other combination of \(d^3p\) and energy could serve: invariance fixes the measure uniquely, and the relativistic state normalisation \(\langle p|p'\rangle=2E(2\pi)^3\delta^3\) is precisely the choice that makes the resolution of the identity \(\int \frac{d^3p}{(2\pi)^3 2E}|p\rangle\langle p|=\mathbb{1}\) covariant.
Common misconceptions. Phase space is not a probability and not dimensionless "number of states" in any absolute sense — it is a measure, and only ratios or products with a normalised \(|\mathcal{M}|^2\) are physical. And \(|\vec p_f|\) appearing in the two-body width does not mean "faster products decay faster"; it is the density-of-states Jacobian, reflecting how much momentum room the kinematics allow.
Worked examples
Example 1 — Two-body decay width and lifetime.
Reading. A weak-strength constant amplitude produces a sub-MeV width and a strong-interaction-scale lifetime; note \(\Gamma\) scales linearly with \(|\vec p_f|\), so this width would collapse to zero as \(M\to m_1+m_2=0.640\) GeV.
Units check. \(\text{GeV}^2/(\text{GeV}^2)\times\text{GeV}^0\)… explicitly \([|\vec p_f|/M^2]\times[|\mathcal{M}|^2]=\text{GeV}^{-1}\times\text{GeV}^2=\text{GeV}\), an inverse time. Good.
Example 2 — Total cross-section for a constant amplitude.
Reading. A constant amplitude gives \(\sigma\propto1/s\), the hallmark \(1/s\) fall-off of a pointlike cross-section; doubling \(\sqrt s\) quarters the rate.
Units check. Dimensionless \(|\mathcal{M}|^2\) over \(s\ (=\text{GeV}^2)\) gives \(\text{GeV}^{-2}\), an area. Good.
Problems
- A particle of mass \(M=0.500\) GeV decays to two products of equal mass \(m=0.100\) GeV. Compute the final-state CM momentum \(|\vec p_f|\).
Solution
For equal masses \(|\vec p_f|=\dfrac{M}{2}\sqrt{1-\dfrac{4m^2}{M^2}}\). Here \(4m^2/M^2=4(0.0100)/0.250=0.160\), so \(\sqrt{1-0.160}=\sqrt{0.840}=0.9165\), giving \(|\vec p_f|=0.250\times0.9165=0.229\) GeV. - Using the result of Problem 1 (\(M=0.500\) GeV, \(m=0.100\) GeV, \(|\vec p_f|=0.229\) GeV), and a constant \(\overline{|\mathcal{M}|^2}=0.0200\ \text{GeV}^2\), find the decay width \(\Gamma\). The two products are distinct, so no symmetry factor.
Solution
\(\Gamma=\dfrac{|\vec p_f|}{8\pi M^2}\overline{|\mathcal{M}|^2}=\dfrac{0.229}{8\pi(0.250)}\times0.0200=\dfrac{0.229}{6.283}\times0.0200=0.03645\times0.0200=7.29\times10^{-4}\) GeV \(=0.729\) MeV. - Show that the two-body decay width vanishes at threshold, and quantify it: for \(m_1=m_2=0.140\) GeV, compute \(|\vec p_f|\) at (a) \(M=0.280\) GeV and (b) \(M=0.300\) GeV.
Solution
\(|\vec p_f|=\tfrac{M}{2}\sqrt{1-4m^2/M^2}\). (a) At \(M=0.280=2m\): \(4m^2/M^2=4(0.0196)/0.0784=1\), so \(\sqrt{1-1}=0\), \(|\vec p_f|=0\) — exact threshold, \(\Gamma=0\). (b) At \(M=0.300\): \(4m^2/M^2=0.0784/0.0900=0.8711\), \(\sqrt{1-0.8711}=\sqrt{0.1289}=0.359\), \(|\vec p_f|=0.150\times0.359=0.0539\) GeV. The width turns on continuously from zero as the mass rises above \(m_1+m_2\). - Two massless particles scatter elastically at \(\sqrt s=5.00\) GeV with a constant \(\overline{|\mathcal{M}|^2}=0.500\). Compute the total cross-section in GeV\(^{-2}\) and in nb.
Solution
Massless/elastic gives \(|\vec p_f|/|\vec p_i|=1\), so \(\sigma=\dfrac{\overline{|\mathcal{M}|^2}}{16\pi s}=\dfrac{0.500}{16\pi(25.0)}=\dfrac{0.500}{1257}=3.98\times10^{-4}\ \text{GeV}^{-2}\). Convert: \(3.98\times10^{-4}\times0.3894\ \text{mb}=1.55\times10^{-4}\) mb \(=155\) nb. - (Harder.) The invariant flux is \(F=4\sqrt{(p_1\!\cdot p_2)^2-m_1^2m_2^2}\). Show that in the fixed-target (lab) frame, where particle 2 is at rest, \(F=4\,m_2\,|\vec p_1^{\,\text{lab}}|\). Then evaluate it for a \(p_1^{\text{lab}}\)-momentum beam of \(|\vec p_1|=3.00\) GeV striking a target of mass \(m_2=0.938\) GeV.
Solution
In the lab, \(p_2=(m_2,\vec 0)\) and \(p_1=(E_1,\vec p_1)\), so \(p_1\!\cdot p_2=E_1 m_2\). Then \((p_1\!\cdot p_2)^2-m_1^2m_2^2=m_2^2 E_1^2-m_1^2m_2^2=m_2^2(E_1^2-m_1^2)=m_2^2|\vec p_1|^2\). Taking the square root, \(F=4\sqrt{m_2^2|\vec p_1|^2}=4m_2|\vec p_1^{\,\text{lab}}|\). Numerically, \(F=4(0.938)(3.00)=11.3\ \text{GeV}^2\). (Note the beam energy \(E_1\) cancels entirely — the lab flux depends only on the target mass and the beam three-momentum, as expected for a stationary target.)