Skip to content

Dimensional Transmutation and Mass Gaps

The previous page ended with the one-loop asymptotically free flow

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

and therefore

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

This formula looks modest, but it contains one of the deepest lessons of quantum field theory. A classically scale-invariant theory with a dimensionless coupling can produce a dimensionful scale. The process is called dimensional transmutation: instead of specifying a dimensionless coupling at some arbitrary subtraction scale, one may specify a physical mass scale such as ΛYM\Lambda_{\mathrm{YM}} or ΛQCD\Lambda_{\mathrm{QCD}}.

The same idea also explains why perturbation theory can be excellent at short distances while giving no direct perturbative expansion for the masses of bound states. If the generated scale is

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

then it is non-analytic at g=0g=0. No finite Taylor series in gg can see it. This is the first warning that mass gaps in asymptotically free theories are nonperturbative, even though their scale is already visible in perturbative RG.

Required background. QED and Yang–Mills Beta Functions fixes the beta-function normalization, derives asymptotic freedom, and supplies the one-loop running used throughout this page.

Scale variables. Momentum scales such as μ\mu and pp denote positive Euclidean magnitudes. On this page

β(g)=μdgdμ,β(g)=b016π2g3+O(g5)\beta(g)=\mu {dg\over d\mu}, \qquad \beta(g)=-{b_0\over16\pi^2}g^3+O(g^5)

for an asymptotically free coupling. The UV cutoff is written as Λ0=a1\Lambda_0=a^{-1}, where aa may be a lattice spacing or any short-distance regulator length. When the precise one-loop coefficient is unimportant, we write positive constants as cc.

Start from the one-loop equation

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

Integrating gives

1g2(μ)=b08π2logμΛ,{1\over g^2(\mu)}={b_0\over8\pi^2}\log{\mu\over\Lambda},

where the integration constant has been written as a scale Λ\Lambda. Solving for g2(μ)g^2(\mu) gives

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

Equivalently,

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

This is the RG-invariant scale. At one loop it is exactly independent of μ\mu. Beyond one loop its definition is convention-dependent by a multiplicative constant, but the statement that the theory generates a scale is not convention-dependent. Changing the renormalization scheme changes the numerical value assigned to Λ\Lambda; it does not change dimensionless physical predictions such as mass ratios.

The all-orders construction makes this precise. In a specified renormalization scheme S\mathcal S, define formally

ΛS=μexp[g(μ)dgβS(g)]\boxed{ \Lambda_{\mathcal S} =\mu\exp\left[-\int^{g(\mu)}{dg'\over\beta_{\mathcal S}(g')}\right] }

with the finite part of the integration constant included in the definition of the scheme. Differentiating shows dΛS/dlogμ=0d\Lambda_{\mathcal S}/d\log\mu=0. If

β(g)=b0g316π2b1g5(16π2)2+,\beta(g)=-{b_0g^3\over16\pi^2} -{b_1g^5\over(16\pi^2)^2}+\cdots,

then at weak coupling

ΛS=μexp[8π2b0g2(μ)]×(b0g2(μ)16π2)b1/(2b02)[1+O(g2)].\begin{aligned} \Lambda_{\mathcal S}={}& \mu\exp\left[-{8\pi^2\over b_0g^2(\mu)}\right]\\ &\times \left({b_0g^2(\mu)\over16\pi^2}\right)^{-b_1/(2b_0^2)} \left[1+O(g^2)\right]. \end{aligned}

A redefinition g2g2+c1g4+g^2\mapsto g^2+c_1g^4+\cdots changes the numerical value called ΛS\Lambda_{\mathcal S} by a finite multiplicative factor. It cannot change dimensionless physical predictions such as mass ratios Mi/MjM_i/M_j, nor can it remove the essential singularity econst/g2e^{-\mathrm{const}/g^2}.

The one-loop asymptotically free running coupling defines an RG-invariant scale

The one-loop asymptotically free flow trades a dimensionless coupling for a dimensionful scale. In inverse-coupling variables, the RG trajectory is a straight line that reaches strong coupling near μΛ\mu\sim\Lambda. With a UV cutoff a1a^{-1}, the physical scale behaves as aΛeconst/g02a\Lambda\sim e^{-\mathrm{const}/g_0^2}.

The name “dimensional transmutation” is literal. Suppose the bare Lagrangian of pure Yang–Mills theory contains only

