Relativistic Beam Dynamics in Accelerators
A proton at the top of the LHC's ramp is travelling at of the speed of light. Give it more momentum — a colossal GeV, more energy than the entire Tevatron beam — and its speed increases by parts in . The velocity is frozen. And once you accept that, almost every design decision in a modern accelerator follows, because a machine cannot steer a beam by its speed if the speed will not move. It must steer it by geometry — by how long a path the particle takes. That substitution is the whole of relativistic beam dynamics. It is why a particle in a synchrotron has two different masses — when you push it sideways and when you push it forwards. It is why an accelerator's bunches hold themselves together instead of smearing out. And it is why every proton machine has one energy at which it briefly goes blind — the transition energy, where the frozen-velocity term and the path-length term cancel exactly, longitudinal focusing vanishes, and the radio-frequency system must jump its phase by in a few milliseconds or lose the beam.
- Signature : , , timelike positive.
- Relativistic inertia is anisotropic: . Push across the motion and the particle's inertia is ; push along it and the inertia is . At high it is times harder to change a particle's speed than its direction.
- Consequence, and it is the article's spine: the velocity freezes. . At the LHC's , a momentum kick moves the speed by .
- Steering is therefore all rigidity: . Focusing is all geometry: alternating quadrupoles, net-focusing by , betatron oscillations obeying Hill's equation.
- Owned result: the transition energy is where relativity hands over to geometry. The phase-slip factor is a race between a geometric term (: more momentum ⟹ longer orbit ⟹ arrives late) and a purely relativistic term (: more momentum ⟹ faster ⟹ arrives early). They cancel at , where longitudinal focusing vanishes and the stable RF phase flips from to . The CERN PS () must cross it every cycle; the LHC (, injecting at ) was designed never to.
- Acceleration shrinks the beam for free: normalized emittance is invariant, so . The LHC's beam shrinks by -ratio from injection to collision with no cooling at all, reaching a spot.
- Key idea: at you cannot control a beam through its velocity, because its velocity will not move. Everything an accelerator does, it does through path length and rigidity.
Newton's second law has one mass in it. Relativity's has two — and they differ by , which at the LHC is . A modern accelerator is best understood as a machine built entirely around that ratio: it gives up on controlling the beam's speed (hopeless), and instead controls where the beam is and how long its path is. Rigidity, betatron oscillation, phase stability and transition energy are four names for the same surrender.
Where this lives today
Transition crossing is still an operational scar. The CERN PS, injecting at and extracting at , must pass every cycle, and the beam loss and emittance blow-up around that instant have been fought for six decades with -jump quadrupoles and RF gymnastics. Modern designs increasingly do what the LHC did: choose a lattice that puts the problem outside the machine's range.
And the spin gives you a thermometer. In a bending field a particle's spin precesses faster than its momentum by the anomalous factor, so the spin tune — extra precessions per turn — is , with a known constant. Since is a pure number and is known to parts in , measuring measures , and hence the beam energy, absolutely. One unit of spin tune is exactly of electron beam energy. At LEP this resonant depolarization calibrated the beam energy to better than MeV — precise enough that the measured energy visibly responded to the tides of the solid Earth and to leakage currents from the Geneva–Paris TGV line. It is this chapter's sharpest case of relativistic kinematics used as a metrological standard. The covariant spin-precession equation underwriting it is `aq-sr-bmt-equation`, and the kinematic rotation beneath that is `aq-sr-thomas-precession`; the same physics, turned around to measure rather than , is `aq-sr-muon-g2-time-dilation`.
The physical picture
Take and differentiate. The Lorentz factor depends on the speed, so the product rule produces two terms:
The second term lives entirely along the direction of motion. So if you push sideways — — it vanishes, and the particle responds with an effective mass of . If you push forwards, both terms act along and the effective mass is . Force and acceleration are not even parallel in general. This is not a curiosity. At the LHC's top energy the ratio is . Bending a TeV proton through the full km ring is routine engineering with T dipoles; speeding it up by any noticeable amount is essentially impossible. The machine spends eight years of civil engineering and superconducting dipoles to change the beam's direction, and adds only a few MeV per turn to its speed — and the speed barely notices. The cleanest statement of the freeze is a logarithmic derivative. From and :
A momentum spread in an LHC bunch corresponds to a velocity spread of . Every proton in the beam, fast ones and slow ones alike, is travelling at the same speed to ten significant figures. The only thing that distinguishes them is the length of the path they take.
The core equations
Relativistic inertia, resolved into its two components:
where: is the coordinate acceleration. Physical reading: transverse inertia , longitudinal inertia . Force and acceleration are not parallel unless the push is purely along or purely across the motion. The frozen velocity, which everything below rests on:
where: exact, at all speeds. Physical reading: this is equation (1)'s longitudinal statement, in the currency an accelerator actually uses. As , momentum and energy track each other perfectly while the velocity refuses to move at all. Magnetic rigidity — how you steer something whose speed you cannot change:
where: the coefficient is , not a fitted constant. Physical reading: rigidity depends on momentum alone — not on energy, not on mass, not on speed. It is validated against a real machine in worked example 1. Transverse motion: Hill's equation, and its Courant–Snyder solution.
where: is arc length (the independent variable — not time), is the normalized quadrupole gradient, and is the Twiss beta function, an envelope, entirely unrelated to . Physical reading: the beam does not travel down the centre of the pipe; it oscillates about it, and is how far out it swings. The relativity is hidden inside : a stiffer beam is harder to focus, in exactly the way it is harder to bend. Emittance and adiabatic damping:
where: is the geometric emittance (phase-space area over ), the normalized emittance. Physical reading: acceleration cools the beam for free. Adding longitudinal momentum without adding transverse momentum tilts every trajectory closer to the axis, so the beam's angular spread shrinks as while the invariant is untouched. And the longitudinal master equation — the phase-slip factor and the transition energy:
where: is the momentum compaction — a pure number fixed by the lattice geometry, typically small and positive. Physical reading: decides whether a higher-momentum particle arrives early or late. The two terms fight, and the article's owned result is what happens when they draw.
Why a bunch holds together — and the one energy at which it does not
A synchrotron does not accelerate a continuous stream; it accelerates bunches, and it holds each bunch together with a feedback loop so stable that a proton can survive turns. The loop works by making a particle's arrival time depend on its momentum — so that a particle with too much energy is punished with a badly-timed kick. This card derives the quantity that decides the sign of that punishment, shows it is a race between a geometric effect and a relativistic one, and locates the unique energy at which the race is a draw and the whole feedback loop switches off.
Step 1. Ask how the revolution time depends on momentum. With the orbit circumference and the speed, , so
Why: two, and only two, things can make a particle late — a longer path, or a slower speed. The whole of longitudinal dynamics is the competition between those two terms, and nothing else enters.
Step 2. Evaluate the geometric term. A higher-momentum particle is stiffer, bends less, and swings out to a longer orbit. Define the momentum compaction by exactly that:
Why: is pure lattice geometry — where the dipoles are, how the dispersion runs. It contains no relativity whatever, and for a typical ring it is small: for the LHC, for the CERN PS.
Step 3. Evaluate the relativistic term — and this is the one that carries the physics. From equation (2),
Why: <strong>this is the frozen velocity, and it is the entire relativistic content of the argument.</strong> Non-relativistically, and this term is at full strength — more momentum means proportionally more speed. Relativistically it is throttled by and dies. The particle's speed stops responding while its orbit keeps growing.
Step 4. Subtract, and name the result.
Why: read the sign. <strong>Below transition</strong> ( small, , ): the speed-up wins, and a higher-momentum particle arrives <strong>early</strong>. <strong>Above transition</strong> ( large, , ): the longer path wins, and a higher-momentum particle arrives <strong>late</strong>. The particle's response to being given energy <strong>reverses sign</strong>, purely because of relativity.
Step 5. Find the draw, and see what breaks. Setting :
At this energy, and only here, a momentum error produces no timing error at all. The RF cavity can no longer tell an off-energy particle from an on-energy one, longitudinal focusing vanishes, the bunch stops being held together, and the synchrotron oscillation frequency goes to zero. Crossing it requires the stable phase to jump from to — a flip of the entire RF system, executed in milliseconds while the beam is briefly unfocused. Why: <strong>this is the article's owned result and it is a genuinely relativistic accident.</strong> is geometry; is relativity; and is the energy at which relativity finishes taking over from geometry. In a Newtonian world always, would be negative for every machine ever built, and <strong>transition energy would not exist</strong>.
Step 6. Check it against real machines. The CERN PS has , hence ; it injects at and extracts at , so it crosses transition on every single cycle, and has done since 1959 — the phase jump is routine operations, and the beam loss around it is a permanent nuisance. The LHC has , hence ; it injects at , already far above. Why: <strong>that was a design choice, not luck.</strong> The LHC never crosses transition because a lattice was chosen to put below the injection energy. Equation (7) is not a curiosity to be admired — it is a constraint that shapes the machine. *Verified in verify_aq-sr-relativistic-beam-dynamics.py: sympy derives and directly from ; and are solved symbolically; the sign of is asserted negative below and positive above; and the PS/LHC transition arithmetic is recomputed at 50 dps and grepped against this article.*
Go deeper · Derivation B · 2 minWhy alternating a focusing lens with a defocusing one focuses
A quadrupole magnet cannot focus a beam. Maxwell forbids it: a field that converges a beam in necessarily diverges it in , and the sum of the two focusing strengths is exactly zero. For twenty years this looked like a hard limit, and it forced early synchrotrons to use weak, gentle bending fields and beam pipes the size of a person. The escape — found by Christofilos in 1950 and published by Courant, Livingston and Snyder in 1952 — is that a sequence of alternating lenses can focus even though every individual lens is neutral. The goal here is to prove it in three lines of matrix algebra, and to see exactly where the free lunch comes from.
Step 1. Write the thin-lens transfer matrices, acting on the vector :
Why: kicks a ray back toward the axis in proportion to its displacement; kicks it away, by exactly as much. They are inverses. Multiplied together with nothing between them they give the identity — no focusing, as Maxwell demands.
Step 2. Put a drift between them and multiply, defocusing last:
Why: the order matters, and the drift is the whole trick. It is what stops the two lenses from cancelling.
Step 3. Read the net focal length off the lower-left element, which is by definition :
Net focusing — and, remarkably, whichever lens comes first, since is even in . Why: here is the mechanism, and it is pure geometry. The focusing lens bends the ray <strong>toward the axis</strong>. It therefore arrives at the defocusing lens <strong>closer in</strong>, where a quadrupole's kick — proportional to displacement — is <strong>weaker</strong>. The defocusing lens pushes back, but from a shorter lever arm. It cannot undo what was done. The net is convergent, second-order in , and it costs nothing but drift space.
Step 4. Note what it bought. A strong-focusing lattice confines the beam to millimetres instead of tens of centimetres, so the magnet aperture — and with it the iron, the power and the cost — collapses. Every synchrotron built since 1952 uses it. Why: this is why the transverse half of the subject is written in and rather than in force laws. Once the lattice alternates, the motion is a driven oscillation and the useful variables are amplitude and phase. *Verified in verify_aq-sr-relativistic-beam-dynamics.py: sympy multiplies the three matrices symbolically, confirms exactly, confirms (symplectic, as Liouville requires), confirms the result is unchanged when and are swapped, and confirms that with no drift the two lenses cancel to the identity — the drift is the entire mechanism.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| , both inertias | Newton. Longitudinal and transverse mass coincide; there is no anisotropy to exploit | |
| in (7) | for any real lattice , so always. Transition energy does not exist in a Newtonian world | |
| the velocity is fully frozen; timing is pure geometry. All high-energy rings live here | ||
| , | no longitudinal focusing. The bunch is unheld; the RF must jump phase by | |
| adiabatic damping: the beam shrinks for free, without cooling | ||
| , | speed tracks momentum perfectly. Every effect in this article vanishes |
Worked examples
1 · Steer a 6.8 TeV proton — and check the formula against the real machine first
The LHC's dipoles produce T. What bending radius do they need for a TeV proton, and does the ring fit in the km LEP tunnel it inherited?
Step 1 — identify. This is rigidity, equation (3): , with the coefficient and no anywhere. Momentum is all a magnet sees.
Step 2 — validate the formula before trusting it. The LHC's actual bending radius is m. Then
which is the design energy to three figures. The formula reproduces a real machine, so we may use it.
Step 3 — check the geometry. The dipoles occupy only the arcs, so km of bending, inside a km ring — the remaining km is straight sections for the RF, the focusing lattice and the four experiments. The bending radius is not the ring radius, and confusing them is a standard error.
Step 4 — the boundary number. Run 3 operates at TeV, not , because the dipoles were never fully trained; from (3), TeV needs T. The energy of the LHC is set by one number: how much field its magnets will hold without quenching. Everything else — the tunnel, the optics, the physics reach of equation (6) in `aq-sr-collider-fixed-target-energetics` — followed from that.
2 · Free cooling: why the LHC beam is 23 times narrower at collision than at injection
The LHC injects protons at GeV with a normalized emittance m, and collides them at TeV. No cooling system is applied. How much does the beam shrink, and what is the spot size at the interaction point?
Step 1 — identify. Equation (6): is invariant, so the geometric emittance falls as . With throughout, .
Step 2 — the two Lorentz factors. and . The ratio is : the geometric emittance shrinks by a factor of during the ramp, and nothing was done to it.
Step 3 — the emittances. m·rad; m·rad.
Step 4 — the spot. The beam radius is from (5). At injection the optics are relaxed, m, giving . At the collision point the optics are squeezed to m, giving
Step 5 — the boundary number. A m spot — a fifth the width of a human hair — carrying TeV per proton, held for hours. And the total narrowing of in radius came from two sources only: acceleration (free, relativistic, factor ) and optics (paid for, factor ). Relativity did more than a third of the work and sent no bill.
Physics of the portrait
Origins · 2 minEmittance and how this was discovered
The quantity that named this article is the one nobody set out to invent. Emittance is the area a beam occupies in phase space — position against angle — and it matters because Liouville's theorem says you cannot shrink it without dissipation. It is the beam's irreducible untidiness, and it is what a machine designer spends their life fighting. The fight was transformed in 1952. Ernest Courant, M. Stanley Livingston and Hartland Snyder published The Strong-Focusing Synchrotron (Phys. Rev. 88, 1190 (1952)), showing that alternating quadrupole gradients confine a beam far more tightly than the weak, gentle focusing then in use. The magnet apertures collapsed, and with them the cost of a high-energy machine. The idea had in fact been found two years earlier by Nicholas Christofilos, a Greek-American elevator engineer working alone, who filed a patent application on 10 March 1950 and never published a paper; the Brookhaven group acknowledged his priority when they learned of it. Then Courant and Snyder gave it a language. Theory of the Alternating-Gradient Synchrotron (Annals of Physics 3, 1 (1958)) is one of the most-used papers in accelerator physics: it introduced the Twiss parameters, the betatron amplitude function , the phase advance, the tune, and the Courant–Snyder invariant that is the emittance. Every accelerator built since has been designed in their variables — which is why the beam envelope in a km superconducting proton ring is still described by a function called , defined in a paper about a machine a thousand times weaker.
Going further
Texts. Wiedemann, Particle Accelerator Physics, 4th ed. · S.Y. Lee, Accelerator Physics, 4th ed. · Sands, The Physics of Electron Storage Rings, SLAC-121 (1970) · Courant & Snyder, Ann. Phys. 3, 1 (1958) · Courant, Livingston & Snyder, Phys. Rev. 88, 1190 (1952) · Chao & Tigner (eds.), Handbook of Accelerator Physics and Engineering.
Provenance. Signature . Every number is recomputed at 50 dps in verify_aq-sr-relativistic-beam-dynamics.py, which reads this file and asserts each printed value against what it computed. Base status: the base's eq[6] (, ), its FODO result , its rigidity coefficient , and its spin tune were each re-derived symbolically and are correct. Its eq[8], the practical synchrotron-loss formula , was independently recomputed from first principles as and is correct — and it is the anchor that convicts the neighbouring base: `aq-sr-synchrotron-radiation`'s per-turn loss formula disagrees with it by a factor of . That defect is repaired in that article, not this one.
Scope. This article owns the relativistic dynamics of a beam: the inertia anisotropy, the frozen velocity, rigidity, the phase-slip factor and the transition energy. The radiation the beam emits while being bent — its scaling, its per-turn cost, and why it killed LEP — is `aq-sr-synchrotron-radiation`. The energetics of what you do with the beam once you have it is `aq-sr-collider-fixed-target-energetics`. The covariant spin-precession equation behind the spin tune is `aq-sr-bmt-equation`, and the kinematic rotation underneath it is `aq-sr-thomas-precession`; both are used here only through the single result , which is quoted, not derived.
Builds on. Relativistic Momentum · Relativistic Force · The Lorentz Force. Leads to. Synchrotron Radiation · Muon Storage-Ring Time Dilation · Collider vs Fixed-Target Energetics.
Why is longitudinal inertia γ³m but transverse inertia only γm?
Because changing a particle's speed changes , and changing its direction does not. Differentiate : the product rule gives , and . For a purely transverse push, , so , the first term dies, and only survives. For a purely longitudinal push, both terms act, and they sum to . The extra is precisely the cost of the energy that a speed change requires and a direction change does not. It is not two masses in any deep sense — it is one , resolved into components.
If the velocity is frozen, how does an accelerator accelerate anything?
It does not accelerate the speed; it accelerates the momentum and the energy, which are unbounded even though the speed is not. An RF cavity adds energy every turn; and climb without limit; creeps toward and stops mattering. Everything the machine subsequently does is a response to the momentum: the dipoles must be ramped in step with to keep the orbit fixed (equation 3), the quadrupole gradients must be ramped too because , and the RF must track a revolution frequency that changes almost not at all. The word "accelerator" is a historical accident. It is a momentum-raiser.
Is the beta function in Hill's equation the same beta as v/c?
No, and this is the single worst notation collision in accelerator physics. The Twiss beta function is an envelope with units of length — the LHC squeezes it to m at the collision point — and it describes how far the beam swings off-axis. The relativistic beta is dimensionless, close to , and effectively constant. They appear in the same equation in (6): uses the velocity. Nothing but context distinguishes them, and both are universal. Read carefully, and check the units.
What actually goes wrong at transition, physically?
The bunch stops being able to correct itself. Normally a particle with too much energy is nudged back by the RF, because its momentum error translates into a timing error, and the RF punishes bad timing. At the translation coefficient is zero: a particle can have a large momentum error and still arrive exactly on time. The RF is therefore blind to it, the restoring force vanishes (), and the bunch — held together by nothing — begins to lengthen and to spread in momentum. Worse, then reverses sign, so the phase that was stable becomes unstable: the RF must jump from to within milliseconds. The CERN PS has done this on every cycle since 1959, and it still costs beam.
Why does the LHC not have this problem?
Because its designers made irrelevant by construction. The transition gamma depends only on the lattice — — and the LHC's momentum compaction puts . But the LHC does not build its own beam from rest: it inherits one from the SPS at GeV, where , already nine times above transition. The LHC therefore spends its entire operating life above transition and never crosses it. The problem was not solved. It was placed outside the machine's range — which is usually the better engineering.
Does the beam radiate while all this is going on?
Yes, and for electrons it dominates everything. A bent relativistic charge radiates with a power scaling as , so a per-turn energy loss of — which at LEP2's GeV and m came to GeV per turn, or of the entire beam energy, thrown away every microseconds and replaced by a vast RF plant. That law is what ended LEP and what put protons in its tunnel instead. It is the subject of `aq-sr-synchrotron-radiation`, and it is deliberately not derived here: this article is about how you steer a beam, not about what it emits while you do.