Skip to content

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 F2F^2 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 b0b_0, defined by β(g)=b0g3/(16π2)+O(g5)\beta(g)=-b_0g^3/(16\pi^2)+O(g^5). One Dirac or Weyl fermion in representation RR contributes respectively 4T(R)/3-4T(R)/3 or 2T(R)/3-2T(R)/3; one complex or real scalar contributes T(R)/3-T(R)/3 or T(R)/6-T(R)/6; and pure Yang–Mills contributes +11CA/3+11C_A/3. Thus Abelian matter gives b0<0b_0<0 and β(e)>0\beta(e)>0.

Gauge-field and beta-function normalization. The background-field calculation is Euclidean. We use the rescaled gauge-field normalization

Γ[A]14d4x1g2FμνaFμνa\boxed{ \Gamma[A]\supset {1\over4}\int d^4x\,{1\over g^2}F^a_{\mu\nu}F^a_{\mu\nu} }

or, equivalently, Γ[A](2g2)1trFμνFμν\Gamma[A]\supset (2g^2)^{-1}\int \operatorname{tr}F_{\mu\nu}F_{\mu\nu} when tr(TaTb)=δab/2\operatorname{tr}(T^aT^b)=\delta^{ab}/2. 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,

Dμ=μiAμ,[Dμ,Dν]=iFμν.D_\mu=\partial_\mu-iA_\mu, \qquad [D_\mu,D_\nu]=-iF_{\mu\nu}.

For adjoint non-Abelian fluctuations,

DˉμX=μX+[Aˉμ,X],[Dˉμ,Dˉν]X=[Fˉμν,X].\bar D_\mu X=\partial_\mu X+[\bar A_\mu,X], \qquad [\bar D_\mu,\bar D_\nu]X=[\bar F_{\mu\nu},X].

Here, only in the adjoint fluctuation formulas, Aˉμ\bar A_\mu denotes the anti-Hermitian connection Aˉμ=iAˉμ,HaTa\bar A_\mu=-i\bar A^a_{\mu,H}T^a. Thus DˉμX=μXi[Aˉμ,H,X]\bar D_\mu X=\partial_\mu X-i[\bar A_{\mu,H},X] is precisely the Hermitian-generator convention above. Group invariants below are defined with the Hermitian matrices TaT^a.

The beta function is

β(g)=μdgdμ.\beta(g)=\mu {dg\over d\mu}.

We write the Yang–Mills result as

β(g)=b016π2g3+O(g5).\beta(g)=-{b_0\over16\pi^2}g^3+O(g^5).

Thus b0>0b_0>0 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,

Γ(2)[A]=12qAμ(q)(q2δμνqμqν)1e2(q)Aν(q)+.\Gamma^{(2)}[A] ={1\over2}\int_q A_\mu(-q) \left(q^2\delta_{\mu\nu}-q_\mu q_\nu\right) {1\over e^2(q)}A_\nu(q)+\cdots.

The transverse tensor is forced by gauge invariance. The entire one-loop question is the coefficient of the logarithm in 1/e2(q)1/e^2(q).

For NfN_f Dirac fermions and NsN_s charged complex scalars of unit Abelian charge,

1e2(q)=1e2(μ)+116π2(43Nf+13Ns)logμ2q2.{1\over e^2(q)} ={1\over e^2(\mu)} +{1\over16\pi^2} \left({4\over3}N_f+{1\over3}N_s\right) \log{\mu^2\over q^2}.

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 e2e^2. Differentiating at fixed bare coupling gives

βQED(e)=e316π2(43Nf+13Ns)+O(e5).\boxed{ \beta_{\mathrm{QED}}(e) ={e^3\over16\pi^2} \left({4\over3}N_f+{1\over3}N_s\right)+O(e^5). }

The sign is positive. As the renormalization scale μ\mu is raised, the charge increases. Equivalently, at longer distances the charge is screened.

For Yang–Mills theory it is more natural to write

1g2(q)=1g2(μ)+b016π2logq2μ2,{1\over g^2(q)} ={1\over g^2(\mu)} +{b_0\over16\pi^2}\log{q^2\over\mu^2},