S=14g02d4xFμνaFμνaS={1\over4g_0^2}\int d^4x\,F^a_{\mu\nu}F^a_{\mu\nu}

at the cutoff scale Λ0=a1\Lambda_0=a^{-1}. Classically, g0g_0 is dimensionless and there is no mass parameter. Quantum mechanically, the pair (a,g0)(a,g_0) determines

ΛYM1aexp[8π2b0g02]\boxed{ \Lambda_{\mathrm{YM}}\sim {1\over a}\exp\left[-{8\pi^2\over b_0g_0^2}\right] }

up to scheme-dependent multiplicative factors and higher-loop corrections. To keep ΛYM\Lambda_{\mathrm{YM}} finite while taking a0a\to0, one must tune

g02(a)8π2b0log(1/aΛYM).g_0^2(a)\simeq {8\pi^2\over b_0\log(1/a\Lambda_{\mathrm{YM}})}.

Thus the continuum limit is not obtained by keeping the bare coupling fixed. It is obtained by approaching the UV fixed point g0=0g_0=0 along a trajectory that keeps the physical scale fixed.

The same result can be written in the language of a running coupling measured at momentum pp below the cutoff. At one loop,

1g2(p)=1g02+b08π2logpΛ0,Λ0=1a.{1\over g^2(p)}={1\over g_0^2}+{b_0\over8\pi^2}\log{p\over\Lambda_0}, \qquad \Lambda_0={1\over a}.

Since p<Λ0p<\Lambda_0, the logarithm is negative. As pp is lowered, 1/g2(p)1/g^2(p) decreases and the coupling grows. The formal scale at which the one-loop denominator vanishes is

Λ=Λ0exp[8π2b0g02].\Lambda=\Lambda_0\exp\left[-{8\pi^2\over b_0g_0^2}\right].

It is tempting to say “the coupling becomes infinite at p=Λp=\Lambda.” That sentence is too literal. One-loop perturbation theory has already failed before the denominator vanishes. The reliable statement is instead:

the theory becomes strongly coupled at momenta of order Λ.\text{the theory becomes strongly coupled at momenta of order }\Lambda.

For pΛp\gg\Lambda,

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

is small and perturbation theory is meaningful. For pΛp\sim\Lambda, the coupling is order one and one needs nonperturbative physics.

This is why Yang–Mills theory and QCD can be weakly coupled at short distance and strongly coupled at long distance. Short-distance gauge-invariant observables admit a weakly coupled partonic description. Confinement, bound states, and a mass gap concern the infrared and require nonperturbative input.

It is useful to contrast this with QED. For massless charged matter, the perturbative beta function has the opposite sign,

β(e)=+b16π2e3+O(e5),b>0.\beta(e)=+{b\over16\pi^2}e^3+O(e^5), \qquad b>0.

In momentum variables, the charge grows toward the ultraviolet. In coordinate-space variables, with RR a distance scale and μ1/R\mu\sim1/R,

de2(R)dlogR=b8π2e4(R)+O(e6).{d e^2(R)\over d\log R}=-{b\over8\pi^2}e^4(R)+O(e^6).

Therefore

e2(R)=e2(a)1+b8π2e2(a)log(R/a)e^2(R)={e^2(a)\over 1+{b\over8\pi^2}e^2(a)\log(R/a)}

at large RR in the massless theory. The potential between static charges has the schematic form

V(R)e2(R)R.V(R)\sim {e^2(R)\over R}.

If the beta function has no nonzero fixed point, then

e2(R)1log(R/a)(R),e^2(R)\sim {1\over \log(R/a)} \qquad (R\to\infty),

so the long-distance charge is screened. In the opposite direction, the one-loop formula develops a UV Landau pole. In the absence of a separate non-Gaussian ultraviolet fixed point, perturbative QED therefore does not furnish the asymptotically free continuum limit available in Yang–Mills theory.

This comparison is conceptually important. Both theories have logarithmic running. But in QED, the massless photon remains in the spectrum and the perturbative flow does not by itself produce a confinement scale. In pure Yang–Mills theory, the coupling grows in the infrared, and the natural expectation is a spectrum of gauge-invariant massive states with masses of order ΛYM\Lambda_{\mathrm{YM}}.

A relativistic quantum theory has a mass gap if the vacuum is separated from the rest of the physical spectrum by a positive energy. After choosing a vacuum sector and subtracting its energy, the infinite-volume definition is

