BMT (Bargmann-Michel-Telegdi) Equation

To measure the muon's magnetic moment to a billionth, you would think you need your magnetic field to a billionth, your beam energy to a billionth, and the momentum spread of a million muons to a billionth. You do not. You need the field. Everything else cancels. That is not luck. It is a theorem, and the theorem is the BMT equation. Write down the most general Lorentz-covariant law a spin four-vector could obey in an electromagnetic field. There are only two terms it can contain. Demand that the spin keep its length and stay orthogonal to the four-velocity — which it must, or it is not a spin — and the ratio of those two terms is fixed. One number remains free, and it is gg. Reduce that covariant law to the laboratory and something remarkable falls out. The spin precesses at ωs\boldsymbol\omega_s; the momentum precesses at ωc\boldsymbol\omega_c. Both go as 1/γ1/\gamma — they slow as the beam gets faster, and each depends on the energy of every individual muon. But their difference does not:

ωa  =  ωs−ωc  =  −qm a B(E=0)\boldsymbol\omega_a \;=\; \boldsymbol\omega_s - \boldsymbol\omega_c \;=\; -\frac{q}{m}\,a\,\mathbf B \qquad (\mathbf E = 0)

No γ\gamma. A muon at γ=20\gamma = 20 and a muon at γ=40\gamma = 40, in the same field, turn their spins away from their momenta at exactly the same rate. The beam can have any energy spread it likes and the signal does not smear. That single cancellation is why aμa_\mu is known to 127127 parts per billion and gg itself is not known to anything like that — and it is why the muon anomaly, and not the muon moment, is the number that has been keeping people up at night for twenty years.

Key takeaways
  • Signature (+,−,−,−)(+,-,-,-), u⋅u=+c2u\cdot u = +c^2, p⋅p=+m2c2p\cdot p = +m^2c^2, timelike positive. SI, with every cc written out — the base for this page drops them, and a dropped c2c^2 here is a factor of 101710^{17}.
  • The covariant law (Bargmann, Michel & Telegdi, PRL 2, 435, 1959), for a particle of charge qq, mass mm, gg-factor gg:
  dSμdτ=gq2mFμνSν  +  qmc2(g2−1) uμ (SλFλνuν)  \boxed{\;\frac{\mathrm dS^\mu}{\mathrm d\tau} = \frac{gq}{2m}F^{\mu\nu}S_\nu \;+\; \frac{q}{mc^2}\Big(\frac g2 - 1\Big)\,u^\mu\,\big(S_\lambda F^{\lambda\nu}u_\nu\big)\;}
  • It is unique. Only two covariant terms are available. S⋅S=constS\cdot S = \text{const} costs nothing. S⋅u=0S\cdot u = 0 then forces the second coefficient in terms of the first, and the rest frame fixes the first to be gq/2mgq/2m. Nothing is put in by hand — see the derivation.
  • Lab form (dS/dt=ωs×S\mathrm d\mathbf S/\mathrm dt = \boldsymbol\omega_s\times\mathbf S, a≡(g−2)/2a \equiv (g-2)/2):
ωs=−qm[(a+1γ)B−aγγ+1(β⋅B)β−(a+1γ+1)β×Ec]\boldsymbol\omega_s = -\frac{q}{m}\Big[\Big(a + \frac1\gamma\Big)\mathbf B - \frac{a\gamma}{\gamma+1}(\boldsymbol\beta\cdot\mathbf B)\boldsymbol\beta - \Big(a + \frac{1}{\gamma+1}\Big)\frac{\boldsymbol\beta\times\mathbf E}{c}\Big]
  • THE PUNCHLINE. Subtract the cyclotron frequency and the 1/γ1/\gamma terms cancel exactly:
  ωa=ωs−ωc=−qm[a B−(a−1γ2−1)β×Ec]  \boxed{\;\boldsymbol\omega_a = \boldsymbol\omega_s - \boldsymbol\omega_c = -\frac{q}{m}\Big[a\,\mathbf B - \Big(a - \frac{1}{\gamma^2-1}\Big)\frac{\boldsymbol\beta\times\mathbf E}{c}\Big]\;}

With E=0\mathbf E = 0 this is flat in γ\gamma. The observable is proportional to aa, not to gg.

  • The magic γ\gamma. The E\mathbf E coefficient vanishes at a=1/(γ2−1)a = 1/(\gamma^2-1), i.e. γ=1+1/a=29.3034\gamma = \sqrt{1 + 1/a} = \mathbf{29.3034} for the muon (p=3.094 GeV/cp = 3.094\ \mathrm{GeV}/c). Run there and the focusing quadrupoles stop contaminating the measurement.
  • Thomas is the g=0g = 0 content of BMT, not the g=2g=2 content. Set g=0g=0 and the equation becomes dSμ/dτ=−(1/c2)(S⋅A)uμ\mathrm dS^\mu/\mathrm d\tau = -(1/c^2)(S\cdot A)u^\mu — Fermi–Walker transport, no torque, the pure kinematic precession of `aq-sr-thomas-precession`.
The core insight

The BMT equation is not a model of the muon. It is the only thing a spin can do. Its content is entirely negative: given that SμS^\mu is a four-vector, that its length is fixed, and that it is orthogonal to uμu^\mu — all three definitional, not dynamical — there is exactly a one-parameter family of covariant evolution laws, and the parameter is gg. Every Thomas rotation, every frame effect Thomas had to hunt for by hand in 1926, is already sitting inside it, forced by the constraints. The magic-γ\gamma trick, the γ\gamma-independence of ωa\omega_a, the fact that a g=2g=2 spin follows its own momentum — none are inputs. They are what falls out when you write down the only equation you were allowed to write.

