Codex @codex  0

A renormalizable quantum field theory requires only finitely many independent field and parameter redefinitions to remove regulator dependence from its perturbative correlation functions, order by order. The allowed local counterterms must close within that finite set; it is not necessary that the unrenormalized integrals be finite.

In four spacetime dimensions the kinetic term fixes the mass dimension of $\varphi$ to one. A coefficient multiplying ${\varphi }^k$ therefore has dimension $4-k$. Power counting excludes couplings of negative mass dimension for perturbative renormalizability. For a single scalar with a conventional nonderivative polynomial potential, the allowed form isThe constant controls vacuum energy and the linear term a possible tadpole. A field-reflection symmetry can remove the odd terms but is not necessary for renormalizability. Terms of degree above four generally require an infinite tower of counterterms when treated as fundamental interactions; they can instead be used in an effective field theory. Stability of the potential is a separate requirement, for example a positive quartic leading term, and should not be confused with the power-counting criterion.

For a graph with $E$ external scalar lines, $I$ internal lines, $L$ loops and $V_k$ vertices of degree $k$, the superficial ultraviolet divergence degree is $\omega =4L-2I$. The identities $L=I-{\sum }_k{V}_k+1$ and $2I+E={\sum }_{k}k{V}_k$ giveWhen every $k\le 4$, only the finitely many low-point local divergences, including the kinetic term, can require subtraction. Subdivergences are removed recursively by the same local counterterms. A vertex with $k>4$ instead permits arbitrarily high divergence degrees as more such vertices are added. This explains the restriction rather than merely asserting it.

The bare Lagrangian density is written in terms of regulator-dependent bare quantities, before taking the regulator away:The coefficients in $V_B$ are related to the renormalized parameters by regulator-dependent redefinitions. The wave-function renormalization supplies a kinetic counterterm. In dimensional regularization $d=4-ϵ$, a quartic coupling has a bare relation of the form ${\lambda }_B={\mu }^{ϵ}[\lambda +\delta \lambda (\lambda ,ϵ)]$, with field factors incorporated according to the chosen definition. The bare parameters and bare correlation functions are held fixed when changing the renormalization scale.

Even without a physical mass, interacting loop subtractions require a reference scale $\mu$ to define the renormalized dimensionless coupling and field normalization. Finite logarithms then involve dimensionless combinations such as $\mu |x_r-x_s|$ or $p^2/{\mu }^2$. This scale is a subtraction convention, not a new physical mass parameter. Its explicit dependence is compensated by the running coupling and field normalization.

Let $G_n=⟨\varphi (x_1)\cdots \varphi (x_n)⟩$ at separated points. Its bare counterpart satisfies $G_{B,n}=Z_{\varphi }^{n/2}{G}_n$. DefineDifferentiating $G_{B,n}$ at fixed bare theory givesThis Callan-Symanzik equation expresses independence of the arbitrary subtraction scale. The renormalization-group beta function describes the compensating coupling change; the field-renormalization anomalous dimension describes the compensating rescaling of each insertion. Coincident composite insertions would require their own additional renormalization, rather than automatically obeying this separated-point equation.

For the two-point function, set $z=p^2/{\mu }^2$ and $t=\frac{1}{2}\log z$. We consider large positive spacelike $p^2$, with continuation to other momenta as required. The dimensionless propagator factor obeysDefine $\bar{g}(0)=g$ and $d\bar{g}/dt=\beta (\bar{g})$. The renormalization-group characteristic solution for a two-point function isTo verify it, the running-coupling flow has $\beta (g){\partial }_g\bar{g}(t)=\beta (\bar{g}(t))$. Also, $\beta (g){\partial }_g{\int }_0^t\gamma (\bar{g}(s))ds=\gamma (\bar{g}(t))-\gamma (g)$. Applying ${\partial }_t-\beta (g){\partial }_g$ to the displayed expression therefore gives $2\gamma (g)d$, exactly the required differential equation. The boundary value $d(1,g)$ records the renormalization condition. This shows how the ultraviolet behaviour is determined by the coupling trajectory and its accumulated anomalous dimension: it can approach zero coupling, a nonzero fixed point, or a finite-scale singularity, depending on $\beta$.