Mgap=inf(specH{0})>0.\boxed{ M_{\mathrm{gap}} =\inf\bigl(\operatorname{spec}H\setminus\{0\}\bigr)>0. }

This formulation does not assume that the first excitation is a discrete finite-volume level. For a Lorentz-invariant theory, MgapM_{\mathrm{gap}} is the smallest invariant mass in the physical Hilbert space. In Euclidean correlation functions, the same statement appears as exponential decay. If O\mathcal O is a local gauge-invariant operator with overlap with the lightest state in its channel, then at large Euclidean separation r=xr=|x|,

O(x)O(0)ceMOxxα\langle \mathcal O(x)\mathcal O(0)\rangle_c \sim {e^{-M_{\mathcal O}|x|}\over |x|^\alpha}

for some power α\alpha. The smallest such MOM_{\mathcal O} over all nontrivial gauge-invariant channels is the mass gap.

Equivalently, when the asymptotic coefficient is nonzero,

MO=limr1rlogO(r)O(0)c.M_{\mathcal O} =-\lim_{r\to\infty}{1\over r} \log\left|\langle\mathcal O(r)\mathcal O(0)\rangle_c\right|.

A spectrum with a vacuum, a mass gap, massive one-particle states, and a multiparticle continuum

A mass gap is a positive separation between the vacuum and the lightest physical excitation. In pure Yang–Mills theory the expected particles are gauge-invariant glueballs, with masses Mn=cnΛYMM_n=c_n\Lambda_{\mathrm{YM}}.

For pure Yang–Mills theory, the expected physical particles are glueballs: gauge-invariant excitations created, for example, by local operators such as trFμνFμν\operatorname{tr}F_{\mu\nu}F_{\mu\nu}. Their masses should have the form

Mn=cnΛYM,M_n=c_n\Lambda_{\mathrm{YM}},

where the cnc_n are dimensionless numbers. Perturbative RG determines the existence and scaling of ΛYM\Lambda_{\mathrm{YM}}, but it does not determine the constants cnc_n. Those constants are genuinely nonperturbative.

There is a useful distinction here:

RG perturbation theory: sets the scale Λ,\text{RG perturbation theory: }\quad \text{sets the scale }\Lambda,

but

strong dynamics: decides the spectrum in units of Λ.\text{strong dynamics: }\quad \text{decides the spectrum in units of }\Lambda.

This distinction keeps the logic honest. Asymptotic freedom strongly suggests where the mass gap should live, but the existence of a mass gap in four-dimensional pure Yang–Mills theory is a nonperturbative statement. The RG argument supplies the only possible scale; it does not by itself prove which gauge-invariant states exist or that the lightest one has strictly positive mass.

In practice one diagnoses a gap by looking for exponential decay in Euclidean correlators of gauge-invariant operators, not by looking for a pole in a gauge-dependent gluon propagator. The latter can be useful in a fixed gauge, but it is not itself the definition of a physical particle. A mass gap and confinement are also logically distinct properties: pure Yang–Mills theory is expected to have both, but the definition of either one does not imply the other in every quantum field theory.

Consider a dimensionless physical amplitude A\mathcal A depending on a characteristic Euclidean momentum pp and a coupling g(μ)g(\mu) defined at a subtraction scale μ\mu. RG invariance says schematically

(μμ+β(g)g)A(pμ,g(μ))=0.\left(\mu{\partial\over\partial\mu}+\beta(g){\partial\over\partial g}\right)\mathcal A\left({p\over\mu},g(\mu)\right)=0.

For a single-scale observable, the solution may be written in terms of the running coupling at the physical momentum,

A=F(g(p)).\mathcal A=F(g(p)).

For pΛp\gg\Lambda, this becomes a perturbative expansion in

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

But the same RG equation also says that, after the arbitrary subtraction scale is eliminated, the only dimensionless argument left is

pΛ.{p\over\Lambda}.

Thus

A(p)=F(pΛ)\boxed{ \mathcal A(p)=\mathcal F\left({p\over\Lambda}\right) }

for a dimensionless observable in a massless one-coupling theory. More generally, if an observable O\mathcal O has mass dimension dOd_{\mathcal O}, then

O(pi)=ΛdOF(piΛ).\boxed{ \mathcal O(p_i)=\Lambda^{d_{\mathcal O}}\, \mathcal F\left({p_i\over\Lambda}\right). }