Where this lives today

Every polarised beam, everywhere. The BMT equation is the working tool of spin dynamics at RHIC, at Jefferson Lab, at any facility that must get polarised particles through a lattice of magnets without depolarising them. The "spin tune" νs=aγ\nu_s = a\gamma — spin precessions per turn — falls straight out of equation (6), and every depolarising resonance in an accelerator is an integer coincidence involving it. Note what that says: the spin tune grows with energy. A high-energy polarised proton machine crosses hundreds of resonances on the way up, and the whole discipline of Siberian snakes exists to get through them.

Muon g−2g-2 — but note what is actually being tested. The experiment does not test the BMT equation; it assumes it, far beyond the 127127 ppb of the result. Every systematic in the Fermilab error budget — the pitch correction (muons with a vertical velocity component, where β⋅B≠0\boldsymbol\beta\cdot\mathbf B \ne 0 and the middle term of equation (4) wakes up), the electric-field correction (muons off the magic momentum) — is a term in equation (4) evaluated to the required order. The equation is not the object of study. It is the instrument.

The electron's magic γ\gamma, and why nobody uses it. Run the same calculation for the electron: ae=0.00115965a_e = 0.00115965, so γmagic=29.38\gamma_{\text{magic}} = 29.38 — almost the same number, and completely useless. An electron at γ=29.4\gamma = 29.4 carries only 1515 MeV/c/c, and would need a ring so small that synchrotron radiation would eat it. The electron's anomaly is measured a totally different way: a single electron in a Penning trap, at rest, comparing ωs\omega_s and ωc\omega_c directly. The magic γ\gamma is not a fundamental constant. It is an engineering coincidence, exploitable for exactly one particle.

The physical picture

Angular momentum in relativity is awkward: the honest object is an antisymmetric tensor, not a vector. But for a single particle you can do better. Go to its rest frame, where the spin is an ordinary three-vector S\mathbf S, and define the four-vector SμS^\mu to be (0,S)(0, \mathbf S) there. Boost that definition out to the lab and you have a genuine four-vector — one that, by construction, satisfies

Sμuμ=0andSμSμ=−∣S∣2=constS^\mu u_\mu = 0 \qquad\text{and}\qquad S^\mu S_\mu = -|\mathbf S|^2 = \text{const}

Those two conditions are not physics — they are the price of the definition. And they turn out to be nearly the whole theory, because they must hold at every instant along the worldline, and the worldline is bending. That is the tension BMT resolves. The field wants to torque the spin. The constraint S⋅u=0S\cdot u = 0 insists the spin stay orthogonal to a four-velocity that the same field is busy accelerating. You cannot satisfy both by torquing alone — the spin must be dragged as well, and the drag is the second term of the equation. That drag term is the Thomas precession. It was never put in. It is what the orthogonality constraint costs.

And now the accident that built an industry. In a pure magnetic field the spin precesses at ωs∝(a+1/γ)B\omega_s \propto (a + 1/\gamma)B and the momentum at ωc∝B/γ\omega_c \propto B/\gamma. Both are γ\gamma-dependent, and in a real beam with a 0.1%0.1\% momentum spread that would smear any signal into uselessness. But what a detector sees is the angle between spin and momentum — the difference. And when you subtract, the 1/γ1/\gamma pieces cancel identically, leaving

ωa  =  −qm a B\omega_a \;=\; -\frac{q}{m}\,a\,B

γ\gamma has vanished. Every muon in the ring, whatever its energy, precesses relative to its own momentum at the same rate, set by aa and BB and nothing else. You measure a frequency and a field, and you get (g−2)/2(g-2)/2 directly — never gg, and never needing the beam energy at all.

Figure
THE PUNCHLINE — omega_a is FLAT in gamma, and that is why the muon anomaly is known to 127 parts per billion. The horizontal axis is the Lorentz factor of a muon in a 1.4513 tesla storage ring. BLUE: the SPIN precession frequency omega_s, which falls off as (a + 1/gamma) — energy-dependent. GREEN: the CYCLOTRON frequency omega_c, the rate at which the MOMENTUM turns, which falls off as 1/gamma — also energy-dependent. Neither is measurable to high precision in a beam with an energy spread, because each muon would precess at its own rate and the signal would smear. RED: their DIFFERENCE, omega_a = omega_s − omega_c. It is a HORIZONTAL LINE. The 1/gamma terms cancel EXACTLY, leaving omega_a = −(q/m) a B, which does not contain gamma at all. A muon at gamma = 20 and a muon at gamma = 40 turn their spins away from their momenta at precisely the same rate. That single cancellation — a theorem of the BMT equation, not a design choice — is what makes the experiment possible. Marked: the muon g−2 ring's magic gamma of 29.3034, where the ELECTRIC-field contribution to omega_a also vanishes, so that the focusing quadrupoles cannot corrupt the answer either
ω_a IS FLAT IN γ — the whole muon g−2 experiment rests on this one line being horizontal Lorentz factor γ precession rate (rad/s, log-ish) 1 10 20 30 40 50 ω_s ∝ (a + 1/γ) B the SPIN turns — energy-dependent ω_c ∝ B/γ . ω_a = ω_s − ω_c = −(q/m) a B ← NO γ. A STRAIGHT, FLAT LINE. γ = 29.3034 the MAGIC γ: p = 3.094 GeV/c — here the E-field term dies too Two curves that each depend on every muon's individual energy. Their difference depends on none of it. That is a theorem, not a coincidence.

The core equations

(1) The definition — and the two constraints it forces. Sμ≡(0,S)S^\mu \equiv (0,\mathbf S) in the rest frame, boosted out. Therefore, identically, at every instant:

