Renormalization and the Running Coupling
Beyond tree level, QED loops diverge. The three primitive one-loop diagrams — vacuum polarization, electron self-energy, and vertex correction — carry ultraviolet divergences that regularization exposes as logarithms of a cutoff.
╌╌╌╌
Tree-level QED is finite and already accurate to a percent. Pushing further means including loop diagrams, and the first loop integral one writes down is infinite. The resolution — regularization to make the infinity finite, then renormalization to absorb it into measured quantities — is not a trick to hide a defect. It is the statement that the parameters in the Lagrangian are not what a experiment measures, and once the substitution is made the theory predicts finite corrections that agree with experiment to twelve digits. The physical residue of the whole procedure is that the coupling constant depends on the energy scale of the process. This lesson traces that logic from the divergent integral to the running of .1
Natural units throughout; at low energy.
The three primitive divergences
At one loop, three diagrams correct the tree amplitudes of QED, and each contains a closed loop whose momentum is not fixed by the external kinematics but integrated over all values .
- Vacuum polarization (photon self-energy): a photon momentarily converts into a virtual electron-positron pair that reannihilates. It corrects the photon propagator and, physically, the effective charge.
- Electron self-energy: an electron emits and reabsorbs a virtual photon. It corrects the electron propagator and shifts the mass.
- Vertex correction: a virtual photon spans the two fermion legs at a vertex. It corrects the coupling and produces the anomalous magnetic moment of the following lesson.
Each loop integral grows at large loop momentum. Counting powers, the vacuum polarization integrand behaves as at large , which is quadratically divergent by naive counting and logarithmically divergent once gauge invariance is enforced; the self-energy and vertex integrals are logarithmically divergent. These are ultraviolet divergences — they come from the high-momentum, short-distance end of the integral, not from any large-distance behavior.
Regularization
A divergent integral has no value until it is made finite by a regulator, a deformation of the theory controlled by a parameter that is removed at the end. The regulator makes the divergence explicit as a dependence on the parameter.
- Momentum cutoff: forbid loop momenta above a scale . The divergence reappears as , and the physics must not depend on .
- Pauli-Villars: subtract a copy of the loop with a heavy fictitious mass ; the difference is finite and the divergence lives in .
- Dimensional regularization: compute in dimensions, where the loop integral converges, and the divergence appears as a pole as . This regulator preserves gauge invariance and is the modern standard.
Whatever the regulator, the one-loop vacuum polarization produces a correction to the photon propagator of the schematic form
a logarithm of the cutoff times the finite, momentum-dependent piece that carries the real physics. The task is to give the logarithm a home.
Renormalization
The parameters in the QED Lagrangian — the bare charge , mass , and field normalizations — are not measured directly. What a experiment measures is the charge seen at some reference scale and the physical mass of the electron, both of which already include the loop corrections. Renormalization is the statement that the bare parameters are functions of the cutoff, chosen so that the measured quantities come out finite and correct.
Concretely, write each bare quantity as a renormalized quantity times a divergent renormalization constant ,
and let the absorb the loop divergences. Every one-loop divergence in QED is soaked up by these constants; no divergence is left over that needs a new parameter. A theory with this property — finitely many renormalization constants handling all orders — is renormalizable, and QED is the cleanest example. Renormalizability is what makes the perturbation series predictive rather than a sequence of new infinities.
The finite remainder , with the divergent absorbed into the charge, is unambiguous and measurable. Its momentum dependence is the running coupling.
The running of the coupling
Once the divergent constant is absorbed at a reference scale, the leftover momentum dependence of the vacuum polarization makes the effective coupling depend on the scale at which it is probed. Summing the chain of one-loop vacuum polarization insertions (a geometric series) gives the running coupling
for a single fermion species, with the coefficient generalizing to when several charged fermions circulate in the loop. The closed form is the sum of a chain: the bare propagator, plus one vacuum polarization insertion, plus two, and so on, a geometric series whose resummation turns the single logarithm into a coupling valid to high energy.
The denominator decreases as grows, so increases with energy. Equivalently, the beta function
is positive: QED is not asymptotically free. Numerically, starting from measured at large distance and running up through all the charged fermions, the coupling reaches
at the mass — a shift of roughly seven percent that is confirmed by precision electroweak data.2 The coupling that undergraduate textbooks quote as a constant is the low-energy limit of a scale-dependent quantity.
Charge screening: the physical picture
The running of has a direct physical reading. A bare charge polarizes the vacuum around it: virtual electron-positron pairs orient with the positrons drawn inward and the electrons pushed outward, exactly as a dielectric medium screens a charge. A test particle at large distance sees the bare charge partly cancelled by the surrounding cloud, hence the smaller low-energy coupling. Probing at higher energy means approaching closer, inside part of the screening cloud, so more of the bare charge is exposed and the effective coupling grows. This is why rises with : short distance and high energy are the same thing, and both see a less-screened charge.3
The sign of the effect is a feature of QED specifically. The vacuum of QED screens charge because only fermion loops contribute to the photon polarization, and they always screen. In quantum chromodynamics the gluon self-coupling adds loops of the opposite sign, the vacuum anti-screens, and the coupling instead falls at high energy — asymptotic freedom, taken up in the QCD module. The contrast between the two is the sign of one beta function.
Summary
Loop diagrams in QED diverge in the ultraviolet: the vacuum polarization, self-energy, and vertex corrections each integrate over an unfixed loop momentum and grow logarithmically at large . A regulator — cutoff, Pauli-Villars, or dimensional — exposes the divergence as or . Renormalization absorbs it into the bare charge, mass, and field normalizations via the constants ; because a finite set suffices to all orders, QED is renormalizable. The finite remainder makes the coupling run: rises from at low energy to at , because the vacuum screens charge and higher energy probes penetrate the screening cloud. The vertex correction that appears here also produces the electron's anomalous magnetic moment, the most precise test of the whole framework, treated next.
Footnotes
- The one-loop structure of QED — vacuum polarization, self-energy, vertex correction — and the running of the coupling are treated in Griffiths, §7.9 and Ch. 6; Halzen & Martin, Ch. 7 (regularization and renormalization); and Thomson, Ch. 6. Tong, The Standard Model (Cambridge Part III), §3.1, gives the beta-function derivation and the screening/anti-screening picture, damtp.cam.ac.uk/user/tong/standardmodel.html. ↩
- The low-energy value and the effective coupling at the mass, , together with , are from the Particle Data Group, pdg.lbl.gov. Tong quotes at , §3.1. ↩
- The dielectric-screening interpretation of vacuum polarization and the contrast with QCD anti-screening are given in Tong, The Standard Model (Cambridge Part III), §3.1.2 (Anti-Screening and Paramagnetism), damtp.cam.ac.uk/user/tong/standardmodel.html. ↩
╌╌ END ╌╌