This is the practical content of dimensional transmutation. At finite cutoff, the same dimensionless amplitude can be parametrized as

A=A(g02,ap),\mathcal A=\mathcal A(g_0^2,ap),

but after taking the continuum limit along a trajectory of fixed Λ\Lambda,

AF(pΛ).\mathcal A\longrightarrow \mathcal F\left({p\over\Lambda}\right).

Examples fix the dimensions. A glueball mass has dO=1d_{\mathcal O}=1, so M=cΛM=c\Lambda. A string tension has dO=2d_{\mathcal O}=2, so σ=cσΛ2\sigma=c_\sigma\Lambda^2. A dimensionless short-distance scattering amplitude depends on p/Λp/\Lambda and becomes expandable in 1/log(p/Λ)1/\log(p/\Lambda) at large momentum.

For QCD with quark masses, additional dimensionless ratios remain:

A=F(pΛQCD,m1ΛQCD,m2ΛQCD,).\mathcal A=\mathcal F\left({p\over\Lambda_{\mathrm{QCD}}},{m_1\over\Lambda_{\mathrm{QCD}}},{m_2\over\Lambda_{\mathrm{QCD}}},\ldots\right).

Pure Yang–Mills has no such mass ratios. Once the overall scale is fixed, all mass ratios are predictions of the theory.

The continuum limit of an asymptotically free gauge theory is structurally similar to the continuum limit of a statistical system at a second-order critical point. In both cases a microscopic length aa is sent to zero while a physical correlation length is held fixed.

In a critical spin system,

ξlatTTcν,\xi_{\mathrm{lat}}\sim |T-T_c|^{-\nu},

where ξlat\xi_{\mathrm{lat}} is measured in lattice units. The physical correlation length is

ξphys=aξlat,\xi_{\mathrm{phys}}=a\xi_{\mathrm{lat}},

so the physical mass scale is

M=1ξphys1aTTcν.M={1\over \xi_{\mathrm{phys}}} \sim {1\over a}|T-T_c|^\nu.

To keep MM finite as a0a\to0, one tunes TTcT\to T_c.

In asymptotically free Yang–Mills theory, the weak-coupling UV fixed point plays the role of the critical point. The physical scale is

MΛYM1aexp[8π2b0g02].M\sim \Lambda_{\mathrm{YM}} \sim {1\over a}\exp\left[-{8\pi^2\over b_0g_0^2}\right].

To keep MM finite as a0a\to0, one tunes g020g_0^2\to0.

Comparison between the Yang-Mills continuum limit and the Ising critical continuum limit

The continuum limits of asymptotically free Yang–Mills theory and a critical spin system have the same architecture: send the microscopic spacing aa to zero while tuning a bare parameter so that a physical mass MM remains finite.

The analogy is not perfect. The Ising temperature perturbation is relevant at the critical point and produces power-law scaling. The Yang–Mills coupling is marginally relevant in the infrared, so the scaling is exponential in 1/g021/g_0^2. But the logic is the same: a continuum QFT is obtained by making the correlation length large compared with the cutoff.

Essential singularities and invisible perturbative masses

Section titled “Essential singularities and invisible perturbative masses”

The exponential dependence

Maexp[8π2b0g02]M a\sim \exp\left[-{8\pi^2\over b_0g_0^2}\right]

has an essential singularity at g0=0g_0=0. For every nonnegative integer nn,

limg00exp[const/g02]g0n=0.\lim_{g_0\to0} {\exp[-\mathrm{const}/g_0^2]\over g_0^n}=0.

Therefore a mass gap of this type is invisible in ordinary perturbation theory. Any finite perturbative calculation around g0=0g_0=0 gives a power series in g0g_0 and logarithms; it cannot produce e1/g02e^{-1/g_0^2}.

This fact explains a common paradox. The short-distance theory looks almost free, and perturbation theory becomes better as a0a\to0 at fixed physical momentum far above MM. Yet the long-distance spectrum is massive and strongly coupled. There is no contradiction because the two claims concern different scales. Perturbation theory controls

pM,p\gg M,

while the mass gap concerns

pM.p\sim M.

The RG flow connects the two regimes, but it does not make the infrared perturbative.