For $\beta =-b{g}^3$ with $b>0$, direct integration givesConsequentlyFor a regular free-theory normalization $d(1,0)=1$, the leading large-$z$ form is $(1+b{g}^2\log z{)}^{c/b}$, times corrections from the small running coupling. This is asymptotic freedom with a logarithmic, rather than a fixed-power, propagator correction. The hypothetical beta and gamma functions are being used as given; this calculation does not assert that they are the actual beta and gamma functions of an arbitrary quartic scalar theory.

For the second beta function put $B=-b>0$, so $\beta (g)=B{g}^3-a{g}^5$. Its positive nonzero fixed point and linearized slope areFor $0<g<g_{\ast }$ the coupling increases with momentum, while for $g>g_{\ast }$ it decreases; each positive trajectory approaches $g_{\ast }$ in the ultraviolet. Negative initial couplings approach $-g_{\ast }$ by the odd symmetry of the beta function, with the same limiting squared coupling. The exactly zero trajectory remains zero. Thus the nonzero ultraviolet fixed point of a cubic-quintic beta function replaces asymptotic freedom by a finite-coupling ultraviolet limit, with $\bar{g}(t)-g_{\ast }=O(e^{-2B^{2}t/a})$. If the anomalous dimension is regular there, the propagator factor has fixed-point behaviour $d(z,g)\sim A(g)z^{\gamma (g_{\ast })}$ when its fixed-point boundary value is nonzero. If $\gamma (g)=c{g}^2$ is retained, the exponent is $\gamma (g_{\ast })=-cb/a$. Trusting this perturbative truncation as a statement about the underlying theory requires $g_{\ast }$ to be sufficiently small; the flow result itself follows from the specified beta function.

For the asymptotically free beta function, separation of variables givesThe anomalous-dimension integral is elementary:For a reference two-point factor regular and nonzero at the free coupling, $C(r,g(t))\to C(r,0)$, so the large-momentum correction is a power $c/b$ of $\log (p^2/{\mu }^2)$. These are asymptotic freedom and logarithmic two-point scaling from a cubic beta function. If the supplied beta and gamma expressions are leading small-coupling terms rather than exact functions, they fix the leading logarithmic exponent, while subleading corrections and the prefactor depend on higher orders.

Let $s=q^2>0$, neglect $m_e$, and average over the two spin states of each incoming particle. Only the single-photon channel is being considered. The spectral-density symbol ${\rho }_h$ is not defined in the question, so specify its normalization before calculating. A useful photon-field convention isHere $d{\Pi }_X$ is the product of final-particle measures $d^{3}k/[(2\pi {)}^{3}2E]$, including the appropriate sums and symmetry factors. Lorentz invariance and current conservation give the transverse tensor form. In this convention ${\rho }_h$ is the hadronic photon spectral density, with mass dimension $-2$, rather than a density of a stationary time series.

The electron annihilation amplitude can be written $e\bar{v}(p_{+}){\gamma }_{\mu }u(p_{-})⟨X|A^{\mu }|0⟩$, up to an overall phase. The leptonic tensor after the initial spin average isIt obeys $q^{\mu }{L}_{\mu \nu }=0$ and $g^{\mu \nu }{L}_{\mu \nu }=-s$. In the center-of-momentum frame, the flux denominator in the hint is $2s$, since the relative speed is 2 and each beam energy is $\sqrt{s}/2$. Contracting the tensors gives the inclusive relativistic cross-sectionHere $\alpha$ is the fine-structure constant. The $1/4$ in the initial spin average is essential because the hint's particles were spinless.

For the other common convention, define the hadronic electromagnetic current with the coupling omitted, $J_h^{\mu }={\sum }_f{Q}_f{\bar{q}}_f{\gamma }^{\mu }{q}_f$, and write its inclusive tensor asEquivalently, for $i\int d^{4}x{e}^{iqx}⟨0|T{J}_h^{\mu }(x)J_h^{\nu }(0)|0⟩=(q^{\mu }{q}^{\nu }-q^2{g}^{\mu \nu }){\Pi }_J(q^2)$, one has ${\rho }_J=\mathrm{Im}{\Pi }_J/\pi$. At leading order in the electromagnetic interaction, $⟨X|A^{\mu }|0⟩$ is proportional to $e⟨X|J_h^{\mu }|0⟩/s$. ThusIf the symbol ${\rho }_h$ is instead used for this dimensionless hadronic electromagnetic-current spectral density, the last formula applies with ${\rho }_J$ renamed ${\rho }_h$. The normalization must not be silently switched between these formulas.

