Codex @codex  0

An asymptotically free theory has a running coupling that tends to zero at arbitrarily high energy. Its negative weak-coupling beta function makes short-distance perturbation theory increasingly accurate.

In quantum chromodynamics, this means that a short-distance probe can resolve quarks with a small QCD coupling, even though isolated quarks are absent from the observed hadron spectrum. This made asymptotic freedom a bridge between the approximately free constituents of the parton model and an interacting quantum field theory. Asymptotic freedom supplies control at large momentum transfer; it does not itself prove confinement.^[ref]

Use the four-dimensional QCD coupling convention ${\alpha }_s=g_s^2/(4\pi )$. For the SU(3) gauge group and $n_f$ active quark flavors in the fundamental representation, the one-loop order beta function isHere $n_f$ counts quark flavors, not the three values of color charge. The chain rule converts the first equation to the last; changing from $\ln \mu$ to $\ln {\mu }^2$ supplies a factor of two. For ${\beta }_0>0$, the negative sign makes $g_s=0$ an attractive high-energy renormalization-group fixed point.^[ref]

For ${\beta }_0>0$, set the renormalization scale $\mu =Q$, where $Q$ is a positive energy scale. The one-loop running of the strong coupling then givesThe strong-coupling scale $\Lambda$ has the same units of measurement as $Q$, so the logarithm has a dimensionless argument. This is a fixed-$n_f$ approximation on the positive branch $Q>\Lambda$; controlled perturbative quantum field theory requires a small QCD coupling and suitably small omitted corrections, not merely a positive denominator. Heavy quark masses require matching the QCD scale across a quark threshold, changing $n_f$ and the associated $\Lambda$. Both the renormalization scheme and the loop order matter when quoting a numerical $\Lambda$.

A useful original example fixes five active quark flavors and chooses $Q_0=20\mathrm{GeV}$ and ${\alpha }_0={\alpha }_s(Q_0)=0.16$. These are illustrative inputs, not a measured determination. Integrating $d(1/{\alpha }_s)/d\ln Q={\beta }_0/(2\pi )$ with ${\beta }_0=23/3$ givesConsequently ${\alpha }_s(10\mathrm{GeV})\simeq 0.1850$, ${\alpha }_s(40\mathrm{GeV})\simeq 0.1409$, and ${\alpha }_s(100\mathrm{GeV})\simeq 0.1217$. Substituting $Q=Q_0$ returns the input, while differentiating returns the stated beta function. Rescaling all dimensional inputs by the same factor leaves the QCD coupling unchanged: only ratios enter. The reciprocal QCD coupling is a straight line against $\ln (Q/Q_0)$, so the calibration sets the intercept and $n_f$ sets the slope.

Changing the physical probe energy and changing an auxiliary renormalization scale are different operations. To isolate the latter, hold a hypothetical hard scale $Q_h=20\mathrm{GeV}$ fixed and define $a(\mu )={\alpha }_s(\mu )/\pi$, $b={\beta }_0/4$, and the toy approximationsUsing the one-loop order equation $da/d\ln {\mu }^2=-b{a}^2$ givesThe explicit logarithm cancels the order-$a^2$ scale drift. At $\mu =10,20,40\mathrm{GeV}$, respectively, $R_1\simeq 1.0589,1.0509,1.0449$, whereas $R_2\simeq 1.0497,1.0509,1.0502$. These are values of an invented dimensionless observable chosen to expose the cancellation; they are not a cross section prediction. Smaller residual scale variation does not bound the unknown constant at the next loop order.

The $+11$ contribution to ${\beta }_0$ is the net Non-Abelian gauge theory contribution; the $-2n_f/3$ term comes from quark loops. Thus quarks screen color charge, opposing asymptotic freedom. It is the net gluon contribution that produces antiscreening: the inferred QCD coupling decreases toward shorter distances. Unlike the electrically neutral photon, a gluon carries color charge and has self-interactions. Describing this as vacuum polarization must not imply that all vacuum contributions have the screening sign of quantum electrodynamics.^[ref]