so that

β(g)=b016π2g3+O(g5).\boxed{ \beta(g)=-{b_0\over16\pi^2}g^3+O(g^5). }

The sign has reversed relative to QED if b0>0b_0>0: the inverse coupling grows in the ultraviolet, so the coupling itself shrinks.

Opposite one-loop flows of Abelian and non-Abelian inverse couplings

QED screening and Yang–Mills antiscreening in the inverse-coupling language. At one loop, 1/e21/e^2 decreases toward the ultraviolet, while 1/g21/g^2 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:

theoryUV behavior of 1/g2(μ)UV behavior of g(μ)QED matterdecreasesincreasespure Yang–Millsincreasesdecreases\begin{array}{c|c|c} \text{theory} & \text{UV behavior of }1/g^2(\mu) & \text{UV behavior of }g(\mu) \\ \hline \text{QED matter} & \text{decreases} & \text{increases} \\ \text{pure Yang–Mills} & \text{increases} & \text{decreases} \end{array}

Most sign mistakes in this calculation come from silently switching between gg, g2g^2, and 1/g21/g^2.

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.

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

Δ(1e2)s=116π213logΛ2m2.\Delta\left({1\over e^2}\right)_s ={1\over16\pi^2}{1\over3}\log {\Lambda^2\over m^2}.

A Dirac fermion gives

Δ(1e2)f=116π243logΛ2m2.\Delta\left({1\over e^2}\right)_f ={1\over16\pi^2}{4\over3}\log {\Lambda^2\over m^2}.

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

4xsinhxcoshx=4(1x26+)(1+x22+)=4+43x2+.4{x\over\sinh x}\cosh x =4\left(1-{x^2\over6}+\cdots\right) \left(1+{x^2\over2}+\cdots\right) =4+{4\over3}x^2+\cdots.

The 2/3-2/3 orbital piece and the +2+2 spin piece add to 4/34/3:

23+2=43.-{2\over3}+2={4\over3}.

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 RR be a representation of the gauge group, with Hermitian generators normalized by

trR(TaTb)=TRδab.\operatorname{tr}_R(T^aT^b)=T_R\delta^{ab}.

Then one Dirac fermion in RR contributes

Δb0Dirac=43TR,\Delta b_0^{\mathrm{Dirac}}=-{4\over3}T_R,

and one complex scalar in RR contributes

Δb0complex scalar=13TR.\Delta b_0^{\mathrm{complex\ scalar}}=-{1\over3}T_R.

The minus signs appear because b0b_0 is defined by β(g)=b0g3/(16π2)\beta(g)=-b_0g^3/(16\pi^2). Matter has the QED sign, so it reduces b0b_0 and pushes the theory away from asymptotic freedom. This is often the cleanest way to remember the formula: gauge bosons add to b0b_0, ordinary matter subtracts from b0b_0.

For a real scalar the coefficient is half as large,

Δb0real scalar=16TR,\Delta b_0^{\mathrm{real\ scalar}}=-{1\over6}T_R,

and for a Weyl fermion it is half a Dirac fermion,

Δb0Weyl=23TR.\Delta b_0^{\mathrm{Weyl}}=-{2\over3}T_R.

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,

Aμ=Aˉμ+aμ.A_\mu=\bar A_\mu+a_\mu.

The field strength expands as

Fμν[Aˉ+a]=Fˉμν+DˉμaνDˉνaμ+[aμ,aν].F_{\mu\nu}[\bar A+a] =\bar F_{\mu\nu} +\bar D_\mu a_\nu-\bar D_\nu a_\mu +[a_\mu,a_\nu].

A background gauge transformation acts by

Aˉμh1Aˉμh+h1μh,aμh1aμh.\bar A_\mu\mapsto h^{-1}\bar A_\mu h+h^{-1}\partial_\mu h, \qquad a_\mu\mapsto h^{-1}a_\mu h.

Thus the background is a connection, while the fluctuation transforms homogeneously. The gauge condition