Sμuμ=0,SμSμ=−∣S∣2=const(1)S^\mu u_\mu = 0, \qquad S^\mu S_\mu = -|\mathbf S|^2 = \text{const} \qquad (1)

where: uμ=γ(c,v)u^\mu = \gamma(c,\mathbf v), u⋅u=+c2u\cdot u = +c^2. In our signature a spacelike vector has negative square, so S⋅S<0S\cdot S < 0. The time component is not zero in the lab: S⋅u=0S\cdot u = 0 forces S0=β⋅SlabS^0 = \boldsymbol\beta\cdot\mathbf S_{\text{lab}} whenever the particle moves. Reading S\mathbf S off the spatial part without boosting is the classic error.

(2) The BMT equation.

  dSμdτ=gq2m FμνSν⏟torque  +  qmc2(g2−1) uμ (SλFλνuν)⏟the drag: Thomas  (2)\boxed{\;\frac{\mathrm dS^\mu}{\mathrm d\tau} = \underbrace{\frac{gq}{2m}\,F^{\mu\nu}S_\nu}_{\text{torque}} \;+\; \underbrace{\frac{q}{mc^2}\Big(\frac g2 - 1\Big)\,u^\mu\,\big(S_\lambda F^{\lambda\nu}u_\nu\big)}_{\text{the drag: Thomas}}\;} \qquad (2)

where: qq is the charge with its sign (q=−eq = -e for the muon), FμνF^{\mu\nu} the field tensor, τ\tau proper time. The 1/c21/c^2 is not optional: uμ(SFu)u^\mu(SFu) carries two extra powers of velocity, and without it the term is wrong by ∼1017\sim10^{17} in SI. The base's card omits it.

(3) The Lorentz force, which the constraint needs.

duμdτ  =  qmFμνuν  ≡  Aμ(3)\frac{\mathrm du^\mu}{\mathrm d\tau} \;=\; \frac{q}{m}F^{\mu\nu}u_\nu \;\equiv\; A^\mu \qquad (3)

(4) The lab-frame spin precession (dS/dt=ωs×S\mathrm d\mathbf S/\mathrm dt = \boldsymbol\omega_s\times\mathbf S for the rest-frame spin, with a=(g−2)/2a = (g-2)/2):

ωs=−qm[(a+1γ)B−aγγ+1(β⋅B)β−(a+1γ+1)β×Ec](4)\boldsymbol\omega_s = -\frac{q}{m}\Big[\Big(a + \frac1\gamma\Big)\mathbf B - \frac{a\gamma}{\gamma+1}(\boldsymbol\beta\cdot\mathbf B)\boldsymbol\beta - \Big(a + \frac{1}{\gamma+1}\Big)\frac{\boldsymbol\beta\times\mathbf E}{c}\Big] \qquad (4)

where: the β×E\boldsymbol\beta\times\mathbf E term carries a 1/c1/c in SI — E/c\mathbf E/c has the units of B\mathbf B. The base drops it.

(5) The cyclotron frequency — the rate the momentum turns.

ωc  =  −qγm[B−γ2γ2−1 β×Ec](5)\boldsymbol\omega_c \;=\; -\frac{q}{\gamma m}\Big[\mathbf B - \frac{\gamma^2}{\gamma^2-1}\,\frac{\boldsymbol\beta\times\mathbf E}{c}\Big] \qquad (5)

(6) The observable. Subtract:

  ωa  =  ωs−ωc  =  −qm[a B−(a−1γ2−1)β×Ec]  (6)\boxed{\;\boldsymbol\omega_a \;=\; \boldsymbol\omega_s - \boldsymbol\omega_c \;=\; -\frac{q}{m}\Big[a\,\mathbf B - \Big(a - \frac{1}{\gamma^2-1}\Big)\frac{\boldsymbol\beta\times\mathbf E}{c}\Big]\;} \qquad (6)

where: with E=0\mathbf E = 0, there is no γ\gamma anywhere. And the electric term dies at a=1/(γ2−1)a = 1/(\gamma^2-1) — the magic γ\gamma.

Deriving it

Derivation AThe BMT equation is unique — nothing in it is a choice

The goal is to show that equation (2) is not a proposal, a model, or an ansatz that happens to work, but the only covariant law a spin four-vector can obey in an external electromagnetic field, once you accept the two constraints its own definition forces on it. There is exactly one free number in the construction, and it is gg. Everything else — including the entire Thomas precession, which cost Thomas a paper in 1926 — is fixed by algebra.

Step 1 — count the terms you are allowed. We want dSμ/dτ\mathrm dS^\mu/\mathrm d\tau to be a four-vector, linear in SS and in FF. The inventory: FμνSνF^{\mu\nu}S_\nu (contract the tensor with the spin) and uμ (SλFλνuν)u^\mu\,(S_\lambda F^{\lambda\nu}u_\nu) (build a scalar from SS, FF, uu and hang it on the only other vector around). A third candidate, uμ(S⋅u˙)u^\mu (S\cdot \dot u), is not new: equation (3) turns u˙\dot u into FuFu and collapses it into the second. Two terms. That is all there are.

dSμdτ  =  α FμνSν  +  β uμ (SλFλνuν)\frac{\mathrm dS^\mu}{\mathrm d\tau} \;=\; \alpha\, F^{\mu\nu}S_\nu \;+\; \beta\,u^\mu\,\big(S_\lambda F^{\lambda\nu}u_\nu\big)

Why: this is the entire creative content of Bargmann, Michel and Telegdi's paper — the realisation that "how does a spin move?" has almost no room in it.

Step 2 — impose S⋅S=S\cdot S = const. It costs nothing.