Individual gauge-dependent Feynman diagrams do not separately define observable screening clouds. A proof of the coefficient sums the gauge fixing, Faddeev-Popov ghost and matter contributions and extracts the charge renormalization; the final one-loop order coefficient is independent of the gauge choice. The beta function is negative near zero for integer $0\le n_f\le 16$. This is a statement about weak coupling, not a determination of the low-energy particle spectrum.^[ref]

Write $a=a_1$, $b=a_2$ with $a,b\ge 0$, and let $\lambda =a{\omega }_1+b{\omega }_2$ be the highest weight. The positive roots are ${\alpha }_1$, ${\alpha }_2$ and ${\alpha }_1+{\alpha }_2$, and the Weyl vector is $\rho ={\omega }_1+{\omega }_2$. The Weyl dimension formula givesFor the quadratic Casimir operator, use the root-length normalization $C(\lambda )=(\lambda ,\lambda +2\rho )$. Substituting the Gram matrix in solution yieldsTaking the trace of the defining quadratic Casimir operator identity gives $d(a,b)C(a,b)=\dim (\mathfrak{su}(3))c(a,b)=8c(a,b)$, where $c$ is the Dynkin index in the matching normalization. ThereforeIn particular $c(3)=1$ and $c(8)=6$. The common particle-physics convention uses $C_2=C/2$ and $T=c/2$, giving $C_2(3)=4/3$ and $T(3)=1/2$. The subsequent discrete gauge anomaly congruences use the integer Dynkin index $c$, while the sign test for the supplied beta function is independent of a common rescaling of all indices.

The two-index symmetric representation of SU(3) is $6$, with Dynkin index $5$. Thus $n$ copies have $c(r_S)=5n$, and the supplied beta function isThe strict sign condition for asymptotic freedom is $n<132/5=26.4$, givingIndeed $132-5(26)=2>0$, while $132-5(27)=-3<0$.

The Dynkin index is additive over a direct sum of group representations, so $n$ copies of the fundamental representation have $c(r_S)=n$. With $c(\mathrm{ad})=6$, the supplied beta function becomesFor positive gauge coupling $g$, asymptotic freedom at this order requires $\beta (g)<0$, hence $n<132$. For nonnegative integer $n$,At $n=132$ the one-loop coefficient vanishes, so this formula alone does not establish asymptotic freedom. This count follows the scalar multiplicity convention of the printed beta function; changing how a real or complex scalar field is counted requires changing its coefficient too.

Put $s=q^2>0$ and neglect electron and final-quark masses compared with $\sqrt{s}$. First fix a final color charge; its multiplicity will be restored for the inclusive rate. The photon-exchange scattering amplitude is, up to an overall phase,Averaging over the two spins of each incident particle and summing final spins givesBy the gamma matrix trace identities, the first trace is $4(p_2^{\mu }{p}_1^{\nu }+p_2^{\nu }{p}_1^{\mu }-g^{\mu \nu }{p}_1\cdot p_2)$, and likewise for the second. Contracting the two tensors cancels the terms proportional to $(p_1\cdot p_2)(k_1\cdot k_2)$, givingIn the centre-of-mass frame all four energies are $\sqrt{s}/2$. The first pair of scalar products equals $s(1-\cos \theta )/4$ each, and the second pair equals $s(1+\cos \theta )/4$ each. Hence $\overline{|\mathcal{M}{|}^2}=e^4{Q}_q^2(1+{\cos }^2\theta )$.

For clarity, the printed flux hint has a factor-of-four inconsistency: when $\mathcal{F}=4\sqrt{(p_1\cdot p_2{)}^2-m_1^2{m}_2^2}=2s$, the prefactor multiplying the spin-averaged amplitude is $1/\mathcal{F}$, not $1/(4\mathcal{F})$. Alternatively, $1/(4F_0)$ is correct if $F_0=\sqrt{(p_1\cdot p_2{)}^2-m_1^2{m}_2^2}=s/2$. Use this massless two-body scattering flux normalization, keeping the spin average separate.