Dˉμaμ=0\bar D_\mu a_\mu=0

preserves background gauge invariance. This is the reason the method is so efficient: the effective action generated for Aˉμ\bar A_\mu must be a gauge-invariant functional of the background.

Expanding the Yang–Mills action to quadratic order in aμa_\mu and adding background Feynman gauge fixing gives the vector fluctuation operator

Lμνvec=Dˉ2δμν2ad(Fˉμν),\mathcal L_{\mu\nu}^{\mathrm{vec}} =-\bar D^2\delta_{\mu\nu}-2\operatorname{ad}(\bar F_{\mu\nu}),

where

ad(Fˉμν)X=[Fˉμν,X].\operatorname{ad}(\bar F_{\mu\nu})X=[\bar F_{\mu\nu},X].

The Faddeev–Popov ghosts are Grassmann scalar fields in the adjoint representation with operator

Lgh=Dˉ2.\mathcal L_{\mathrm{gh}}=-\bar D^2.

Therefore the one-loop effective action is schematically

ΓYM(1)[Aˉ]=12Tr1,adjlog(Dˉ2δμν2adFˉμν)Tr0,adjlog(Dˉ2).\boxed{ \Gamma^{(1)}_{\mathrm{YM}}[\bar A] ={1\over2}\operatorname{Tr}_{1,\mathrm{adj}}\log \left(-\bar D^2\delta_{\mu\nu}-2\operatorname{ad}\bar F_{\mu\nu}\right) -\operatorname{Tr}_{0,\mathrm{adj}}\log(-\bar D^2). }

The factor 1/21/2 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.

Background-field expansion with vector and ghost determinants

The background-field split A=Aˉ+aA=\bar A+a 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

d4xFˉμνaFˉμνa,\int d^4x\,\bar F^a_{\mu\nu}\bar F^a_{\mu\nu},

up to total derivatives. The other familiar dimension-four gauge invariant, trFˉμνFˉ~μν\operatorname{tr}\bar F_{\mu\nu}\widetilde{\bar F}_{\mu\nu}, is CP odd and topological, so it is not generated by this CP-even fluctuation determinant. Extracting the coefficient of Fˉ2\bar F^2 gives the beta function.

Spin-one paramagnetism and the coefficient eleven-thirds

Section titled “Spin-one paramagnetism and the coefficient eleven-thirds”

The operator

Dˉ2δμν-\bar D^2\delta_{\mu\nu}

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

2ad(Fˉμν).-2\operatorname{ad}(\bar F_{\mu\nu}).

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

β(g)=cg316π2+O(g5).\beta(g)=c\,{g^3\over16\pi^2}+O(g^5).

For one complex scalar, c=+1/3c=+1/3. For one Dirac fermion, the orbital and Pauli terms give

23+2=43.-{2\over3}+2={4\over3}.

For the pure Yang–Mills gauge-and-ghost sector, the corresponding decomposition is

13orbital+(4)spin-one moment=113.\underbrace{{1\over3}}_{\text{orbital}} +\underbrace{(-4)}_{\text{spin-one moment}} =-{11\over3}.

Multiplying by 2g2g converts this to the coefficient in the flow of g2g^2 emphasized in the manuscript:

dg2dlogμ=2gβ(g),{d g^2\over d\log\mu}=2g\beta(g),

so the same pure-gauge decomposition becomes

238=223.{2\over3}-8=-{22\over3}.

Thus

βpure YM(g)=g316π2113CA+O(g5).\boxed{ \beta_{\mathrm{pure\ YM}}(g) =-{g^3\over16\pi^2}{11\over3}C_A+O(g^5). }

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 Fˉ2\int \bar F^2, with no leftover gauge-parameter dependence. But after the dust settles, the physical mnemonic is reliable:

spin-one paramagnetism dominates orbital screening.\text{spin-one paramagnetism dominates orbital screening.}

Orbital and spin contributions to one-loop beta-function signs