ddτ(SμSμ)  =  2SμdSμdτ  =  2α SμFμνSν⏟= 0  +  2β (S⋅u)⏟= 0 (SFu)  =  0\frac{\mathrm d}{\mathrm d\tau}(S^\mu S_\mu) \;=\; 2S_\mu\frac{\mathrm dS^\mu}{\mathrm d\tau} \;=\; 2\alpha\,\underbrace{S_\mu F^{\mu\nu}S_\nu}_{=\,0} \;+\; 2\beta\,\underbrace{(S\cdot u)}_{=\,0}\,(SFu) \;=\; 0

Why: the first vanishes because FμνF^{\mu\nu} is antisymmetric and SμSνS_\mu S_\nu symmetric; the second by orthogonality. <strong>Both vanish for any α\alpha and β\beta.</strong> Conservation of the spin's length is automatic — it constrains nothing. Worth pausing on: the constraint that feels important is free, and the one that looks like bookkeeping fixes the physics.

Step 3 — impose S⋅u=0S\cdot u = 0. This is where Thomas comes from. Differentiate the constraint and demand it hold:

0  =  ddτ(Sμuμ)  =  dSμdτuμ  +  Sμduμdτ0 \;=\; \frac{\mathrm d}{\mathrm d\tau}(S^\mu u_\mu) \;=\; \frac{\mathrm dS^\mu}{\mathrm d\tau}u_\mu \;+\; S_\mu\frac{\mathrm du^\mu}{\mathrm d\tau}

Insert the ansatz and equation (3). Write (SFu)≡SλFλνuν(SFu) \equiv S_\lambda F^{\lambda\nu}u_\nu. Then, using the antisymmetry of FF to get uμFμνSν=−(SFu)u_\mu F^{\mu\nu}S_\nu = -(SFu), and uμuμ=c2u^\mu u_\mu = c^2:

−α (SFu)⏟term 1  +  β c2 (SFu)⏟term 2  +  qm (SFu)⏟term 3  =  0⟹  β  =  1c2(α−qm)  \underbrace{-\alpha\,(SFu)}_{\text{term 1}} \;+\; \underbrace{\beta\,c^2\,(SFu)}_{\text{term 2}} \;+\; \underbrace{\frac{q}{m}\,(SFu)}_{\text{term 3}} \;=\; 0 \qquad\Longrightarrow\qquad \boxed{\;\beta \;=\; \frac{1}{c^2}\Big(\alpha - \frac qm\Big)\;}

Why: <strong>term 3 is the whole story.</strong> It is there because the four-velocity is being accelerated by the very same field that torques the spin — the Lorentz force, equation (3), walking in uninvited. To keep SS perpendicular to a uu that is turning, the spin must be dragged along, and β\beta is exactly the drag needed. <strong>The Thomas precession is the price of the orthogonality constraint on an accelerated worldline.</strong> Note the sign: term 1 is −α-\alpha, not +α+\alpha, because uμFμνSν=−(SFu)u_\mu F^{\mu\nu}S_\nu = -(SFu). The base gets this wrong and then silently reverses it two steps later — see the warning.

Step 4 — fix α\alpha in the rest frame. There, uμ=(c,0)u^\mu = (c,\mathbf 0), the second term is ∝uμ\propto u^\mu and so touches only S0S^0, and Fij=−εijkBkF^{ij} = -\varepsilon^{ijk}B_k gives

dSdt  =  −α B×S    μ×B  =  gq2m S×B⟹α=gq2m\frac{\mathrm d\mathbf S}{\mathrm dt} \;=\; -\alpha\,\mathbf B\times\mathbf S \;\overset{!}{=}\; \boldsymbol\mu\times\mathbf B \;=\; \frac{gq}{2m}\,\mathbf S\times\mathbf B \qquad\Longrightarrow\qquad \alpha = \frac{gq}{2m}

Why: in the rest frame nothing is left but ordinary Larmor precession of a moment μ=(gq/2m)S\boldsymbol\mu = (gq/2m)\mathbf S. This is the <strong>one</strong> place a physical input enters the derivation, and the input is the definition of gg.

Step 5 — assemble.

β  =  1c2(gq2m−qm)  =  qmc2(g2−1)\beta \;=\; \frac{1}{c^2}\Big(\frac{gq}{2m} - \frac qm\Big) \;=\; \frac{q}{mc^2}\Big(\frac g2 - 1\Big)
  dSμdτ=gq2mFμνSν+qmc2(g2−1)uμ(SλFλνuν)  \boxed{\;\frac{\mathrm dS^\mu}{\mathrm d\tau} = \frac{gq}{2m}F^{\mu\nu}S_\nu + \frac{q}{mc^2}\Big(\frac g2-1\Big)u^\mu\big(S_\lambda F^{\lambda\nu}u_\nu\big)\;}

Why: <strong>look at what the second coefficient is proportional to.</strong> It is g/2−1g/2 - 1, which is exactly the anomaly a≡(g−2)/2a \equiv (g-2)/2. That identity is not a coincidence — it is why the anomaly, and not gg, is the natural variable of the whole subject. At g=2g = 2 the drag term vanishes outright and the spin obeys the same equation as the four-velocity: <strong>it locks to the momentum.</strong> *Verified in `verify_aq-sr-bmt-equation.py`: the two constraints are imposed symbolically on the general ansatz in sympy, with explicit 4×44\times4 FμνF^{\mu\nu} and metric diag(+1,−1,−1,−1)\mathrm{diag}(+1,-1,-1,-1), and β=(α−q/m)/c2\beta = (\alpha - q/m)/c^2 is solved for, not assumed. The rest-frame reduction is done numerically. S⋅uS\cdot u and S⋅SS\cdot S are then checked to be conserved to 10−1210^{-12} under numerical integration of the full equation in a crossed-field configuration.*