A similar exponential scale appears near a Fermi surface. The details belong to later pages, but the analogy is too useful to ignore. Suppose an attractive interaction in a Cooper channel has a dimensionless coupling λ<0\lambda<0. Let =log(ΛF/E)\ell=\log(\Lambda_F/E) increase toward the infrared. The one-loop RG equation has the schematic form

dλd=N(0)λ2,{d\lambda\over d\ell}=-N(0)\lambda^2,

where N(0)N(0) is the density of states at the Fermi surface and \ell is the logarithm of the scale ratio. Solving gives a strong-coupling scale

ΔΛFexp[1N(0)λ0].\Delta\sim \Lambda_F\exp\left[-{1\over N(0)|\lambda_0|}\right].

The scale Δ\Delta is the superconducting or pairing gap. Again, a marginal interaction generates a dimensionful scale by running logarithmically until perturbation theory fails.

A gap opening near a Fermi surface from a marginal attractive interaction

Near a Fermi surface, an attractive marginal interaction runs to strong coupling at an exponentially small scale. In the paired phase the Bogoliubov spectrum Ek=ξk2+Δ2E_k=\sqrt{\xi_k^2+\Delta^2} has minimum excitation energy Δ\Delta. The mathematical pattern resembles dimensional transmutation.

The analogy has limits. A Fermi surface is not Lorentz invariant, and a gapped superconductor has different symmetry structure from a confining gauge theory. The shared lesson is narrower and sharper: logarithmic RG flow can turn a small dimensionless coupling into a nonperturbative energy scale.

What is and is not proved by the one-loop flow

Section titled “What is and is not proved by the one-loop flow”

The one-loop beta function is a UV statement. It proves that the coupling becomes weak at short distances when b0>0b_0>0. It also identifies the scale at which the perturbative description stops being reliable. It does not by itself prove confinement, a discrete glueball spectrum, or a positive mass gap.

For pure Yang–Mills theory, the physical expectation is

MgapΛYM,M_{\mathrm{gap}}\sim \Lambda_{\mathrm{YM}},

and lattice gauge theory strongly supports this picture. But from the viewpoint of continuum perturbation theory, the statement remains nonperturbative. This is exactly why dimensional transmutation is so important: it shows how the scale can exist without pretending that weak-coupling diagrams calculate the infrared spectrum.

A good slogan is:

Asymptotic freedom explains why the scale is generated;\text{Asymptotic freedom explains why the scale is generated;} strong dynamics decides what happens at that scale.\text{strong dynamics decides what happens at that scale.}

An asymptotically free theory with

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

has the one-loop running

1g2(μ)=b08π2logμΛ.{1\over g^2(\mu)}={b_0\over8\pi^2}\log{\mu\over\Lambda}.

The integration constant may be written as the RG-invariant scale

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

This is dimensional transmutation: the dimensionless coupling is traded for a dimensionful scale.

With a cutoff aa, the continuum limit of pure Yang–Mills theory is obtained by taking

a0,g020,1aexp[8π2b0g02]=fixed.a\to0, \qquad g_0^2\to0, \qquad {1\over a}\exp\left[-{8\pi^2\over b_0g_0^2}\right] =\text{fixed}.

This resembles the critical continuum limit of a statistical system, where TTcT\to T_c while aξlata\xi_{\mathrm{lat}} is held fixed.

A mass gap means a positive separation between the vacuum and the lightest physical state. In pure Yang–Mills theory, the expected spectrum consists of gauge-invariant massive states with

Mn=cnΛYM.M_n=c_n\Lambda_{\mathrm{YM}}.

The scale ΛYM\Lambda_{\mathrm{YM}} is visible from perturbative RG, but the constants cnc_n and the existence of the gap are nonperturbative.

Claiming that perturbation theory computes the gap. Perturbation theory determines the high-momentum running and identifies the RG-invariant scale. The gap itself is infrared and nonperturbative.

Treating a one-loop pole as an exact singularity. The pole is a warning that the chosen perturbative variables have failed, not a controlled statement about the exact coupling.

Confusing scheme dependence with physical arbitrariness. A coupling redefinition changes the numerical value assigned to ΛS\Lambda_{\mathcal S}, but physical masses and mass ratios do not depend on that convention. One fixes a scheme for Λ\Lambda and quotes nonperturbative quantities in that scheme or as dimensionless ratios.

Holding the bare coupling fixed while removing the cutoff. Fixed g0g_0 leaves the correlation length finite in cutoff units. The continuum limit requires g00g_0\to0 so that aΛ0a\Lambda\to0 while Λ\Lambda in physical units remains fixed.