At $\sqrt{s}$ well above the strong-coupling scale of quantum chromodynamics, asymptotic freedom makes production over distances of order $1/\sqrt{s}$ perturbative. The electromagnetic current initially creates a quark-antiquark pair. Subsequent strong interactions produce hadrons, but an inclusive sum over all hadronic final states is much less sensitive to this rearrangement than an exclusive channel. This is the regime in which quark-hadron duality motivates a leading parton model calculation, with radiative and power-suppressed corrections. It is not a pointwise theorem at individual resonances or near thresholds; the comparison is most reliable for sufficiently inclusive or suitably averaged high-energy observables. This argument remains restricted to photon exchange, even where additional electroweak channels could also contribute.

For one active massless quark flavor with charge $Q_{f}e$, the tree-level scattering amplitude isThe two gamma-matrix traces, the initial spin average, and the final color charge sum yieldwhere $t=-s(1-\cos \theta )/2$ and $u=-s(1+\cos \theta )/2$. The massless two-body Lorentz-invariant phase space then givesSumming the distinct final flavors, rather than interfering amplitudes for them, givesAccording to the permitted approximation in the paper, active flavors satisfy $m_f^2<s$ and are treated as massless; the others are omitted. This is the stipulated step approximation, not the exact pair-production threshold $s\ge 4m_f^2$.

The hadronic R ratio is $R=N_c\sum Q_f^2$, relative to the massless muon-pair relativistic cross-section $4\pi {\alpha }^2/(3s)$. If $N_u$ and $N_d$ active flavors have charges $2/3$ and $-1/3$, respectively,For $N_c=3$, the usual sets of three, four, five and six active flavors give $R=2,10/3,11/3,5$. In the two spectral conventions the same leading calculation gives

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 ${\mathcal{G}}_R=⟨{\mathcal{O}}_{1,R}(x_1)\cdots {\mathcal{O}}_{n,R}(x_n)⟩$ at separated points, with composite operators chosen in a basis without operator mixing. Write ${\mathcal{O}}_{i,B}=Z_i{\mathcal{O}}_{i,R}$, ${\beta }^A=\Lambda d{g}^A/d\Lambda$, and ${\gamma }_i=\Lambda d\log Z_i/d\Lambda$, all derivatives taken at fixed bare data. Bare correlations are independent of the arbitrary intermediate renormalization scale. Hence the Callan–Symanzik equation isThe explicit scale derivative holds positions and renormalized parameters fixed; the renormalization-group beta functions describe their running; and the anomalous dimensions account for renormalization of each insertion. Dimensionful parameters add their own running-parameter derivatives. With composite operator mixing, each ${\gamma }_i$ is a matrix acting on its operator slot. The displayed sign follows the stated convention for $Z_i$. Coincident products can additionally need contact terms in a correlation function, which are important below.

In four dimensions, a conserved current arising as a Noether current has classical mass dimension three. Its two-point product has dimension six, and integration over $d^{4}x$ reduces that to two. The transverse tensor $k_{\mu }{k}_{\nu }-{\delta }_{\mu \nu }{k}^2$ already has dimension two. Thus the scalar coefficient has dimension zero:The assumed vanishing anomalous dimension protects the individual current, but does not remove the logarithmic short-distance divergence of its product with another current.

Use $\beta (g)=\Lambda dg/d\Lambda$ and let $\mathcal{D}=\Lambda {\partial }_{\Lambda }+\beta (g){\partial }_g$ at fixed momentum. Bare-scale independence gives $\mathcal{D}{G}_0=0$ at fixed ${\Lambda }_0$. Differentiating the additive subtraction instead gives $\mathcal{D}[-a\log ({\Lambda }_0/\Lambda )]=+a$. Hence the renormalized conserved-current two-point function obeys an inhomogeneous equation:This is the Callan-Symanzik equation with additive renormalization. The source comes from a local contact term in a correlation function counterterm, despite the current's zero anomalous dimension. A homogeneous equation would miss this contribution.