Go deeper · Derivation B · 2 minThe lab reduction, the cancellation, and the magic gamma
Derivation BThe lab reduction, the cancellation, and the magic gamma

The goal is the number the experiment actually measures. Equation (2) governs SμS^\mu, but a detector sees the angle between the rest-frame spin and the momentum, and getting from one to the other means undoing the boost at every instant — on a boost that is changing, which is precisely where the Thomas rotation re-enters. Equation (4) is the standard, long result; what is derived here is what happens when you subtract the cyclotron frequency from it, because that subtraction is the entire experiment.

Step 1 — the two frequencies, side by side. Take β⊥B\boldsymbol\beta \perp \mathbf B (a storage ring: the field is vertical, the beam is horizontal), so β⋅B=0\boldsymbol\beta\cdot\mathbf B = 0 and the middle term of (4) drops:

ωs=−qm[(a+1γ)B−(a+1γ+1)β×Ec],ωc=−qm[1γB−γγ2−1 β×Ec]\boldsymbol\omega_s = -\frac qm\Big[\Big(a+\frac1\gamma\Big)\mathbf B - \Big(a+\frac{1}{\gamma+1}\Big)\frac{\boldsymbol\beta\times\mathbf E}{c}\Big], \qquad \boldsymbol\omega_c = -\frac qm\Big[\frac{1}{\gamma}\mathbf B - \frac{\gamma}{\gamma^2-1}\,\frac{\boldsymbol\beta\times\mathbf E}{c}\Big]

Why: ωc\boldsymbol\omega_c is not a new assumption — it is the Lorentz force, equation (3), written as a rotation rate of the velocity direction. Both frequencies contain the same B/γ\mathbf B/\gamma: at g=2g=2 they are the same frequency, which is exactly the statement that a g=2g=2 spin tracks its own momentum.

Step 2 — subtract, and watch γ\gamma leave. The magnetic parts:

(a+1γ)−1γ  =  a\Big(a + \frac1\gamma\Big) - \frac1\gamma \;=\; a

Why: <strong>there it is.</strong> The 1/γ1/\gamma cancels <strong>identically</strong>, for every γ\gamma, exactly. Not to leading order, not approximately. The energy-dependent piece of the spin precession is the same energy-dependent piece as the cyclotron precession, because both come from the same FμνuνF^{\mu\nu}u_\nu structure — and the difference keeps only the piece proportional to the anomaly. A beam with a 0.1%0.1\% momentum spread produces a signal with <strong>zero</strong> spread from this source.

Step 3 — the electric term, and the magic γ\gamma. The β×E\boldsymbol\beta\times\mathbf E coefficients:

(a+1γ+1)−γγ2−1  =  a+1γ+1−γ(γ−1)(γ+1)  =  a+(γ−1)−γγ2−1  =  a−1γ2−1\Big(a + \frac{1}{\gamma+1}\Big) - \frac{\gamma}{\gamma^2-1} \;=\; a + \frac{1}{\gamma+1} - \frac{\gamma}{(\gamma-1)(\gamma+1)} \;=\; a + \frac{(\gamma-1) - \gamma}{\gamma^2-1} \;=\; a - \frac{1}{\gamma^2-1}

giving equation (6). Setting the bracket to zero:

  γmagic=1+1a  ⟹γmagic μ=29.3034\boxed{\;\gamma_{\text{magic}} = \sqrt{1 + \frac1a}\;} \qquad\Longrightarrow\qquad \gamma_{\text{magic}}^{\,\mu} = 29.3034

Why: a storage ring needs vertical focusing; vertical focusing means electrostatic quadrupoles; and electrostatic quadrupoles mean an E\mathbf E field sitting in the middle of your precision measurement. <strong>Unless you run at the γ\gamma where the E\mathbf E field drops out of ωa\boldsymbol\omega_a altogether.</strong> For the muon that is γ=29.3034\gamma = 29.3034, p=3.094 GeV/cp = 3.094\ \mathrm{GeV}/c — which is why the CERN, Brookhaven and Fermilab rings were all built to that momentum. A design constant, derived from a cancellation in a 1959 equation.

Step 4 — what you measure. With E\mathbf E neutralised and β⊥B\boldsymbol\beta\perp\mathbf B:

  ωa=emμ aμ B  ⟹aμ=mμ ωaeB\boxed{\;\omega_a = \frac{e}{m_\mu}\,a_\mu\,B\;} \qquad\Longrightarrow\qquad a_\mu = \frac{m_\mu\,\omega_a}{eB}

Why: <strong>two measurements, and one of them is a magnetic field.</strong> Count the wiggle in the decay-positron rate to get ωa\omega_a, NMR-map the field to get BB, divide. You never measure gg, and you never measure the beam energy. The 2025 Fermilab final result, aμ=0.001165920705(146)a_\mu = 0.001165920705(146), is 127127 parts per billion — and every part of that precision descends from the two cancellations in Steps 2 and 3. *Verified in `verify_aq-sr-bmt-equation.py`: equation (4) is checked against direct numerical integration of the covariant equation (2) at 40 random (γ,E,B)(\gamma, \mathbf E, \mathbf B) configurations (worst relative error 4×10−94\times10^{-9}); ωa\omega_a is confirmed flat in γ\gamma across γ∈[2,60]\gamma \in [2,60] to machine precision at E=0\mathbf E = 0; the magic-γ\gamma cancellation is verified by showing the E\mathbf E-field shift in ωa\omega_a drops below 10−1610^{-16} there; and the ring numbers below are recomputed from aμa_\mu and BB.*