Equating a mass gap with confinement. They are distinct infrared properties. Pure Yang–Mills theory is expected to possess both, but one-loop asymptotic freedom proves neither.

Assuming every marginal interaction generates a gap. Some marginal interactions are exactly marginal or marginally irrelevant. The sign of the beta function and the interaction channel matter.

Exercise 1: Verify one-loop RG invariance of the transmutation scale

Section titled “Exercise 1: Verify one-loop RG invariance of the transmutation 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

ddlogμ1g2=2g3dgdlogμ=2g3β(g).{d\over d\log\mu}{1\over g^2} =-{2\over g^3}{dg\over d\log\mu} =-{2\over g^3}\beta(g).

Using the beta function,

ddlogμ1g2=2g3[b016π2g3]=b08π2.{d\over d\log\mu}{1\over g^2} =-{2\over g^3}\left[-{b_0\over16\pi^2}g^3\right] ={b_0\over8\pi^2}.

Now differentiate

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

This gives

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

Thus Λ\Lambda is RG invariant at one loop.

Exercise 2: Tune the bare coupling toward the continuum limit

Section titled “Exercise 2: Tune the bare coupling toward the continuum limit”

With cutoff Λ0=a1\Lambda_0=a^{-1}, suppose

Λ=Λ0exp[8π2b0g02].\Lambda=\Lambda_0\exp\left[-{8\pi^2\over b_0g_0^2}\right].

Solve for g02g_0^2 in terms of aa and fixed Λ\Lambda. What happens as a0a\to0?

Solution

Since Λ0=a1\Lambda_0=a^{-1},

Λ=1aexp[8π2b0g02].\Lambda={1\over a}\exp\left[-{8\pi^2\over b_0g_0^2}\right].

Multiply by aa and take the logarithm:

log(aΛ)=8π2b0g02.\log(a\Lambda)=-{8\pi^2\over b_0g_0^2}.

Equivalently,

log1aΛ=8π2b0g02.\log{1\over a\Lambda}={8\pi^2\over b_0g_0^2}.

Therefore

g02(a)=8π2b0log(1/aΛ).\boxed{ g_0^2(a)={8\pi^2\over b_0\log(1/a\Lambda)}. }

As a0a\to0 at fixed Λ\Lambda, the logarithm diverges and hence

g02(a)0.g_0^2(a)\to0.

The continuum limit approaches the weak-coupling UV fixed point.

Exercise 3: Derive the scaling form after dimensional transmutation

Section titled “Exercise 3: Derive the scaling form after dimensional transmutation”

Assume a dimensionless physical observable satisfies the RG equation

(μμ+β(g)g)A(pμ,g(μ))=0.\left(\mu{\partial\over\partial\mu}+\beta(g){\partial\over\partial g}\right) \mathcal A\left({p\over\mu},g(\mu)\right)=0.

Explain why, in a massless one-coupling asymptotically free theory, it can be written as

A=F(pΛ).\mathcal A=\mathcal F\left({p\over\Lambda}\right).
Solution

The observable is dimensionless, so before solving the RG equation it can only depend on the dimensionless ratio p/μp/\mu and on the running coupling g(μ)g(\mu).

The RG equation says that changing μ\mu while moving g(μ)g(\mu) along the RG trajectory leaves A\mathcal A unchanged. Therefore the only invariant data on the RG trajectory can appear. For a one-coupling asymptotically free theory, the invariant data are encoded in

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

at one loop, with higher-loop refinements changing only the precise scheme definition of Λ\Lambda.

Since pp is the only external scale and Λ\Lambda is the only intrinsic scale, dimensional analysis then gives

A=F(pΛ).\boxed{ \mathcal A=\mathcal F\left({p\over\Lambda}\right). }

At pΛp\gg\Lambda, the same statement can be rewritten as a perturbative expansion in g(p)g(p).

Exercise 4: Solve the coordinate-space QED flow

Section titled “Exercise 4: Solve the coordinate-space QED flow”

In coordinate-space QED, suppose

de2(R)dlogR=Be4(R),B>0.{d e^2(R)\over d\log R}=-B e^4(R), \qquad B>0.

Solve for e2(R)e^2(R) with boundary condition e(a)=e0e(a)=e_0. What is the large-RR behavior?

Solution

Write

