QED and Yang–Mills Beta Functions
The previous pages developed three views of vacuum polarization: a momentum-space transverse tensor, a running charge, and a proper-time determinant in a background magnetic field. We now combine them into the one-loop beta functions of Abelian and non-Abelian gauge theory.
The central physical question is deceptively simple: why does QED screen charge while Yang–Mills theory antiscreens it? Charged scalars and fermions polarize the vacuum in a way that weakens long-distance electric fields. Gauge bosons in a non-Abelian theory also carry charge, but their spin-one magnetic moment produces a stronger paramagnetic response with the opposite sign. The final result is asymptotic freedom: at short distances, the Yang–Mills coupling becomes small.
The clean way to compute the sign and coefficient is the background-field method. One expands the gauge field into a slowly varying classical background and a fast quantum fluctuation. The logarithmic correction to the background term is directly the beta function. This page derives the structure of that calculation, explains the spin decomposition, and states the general one-loop result with matter.
Required background. Effective Actions in Background Fields supplies the proper-time determinants and the orbital-versus-spin decomposition used below. Running Charge, Screening, and Antiscreening fixes the inverse-coupling interpretation of screening. All one-loop results below are translated into , defined by . One Dirac or Weyl fermion in representation contributes respectively or ; one complex or real scalar contributes or ; and pure Yang–Mills contributes . Thus Abelian matter gives and .
From the F² term to a beta function
Section titled “From the F² term to a beta function”Gauge-field and beta-function normalization. The background-field calculation is Euclidean. We use the rescaled gauge-field normalization
or, equivalently, when . The coupling sits in front of the gauge kinetic term; covariant derivatives in the fluctuation operator use the rescaled background field.
For Abelian matter of unit charge,
For adjoint non-Abelian fluctuations,
Here, only in the adjoint fluctuation formulas, denotes the anti-Hermitian connection . Thus is precisely the Hermitian-generator convention above. Group invariants below are defined with the Hermitian matrices .
The beta function is
We write the Yang–Mills result as
Thus means asymptotic freedom.
In the rescaled normalization, the two-point function of the background gauge field defines the running inverse coupling. For an Abelian field in Euclidean momentum space,
The transverse tensor is forced by gauge invariance. The entire one-loop question is the coefficient of the logarithm in .
For Dirac fermions and charged complex scalars of unit Abelian charge,
Only the one-loop logarithm is displayed; finite matching terms depend on the definition of the effective charge, and higher-loop corrections begin at the next order in . Differentiating at fixed bare coupling gives
The sign is positive. As the renormalization scale is raised, the charge increases. Equivalently, at longer distances the charge is screened.
For Yang–Mills theory it is more natural to write
so that
The sign has reversed relative to QED if : the inverse coupling grows in the ultraviolet, so the coupling itself shrinks.
QED screening and Yang–Mills antiscreening in the inverse-coupling language. At one loop, decreases toward the ultraviolet, while in pure Yang–Mills increases toward the ultraviolet.
The running inverse coupling is the most gauge-invariant way to say what the calculation means. Words like screening and antiscreening are helpful, but the actual object being computed is the coefficient of the transverse background-field kinetic term.
Here is the sign dictionary used in the rest of the course:
Most sign mistakes in this calculation come from silently switching between , , and .
This statement is also why the background-field method is more than a shortcut. In ordinary gauges one separately computes wavefunction, vertex, and coupling counterterms. In background-field gauge, background gauge invariance ties the renormalization of the background two-point function directly to the coupling renormalization.
Matter loops: scalar and spinor screening
Section titled “Matter loops: scalar and spinor screening”The matter coefficients can be read directly from the proper-time result of the previous page. A complex scalar in a constant magnetic field gives
A Dirac fermion gives
The scalar contribution is orbital. The fermion contribution contains both orbital motion and the Pauli spin coupling. In the magnetic-field heat kernel, this distinction appears in the expansion
The orbital piece and the spin piece add to :
Both scalar and fermion matter screen. In a non-Abelian theory, matter fields still screen. The only new ingredient is the group-theory weight.
Let be a representation of the gauge group, with Hermitian generators normalized by
Then one Dirac fermion in contributes
and one complex scalar in contributes
The minus signs appear because is defined by . Matter has the QED sign, so it reduces and pushes the theory away from asymptotic freedom. This is often the cleanest way to remember the formula: gauge bosons add to , ordinary matter subtracts from .
For a real scalar the coefficient is half as large,
and for a Weyl fermion it is half a Dirac fermion,
These factors are often the easiest way to check supersymmetric cancellations.
Background-field expansion of Yang–Mills theory
Section titled “Background-field expansion of Yang–Mills theory”Now consider pure Yang–Mills theory. Write the gauge field as a background plus a quantum fluctuation,
The field strength expands as
A background gauge transformation acts by
Thus the background is a connection, while the fluctuation transforms homogeneously. The gauge condition
preserves background gauge invariance. This is the reason the method is so efficient: the effective action generated for must be a gauge-invariant functional of the background.
Expanding the Yang–Mills action to quadratic order in and adding background Feynman gauge fixing gives the vector fluctuation operator
where
The Faddeev–Popov ghosts are Grassmann scalar fields in the adjoint representation with operator
Therefore the one-loop effective action is schematically
The factor is the Gaussian determinant of a real bosonic vector field. The minus sign in the ghost term comes from Grassmann integration. The vector trace includes Lorentz-vector indices and adjoint color indices; the ghost trace includes only adjoint color indices.
The background-field split preserves manifest gauge covariance in the background. Gauge fluctuations contribute a spin-one determinant, while ghosts contribute scalar adjoint determinants that remove unphysical gauge modes.
The CP-even logarithmic divergence quadratic in a slowly varying background must be proportional to
up to total derivatives. The other familiar dimension-four gauge invariant, , is CP odd and topological, so it is not generated by this CP-even fluctuation determinant. Extracting the coefficient of gives the beta function.
Spin-one paramagnetism and the coefficient eleven-thirds
Section titled “Spin-one paramagnetism and the coefficient eleven-thirds”The operator
is the orbital part. If this were the whole story, a gauge boson would resemble several charged scalar fields in the adjoint representation and would screen the charge. The crucial term is
This is the spin-one magnetic-moment coupling. It is the vector analog of the Pauli term in the squared Dirac operator. Its effect has the opposite sign and is larger.
A clean comparison uses one quantity throughout. Write the one-loop contribution of a field species as
For one complex scalar, . For one Dirac fermion, the orbital and Pauli terms give
For the pure Yang–Mills gauge-and-ghost sector, the corresponding decomposition is
Multiplying by converts this to the coefficient in the flow of emphasized in the manuscript:
so the same pure-gauge decomposition becomes
Thus
Ghosts are essential in the actual calculation. They do not merely “subtract two polarizations” in a naive way; rather, they enforce gauge invariance and cancel the unphysical pieces of the vector determinant. A quick check on any derivation is that the final logarithmic divergence must be proportional to the background-gauge-invariant operator , with no leftover gauge-parameter dependence. But after the dust settles, the physical mnemonic is reliable:
The coefficient in separates into orbital and spin terms. Scalar and spinor matter have and screen. For the gauge-and-ghost sector, spin-one paramagnetism wins and gives .
The group factor is
so for ,
This is why the pure beta function is
General one-loop result with matter
Section titled “General one-loop result with matter”Combining gauge, fermion, and scalar loops gives
Equivalently, for Weyl fermions and real scalars,
For with Dirac fermions in the fundamental representation,
so
The condition for one-loop asymptotic freedom is
For QCD with gauge group , this condition is
Thus a small enough number of quark flavors preserves asymptotic freedom. Matter screens, but the gauge field antiscreens more strongly.
Because is an integer, an theory with fundamental Dirac fermions is asymptotically free at one loop for .
These formulas assume that the matter fields are light compared with the renormalization scale. If a field has mass , it contributes to the running above and decouples from low-energy logarithms below after matching. In a mass-independent subtraction scheme this decoupling is not automatic in the beta function; it is implemented by an effective field theory with threshold matching.
The one-loop coefficient receives a positive contribution from gauge bosons and negative contributions from matter. In the convention , positive means asymptotic freedom.
The important conceptual point is that the sign of a beta function is not determined merely by whether particles are bosons or fermions. It is determined by the full fluctuation operator: statistics, number of degrees of freedom, representation under the gauge group, and spin coupling to the background field all matter.
For reference, in the convention above:
This small table is a useful guardrail when moving between particle-physics, supersymmetry, and statistical-field-theory normalizations.
Supersymmetric cancellations and the special role of ten dimensions
Section titled “Supersymmetric cancellations and the special role of ten dimensions”The coefficients above give quick checks of supersymmetric gauge theories. In four-dimensional super-Yang–Mills theory all fields are in the adjoint representation. The field content can be written as
Using , the one-loop coefficient is
Therefore
This cancellation is not an accident of arithmetic. Four-dimensional super-Yang–Mills can be obtained by dimensional reduction of ten-dimensional minimal supersymmetric Yang–Mills theory. Supersymmetry in fact makes the quantum theory conformal and its beta function vanishes to all orders; the coefficient calculation here is only the first check of that stronger statement.
In super-Yang–Mills theory, the gauge-boson contribution to is exactly canceled by four adjoint Weyl fermions and six adjoint real scalars: .
A related mnemonic is that the one-loop coefficient for dimensionally reduced supersymmetric Yang–Mills theories knows about the critical dimension . The four-dimensional theory inherits precisely the field content of ten-dimensional minimal SYM, and the one-loop gauge beta function vanishes. This remark should not be confused with a proof of all-order finiteness; it is only the one-loop statement visible from the beta-function coefficients on this page.
Solving the asymptotically free flow
Section titled “Solving the asymptotically free flow”For a theory with
we have
Integrating between and gives
Thus becomes small when becomes large. Perturbation theory improves in the ultraviolet.
The same equation can be written in terms of the RG-invariant scale
Then
at one loop. This formula is trustworthy only when . As approaches , perturbation theory breaks down. The next page develops this phenomenon as dimensional transmutation: the classical theory has a dimensionless coupling, but the quantum theory produces a scale.
Summary
Section titled “Summary”The beta function of a gauge theory is encoded in the logarithmic renormalization of the background term. In the rescaled normalization, matter loops correct directly.
For QED matter,
so the Abelian charge is screened in the infrared and grows toward the ultraviolet.
For pure Yang–Mills theory,
so the coupling decreases at short distances. The physical origin of the sign is spin-one paramagnetism: the gauge boson magnetic-moment term dominates the orbital screening part. Ghosts are required for the gauge-invariant coefficient.
With matter,
Matter reduces . A non-Abelian theory is asymptotically free when the gauge-boson term wins.
Common pitfalls
Section titled “Common pitfalls”Inferring the sign from statistics alone. The sign comes from the full quadratic operator in the background field. Spin couplings are decisive.
Dropping the ghost determinant. The background-field vector determinant by itself contains unphysical gauge modes. The ghost determinant is part of the gauge-fixed definition of the theory and is necessary for the coefficient .
Mixing the flows of and . If
then
The extra factor of two is a common source of mismatched coefficients.
Taking “antiscreening” too literally. A color-charge cloud is not by itself a gauge-invariant observable. The clean statement is the scale dependence of gauge-invariant short-distance observables or, equivalently, the background-field effective action.
Exercises
Section titled “Exercises”Exercise 1: Derive the QED beta function from the inverse coupling
Section titled “Exercise 1: Derive the QED beta function from the inverse coupling”Starting from
derive
Solution
Hold the physical momentum fixed and differentiate the stated relation with respect to . The effective coupling on the left is independent of the arbitrary subtraction point, so
Solving gives
Exercise 2: Translate the Yang–Mills flow from the coupling to its square
Section titled “Exercise 2: Translate the Yang–Mills flow from the coupling to its square”For pure Yang–Mills theory,
Find and explain why the coefficient is rather than .
Solution
Use
Substituting the beta function,
The coefficient doubles because changes twice as fast logarithmically as :
Exercise 3: Find the asymptotic-freedom window for fundamental matter
Section titled “Exercise 3: Find the asymptotic-freedom window for fundamental matter”For gauge theory with Dirac fermions in the fundamental representation and no scalars, show that
For what values of is the theory asymptotically free?
Solution
For ,
in the fundamental representation. The general formula with Dirac fermions is
Substituting the group factors gives
Asymptotic freedom requires , so
Multiplying by gives
hence
For this becomes .
Exercise 4: Check the maximally supersymmetric one-loop cancellation
Section titled “Exercise 4: Check the maximally supersymmetric one-loop cancellation”Check the one-loop cancellation in super-Yang–Mills theory. Use one gauge boson, four Weyl fermions, and six real scalars, all in the adjoint representation.
Solution
For adjoint fields,
The gauge boson contributes
Each Weyl fermion contributes
so four Weyl fermions contribute
Each real scalar contributes
so six real scalars contribute
The total coefficient is
Thus the one-loop beta function vanishes.
Exercise 5: Construct the one-loop RG-invariant scale
Section titled “Exercise 5: Construct the one-loop RG-invariant scale”Let
Show that
is independent of at one loop.
Solution
First compute the flow of the inverse coupling:
Now take the logarithm of :
Differentiate:
Using the inverse-coupling flow,
Therefore is RG invariant at one loop.
Further reading
Section titled “Further reading”- Abbott, L. F. “Introduction to the Background Field Method.” Acta Physica Polonica B 13, no. 1 (1982): 33–50.
- Gross, David J., and Frank Wilczek. “Ultraviolet Behavior of Non-Abelian Gauge Theories.” Physical Review Letters 30, no. 26 (1973): 1343–1346.
- Politzer, H. David. “Reliable Perturbative Results for Strong Interactions?” Physical Review Letters 30, no. 26 (1973): 1346–1349.
- Polyakov, Alexander M. Gauge Fields and Strings. Chur: Harwood Academic Publishers, 1987, Chapter 2.
- Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge: Cambridge University Press, 2014, Chapters 23, 26, and 34.
- Srednicki, Mark. Quantum Field Theory. Cambridge: Cambridge University Press, 2007, Sections 66, 73, and 78.
- Weinberg, Steven. The Quantum Theory of Fields. Volume II: Modern Applications. Cambridge: Cambridge University Press, 1996, Chapters 17–18.
- Zinn-Justin, Jean. Quantum Field Theory and Critical Phenomena. 4th ed. Oxford: Clarendon Press, 2002.