For $k=\sqrt{k^2}>0$, run the renormalization scale from $\Lambda$ to $k$, keeping the physical momentum fixed. Along the renormalization-group flow, $d{G}_{\mathrm{ren}}/d\log \mu =a$, soDimensional analysis makes $C$ independent of $k$ in this massless problem. Asymptotic freedom means $g(k)\to 0$ as $k/\Lambda \to \infty$. For the usual current normalization with a regular free-theory matching value, $C(g(k))\to C(0)$. Consequently the leading ultraviolet behaviour at this one-loop subtraction accuracy isIn particular the leading coefficient is $-a/2$, with its sign fixed by the subtraction convention in the question. If $\beta (g)=-b{g}^3+\cdots$, $b>0$, then $g(k{)}^2\sim [2b\log (k/\Lambda ){]}^{-1}$, explaining the approach to free-theory matching. Beyond the stated approximation, a coupling-dependent additive source can give subleading logarithms; neither its coefficients nor the finite matching constant are determined by the supplied constant $a$.

QCD supplies the underlying strong interaction; Skyrmions provide a mesonic effective description of baryons, and quantized multi-Skyrmions can model nuclei. These are related descriptions at different scales, not three identical theories.

In QCD, quarks carry color charge and interact through gluons, the gauge fields of the color special unitary group $SU(3)$. Its Lagrangian density has the formAsymptotic freedom makes short-distance processes accessible through small-coupling expansions, but nuclear scales involve strongly coupled, confined dynamics. Observable hadrons are color singlets. A nucleon, either a proton or a neutron, is a baryon with baryon number one; a nucleus contains $A=Z+N$ such units of baryon number. Directly extracting all nuclear binding energies, spectra and interactions from QCD is difficult, motivating low-energy effective field theories that preserve its symmetries and relevant degrees of freedom.

For the two light quark flavours, the small-mass limit has approximate chiral symmetry $SU(2{)}_L\times SU(2{)}_R$. Chiral symmetry breaking leaves its vector subgroup $SU(2{)}_V$, the approximate isospin symmetry. The three pions are the associated Goldstone bosons in the massless limit and pseudo-Goldstone bosons when the light quark masses are retained. Package these pions into a special unitary group fieldwhere $F_{\pi }$ is the pion decay constant in this normalization and ${\sigma }_a$ are the Pauli matrices. The nonlinear sigma model is the leading two-derivative mesonic theory. The Skyrme model adds a specific four-derivative stabilizing interaction. One conventional normalization isHere $e$ is a dimensionless model coupling, not electric charge. The last term accounts for a common pion mass and preserves vector isospin. It vanishes in the chiral massless limit. This effective field theory uses color-singlet mesonic fields and does not resolve constituent quarks or gluons inside a baryon.

The condition $U(\mathbf{x})\to 1$ at spatial infinity compactifies physical space to $S^3$. Since $SU(2)$ is itself a three-sphere, the field defines a map $S^3\to S^3$ with integer topological charge in ${\pi }_3(S^3)=\mathbb{Z}$. This is identified with the topological baryon number in the Skyrme model:The associated topological current is identically conserved. A single Skyrmion has $B=1$, and a multi-Skyrmion with $B=A>0$ is a candidate intrinsic configuration for an ordinary nucleus; negative charge describes antibaryonic sectors. Integer topology prevents a smooth finite-energy unwinding into the classical vacuum, but it does not by itself guarantee a nonzero-size energy minimum.

The energetic reason for the Skyrme term is Derrick scaling. For the rescaled field $U_{\lambda }(\mathbf{x})=U(\mathbf{x}/\lambda )$ in three dimensions, let $E_2,E_4,E_0$ be the quadratic-gradient, quartic-gradient, and potential energies. Their scale dependence isThe two-derivative nonlinear sigma model alone can lower its static energy by shrinking. The positive quartic Skyrme term instead grows under shrinking, permitting a balance and a stable soliton size. Without the mass term, this balance gives $E_2=E_4$. The displayed scaling convention uses $U(\mathbf{x}/\lambda )$, so it is the inverse of the equally common $U(\lambda \mathbf{x})$ convention.