ddlogR1e2(R)=1e4(R)de2(R)dlogR=B.{d\over d\log R}{1\over e^2(R)} =-{1\over e^4(R)}{d e^2(R)\over d\log R} =B.

Integrating from aa to RR gives

1e2(R)=1e02+BlogRa.{1\over e^2(R)}={1\over e_0^2}+B\log{R\over a}.

Thus

e2(R)=e021+Be02log(R/a).\boxed{ e^2(R)={e_0^2\over1+Be_0^2\log(R/a)}. }

For RaR\gg a,

e2(R)1Blog(R/a).e^2(R)\sim {1\over B\log(R/a)}.

The charge is screened at long distance. This running alone does not generate a mass gap for the photon.

Exercise 5: Tune a statistical system to its critical limit

Section titled “Exercise 5: Tune a statistical system to its critical limit”

Near an Ising critical point,

ξlatTTcν.\xi_{\mathrm{lat}}\sim |T-T_c|^{-\nu}.

The physical correlation length is ξphys=aξlat\xi_{\mathrm{phys}}=a\xi_{\mathrm{lat}} and the physical mass is M=1/ξphysM=1/\xi_{\mathrm{phys}}. Determine how TTcT-T_c must scale with aa if MM is held fixed while a0a\to0.

Solution

The physical mass is

M=1aξlat1aTTcν.M={1\over a\xi_{\mathrm{lat}}} \sim {1\over a}|T-T_c|^\nu.

Holding MM fixed gives

TTcνaM.|T-T_c|^\nu\sim aM.

Therefore

TTc(aM)1/ν.\boxed{ |T-T_c|\sim (aM)^{1/\nu}. }

As a0a\to0, the temperature must be tuned to TcT_c. This is the statistical-mechanics analog of tuning g00g_0\to0 in an asymptotically free gauge theory while keeping the physical mass scale fixed.

Exercise 6: Derive the exponentially small BCS scale

Section titled “Exercise 6: Derive the exponentially small BCS scale”

A marginal attractive BCS coupling obeys

dλd=N(0)λ2,λ0<0.{d\lambda\over d\ell}=-N(0)\lambda^2, \qquad \lambda_0<0.

Find the scale \ell_* at which perturbation theory breaks down and express the corresponding gap Δ\Delta in terms of the UV scale ΛF\Lambda_F.

Solution

Integrate

dλλ2=N(0)d.{d\lambda\over\lambda^2}=-N(0)d\ell.

This gives

1λ()=1λ0N(0),-{1\over\lambda(\ell)}=-{1\over\lambda_0}-N(0)\ell,

or

1λ()=1λ0+N(0).{1\over\lambda(\ell)}={1\over\lambda_0}+N(0)\ell.

Since λ0<0\lambda_0<0, the denominator reaches zero at

=1N(0)λ0.\ell_*={1\over N(0)|\lambda_0|}.

If the running energy scale is E=ΛFeE=\Lambda_F e^{-\ell}, then the strong-coupling scale is

ΔΛFe=ΛFexp[1N(0)λ0].\boxed{ \Delta\sim \Lambda_F e^{-\ell_*} =\Lambda_F\exp\left[-{1\over N(0)|\lambda_0|}\right]. }

This is the same essential-singularity pattern as dimensional transmutation, though the physical setting is a Fermi surface rather than a relativistic vacuum.

  • Coleman, Sidney, and Erick Weinberg. “Radiative Corrections as the Origin of Spontaneous Symmetry Breaking.” Physical Review D 7, no. 6 (1973): 1888–1910.
  • Gell-Mann, Murray, and Francis E. Low. “Quantum Electrodynamics at Small Distances.” Physical Review 95, no. 5 (1954): 1300–1312.
  • 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 and 26.
  • Srednicki, Mark. Quantum Field Theory. Cambridge: Cambridge University Press, 2007, Sections 28, 73, and 82.
  • Weinberg, Steven. The Quantum Theory of Fields. Volume II: Modern Applications. Cambridge: Cambridge University Press, 1996, Chapter 18.
  • Wilson, Kenneth G., and John Kogut. “The Renormalization Group and the ϵ\epsilon Expansion.” Physics Reports 12, no. 2 (1974): 75–199.
  • Zinn-Justin, Jean. Quantum Field Theory and Critical Phenomena. 4th ed. Oxford: Clarendon Press, 2002.