The coefficient cc in β(g)=cg3/(16π2)\beta(g)=c\,g^3/(16\pi^2) separates into orbital and spin terms. Scalar and spinor matter have c>0c>0 and screen. For the gauge-and-ghost sector, spin-one paramagnetism wins and gives c=11CA/3c=-11C_A/3.

The group factor is

facdfbcd=CAδab,f^{acd}f^{bcd}=C_A\delta^{ab},

so for SU(N)SU(N),

CA=N.C_A=N.

This is why the pure SU(N)SU(N) beta function is

β(g)=11N3g316π2+O(g5).\beta(g)=-{11N\over3}{g^3\over16\pi^2}+O(g^5).

Combining gauge, fermion, and scalar loops gives

β(g)=g316π2[113CA43Dirac fT(Rf)13complex sT(Rs)]+O(g5).\boxed{ \beta(g)=-{g^3\over16\pi^2} \left[ {11\over3}C_A -{4\over3}\sum_{\mathrm{Dirac\ f}}T(R_f) -{1\over3}\sum_{\mathrm{complex\ s}}T(R_s) \right]+O(g^5). }

Equivalently, for Weyl fermions and real scalars,

b0=113CA23Weyl fT(Rf)16real sT(Rs).\boxed{ b_0={11\over3}C_A -{2\over3}\sum_{\mathrm{Weyl\ f}}T(R_f) -{1\over6}\sum_{\mathrm{real\ s}}T(R_s). }

For SU(N)SU(N) with NfN_f Dirac fermions in the fundamental representation,

TF=12,CA=N,T_F={1\over2}, \qquad C_A=N,

so

b0=113N23Nf.\boxed{ b_0={11\over3}N-{2\over3}N_f. }

The condition for one-loop asymptotic freedom is

b0>0.b_0>0.

For QCD with gauge group SU(3)SU(3), this condition is

1123Nf>0,Nf<332.11-{2\over3}N_f>0, \qquad N_f<{33\over2}.

Thus a small enough number of quark flavors preserves asymptotic freedom. Matter screens, but the gauge field antiscreens more strongly.

Because NfN_f is an integer, an SU(3)SU(3) theory with fundamental Dirac fermions is asymptotically free at one loop for Nf16N_f\leq16.

These formulas assume that the matter fields are light compared with the renormalization scale. If a field has mass MM, it contributes to the running above MM and decouples from low-energy logarithms below MM 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.

Gauge, fermion, and scalar contributions to the one-loop non-Abelian coefficient

The one-loop coefficient b0b_0 receives a positive contribution from gauge bosons and negative contributions from matter. In the convention β(g)=b0g3/(16π2)\beta(g)=-b_0g^3/(16\pi^2), positive b0b_0 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:

field in representation Rcontribution to b0Dirac fermion43T(R)Weyl fermion23T(R)complex scalar13T(R)real scalar16T(R)\begin{array}{c|c} \text{field in representation }R & \text{contribution to }b_0 \\ \hline \text{Dirac fermion} & -{4\over3}T(R) \\ \text{Weyl fermion} & -{2\over3}T(R) \\ \text{complex scalar} & -{1\over3}T(R) \\ \text{real scalar} & -{1\over6}T(R) \end{array}

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 N=4\mathcal N=4 super-Yang–Mills theory all fields are in the adjoint representation. The field content can be written as

one gauge boson+4 Weyl fermions+6 real scalars.\text{one gauge boson} \quad+ 4\ \text{Weyl fermions} \quad+ 6\ \text{real scalars}.

Using T(adj)=CAT(\mathrm{adj})=C_A, the one-loop coefficient is

b0=113CA23(4CA)16(6CA).b_0 ={11\over3}C_A -{2\over3}(4C_A) -{1\over6}(6C_A).

Therefore

b0=(113831)CA=0.\boxed{ b_0=\left({11\over3}-{8\over3}-1\right)C_A=0. }

This cancellation is not an accident of arithmetic. Four-dimensional N=4\mathcal N=4 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.

One-loop cancellation in N=4 super-Yang-Mills theory