Limiting cases

CaseBMT becomesMeaning
γ→1\gamma\to1, E=0\mathbf E = 0dS/dt=μ×B\mathrm d\mathbf S/\mathrm dt = \boldsymbol\mu\times\mathbf Bordinary Larmor precession
g=0g = 0dSμ/dτ=−1c2(S⋅A)uμ\mathrm dS^\mu/\mathrm d\tau = -\frac{1}{c^2}(S\cdot A)u^\muFermi–Walker transport — pure Thomas precession, no torque
g=2g = 2, uniform B\mathbf Bωs=ωc\boldsymbol\omega_s = \boldsymbol\omega_c,   ωa=0\;\boldsymbol\omega_a = 0spin locks to momentum. Thomas exactly cancels Larmor
E=0\mathbf E = 0, any ggωa=−qmaB\boldsymbol\omega_a = -\frac qm a\mathbf Bno γ\gamma. The observable is flat in energy
γ=1+1/a\gamma = \sqrt{1+1/a}E\mathbf E drops out of ωa\boldsymbol\omega_athe magic γ\gamma: 29.303429.3034 for μ\mu, 29.3829.38 for ee
γ≫1\gamma\gg1, curved orbitωT→(γ−1) ωc\omega_T \to (\gamma-1)\,\omega_cat the muon ring, 28.3×28.3\times the cyclotron rate

Worked examples

1 · Rebuild the Fermilab ring from one number

Given the muon anomaly and nothing else, derive the storage ring.

Step 1 — identify. The 2025 Fermilab final result: aμ=0.001165920705(146)a_\mu = 0.001165920705(146), 127127 ppb. That is the only input. The ring's field is B=1.4513B = 1.4513 T.

Step 2 — apply. The magic γ\gamma from Step 3 of the derivation:

γmagic=1+1/aμ=858.7=29.3034,β=0.99942\gamma_{\text{magic}} = \sqrt{1 + 1/a_\mu} = \sqrt{858.7} = \mathbf{29.3034}, \qquad \beta = 0.99942

Momentum: p=γmμβc=(29.3034)(105.658 MeV)(0.99942)=3.0943 GeV/cp = \gamma m_\mu \beta c = (29.3034)(105.658\ \mathrm{MeV})(0.99942) = \mathbf{3.0943\ GeV}/c.

Step 3 — the boundary numbers. Radius R=p/(eB)=7.1120 mR = p/(eB) = \mathbf{7.1120\ m}. Cyclotron period Tc=2πγmμ/(eB)=149.1 nsT_c = 2\pi\gamma m_\mu/(eB) = \mathbf{149.1\ ns}. Anomalous period Ta=2πmμ/(e aμB)=4.365 μsT_a = 2\pi m_\mu/(e\,a_\mu B) = \mathbf{4.365\ \mu s}.

Step 4 — check against the real machine. The Fermilab (ex-Brookhaven) ring has a radius of 7.112 m\mathbf{7.112\ m}, runs muons at 3.094 GeV/c\mathbf{3.094\ GeV}/c, and reports a g−2g-2 period of 4.365 μs\mathbf{4.365\ \mu s} and a cyclotron period of 149.2 ns\mathbf{149.2\ ns}. Every number matches. The ring was not tuned empirically; it was computed from equation (6) and then built. And the ratio Ta/Tc=1/(aμγ)=29.3T_a/T_c = 1/(a_\mu\gamma) = 29.3: the muon goes round 29 times per precession cycle, and survives γτμ=64.4 μs\gamma\tau_\mu = 64.4\ \mu\mathrm s — about 432\mathbf{432} turns and 15\mathbf{15} precession cycles — before decaying. That is the whole experiment: watch the decay positrons wiggle fifteen times, and fit the frequency.

2 · Set g=0g = 0 and get Thomas back

Show that the BMT equation contains the Thomas precession with no magnetic moment at all.

Step 1 — identify. Put g=0g = 0 in equation (2). The particle now has charge (so the Lorentz force still bends its path) but no magnetic moment — nothing for the field to torque.

Step 2 — apply. The first term vanishes identically. In the second, β=qmc2(0−1)=−qmc2\beta = \frac{q}{mc^2}(0 - 1) = -\frac{q}{mc^2}, and equation (3) lets us trade the field for the four-acceleration: SλFλνuν=mq SλAλS_\lambda F^{\lambda\nu}u_\nu = \frac mq\, S_\lambda A^\lambda. So

dSμdτ  =  −qmc2⋅mq (S⋅A) uμ  =  −1c2(S⋅A) uμ\frac{\mathrm dS^\mu}{\mathrm d\tau} \;=\; -\frac{q}{mc^2}\cdot\frac mq\,(S\cdot A)\,u^\mu \;=\; -\frac{1}{c^2}(S\cdot A)\,u^\mu

Step 3 — recognise it. That is the Fermi–Walker transport equation, verbatim — the definition of "carry a vector along a worldline without torquing it", and the equation `aq-sr-thomas-precession` integrates to get ωT=γ2γ+1a×vc2\boldsymbol\omega_T = \frac{\gamma^2}{\gamma+1}\frac{\mathbf a\times\mathbf v}{c^2}. Numerically, integrating the g=0g=0 BMT equation around a circular orbit at β=0.6\beta = 0.6 and reading off the rotation gives exactly −90.000000∘-90.000000^\circ per orbit, agreeing with `aq-sr-thomas-precession`'s independent Fermi–Walker integration to 3.5×10−93.5\times10^{-9}.

