Renormalisation & the running of alpha
The fine-structure constant is the most famous pure number in physics, and almost everything a first course says about it is a half-truth. It is not a constant: it is the low-energy value of a quantity that grows as you probe a charge harder — falls to about at the mass of the boson. This article is where quantum electrodynamics stops being a tree-level Feynman-rules exercise and becomes a quantum field theory: the vertex coupling that the rules treat as a fixed input is really a bare parameter, dressed by an infinite cloud of virtual pairs that no measurement can switch off. Two ideas organize everything that follows. The first is renormalisation — the discovery that the ultraviolet divergences generated by loop corrections are not a fatal disease but a bookkeeping artifact: they can be absorbed, once and for all, into a redefinition of the charge and the field normalisations, leaving every physical prediction finite and expressed in terms of one measured coupling. The second is the running coupling — the physical residue of that procedure. Because the dominant loop, the photon's vacuum polarisation, depends on the momentum transfer , the renormalised charge inherits a scale dependence: probe gently and the vacuum's screening cloud hides most of the charge; probe hard and you punch through toward the bare charge, so the effective climbs. This running is measured at LEP, it dominates the uncertainty budget of electroweak precision fits, and it is the exact template for the opposite-running strong coupling that gives QCD its asymptotic freedom.
- The QED coupling is a bare input at tree level; loop corrections dress it and generate ultraviolet divergences that renormalisation absorbs into a single measured charge.
- The dominant correction is vacuum polarisation: the exchanged photon fluctuates into virtual pairs, screening the charge like a dielectric.
- Resumming those bubbles (the Dyson series) dresses the propagator into an effective coupling that depends on the scale probed.
- Consequently runs: drops from at to at , a shift confirmed at LEP.
- The Ward identity () means the running lives entirely in the shared photon line, so every charged particle's coupling runs identically — charge universality.
- Key idea: The charge you measure is not the bare charge but one screened by a cloud of virtual pairs; how much screening you see depends on how hard you probe, so the effective coupling depends on energy.
The charge you measure is not the bare charge but one screened by a cloud of virtual particle–antiparticle pairs; how much of that screening you penetrate depends on the momentum transfer, so the effective coupling is a function of energy, not a constant.
Where this lives today
The running of is a live number in the most demanding precision physics being done. At the pole, the electroweak fits that turned LEP data into predictions for the top-quark and Higgs masses take as one of their three defining inputs, and its uncertainty — dominated by the hadronic — is a leading parametric limit on how sharply the Standard Model can be tested. That same hadronic vacuum polarisation is the crux of the muon anomaly: the tension between the measured and predicted muon magnetic moment turns on how well is known, pitting the dispersion evaluation against newer lattice-QCD results. To break the impasse, CERN's MUonE experiment aims to measure directly, by reading the running of off the shape of elastic muon–electron scattering — a beautifully literal use of vacuum polarisation as a laboratory tool. The same one-loop machinery, extended to all three Standard-Model couplings, extrapolates them to GeV to ask whether they meet — the first rung toward grand unification.
The physical picture
Place a bare electron in the vacuum and the vacuum does not stay empty. The electric field polarises the sea of virtual electron–positron pairs that continually flicker in and out of existence: each pair orients with its positive end outward, so a cloud of net negative charge migrates toward the core and partially cancels it. From far away — at low momentum transfer — you see the screened charge, and that screened value is what records. Push a probe in close, at high , and you penetrate the cloud, seeing more of the unscreened core: the effective charge, and with it , grows. The vacuum behaves exactly like a dielectric, and renormalisation is the statement that the "true" bare charge at the centre is unobservable — only the screened, scale-dependent charge is.
The consequence of that screening, made quantitative, is a coupling that slides with energy. If you plot against the logarithm of the momentum transfer, screening turns into a nearly straight descending line: flat and equal to while you are below the electron-pair threshold, then bending downward as each charged fermion's pair-cloud becomes penetrable in turn, until at the mass — the scale of every LEP measurement — the coupling has strengthened to . The second figure is the number an electroweak fitter actually uses: the measured running of from the Thomson limit to the pole.
The core equations
The coupling itself is the starting point. The fine-structure constant packages the electron charge into a dimensionless measure of how strongly light and matter interact; in the natural (Heaviside–Lorentz) units of field theory it is simply the squared charge over .
where: — renormalised electron charge; restore SI units; — dimensionless coupling. The value is the low-energy one, defined in the Thomson limit ; equation (1) fixes "the charge" only once we say at which scale it is measured. Beyond tree level the photon propagator is dressed by the vacuum polarisation. Resumming the geometric series of self-energy insertions replaces the coupling by an effective, scale-dependent one — the single most important formula in this article.
where: — renormalised photon self-energy (vacuum polarisation), subtracted so that ; — the low-energy coupling of (1). Reading: as grows with the denominator shrinks below one, so rises above — screening penetrated. The self-energy is computed from a single fermion loop. Regularising and subtracting at leaves a finite function; at momentum transfers far above the loop mass it collapses to a logarithm, which is the engine of the running.
where: — mass of the looping fermion; — Feynman parameter; for a spacelike probe. Reading: below threshold () the log vanishes and — heavy fermions decouple; above threshold each fermion adds a that never turns off. Feeding (3) into (2) and summing over every charged fermion light enough to be pair-produced gives the renormalisation-group solution for the running coupling — most cleanly written for the inverse coupling, in which the running is exactly linear in the logarithm.
where: — reference scale where is known; — fermion electric charge in units of ; — colour factor ( for leptons, for quarks). Reading: each active fermion steepens the descent of by , so the hadronic sector matters despite fractional charges. Differentiating (4) gives the QED beta function — the rate of running. Its sign is the whole story: positive, so the coupling grows in the ultraviolet.
where: the sum runs over fermions with . Reading: is QED screening in one symbol — probe harder, see a larger charge. In QCD the gluon self-coupling flips this sign, giving asymptotic freedom. Finally, the experimentally quoted result packages the total running from zero momentum to the mass into a single hadronic-plus-leptonic shift , the quantity precision electroweak fits actually input.
where: . Reading: leptons contribute a calculable ; the five-quark hadronic piece is extracted from data and carries essentially all the uncertainty in .
The goal is to show how an infinite chain of vacuum-polarisation bubbles inserted into the bare photon line resums into a geometric series, turning the tree-level propagator into a dressed one whose residue defines an effective, momentum-dependent charge — and then to see, through the Ward identity, why this one self-energy is the sole divergence that renormalises the coupling, making the running universal across every charged particle.
Step 1. Compute the one-particle-irreducible photon self-energy . Gauge invariance (the Ward identity ) forces the transverse structure , so a single scalar carries all the physics and the piece vanishes between conserved currents. Why: transversality is what keeps the photon massless — no mass term can be generated at — so the correction can only rescale the coupling.
Step 2. Insert the bubble repeatedly into the photon line and sum. The tree propagator becomes . Why: this Dyson resummation converts an infinite perturbative series into a closed form; the pole stays at (the photon is still massless) but the residue is rescaled by — the charge, not the mass, is what moves.
Step 3. Each end of the propagator carries a bare vertex , so any amplitude scales as . Renormalise by subtracting at a reference scale (choose , so ) and identify the measured low-energy coupling with ; the observable combination is then , equation (2). Why: it is the product of charge-squared and propagator residue that any experiment reads out, so the scale dependence is a genuine property of the effective charge, not of an arbitrary field normalisation.
Step 4. Track the renormalisation constants. The vertex and electron self-energy corrections enter through and , but the Ward identity guarantees , so in they cancel and only the photon-field renormalisation survives. Why: this is charge universality — because the running is carried entirely by the shared photon line and not by the species-specific vertex, an electron, a muon and a quark all see their coupling run in lockstep, which is why a single can describe them all.
Go deeper · Derivation B · 1 minThe one-loop logarithm and the running of alpha
The aim is to extract, from the fermion loop, the explicit logarithm that makes the coupling run, promote it to a sum over all charged fermions, and differentiate the result into the QED beta function — establishing both the running law (4) and the positive sign (5) that marks QED as a screening theory whose coupling strengthens at short distance.
Step 1. Evaluate the loop with a Feynman parameter and regularise. Subtracting the value at (so the renormalised coupling is defined to be the Thomson-limit charge ) leaves the finite . Why: subtracting on-shell at throws all the cutoff dependence into the unobservable bare charge and pins the renormalised to the number that Thomson scattering actually measures.
Step 2. Take the deep-Euclidean limit . The parametric integral is then dominated by its logarithm and collapses to . Why: once the probe momentum dwarfs the fermion mass the loop "forgets" the mass except inside the log, and the single large logarithm of the scale ratio is the seed of all the running — it is what never turns off as grows.
Step 3. Substitute into and add one independent bubble for every charged fermion above its threshold, each weighted by colour and charge-squared. Rearranging for the inverse coupling gives the linear law , equation (4). Why: distinct fermion species contribute additively at one loop, so the single-species log becomes a sum in which up-quarks (, three colours), down-quarks (, three colours) and leptons () all pull their weighted share.
Step 4. Differentiate with respect to to read off , equation (5), which is manifestly positive. Why: the positive sign is screening expressed as a differential equation — raising the scale raises the coupling — and it is the exact opposite of the negative QCD beta function, so the two theories run in opposite directions from the same machinery.
Go deeper · Derivation C · 1 minThe Landau pole and why QED screens while QCD anti-screens
The purpose here is to integrate the one-loop renormalisation-group equation to a closed-form running law, expose the Landau pole where perturbative QED formally breaks down, estimate how absurdly high that scale sits, and contrast the sign of the QED beta function with the non-Abelian QCD case that runs the other way into asymptotic freedom.
Step 1. Write the one-loop RGE with a single effective coefficient : with absorbed, integrating to the straight line . Why: a first-order ODE with a constant coefficient integrates to a line in the plane — the linear descent is the visual signature of one-loop running seen in the second figure.
Step 2. Because falls with , it must reach zero at a finite scale — the Landau pole — where formally diverges. For pure electron QED, setting gives , so . Why: the same screening that strengthens guarantees a formal breakdown of perturbation theory, but at an energy orders of magnitude above the Planck scale — so for real QED, embedded in the Standard Model well before then, the pole is a curiosity, not a catastrophe.
Step 3. Repeat the exercise for QCD. There the gluon self-interaction contributes a large negative term to the beta coefficient, with , flipping the sign relative to QED. Why: the non-Abelian antiscreening of the gluon loops overwhelms the fermion screening, so decreases toward the ultraviolet and vanishes at high energy — asymptotic freedom — instead of diverging at a Landau pole; QED and QCD run in opposite directions from structurally the same calculation.
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Thomson limit | fully screened charge; the "textbook" fine-structure constant | |
| Below pair threshold | fermion decouples, | heavy loops switch off — only fermions light enough to pair-produce run the coupling |
| only the electron loop active | slope set by a single lepton, | |
| GeV | all light fermions active; measured at LEP, the electroweak-fit input | |
| Landau pole GeV | perturbation theory formally breaks; far above , so academic for QED | |
| QCD analogue | runs opposite | gluon antiscreening asymptotic freedom, in the UV |
Worked examples
1 · The running of α from the Thomson limit to the Z (fully worked)
Using the one-loop vacuum-polarisation formula, compute the leptonic shift from the electron, muon and tau, then combine it with the measured hadronic piece to predict . Take GeV, MeV, MeV, MeV, and .
Step 1. Each lepton contributes, in the high- limit of equation (3), a term . Evaluate the logarithm-minus- factor for each: electron ; muon ; tau .
Step 2. Sum and multiply by . The three factors sum to , so (the precise multi-loop value is ).
Step 3. Add the sectors. The five-quark hadronic contribution is not calculable perturbatively (the loop momenta run through the non-perturbative regime) and is taken from data as ; the top quark adds . Total .
Step 4. Insert into equation (6): . This matches the LEP/PDG value , and shows that the running is roughly half leptonic, half hadronic — and that the hadronic half is the one carrying the uncertainty. α⁻¹(M_Z) = 128.95, from Δα = 0.0590.
2 · What the running does to a cross section (fully worked)
A pure-QED photon-exchange process such as has a cross section . By how much is it enhanced if the relevant coupling is rather than the naive ?
Step 1. The cross section scales as the square of the effective coupling entering the two vertices, so the ratio at the two scales is .
Step 2. Form the coupling ratio from the inverse couplings: .
Step 3. Square it: . The running strengthens the electromagnetic coupling enough to raise the photon-exchange rate by about at the scale. A ~13% enhancement — far larger than experimental precision, so using the low-energy α at collider scales would be a gross error.
3 · The Landau pole of pure QED (order-of-magnitude)
At what scale would the one-loop running of the electron-only QED coupling drive ?
Step 1. Set in the single-fermion running law , giving .
Step 2. So , i.e. . With GeV, .
Step 3. Compare scales: the Planck mass is GeV, so the QED Landau pole sits about orders of magnitude beyond where gravity and unified physics have long since rewritten the theory. Q_L ~ 10²⁷⁷ GeV — the "triviality" of QED is a formality, not a physical limit, because new physics intervenes vastly sooner.
Physics of the portrait
Renormalisation was the crisis that nearly killed quantum electrodynamics and the triumph that saved it: the recognition that the loop infinities could be absorbed into a redefinition of charge and mass — and that the leftover, the running of the coupling, was a real and measurable prediction — turned QED into the most precisely tested theory in science. No one did more to make that program rigorous and communicable than Freeman Dyson.
Origins · 1 minFreeman Dyson and how this was discovered
Freeman Dyson was the mathematician who taught physicists what they had actually discovered. Trained in pure mathematics at Cambridge, he arrived in the United States in 1947 just as Schwinger, Feynman and Tomonaga were each, in mutually unintelligible languages, wrestling QED's infinities into finite answers. On a now-legendary bus ride across Nebraska in 1948, Dyson saw how to unify them — proving that Feynman's intuitive diagrams and Schwinger's formal operator calculus were the same theory, and that the whole apparatus was renormalisable: the infinities could be absorbed into a finite number of redefinitions, order by order, to all orders. His 1949 papers gave the field its working grammar, including the resummation now called the Dyson series — the very geometric sum of self-energy bubbles that dresses the photon propagator in this article's first derivation. It was Dyson's synthesis that made the running coupling a calculable, predictive object rather than a formal embarrassment. Characteristically, he never shared the 1965 Nobel Prize that went to the three he had unified, a limit of three laureates leaving him out. He remained, to the end, the outsider mathematician who had shown the physicists the structure hidden inside their own equations.
Going further
Texts. Peskin & Schroeder, An Introduction to Quantum Field Theory, Ch. 7 (the vacuum polarisation, Eqs. 7.90–7.96) and §12.2 (the running coupling) · Schwartz, Quantum Field Theory and the Standard Model, Ch. 16 (vacuum polarisation) and Ch. 23 (renormalisation group) · Thomson, Modern Particle Physics, §5.3 and §10.5 (running couplings) · Halzen & Martin, Quarks and Leptons, §7.4 · Griffiths, Introduction to Elementary Particles, 2nd ed., Ch. 7.
Provenance. The tree-level vertex and the photon propagator are recalled by name from aq-pp-feynman-rules-qed and aq-pp-photon-propagator; the spinor structure of the fermion loop rests on aq-pp-dirac-equation. The one-loop vacuum polarisation (3), the effective coupling (2), the running law (4) and the shift giving were re-verified numerically for this article. The opposite-sign running of the strong coupling and its interpretation are owned by aq-pp-running-alpha-s and aq-pp-asymptotic-freedom (forward references, not re-derived here).
Prerequisites. Feynman Rules for QED · The Photon Propagator · The Dirac Equation. Leads to. The Running of α_s · Asymptotic Freedom · Electroweak Radiative Corrections.
Ask the tutor: Ask me to walk through the vacuum-polarisation loop integral, or to show how the hadronic feeds the muon puzzle.
Is the fine-structure constant 1/137 or 1/128?
Both, at different scales — that is the whole point. The number is in the Thomson limit, , which is what you measure in atomic physics and low-energy scattering where the screening cloud is seen in full. At the mass, where LEP and LHC physics happens, the relevant coupling is , because a high-momentum probe penetrates the screening. Quoting "the fine-structure constant" without naming a scale is genuinely ambiguous above a few hundred MeV. In everyday usage is meant, but any calculation at collider energies must use the running value or it will be wrong by more than in a cross section.
What is vacuum polarisation, physically?
It is the polarisation of the quantum vacuum by an electric charge, in exact analogy with a dielectric. The vacuum is not empty: virtual electron–positron pairs (and, at higher energies, pairs of every charged fermion) continually fluctuate into existence for times allowed by the uncertainty principle. A bare charge polarises these pairs, so it is surrounded by a screening cloud of opposite charge: from far away you see the reduced, screened charge; up close you see more of the bare charge. In a Feynman diagram this is the photon momentarily becoming a fermion loop; summed to all orders it dresses the propagator and makes the coupling run.
Why does only the photon self-energy Z₃ renormalise the charge, and not the vertex?
Because of the Ward identity, which is a consequence of gauge invariance. The full charge renormalisation is , where renormalises the vertex, the electron field, and the photon field. The Ward identity forces exactly, so those two cancel and only — the photon-field, i.e. vacuum-polarisation, renormalisation — survives. This has a profound consequence: because the running is carried entirely by the shared photon line and not by anything specific to the electron vertex, every charged particle's coupling runs identically. That universality is why we can speak of a single running rather than a different coupling for each species.
Does the Landau pole mean QED is inconsistent?
Formally, yes — the one-loop running drives at a finite scale, and this "triviality" suggests pure QED has no consistent continuum limit as a standalone theory. But the pole sits at roughly GeV, some orders of magnitude above the Planck scale. In the real world QED is embedded in the electroweak theory above GeV and unified with the other forces far below the pole, so the divergence is never reached. The Landau pole is a genuine statement about QED-in-isolation as a mathematical object, but it has no bearing on any physical prediction.
How is α(M_Z) actually measured, if you can't calculate the hadronic part?
The leptonic part of the running is calculated from first principles (Worked Example 1 gives ). The hadronic part cannot be computed perturbatively, because the fermion loops run through the strongly coupled low-energy region of QCD — so it is extracted from data. Using a dispersion relation, one integrates the measured cross section for over energy to reconstruct the hadronic vacuum polarisation, obtaining ; lattice QCD now gives an independent evaluation, and MUonE aims to measure it directly from muon–electron scattering. Combining the pieces gives , with essentially all the uncertainty in the hadronic term.
Why does the strong coupling run the opposite way?
Because gluons carry colour charge and interact with each other, whereas photons are electrically neutral. In QED only fermion loops dress the photon, and they screen the charge, so grows toward high energy. In QCD there are additional gluon self-interaction loops that antiscreen — they spread the colour charge outward rather than shielding it — and this effect dominates the quark screening as long as there are fewer than quark flavours. The net beta-function sign flips, so decreases at high energy (asymptotic freedom, letting quarks behave almost freely inside hadrons) and grows at low energy (confinement). It is the same one-loop calculation as QED, with the extra non-Abelian diagrams turning the answer inside out.