In N=4\mathcal N=4 super-Yang–Mills theory, the gauge-boson contribution to b0b_0 is exactly canceled by four adjoint Weyl fermions and six adjoint real scalars: 11/38/31=011/3-8/3-1=0.

A related mnemonic is that the one-loop coefficient for dimensionally reduced supersymmetric Yang–Mills theories knows about the critical dimension D=10D=10. The four-dimensional N=4\mathcal N=4 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.

For a theory with

β(g)=b016π2g3,b0>0,\beta(g)=-{b_0\over16\pi^2}g^3, \qquad b_0>0,

we have

ddlogμ1g2=2g3β(g)=b08π2.{d\over d\log\mu}{1\over g^2} =-{2\over g^3}\beta(g) ={b_0\over8\pi^2}.

Integrating between μ0\mu_0 and μ\mu gives

1g2(μ)=1g2(μ0)+b08π2logμμ0.\boxed{ {1\over g^2(\mu)} ={1\over g^2(\mu_0)}+{b_0\over8\pi^2}\log{\mu\over\mu_0}. }

Thus g(μ)g(\mu) becomes small when μ\mu becomes large. Perturbation theory improves in the ultraviolet.

The same equation can be written in terms of the RG-invariant scale

Λ=μexp[8π2b0g2(μ)].\Lambda =\mu\exp\left[-{8\pi^2\over b_0g^2(\mu)}\right].

Then

g2(μ)=8π2b0log(μ/Λ)\boxed{ g^2(\mu) ={8\pi^2\over b_0\log(\mu/\Lambda)} }

at one loop. This formula is trustworthy only when μΛ\mu\gg\Lambda. As μ\mu approaches Λ\Lambda, 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.

The beta function of a gauge theory is encoded in the logarithmic renormalization of the background F2F^2 term. In the rescaled normalization, matter loops correct 1/g21/g^2 directly.

For QED matter,

β(e)=e316π2(43Nf+13Ns)+O(e5),\beta(e)={e^3\over16\pi^2} \left({4\over3}N_f+{1\over3}N_s\right)+O(e^5),

so the Abelian charge is screened in the infrared and grows toward the ultraviolet.

For pure Yang–Mills theory,

β(g)=g316π2113CA+O(g5),\beta(g)=-{g^3\over16\pi^2}{11\over3}C_A+O(g^5),

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,

b0=113CA43Dirac fT(Rf)13complex sT(Rs).b_0={11\over3}C_A -{4\over3}\sum_{\mathrm{Dirac\ f}}T(R_f) -{1\over3}\sum_{\mathrm{complex\ s}}T(R_s).

Matter reduces b0b_0. A non-Abelian theory is asymptotically free when the gauge-boson term wins.

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 11/311/3.

Mixing the flows of gg and g2g^2. If

β(g)=113CAg316π2,\beta(g)=-{11\over3}{C_Ag^3\over16\pi^2},

then

dg2dlogμ=223CAg416π2.{d g^2\over d\log\mu}=-{22\over3}{C_Ag^4\over16\pi^2}.

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.

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

1e2(q)=1e2(μ)+b16π2logμ2q2,{1\over e^2(q)}={1\over e^2(\mu)}+{b\over16\pi^2}\log{\mu^2\over q^2},

derive

β(e)=b16π2e3.\beta(e)={b\over16\pi^2}e^3.
Solution

Hold the physical momentum qq fixed and differentiate the stated relation with respect to logμ\log\mu. The effective coupling on the left is independent of the arbitrary subtraction point, so

0=2e3β(e)+2b16π2.0=-{2\over e^3}\beta(e)+{2b\over16\pi^2}.

Solving gives

β(e)=b16π2e3.\boxed{ \beta(e)={b\over16\pi^2}e^3. }

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,

β(g)=113CAg316π2.\beta(g)=-{11\over3}{C_Ag^3\over16\pi^2}.

Find dg2/dlogμd g^2/d\log\mu and explain why the coefficient is 22CA/3-22C_A/3 rather than 11CA/3-11C_A/3.

Solution

Use

dg2dlogμ=2gdgdlogμ=2gβ(g).{d g^2\over d\log\mu}=2g{dg\over d\log\mu}=2g\beta(g).