Step 4 — what it means. The Thomas precession is what a spin does when nothing is done to it. It is the g=0g=0 residue of BMT: strip out every scrap of magnetism and the precession is still there, because the constraint S⋅u=0S\cdot u = 0 is still there and the worldline is still bending. It also settles the accounting. At the muon ring ωT=(γ−1) ωc=28.3 ωc=1.192×109\omega_T = (\gamma-1)\,\omega_c = 28.3\,\omega_c = 1.192\times10^{9} rad/s, vastly larger than ωa=1.44×106\omega_a = 1.44\times10^{6} rad/s: the huge kinematic precession and the huge g=2g=2 Larmor precession cancel to one part in a thousand, and the tiny residue that survives is the anomaly. Everything the experiment measures lives in that residue.

Physics of the portrait

Origins · 2 minAnomalous magnetic moment and how this was discovered
AM
Anomalous magnetic moment
a = (g−2)/2 — the most precisely tested number in physics · Dirac's g = 2 · Schwinger's α/2π · the muon's 127 parts per billion

Dirac's equation says g=2g = 2 exactly — one of the great predictions in physics, spin and the right magnetic moment both falling out of a wave equation written for entirely different reasons. It is also wrong, by about a tenth of a percent. In 1948 Kusch and Foley measured the electron's gg and found 2.002382.00238, and Schwinger explained the excess in a single line of quantum field theory: the electron emits and reabsorbs a virtual photon, and the correction is α/2π=0.00116\alpha/2\pi = 0.00116. The number is on his gravestone. The anomaly a=(g−2)/2a = (g-2)/2 is what is left when you subtract Dirac. Every particle in the universe contributes to it, because aa is a sum over every virtual loop the particle can make — and the heavier the particle, the more it can see. The muon is 207207 times heavier than the electron, so its anomaly is roughly (mμ/me)2≈43 000(m_\mu/m_e)^2 \approx 43\,000 times more sensitive to whatever else is out there. That is why aμa_\mu has been the most watched number in particle physics for two decades. Measured (Fermilab, 2025) to 127127 parts per billion; predicted by the Standard Model to comparable precision; and the two have circled each other, at times apparently disagreeing, as the theory of the hadronic contributions has been fought over. And the only reason the measurement is possible at all is that ωa\omega_a has no γ\gamma in it — a cancellation in an equation written in 1959, three years before the muon's anomaly was first measured at CERN.

History
1926
— L. H. Thomas shows that the electron's rest frame rotates on a curved worldline (Nature 117, 514), halving the semiclassical spin-orbit coupling. The kinematics is right but the treatment is not covariant.
1927
— Frenkel, and independently Thomas in Philosophical Magazine 3, 1, write the first covariant spin equations. Correct for g = 2, awkward otherwise.
1928
— Dirac's equation predicts g = 2 exactly, from no assumption about magnetism.
1948
— Kusch and Foley measure the electron's g and find 2.00238, not 2. Schwinger computes the excess: a = alpha/(2 pi) = 0.00116. The number is engraved on his gravestone.
1959
— Bargmann, Michel and Telegdi publish the general covariant equation for any g (Physical Review Letters 2, 435). Two terms, two constraints, one free parameter. Everything about relativistic spin dynamics in an external field is in it.
1961
— CERN's first muon g-2 experiment measures a_mu to about 0.4 per cent, using precisely the omega_a cancellation.
2001
— Brookhaven E821 reaches 540 parts per billion at the magic gamma of 29.3, and reports a persistent tension with the Standard Model prediction.
2025
— Fermilab's final result: a_mu = 0.001165920705, a precision of 127 parts per billion, from the same 7.112 metre ring, moved 5000 kilometres from Long Island.

Going further