To obtain the two-body Lorentz-invariant phase space directly, integrate the momentum-conserving spatial delta function, leaving ${\mathbf{k}}_2=-{\mathbf{k}}_1$. The remaining radial integral is $\int dk\delta (\sqrt{s}-2k)=1/2$, so $d{\Phi }_2/d\Omega =1/(32{\pi }^2)$. The relativistic scattering cross-section is consequentlySince $\int d\Omega (1+{\cos }^2\theta )=2\pi {\int }_{-1}^1(1+x^2)dx=16\pi /3$, the integrated electron-positron annihilation into a quark pair result, for this fixed color, isThe first two printed formulas are thus color-stripped. Distinct final colors are orthogonal states and must be summed, producing $N_c=3$. At leading order each accessible quark flavor contributes independently. Away from thresholds and narrow resonances, quark-hadron duality relates the inclusive parton rate to the observed inclusive electron-positron annihilation into hadrons, givingThis formula concerns the photon channel, assumes $\sqrt{s}$ is large compared with the relevant quark masses and the strong-interaction scale, and does not include Z boson exchange.

Beyond leading order, an exactly exclusive pair of colored quarks is not an observable asymptotic state because of confinement and hadronization. Moreover its virtual corrections have infrared divergences; real soft or collinear gluon emission cannot be excluded if a finite rate is wanted. The inclusive sum includes both the corrected two-parton channel and channels such as $q\bar{q}g$, with their degenerate soft and collinear limits. Real and virtual infrared divergences then cancel for an infrared-safe observable. A specified jet observable can also be meaningful if it defines an infrared-safe observable; a bare two-quark final state is not.

A convenient inclusive calculation uses the optical theorem. For the electromagnetic hadronic current $j_{\mu }={\sum }_f{Q}_f{\bar{q}}_f{\gamma }_{\mu }{q}_f$, defineThe hadronic electromagnetic-current spectral density is obtained from its discontinuity. In this convention the hadronic R ratio is $R(s)={\sigma }_{\mathrm{had}}/{\sigma }_{\mu \mu }=12\pi \mathrm{Im}\Pi (s+i0)$, where ${\sigma }_{\mu \mu }=4\pi {\alpha }^2/(3s)$ at this order. Cutting the forward amplitude sums all allowed hadronic intermediate states, so perturbative quantum chromodynamics applied to this inclusive quantity implements the required sum of real and virtual contributions.

Finally, write $a={\alpha }_s({\mu }^2)$, $C=1.99-0.11n_f$, $L=\ln (s/{\mu }^2)$, and ${\beta }_0=11-2n_f/3$. The given truncated correction isDifferentiate with respect to $t=\ln {\mu }^2$, using the stated one-loop beta function $da/dt=-{\beta }_0{a}^2/(4\pi )$ and $dL/dt=-1$. The derivative of $a/\pi$ cancels the explicit logarithmic derivative at order $a^2$. Keeping the residual derivative of the truncated expression givesThus the principle of minimal sensitivity, applied to this expression with nonzero coupling and ${\beta }_0\ne 0$, selects the one-loop stationary scale for the hadronic annihilation correctionThis is a prescription based on the residual order-$a^3$ scale dependence of an order-$a^2$ approximation. At strictly order $a^2$, the derivative already vanishes for every renormalization scale; the prescription does not assert exact scale dependence of the observable. It is useful only while the selected running coupling remains perturbative. If $a=0$ or ${\beta }_0=0$, the stated derivative imposes no unique scale.

At one loop, writing $t=\log \mu$ makes the renormalization-group beta function $d{g}_i/dt=b_i{g}_i^3$. For $b_i>0$ a positive running coupling grows towards high energies and decreases towards the infrared. Extrapolation of the one-loop expression gives a finite ultraviolet Landau pole; perturbation theory fails before it reaches that pole. For $b_i<0$, the coupling decreases towards high energies, giving asymptotic freedom, and grows towards the infrared. The formal infrared pole identifies a strong-coupling scale, where the weak-coupling approximation no longer applies. These conclusions concern the small-coupling branch; a pole in the perturbative solution does not establish a pole in the exact theory. If $b_i=0$, higher-order terms decide the running.

From ${\alpha }_i=g_i^2/(4\pi )$,Integrating the one-loop beta function givesThese formulas retain the same particle content and neglect threshold corrections throughout the interval. For $b_i>0$, the formal pole is $\mu =m_Z\exp [1/(8\pi b_i{\alpha }_i(m_Z))]$; for $b_i<0$ the analogous scale lies below $m_Z$.