Substituting the beta function,

dg2dlogμ=2g[113CAg316π2]=223CAg416π2.{d g^2\over d\log\mu} =2g\left[-{11\over3}{C_Ag^3\over16\pi^2}\right] =-{22\over3}{C_Ag^4\over16\pi^2}.

The coefficient doubles because g2g^2 changes twice as fast logarithmically as gg:

dlogg2dlogμ=2dloggdlogμ.{d\log g^2\over d\log\mu}=2{d\log g\over d\log\mu}.

Exercise 3: Find the asymptotic-freedom window for fundamental matter

Section titled “Exercise 3: Find the asymptotic-freedom window for fundamental matter”

For SU(N)SU(N) gauge theory with NfN_f Dirac fermions in the fundamental representation and no scalars, show that

b0=113N23Nf.b_0={11\over3}N-{2\over3}N_f.

For what values of NfN_f is the theory asymptotically free?

Solution

For SU(N)SU(N),

CA=N,TF=12C_A=N, \qquad T_F={1\over2}

in the fundamental representation. The general formula with NfN_f Dirac fermions is

b0=113CA43TFNf.b_0={11\over3}C_A-{4\over3}T_FN_f.

Substituting the group factors gives

b0=113N4312Nf=113N23Nf.b_0={11\over3}N-{4\over3}{1\over2}N_f ={11\over3}N-{2\over3}N_f.

Asymptotic freedom requires b0>0b_0>0, so

113N23Nf>0.{11\over3}N-{2\over3}N_f>0.

Multiplying by 33 gives

11N2Nf>0,11N-2N_f>0,

hence

Nf<112N.\boxed{N_f<{11\over2}N.}

For SU(3)SU(3) this becomes Nf<33/2N_f<33/2.

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 N=4\mathcal N=4 super-Yang–Mills theory. Use one gauge boson, four Weyl fermions, and six real scalars, all in the adjoint representation.

Solution

For adjoint fields,

T(adj)=CA.T(\mathrm{adj})=C_A.

The gauge boson contributes

113CA.{11\over3}C_A.

Each Weyl fermion contributes

23CA,-{2\over3}C_A,

so four Weyl fermions contribute

4(23CA)=83CA.4\left(-{2\over3}C_A\right)=-{8\over3}C_A.

Each real scalar contributes

16CA,-{1\over6}C_A,

so six real scalars contribute

6(16CA)=CA.6\left(-{1\over6}C_A\right)=-C_A.

The total coefficient is

b0=113CA83CACA=(1138333)CA=0.b_0={11\over3}C_A-{8\over3}C_A-C_A =\left({11\over3}-{8\over3}-{3\over3}\right)C_A=0.

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

β(g)=b016π2g3,b0>0.\beta(g)=-{b_0\over16\pi^2}g^3, \qquad b_0>0.

Show that

Λ=μexp[8π2b0g2(μ)]\Lambda=\mu\exp\left[-{8\pi^2\over b_0g^2(\mu)}\right]

is independent of μ\mu at one loop.

Solution

First compute the flow of the inverse coupling:

ddlogμ1g2=2g3β(g)=b08π2.{d\over d\log\mu}{1\over g^2} =-{2\over g^3}\beta(g) ={b_0\over8\pi^2}.

Now take the logarithm of Λ\Lambda:

logΛ=logμ8π2b0g2(μ).\log\Lambda=\log\mu-{8\pi^2\over b_0g^2(\mu)}.

Differentiate:

dlogΛdlogμ=18π2b0ddlogμ1g2(μ).{d\log\Lambda\over d\log\mu} =1-{8\pi^2\over b_0}{d\over d\log\mu}{1\over g^2(\mu)}.

Using the inverse-coupling flow,

dlogΛdlogμ=18π2b0b08π2=0.{d\log\Lambda\over d\log\mu} =1-{8\pi^2\over b_0}{b_0\over8\pi^2}=0.

Therefore Λ\Lambda is RG invariant at one loop.

  • 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.