Rapidity and the Additivity of Velocities
Inside every proton at the LHC are quarks and gluons carrying unknown, unequal fractions of the beam's momentum. When two of them collide, the collision's centre-of-momentum frame is therefore sliding along the beam axis at a speed nobody knows — different for every event, unmeasurable in principle, and different again for the next one. This ought to be fatal. Every angle you measure, every longitudinal momentum, every velocity is contaminated by an unknown boost that changes from event to event. And yet the LHC's data are clean, its detectors are segmented in a variable called , and its jet algorithms measure distances with a formula that looks like Pythagoras. Why does any of it work? Because there is a variable in which an unknown boost is a translation — and a translation cancels in a difference. Rapidity and Hyperbolic Boosts and Rapidity establish what rapidity is: the hyperbolic angle that adds when boosts compose. This article establishes what it is for, and the claim to be proved is stronger than the additivity those articles own: > Boost along the beam by rapidity , and every particle's rapidity shifts by exactly — whatever its mass, whatever its transverse momentum. So rapidity differences are exactly invariant under the one transformation nobody can measure. Pseudorapidity, the coordinate stamped on the side of every collider detector, is what you get when you apply that theorem to something massless.
- Signature ; is the lab, moves at along the beam; , . The velocity rapidity is , and its additivity under collinear boosts is derived and owned by Rapidity and Hyperbolic Boosts — recalled here, not re-derived.
- The collider rapidity of a particle is a different object: . It is defined for a massive particle with transverse momentum, and it equals only for motion purely along the beam.
- The shift theorem (owned here). Under a boost of rapidity along , exactly, for every and every , while and the azimuth are untouched. So , and are invariant under the unknown boost. Velocity differences are not.
- Pseudorapidity is the massless rapidity. , while . The only difference is the factor — so , and exactly when .
- Key idea: rapidity is the variable in which the collider's one unmeasurable degree of freedom becomes an additive constant. Under the unknown boost every moves by the same amount, so every difference of stands still. Pseudorapidity is the version of this you can compute from a track's angle alone, without knowing its mass — which is why it is what detectors are built in, and why is written on the ATLAS inner tracker.
Additivity is not the payoff; shift-invariance is. A quantity that transforms as under a symmetry you cannot measure is worth more than a quantity that transforms correctly under a symmetry you can. The unknown longitudinal boost is the collider's irreducible ignorance, and rapidity is the coordinate in which that ignorance is a choice of origin.
Where this lives today
Open any LHC paper and the kinematics is written in , never in . All three coordinates were chosen because of the shift theorem: and because a beam boost does not touch them, because it is the measurable stand-in for the one coordinate the boost merely translates. Jets are clustered with the anti- algorithm using at ; isolation cones, -tagging and lepton–jet overlap removal use the same metric; and the reason a fixed means anything — the reason a jet does not change size when the parton frame slides — is the invariance proved above. The variable also fixed a piece of physics history. In the 1970s the question of whether hadron production was "boost-invariant" — whether the central region looked the same to every longitudinally boosted observer — was answered by the observation of a flat rapidity plateau, roughly constant near . Because a boost translates rigidly, a flat plateau is a fixed point of the boost, and Bjorken built his 1983 hydrodynamic model of heavy-ion collisions on that symmetry. The variable did not merely make the plot readable; it made the symmetry visible, and the symmetry turned out to be the physics.
The physical picture
Rapidity's additivity in one dimension is settled: compose two collinear boosts and their rapidities add, exactly. That theorem — — is owned by Rapidity and Hyperbolic Boosts, which also proves that no finite chain of boosts reaches and gives the closed form for equal boosts. None of it is re-derived here. This article takes that fact out of the one-dimensional world and into the one experiments live in, where particles have transverse momentum and mass. Two things could go wrong, and neither does. The first is mass. A slow heavy particle and a fast light one have wildly different velocities — but the boost acts on the pair , and rapidity is a function of that pair alone. The mass enters , and then cancels. The second is transverse motion. A particle flying mostly sideways barely moves along the beam, and one might expect the beam boost to treat it differently. But a boost along leaves and untouched — that is just , applied to momentum instead of position — so the transverse momentum is a spectator, and it too cancels. What survives is a bare translation. Draw the event on the cylinder — rapidity along the axis, azimuth around it — and the unknown boost slides the whole picture along the axis without deforming it. Distances along the cylinder do not change. That is why the LHC's jet-clustering distance is , and why means the same thing in every event.
The core equations
The velocity rapidity, recalled — not derived here. Its derivation, its additivity theorem and the -boost ladder belong to Rapidity and Hyperbolic Boosts and Rapidity:
where: is the hyperbolic angle of a boost. Physical reading: this is the input, taken as given. Everything below is what happens when the same question is asked about a particle in a detector rather than about a frame. The collider rapidity of a particle, which is what an experiment actually measures:
where: is the particle's energy, its momentum along the beam. Physical reading: this is not . The quantity is , the component of the velocity along the beam — not the speed — so , coinciding with the frame rapidity only for motion purely along . A particle at rest has ; a particle flying transversely also has , however fast. Rapidity measures longitudinality, not speed. The two transverse quantities that a boost along cannot touch:
where: is the azimuth about the beam, the transverse mass. Physical reading: and are invariant under a -boost, exactly as and are under an -boost. With (2) this gives the collider's coordinate system , in which the unknown boost moves exactly one coordinate, additively. And the pseudorapidity — the portrait of this article:
where: is the polar angle from the beam. Physical reading: compare (4) with (2) — one thing has changed, has become . So is exactly the rapidity a particle would have if it were massless, and it is computable from the track's direction alone, with no mass hypothesis and no energy measurement. That is the entire reason it exists.
Deriving the structure
This is the article's owned result and the reason the variable exists. The additivity of collinear rapidities — recalled in (1) — is a statement about frames moving along a line. What an experiment needs is a statement about a particle, which has mass and is generally not moving along the beam at all. The claim is that the additivity survives intact: a longitudinal boost of rapidity shifts the particle's rapidity by exactly , and by the same for every particle in the event, whatever it is and wherever it is going. Nothing in that is obvious — the mass and the transverse momentum both have to disappear for it to be true.
Step 1. Boost along , FORWARD (, with moving at ), and apply it to the four-momentum exactly as the chapter's convention applies it to :
Why: the transverse components are untouched — , carried over to momentum. <strong> and the azimuth are already invariant, before any rapidity algebra happens at all.</strong>
Step 2. Form the new rapidity from definition (2) and divide numerator and denominator by :
using from (2) and from (1). Why: <strong>the 's cancelled and the mass never appeared.</strong> Both and carry the mass and both sit inside the same ratio; dividing through, only the ratio survives — and the ratio is by definition. That is why , not the velocity, is the right variable: it is built from precisely the combination the boost acts on simply.
Step 3. Recognise the right-hand side. It is the subtraction formula — the same hyperbolic identity that Rapidity and Hyperbolic Boosts uses to prove additivity, with one sign flipped. Hence
since is injective. ∎ Why: exact, not approximate — and <strong> and do not appear in it.</strong> A jet, a stray pion and a boson in the same event all have their rapidities shifted by the identical . That is false of their velocities, their angles and their longitudinal momenta, all of which move by amounts that depend on what they are.
Step 4. Harvest the invariants. If every shifts by the same constant then, for any two particles in the event, is invariant — and and were already invariant by Step 1. Hence so is the distance used by every jet algorithm at every hadron collider,
Why: <strong>this is the payoff, and it is strictly stronger than "rapidity is additive".</strong> The parton centre-of-momentum frame slides by an unknown amount in every single event, so any observable built from itself is contaminated; any observable built from is not. The anti- algorithm clusters with (typically ), and the reason means the same thing in every event is this step.
Step 5. Note what happens to a distribution. The boost replaces by the same function evaluated at : rigidly translated, never stretched or squeezed, because the Jacobian exactly. Why: plateaux stay plateaux and widths stay widths. The famous "rapidity plateau" of hadron production is a statement that survives the unknown boost, and it survives for this reason. *Verified in verify_aq-sr-rapidity-additive-velocity.py: sympy boosts a symbolic four-momentum with arbitrary and , forms , and simplifies to exactly zero; and are zero identically; ; and numerically, 500 random four-momenta (masses from to , from to ) all shift by the identical to , while their velocities and angles do not.*
Go deeper · Derivation B · 2 minPSEUDORAPIDITY IS THE RAPIDITY OF A MASSLESS PARTICLE — and the only difference is one factor of beta
The shift theorem is beautiful and useless to a tracking detector, because requires , which requires the mass, which a silicon tracker measuring a curved track does not know. What a tracker does know, to exquisite precision, is the direction of the track — the polar angle . So the working variable of experimental collider physics is not ; it is a purely geometric stand-in built from alone. The goal is to prove exactly what that stand-in is, how it differs from , and when the difference matters — and the answer is a single factor of , which is about as clean as a physics approximation ever gets.
Step 1. Start from the definition and turn the logarithm into an . Using ,
Why: the mysterious is nothing but of the direction cosine. The logarithm was never the point — it is what looks like written out.
Step 2. Now write the same way. With and (the particle's actual speed):
against . The two differ by exactly one factor of , and by nothing else. ∎ Why: equivalently, . Since for anything massive, <strong>always</strong>: pseudorapidity systematically overstates rapidity, and overstates it more the slower the particle.
Step 3. Read off the limits. (massless, or just ) gives exactly; and at , , so for every . Why: the approximation is exact in two places — massless particles, and any particle at — and degrades in between, worst for slow particles at small angles. For a charged pion at it is a effect; for a proton at the same , a effect. Worked example 2 computes both.
Step 4. Draw the consequence for the shift theorem. Because is with set to , and a boost changes , pseudorapidity is only approximately shift-invariant — exactly so for massless particles, approximately for fast ones, badly for slow ones. Detector geometry does not care: a calorimeter cell subtends a fixed range of , hence a fixed range of , forever. Why: <strong> is where the detector is; is where the physics is.</strong> Acceptance is quoted in because is a property of the apparatus; cross-sections are differential in because is what the unknown boost merely translates. Confusing them is the standard beginner's error, and the fix is the single factor of derived above. *Verified in verify_aq-sr-rapidity-additive-velocity.py: simplifies to zero symbolically; is proved symbolically from and ; is verified on random triples; as ; at for every ; and on the whole grid.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| the collider rapidity collapses to the velocity rapidity; only then are they the same object | ||
| pseudorapidity is the massless rapidity | ||
| exact for every mass and speed; "central" means | ||
| the beam pipe is at infinite pseudorapidity — which is why no detector covers it | ||
| the two diverge completely: a slow particle has while can be huge | ||
| boost along | ; fixed | the shift theorem: , , all invariant |
Worked examples
1 · The boost nobody can measure, and the number that survives it
Two protons collide. Inside them, a quark carrying a fraction of one beam's momentum strikes a quark carrying of the other's. Find the rapidity of the parton centre-of-momentum frame, the collision energy, and show that a measurement made in the lab can still recover a parton-frame quantity exactly.
Step 1 — identify the unknown boost. Treat the partons as massless (they are, to a part in , at these energies). Their total energy and longitudinal momentum are and , so (2) gives the parton CM rapidity directly:
This is the number nobody can measure. and are drawn from parton distribution functions; they differ in every event.
Step 2 — apply. The collision energy is with :
Suppose the collision produces two back-to-back jets at and in the parton CM frame. Each jet has and, being massless, transverse momentum
Step 3 — the boundary number. The lab sees the event boosted by . By the shift theorem, each jet's rapidity moves by exactly that:
Neither number is the parton-frame value; both are contaminated by the unmeasurable . But
Exactly the parton-frame separation, recovered from the lab, without ever knowing or . And is likewise unchanged by the boost — which is why every LHC analysis triggers, cuts and plots on and , and never on or the lab angle.
Step 4 — see what would have been lost. The jets' beam-axis velocities are . In the CM, : a difference of . In the lab, and : a difference of . The velocity difference moved by under a boost you cannot measure. The rapidity difference did not move at all. That contrast is the whole case for the variable.
2 · A pion and a proton at the same pseudorapidity are not at the same rapidity
A tracking detector reports two tracks, both with and both at . One is a charged pion (), the other a proton (). The detector cannot tell them apart from the track alone. How much does the difference matter?
Step 1 — identify. At the geometry is fixed: , , so . Both tracks point the same way, and , :
Step 2 — apply. The energies differ, and so therefore do the speeds:
Step 3 — the boundary number. Apply , the bridge proved above:
Two tracks at the same ; rapidities differing by . For the pion the pseudorapidity is good to — it is already, at , effectively massless. For the proton it is wrong by , and an analysis that used as if it were would have mislocated it.
Step 4 — read the physics off. Both satisfy , as the theorem requires, and the gap closes as : give the proton and , so — pseudorapidity is now good to , a seventyfold improvement for a tenfold increase in . is a safe coordinate for a detector and a dangerous one for a measurement: exact for the ultra-relativistic particles that dominate high- physics, quietly wrong for everything slow.
Physics of the portrait
Origins · 2 minPseudorapidity and how this was discovered
This card is a coordinate, not a person, because pseudorapidity has no discoverer — it has a lineage. The hyperbolic angle of a boost is Minkowski's (1908); the name rapidity is Alfred Robb's (Optical Geometry of Motion, 1911) — that history is told in Rapidity and Hyperbolic Boosts. What happened next was practical. Cosmic-ray physicists measuring hundreds of tracks in nuclear emulsion needed a variable in which the tracks of one event could be compared, but could not measure the momentum of most of them — only the angle. And a very fast particle's rapidity, they realised, is a function of its angle alone. So they used the angle, in the one combination that transforms under a longitudinal boost the way rapidity does: . It is the massless limit of the rapidity, and it is measurable with a protractor. The convention crystallised at the CERN Intersecting Storage Rings in the 1970s — the first hadron collider, and the first machine in which the unknown longitudinal boost of the parton collision was the dominant practical nuisance — where the flat "rapidity plateau" of produced hadrons only made sense plotted in this variable. Today is engineering. ATLAS's silicon inner tracker covers ; its liquid-argon calorimetry runs to ; CMS's forward hadron calorimeter reaches . These are not physics choices — they are where the beam pipe is. In angle, is and is : the coordinate stretches the forward direction precisely where the particles pile up, and it does so with the one stretching a beam boost leaves alone.
Going further
Texts. Rindler, Introduction to Special Relativity, 2nd ed., §2.7 · Taylor & Wheeler, Spacetime Physics, 2nd ed., ch. 3. For the collider variables: Halzen & Martin, Quarks and Leptons, ch. 1–2 · Ellis, Stirling & Webber, QCD and Collider Physics · Cacciari, Salam & Soyez, "The anti- jet clustering algorithm", JHEP 04 (2008) 063 · Bjorken, Phys. Rev. D 27, 140 (1983).
Provenance. Signature ; boost convention FORWARD ( at ). Two of the base's three derivation cards were out of band and have been discarded: the uniformly accelerated rocket () belongs to the S6 accelerated-frames chapter, and the Bondi factor to the Doppler chapter. The base's surviving card — rapidity additivity from the addition formula — is already owned by Rapidity and Hyperbolic Boosts and Rapidity</strong>, which also own the -boost ladder; both are recalled by name and neither is re-derived. This article owns the kinematic payoff instead: the shift theorem for a massive particle with transverse momentum, and the exact -bridge to pseudorapidity. Every number recomputed in verify_aq-sr-rapidity-additive-velocity.py: ; ; ; lab rapidities , , ; the velocity-difference degradation (); , , , , ; , , ; , , ; the proton at giving , ; , , .
Builds on. Rapidity and Hyperbolic Boosts · Rapidity · Relativistic Velocity Addition · Velocity Composition and the Speed-of-Light Invariant. Leads to. Thomas–Wigner Rotation · Longitudinal Doppler Effect · Twin Paradox and the Doppler Ledger.
If rapidity is just artanh of the velocity, why does the collider definition look so different?
Because it is a different quantity, and the resemblance is a trap. The frame rapidity is , with a speed. A particle's collider rapidity is , with the component along the beam. They coincide only when : a particle moving transversely at has but . What makes useful is that it is built from exactly the pair that a longitudinal boost mixes — the mass and the transverse momentum are inert and drop out of the transformation law. That is the shift theorem, and it would be false for .
Why not just measure the longitudinal boost and correct for it?
You cannot. The boost is set by and , the momentum fractions of the two colliding partons, and these are not observable event by event — the rest of each proton escapes down the beam pipe with the information. All that is known is the probability distribution of , the parton distribution function. So the unknown boost is not a nuisance to be measured away; it is irreducible. The field's response was to reformulate every observable so that it does not depend on what cannot be known — and rapidity is the coordinate in which that reformulation is trivial, because the unknown enters as an additive constant and cancels in every difference.
Is pseudorapidity ever exactly equal to rapidity for a massive particle?
Yes, at exactly one place: , where , so and for every mass and speed. Everywhere else with , so strictly. The gap grows with and shrinks with : negligible for a pion (), noticeable for a proton (), catastrophic for anything genuinely slow. The working rule is that may stand in for whenever — nearly always true of the particles anyone is looking at, and nearly always false of the soft debris.
Does the shift theorem work for boosts that are not along the beam?
No, and it cannot. Every step used the fact that the boost is along — that is what leaves , invariant and what makes the pair close under the transformation. A transverse boost mixes with , so is no longer inert and the rapidity does not shift by a constant. Worse, two boosts in different directions do not compose to a pure boost at all (Thomas–Wigner Rotation), so there is not even a well-defined "total rapidity" to shift by. The saving grace: the collider's unknown boost is along the beam by construction, since the beams are collinear and the partons inherit their longitudinal momentum from them.
What is the transverse mass, and why does it appear everywhere in collider formulae?
is the piece of the four-momentum a longitudinal boost cannot touch, and it is rapidity's natural companion. Together they parametrise the four-momentum cleanly: , , with and as given. Under a beam boost, is unchanged and — the four-momentum transforms by shifting a single number in a single place, which is why every collider kinematics library stores particles as rather than in Cartesian components. Note too that traces a hyperbola of "radius" as varies: the invariant hyperbola of the boost group, seen in momentum space.
The rapidity plateau: what exactly is being claimed, and why is rapidity essential to seeing it?
The claim is that in the central region of a high-energy hadron collision is approximately flat. Because a longitudinal boost translates rigidly (Jacobian exactly ), a flat distribution is one the boost cannot change: the plateau is a fixed point of the boost group acting on the spectrum. That is a symmetry statement, and it is invisible in any other variable — plotted against or against the angle, the same data are a shapeless peak. Bjorken took the symmetry seriously in 1983 and built the standard hydrodynamic picture of heavy-ion collisions on it, assuming boost-invariant initial conditions in the central region. It remains the working assumption.