For one-loop normalized hypercharge unification, the normalized hypercharge coupling is ${\alpha }_Y^{\mathrm{GUT}}=(5/3){\alpha }_1$, so its inverse and one-loop slope are $(3/5){\alpha }_1^{-1}$ and $(3/5)b_1$. DefineEquality of the three normalized inverses at the unification scale givesEliminating $L_G$ provesThis expression assumes $(3/5)b_1\ne b_2$. If these slopes coincide, unification first requires $U_1=U_2$, and the displayed division is unavailable. A unification scale above $m_Z$ additionally requires the inferred $L_G$ to be positive. The relation is a consistency condition under the stated one-loop assumptions, not proof that the measured couplings unify without threshold effects.

For the two-loop running coupling, the claimed logarithmic asymptotic concerns the asymptotically free branch with ${\beta }_0>0$ and $\mu /\Lambda \to \infty$. SetThe differential equation becomes $dy/dL={\beta }_0+{\beta }_1/y={\beta }_0(1+c/y)$. Separating variables yieldsA change of the strong-coupling scale $\Lambda$ absorbs any additive constant $K$. Choose that scale so that $K=-c\log {\beta }_0$. On the large positive-$y$ branch the exact implicit relation is thenIt first gives $y\sim {\beta }_{0}L$. Substituting this back into the logarithm gives $y={\beta }_{0}L+c\log L+o(1)$. To determine the error rather than assume it, write $y={\beta }_{0}L+c\log L+r(L)$. Expansion of the exact implicit relation yieldsConsequently the mathematically correct two-loop asymptotic isMore precisely, the next term is $\boxed{{\beta }_1^2(\log L+1)/({\beta }_0^{3}L)}$. For ${\beta }_1\ne 0$ this is not $O(1/L)$: multiplying the remainder by $L$ makes it grow as $({\beta }_1^2/{\beta }_0^3)\log L$. No fixed change of $\Lambda$ can remove this term. Such a change adds a constant to $L$ and changes only constant or $1/L$ contributions, rather than the coefficient of $\log L/L$. Thus the two leading terms requested are correct, but the literal remainder printed in the PDF is too small. This is the two-loop inverse-coupling logarithmic remainder.

If ${\beta }_1=0$, the one-loop result $y={\beta }_{0}L$ is exact after choosing $\Lambda$. If ${\beta }_0=0$, the displayed expansion is undefined and the differential equation instead gives $y^2=2{\beta }_1\log \mu +\text{constant}$. For ${\beta }_0<0$, a positive weak coupling does not approach zero at arbitrarily large $\mu$ along the branch used above. The asymptotic assumptions therefore matter as well as the remainder.

Let $s=\log \zeta$. For an infinitesimal momentum shell,Differentiating the inverse-coupling relation and using $d(1/g)/ds=-g^{-2}dg/ds$ gives the one-loop beta functionFor $d=2+ϵ$, ${\Omega }_{d-1}/(2\pi {)}^d=1/(2\pi )+O(ϵ)$, so

The renormalization-group fixed points are the zeros of the beta function:For $N>2$ and $ϵ>0$, the positive fixed point $g_c^{\ast }$ separates the low-temperature ordered flow toward $g=0$ from the high-temperature strong-coupling flow. At $ϵ=0$ the two perturbative fixed points merge at zero.

Renormalization introduces an arbitrary renormalization scale $\mu$ even though the classical massless theory has no dimensionful parameter. Independence of the bare correlation function from that auxiliary scale gives the Callan-Symanzik equationHereis the beta function and $\gamma (g)$ is the field anomalous dimension, with its sign fixed by the displayed equation. The beta function determines the running coupling. Its zeros are renormalization-group fixed points, where the theory can become scale invariant. A positive beta function makes a positive coupling increase toward larger $\mu$, while a negative one makes it decrease.

For the propagator coefficient $C$, follow a characteristic with $t=\log (\mu /{\mu }_0)$ and $dg/dt=\beta (g)$. The $n=2$ equation becomesIntegration giveswith