Texts. Jackson, Classical Electrodynamics, 3rd ed., §11.11 (Gaussian — do not copy the cc's) · Rindler, Introduction to Special Relativity, 2nd ed. · Mane, Shatunov & Yokoya, Rep. Prog. Phys. 68, 1997 (2005). Primary: V. Bargmann, L. Michel & V. L. Telegdi, Phys. Rev. Lett. 2, 435 (1959).

Data. aμ=0.001165920705(114)stat(91)systa_\mu = 0.001165920705(114)_{\text{stat}}(91)_{\text{syst}} — Muon g−2g-2 Collaboration, Fermilab final result (2025), 127127 ppb. Ring: B=1.4513B = 1.4513 T, R=7.112R = 7.112 m, p=3.094 GeV/cp = 3.094\ \mathrm{GeV}/c.

Provenance. SI end to end, every cc written. Signature (+,−,−,−)(+,-,-,-), u⋅u=+c2u\cdot u = +c^2. Equation (2) is derived, not quoted: the ansatz is constrained symbolically and β\beta is solved for. ωT\boldsymbol\omega_T is quoted from `aq-sr-thomas-precession`, the 12\tfrac12 from `aq-sr-thomas-factor-spin-orbit`, the non-closure of boosts from `aq-sr-thomas-wigner-rotation`. Base defects corrected: the missing 1/c21/c^2 and 1/c1/c (a Gaussian-to-SI transcription error, acknowledged in the base's own provenance note, which cites Gaussian Jackson); the sign error in DERIV[0] step 3, which its own step 5 overrules without showing the work; and the contradiction between DERIV[1]'s title (g=0g=0) and its first step (g=2g=2) — the title is correct.

Claim-scope. This page derives the classical BMT equation for a point particle with a magnetic moment in an external field. It does not derive aa itself — that is quantum field theory, and ae=α/2π+…a_e = \alpha/2\pi + \dots belongs to a QED track. It does not treat the electric dipole term, radiative polarisation, or Stern–Gerlach forces from field gradients.

Builds on. Thomas Precession · The Thomas Factor One-Half · The Field Tensor. Leads to. Muon g−2 and Time Dilation · Relativistic Beam Dynamics.

Figure
The magic gamma, and why the ring is 7.112 metres across. The curve is the coefficient of the electric-field term in omega_a: a − 1/(gamma² − 1). At low gamma the 1/(gamma² − 1) piece is enormous and the electric field of the focusing quadrupoles utterly dominates the measurement. As gamma rises the piece falls, crosses the muon anomaly a = 0.0011659, and the whole coefficient passes through ZERO. That crossing is at gamma = 29.3034 — the MAGIC GAMMA — and it corresponds to a muon momentum of 3.094 GeV/c. Run the ring there and the electrostatic quadrupoles you need for vertical focusing become invisible to the spin measurement: they still focus the beam, but they no longer shift omega_a. Above the magic gamma the coefficient turns positive and the contamination returns with the opposite sign. Note the scale: the crossing is sharp, and the entire design of the CERN, Brookhaven and Fermilab muon rings — a 7.112 metre radius in a 1.4513 tesla field — is fixed by the location of this one zero
The E-field coefficient of ω_a: a − 1/(γ² − 1). It crosses zero at γ = 29.3034. Lorentz factor γ 0 +a large − 10 20 30 40 50 → a = 0.0011659 γ = 29.3034 — THE MAGIC γ p = 3.0943 GeV/c · R = 7.1120 m at 1.4513 T the E field of the quadrupoles drops OUT the actual Fermilab ring: 7.112 m, 3.094 GeV/c below the magic γ: 1/(γ²−1) swamps a — the quadrupoles ruin the measurement above it, the coefficient turns positive and the contamination comes back with the other sign A ring designed around the zero of an algebraic expression in a 1959 paper.
Why is the BMT equation unique? Could I not add another term?

Not if you want it linear in SS and in FF, and covariant. There are only two four-vectors you can build from SμS^\mu, FμνF^{\mu\nu} and uμu^\mu under those conditions: FμνSνF^{\mu\nu}S_\nu and uμ(SλFλνuν)u^\mu(S_\lambda F^{\lambda\nu}u_\nu); a third candidate, uμ(S⋅u˙)u^\mu(S\cdot\dot u), collapses into the second via the Lorentz force. Relax the assumptions and you can add terms — one linear in ∂F\partial F gives a Stern–Gerlach force from a field gradient, one with the dual F~μν\tilde F^{\mu\nu} gives an electric dipole moment, which the g−2g-2 experiment also searches for. But for a point particle with only a magnetic moment in a uniform field, two terms is all there is.

Why does the experiment measure a and not g?

Because the detector sees the angle between spin and momentum, and that angle turns at ωa=ωs−ωc∝a=(g−2)/2\omega_a = \omega_s - \omega_c \propto a = (g-2)/2. To get gg you would need ωs\omega_s alone, which means knowing γ\gamma for every muon in the beam to the same precision — and you cannot. It is experimental judo: the quantity that is impossible to measure precisely, gg, differs from the one that is easy, aa, by exactly 22 — the one number theory hands you for free.

Is the huge Thomas precession in the ring not a problem for the measurement?

It is enormous — ωT=(γ−1)ωc=28.3 ωc\omega_T = (\gamma - 1)\omega_c = 28.3\,\omega_c, about 1.19×1091.19\times10^9 rad/s, against an ωa\omega_a of 1.44×1061.44\times10^6 rad/s. A thousand times bigger. But it is not an error term: it sits inside ωs\omega_s, exactly cancelling the g=2g=2 part of the Larmor precession, and the cancellation is exact for all γ\gamma — which is what equation (6) proves. Nobody computes ωT\omega_T and subtracts it by hand; the covariant equation has already done so. That is the payoff for a covariant formulation rather than Thomas's 1926 argument.

What happens to muons that are not exactly at the magic momentum?

They pick up an electric-field contribution proportional to a−1/(γ2−1)a - 1/(\gamma^2-1) — small, but not zero, and one of the named systematic corrections in the Fermilab error budget. The ring has a momentum acceptance of about ±0.15%\pm 0.15\%, so the beam is a distribution around γmagic\gamma_{\text{magic}}, not a delta function; the correction is computed by measuring the actual momentum distribution and integrating equation (6) over it. Same for the "pitch correction": muons with vertical velocity have β⋅B≠0\boldsymbol\beta\cdot\mathbf B \ne 0, which wakes up the middle term of equation (4).

Does the spin four-vector's spatial part equal the spin you measure?

No — that is the trap S⋅u=0S\cdot u = 0 sets. In the lab it forces S0=β⋅SlabS^0 = \boldsymbol\beta\cdot\mathbf S_{\text{lab}}, which is not zero when the particle moves; and Slab\mathbf S_{\text{lab}} is not the rest-frame spin either. To get the rest-frame spin — the thing that couples to the decay asymmetry, and that the detector effectively sees — you must boost SμS^\mu back with the instantaneous velocity. Doing that boost at every instant, on a uu that is turning, is exactly where the Thomas rotation re-enters when you reduce equation (2) to equation (4).

Why is the muon anomaly so much more interesting than the electron's?

Sensitivity to heavy new physics scales as (m/Λ)2(m/\Lambda)^2, so a particle 207207 times heavier is roughly 2072≈43 000207^2 \approx 43\,000 times more sensitive to whatever lies beyond the Standard Model. The electron's anomaly is known far more precisely in absolute terms, but it is dominated by pure QED and is used mainly as the world's best determination of α\alpha. The muon's is where a discrepancy would show — which is why the fight over the hadronic vacuum-polarisation contribution to the prediction is now the crux of the whole story.

Before this

Where this leads