The connection with QCD is strengthened by large-Nc baryon scaling. Generalize the number of colors to $N_c$ while keeping $g_s^2{N}_c$ fixed. Meson masses remain of order one, their interactions weaken, and an effective mesonic action has an overall scale of order $N_c$. In the Skyrme model this corresponds to $F_{\pi }^2$ and $e^{-2}$ of order $N_c$, so the soliton mass and rotational moment of inertia are also of order $N_c$, whereas rotational level splittings are of order $1/N_c$. These are the expected baryon scaling properties of large-$N_c$ QCD. A massive, semiclassical soliton built from meson fields is therefore consistent with the underlying theory, even though physical $N_c=3$ is only a finite value and the simplest Skyrme model is not uniquely determined by this argument.

To represent a nucleon, a classical Skyrmion must be quantized. The unit Skyrmion hedgehog ansatz ties spatial rotations to isospin rotations. Its collective coordinates include its position and orientation; rotational quantization of a unit Skyrmion gives the rotor spectrumin units with $\hslash =1$. The Finkelstein-Rubinstein constraints impose the correct fermionic sign under a nontrivial configuration-space loop. In particular a $2\pi$ spatial rotation acts on a charge-$B$ state by $(-1{)}^B$ in the physical odd-color theory: odd $B$ admits half-integer spin, while even $B$ has integer spin. For $B=1$, the lowest allowed $J=I=1/2$ doublet represents the proton and neutron; the $J=I=3/2$ rotor state represents the Delta baryon resonance. A bosonic pion field can therefore describe fermionic baryons because the quantum wavefunction carries this nontrivial topological sign.

For nuclei, minimize the classical energy in a fixed baryon number sector, then quantize the permitted rotations, isospin rotations, and relevant vibrations or relative motions. The toroidal two-Skyrmion has a lowest nuclear state with $J=1,I=0$, identifying it with the deuteron. The cubic four-Skyrmion has an allowed $J=I=0$ state appropriate to the alpha particle. The rational map approximation for Skyrmions makes these intrinsic symmetries easier to construct, while collective-rotation constraints for a Skyrmion select allowed nuclear quantum numbers. A spin-zero state has rotationally invariant laboratory expectation values; a classical cubic intrinsic field should not be interpreted as a fixed cube visible in every orientation. Collective-coordinate quantization restores this distinction between intrinsic shape and a physical quantum state.

The nuclear force also has a mesonic interpretation. At large separation the tails of Skyrmions are weak pion fields; with nonzero mass their multipole falloff derives from derivatives of the Yukawa potential. Their interaction depends on relative orientation, and after quantization generates the familiar spin- and isospin-dependent pion-exchange structure of the nuclear force. Attractive channels allow several unit Skyrmions to form a lower-energy multi-Skyrmion. In nuclear language the positive nuclear binding energy is the difference between the separated nucleon masses and the mass of the quantized bound state, not just a count of topological units.

The limitations remain physical. The simplest Skyrme model retains only selected terms in a derivative expansion, and finite solitons probe gradients where omitted terms can matter. Its parameters require matching or calibration; predicted binding can be too strong, and masses, radii and spectra are not all fixed correctly by topology. Rotational quantization alone neglects quantum and vibrational corrections, especially when clustering or breakup channels are important. More general mesonic interactions, additional meson fields, and less restrictive classical ansätze can improve the description, but they introduce further low-energy information. The organizing relation is thereforeIt links underlying quark and gluon dynamics to a geometric, symmetry-based account of baryons and nuclei, while keeping the distinction between an effective approximation and a full derivation from QCD.

For positive $g$ in the perturbative regime, the sign of the renormalization-group beta function fixes the direction of flow. If ${\beta }_0>0$, then $g$ decreases when the renormalization scale increases: the theory exhibits asymptotic freedom. Toward low scales the interaction grows stronger, and its one-loop approximation reaches an infrared strong-coupling scale. This perturbative divergence does not by itself prove confinement.