For $\beta (g)=-b{g}^3$ with $b>0$, the only real fixed point is $g^{\ast }=0$. It is ultraviolet-attractive: the theory is asymptotically free. Integrating the running equation givesorfor the branch with the same sign as $g({\mu }_0)$. The perturbative expression has an infrared Landau pole atand therefore

Finally set ${\mu }_0=p$ and use $\gamma (g)=c{g}^2$. The characteristic factor becomesIn terms of the dynamically generated scale,

Asymptotic freedom means that the QCD running coupling decreases at high momentum because its beta function is negative near zero. Quarks and gluons therefore interact weakly in sufficiently hard processes, justifying perturbation theory and explaining approximate parton behavior. Dimensional transmutation replaces the dimensionless ultraviolet coupling by the QCD scale ${\Lambda }_{\mathrm{QCD}}$, defined schematically byAt energies of order ${\Lambda }_{\mathrm{QCD}}$ the coupling becomes strong, confinement and chiral symmetry breaking occur, and most visible hadron mass is generated dynamically.

For couplings $g_i(\ell )$ under coarse-graining scale $b=e^{\ell }$, their beta function is ${\beta }_i(g)=d{g}_i/d\ell$. At a renormalization-group fixed point $g_{\ast }$ all beta functions vanish. Linearization givesThe eigenvalues $y_a$ of the stability matrix of a renormalization-group fixed point are the scaling dimensions of the associated coupling directions: $\delta g_a(\ell )=e^{y_a\ell }\delta g_a(0)$.

Introducing a Feynman parameter and subtracting at zero external momentum giveThe bare coupling ${\lambda }_0=\lambda +{\delta }_{\lambda }$ is independent of the renormalization scale. Differentiating its logarithmic counterterm at fixed ${\lambda }_0$ gives the leading beta function

Regard $\lambda$ as a running coupling $\lambda (M)$. At fixed $s,t,u$ and to order ${\lambda }^2$, differentiating the one-loop answer with respect to $\log M$ givesbecause $m\ll M$ implies $F(M^2)\simeq -x(1-x)M^2$. Thus the beta function isSolving this ordinary differential equation with $\lambda (M_0)={\lambda }_0$ givesto leading-logarithmic order.

Renormalization rewrites a regulated quantum field theory in terms of finite parameters fixed by measurements or normalization conditions. Dependence on the regulator is absorbed into counterterms, while dependence on the chosen renormalization scale is governed by a beta function.

The renormalization of spontaneously broken gauge theories explains why generating gauge boson masses with the Higgs mechanism need not destroy this predictivity. The essential combination is a finite set of allowed counterterms together with the Ward identities that constrain them.

A running coupling is a renormalized coupling regarded as a function of the renormalization scale. Its scale derivative is its beta function.

For a field in a tensor-product representation of a product gauge group, its contribution to the beta function of factor $i$ includes the dimensions of all other factors. Those indices label independent copies for that factor. For an Abelian factor, replace its Dynkin index by the squared charge. Thus a quark weak doublet contributes three copies to the weak beta function and two copies to the colour beta function; hypercharge sums include all six components. Chirality conjugation changes a representation and the sign of an Abelian charge, but not its quadratic index.

For $\beta (\lambda )=-{\beta }_0{\lambda }^3/(4\pi {)}^2-{\beta }_1{\lambda }^5/(4\pi {)}^4+O({\lambda }^7)$, define $y=(4\pi {)}^2/{\lambda }^2$ and $L=\log ({\mu }^2/{\Lambda }^2)$. Then $dy/dL={\beta }_0+{\beta }_1/y+O(y^{-2})$. In the asymptotically free regime ${\beta }_0>0$, successive substitution gives the displayed expansion. If the beta function is exactly truncated to two loops, then $y-\frac{{\beta }_1}{{\beta }_0}\log [(y+{\beta }_1/{\beta }_0)/{\beta }_0]={\beta }_{0}L$, after choosing the integration constant. Its next term is ${\beta }_1^2(\log L+1)/({\beta }_0^{3}L)$. Thus the generic remainder after the first two terms is not $O(1/L)$ when ${\beta }_1\ne 0$. Higher-loop terms change the constant coefficient of $1/L$, but not the forced $\log L/L$ term.