If ${\beta }_0<0$, $g$ increases toward the ultraviolet and decreases toward the infrared: the one-loop flow is infrared free and has an ultraviolet Landau pole. Indeedwhose right side reaches zero at a finite ultraviolet scale for negative ${\beta }_0$. Beyond strong coupling this formula is not controlled. If ${\beta }_0=0$, the displayed one-loop term gives no running and higher orders decide the behavior; $g=0$ is a fixed point in all three cases.

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 $b>0$, the theory is asymptotically free: it is weakly coupled at high energies and strongly coupled in the infrared. For $b<0$, the coupling decreases toward the infrared but grows toward a finite ultraviolet Landau pole; such a theory is infrared free and requires an ultraviolet completion before that pole.

Using the supplied Dynkin indices and $p=N+4$, the one-loop beta function of a supersymmetric gauge theory isThus $b_0>0$ for every nontrivial $SU(N)$ in this family, and the electric theory is asymptotically free.

Asymptotic freedom means that the gauge running coupling tends to zero as the renormalization scale tends to infinity. In the stated convention this occurs when $b_0>0$, namelyThe high-energy theory then approaches the Gaussian fixed point and perturbation theory becomes increasingly accurate.

Theory. Quantum chromodynamics is a local, non-Abelian gauge theory with gauge group SU(3) acting on color charge. Its matter fields are spin-half quarks of six flavours, each in three colors; its eight massless spin-one gluons are the gauge fields. Unlike the neutral photon, gluons themselves carry gauge charge. Consequently there are three-gluon and four-gluon vertices as well as the quark-gluon vertex. A compact Lagrangian density iswhere $D_{\mu }$ is the gauge covariant derivative and the field strength contains the nonlinear term $g_s{f}^{abc}{G}_{\mu }^b{G}_{\nu }^c$.

The running coupling is weak at high momentum scales. At one loop, for $n_f$ active flavours,The positive coefficient $11-2n_f/3$ produces asymptotic freedom: short-distance, large-$Q$ processes admit perturbation theory. The gluon self-interaction is crucial to its sign. At low scales the coupling grows and isolated colored particles are not observed; the physical spectrum consists of color-singlet hadrons, the phenomenon of confinement. A hard-produced quark or gluon radiates and undergoes hadronization, giving a collimated jet. The one-loop formula is not valid at $Q\sim {\Lambda }_{\mathrm{QCD}}$ and is not, by itself, a mathematical proof of confinement.

Experimental tests. Different measurements test different ingredients of this account:

The convincing evidence is the quantitative consistency across these probes, with a common color group and coupling evolution. A jet by itself is evidence for a hard parton; its rates and correlations supply the more specific tests of quantum chromodynamics.^[ref]

For pure Yang-Mills theory with a compact simple gauge group and canonically normalized gauge field, the one-loop renormalization-group beta function is $\mu dg/d\mu =-11C_A{g}^3/[3(4\pi {)}^2]+O(g^5)$, where $C_A>0$ is the Casimir operator eigenvalue in the Adjoint representation. This coefficient includes the gauge-field and Faddeev-Popov ghost field loops; it is the standard pure-gauge input when adding matter-loop contributions. Its negative sign gives asymptotic freedom. Integrating the leading equation gives $g(\mu {)}^{-2}=g({\mu }_0{)}^{-2}+11C_A\log (\mu /{\mu }_0)/[24{\pi }^2]$, while perturbation theory is valid. Combining this term with the adjoint Dirac contribution to the Yang-Mills beta function gives the integer obstruction to one-loop marginality with adjoint Dirac fermions.

Quark-hadron duality is the correspondence, in suitable inclusive or averaged observables, between a quark-level description and a sum over hadronic states. Asymptotic freedom supports perturbative short-distance production, but sharp resonances and threshold regions can invalidate a pointwise partonic approximation. Inclusive predictions can have both radiative and nonperturbative corrections.

The strong interaction is the color interaction described by quantum chromodynamics. Quarks carry color charge, gluons mediate the interaction and also carry color themselves, and physical low-energy states organize into color-singlet hadrons.

At short distances, asymptotic freedom makes a perturbative treatment useful. At hadronic distances, confinement and strong collective dynamics require other methods. The binding of quarks into a proton and the residual interaction between nucleons in an atomic nucleus are related effects at different descriptive levels. The latter can be modeled using hadrons rather than pretending that a free gluon simply travels between two structureless nucleons. Scattering resolves the short-distance constituents, while hadron and nuclear spectra constrain their low-energy collective behavior.