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.

The beta function of a coupling $g$ isIt describes how the running coupling changes when the renormalization scale changes.

For fixed external momenta, the massless Callan-Symanzik equation is $(\mu {\partial }_{\mu }+\beta (\lambda ){\partial }_{\lambda }+n{\gamma }_{\varphi })G_n=0$. Choose a running coupling satisfying $d\lambda /d\log \mu =\beta (\lambda )$ and $\lambda ({\mu }_0)={\lambda }_0$. The chain rule reduces the equation along this curve to $d{G}_n/d\log \mu =-n{\gamma }_{\varphi }{G}_n$, whose integrating factor gives the displayed solution. The reference correlation function at ${\mu }_0$ supplies boundary data; the renormalization group alone does not determine these data.

If $\beta =b{\lambda }^2$, then $\lambda (\mu )={\lambda }_0/[1-b{\lambda }_0\log (\mu /{\mu }_0)]$. If in addition the anomalous dimension is ${\gamma }_{\varphi }=c{\lambda }^2$, the integral in the exponent is $(c/b)(\lambda (\mu )-{\lambda }_0)$. These formulas use the stipulated truncated renormalization group functions and apply on a branch on which the running solution remains defined.

In $d=4-ϵ$, the quartic scalar coupling has engineering dimension $ϵ$. Factoring out ${\mu }^{ϵ}$ makes the renormalized running coupling dimensionless. Differentiating its bare expression at fixed bare parameters generates the linear term $-ϵ\lambda$, even when the quantum contribution to the renormalization-group beta function begins quadratically. The simple-pole formulas for minimal-subtraction renormalization group functions determine the remaining contribution from the simple pole of $F$.

In the self-coupling-dominated approximation $d{\alpha }_H/d\ln {\mu }^2=b{\alpha }_H^2$, $b>0$, the running coupling reaches a perturbative Landau pole at the displayed scale. With the conventional Higgs potential, $m_H^2=2{\lambda }_H{v}^2$ and one can normalize ${\alpha }_H={\lambda }_H/(4\pi )$. A larger Higgs boson mass therefore decreases the logarithmic interval before the self-coupling becomes strong. Requiring perturbative validity up to a fixed high cutoff gives an upper Higgs-mass bound in this approximation. The full Standard Model beta function also contains gauge and Yukawa couplings; its sign is not universally positive. A perturbative pole is not a theorem excluding every nonperturbative ultraviolet completion.

For positive ${\beta }_0$, the one-loop running coupling tends to zero at high energy and grows as energy decreases. Near the strong-coupling scale, omitted perturbative terms cease to be small; the apparent infrared pole is not a controlled prediction of a physical infinity. Continuing the algebraic formula below $\Lambda$ gives a negative coupling and is not a valid physical continuation. Confinement and hadron formation are nonperturbative phenomena, not a theorem proved by this one-loop pole. The integration constant obeys $\Lambda ={\mu }_0\exp [-1/(2{\beta }_0{\alpha }_0)]$, so an order-one coefficient alone cannot determine an absolute mass scale; a reference coupling or empirical input is also necessary.

For $\beta =-b{g}^3$ and $\gamma =c{g}^2$, integrate the running coupling equation and then the anomalous-dimension multiplier. The correlator correction grows as a power $c/b$ of the logarithm of energy, rather than as a fixed power of energy. Higher perturbative orders change subleading terms while retaining this leading logarithmic exponent.

A loop integral in a theory with dimensionless classical couplings can contain a logarithmic ultraviolet divergence. After subtraction, an expression such as $\log (-p^2/{\mu }^2)$ remains; one must specify the momentum scale at which the measured or renormalized coupling is fixed. A logarithm of a dimensionful momentum alone is not meaningful. In dimensional regularization, the same necessity appears through ${\lambda }_{\mathrm{bare}}={\mu }^{d_{\lambda }}{Z}_{\lambda }\lambda (\mu )$ in the continued dimension, with $d_{\lambda }$ tending to zero in the physical dimension.

Thus the renormalization prescription introduces an arbitrary renormalization scale, even when no mass or length occurs in the classical action. Physical quantities cannot depend on its arbitrary choice: explicit logarithms cancel the implicit change of the running coupling, governed by $\mu d\lambda /d\mu =\beta (\lambda )$. A nonzero renormalization-group beta function is a quantum scale anomaly. An integration constant may encode the same data as a dimensionful scale, which is dimensional transmutation. The scale labels a renormalization condition, not a new arbitrary measurable parameter. At a true fixed point the coupling need not run; the use of a subtraction scale is then a convention rather than an intrinsic generated physical scale.

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.

A renormalized coupling is specified by a renormalization condition at an auxiliary momentum scale $\mu$. Loop corrections contain logarithms of momentum ratios; changing that scale changes the part called the coupling and the part left in the explicit loop correction. The bare theory and exact physical amplitudes do not change. This is the meaning of a running coupling, rather than an actual dependence of a physical observable on an arbitrary prescription.

For the dimensionless gauge coupling relevant here, the one-loop vertex and wave-function corrections shift $g$ at order $g^3$. For example a regulated relation has the schematic formDifferentiating at fixed bare parameters gives $dg/d\ln {\mu }^2=a{g}^3+O(g^5)$, or $\mu dg/d\mu =c{g}^3+O(g^5)$ with $c=2a$. The gauge-coupling beta function in logarithmic squared scale follows by the chain rule:Here $\alpha =g^2/(4\pi )$. The reality of the coefficient reflects the real renormalization of a real gauge coupling. The leading cubic power for $g$ is a gauge-coupling statement, not a universal rule for every type of coupling in every quantum field theory.

At one loop, separate variables or differentiate the inverse coupling:When $b_0=-{\beta }_0<0$, define the strong-coupling scale byLogarithms of dimensionful scales here use the same fixed units; the equivalent ratio equation $\ln ({\mu }_0^2/{\Lambda }^2)=1/({\beta }_0{\alpha }_0)$ is dimensionless. The one-loop running of the strong coupling is thereforeThis trades a dimensionless reference coupling for a dimensionful integration constant, an example of dimensional transmutation.

As ${\mu }^2\to \infty$, the coupling decreases logarithmically to zero: asymptotic freedom makes short-distance strong-interaction processes perturbatively accessible. As $\mu$ decreases toward $\Lambda$ from above, the coupling grows, and omitted higher orders become important before the formal pole. These are the infrared limitations of one-loop QCD running. The pole is not a trustworthy prediction of an infinite physical interaction, and continuation below $\Lambda$ to negative $\alpha$ is invalid. Low-energy QCD instead needs nonperturbative descriptions of confinement, hadrons and related dynamics; the one-loop pole alone does not prove confinement. This interpretation and the dependence of $\Lambda$ on the running prescription are explained in the QCD review, section 9.1.1.

Physically the QCD scale is of hadronic order, conventionally a few hundred MeV rather than an electroweak mass. However, ${\beta }_0=O(1)$ alone cannot determine any absolute mass: ${\mu }_0$ and ${\alpha }_0$ or an empirical reference are also necessary. The exponential relation shows how a much smaller scale can arise; for illustrative inputs ${\mu }_0=100\mathrm{GeV}$, ${\alpha }_0=0.12$ and ${\beta }_0=0.6$, it gives $\Lambda \simeq 0.096\mathrm{GeV}$. Different flavour counts, schemes and perturbative orders change the numerical value, so this is an order-of-magnitude illustration, not a parameter-free prediction.

In the Standard Model, $N=3$ and the six quark flavours are $u,d,s,c,b,t$. Above all six thresholds the supplied coefficient givesThe count is six Dirac flavours, not eighteen colour states or twelve Weyl fields. In lower-energy effective theories the active flavour count changes: near the bottom threshold ${\beta }_0^{(5)}=23/(12\pi )$ and ${\beta }_0^{(4)}=25/(12\pi )$; below charm the three-flavour value is $9/(4\pi )$.

For matching the QCD scale across a quark threshold, impose the leading-order continuity at $\mu =m_b$:Thus $\ln (m_b/{\Lambda }_5)=(25/23)\ln (m_b/{\Lambda }_4)$, and exponentiation givesThe five- and four-flavour expressions apply on the respective sides near this threshold, before the next heavy-flavour threshold is crossed. The matched coupling is continuous at the order being used even though its one-loop slope changes. Higher-order decoupling corrections modify the matching beyond the question's approximation.

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.

Write $t=\log \mu$ and use ${\alpha }_i=g_i^2/(4\pi )$. The renormalization-group beta function impliesIntegrating the one-loop running coupling equation givesHere the sign of ${\beta }_i$ is the sign convention in the question: a negative coefficient makes the inverse coupling increase towards high energy.

For gauge coupling unification, let $L=\log (M_{\mathrm{GUT}}/M_Z)/(2\pi )$ and let $a_G$ be the common inverse coupling at the unification scale. The normalized hypercharge coupling is $(5/3){\alpha }_1$, soSubtract the second relation from the first to determine $L$, then subtract it from the third. Provided $3{\beta }_1/5-{\beta }_2\ne 0$, this provesThe factors $3/5$ belong to the inverse normalized coupling; dropping them changes the prediction.

Use the Standard Model gauge group $SU(3{)}_C\times SU(2{)}_L\times U(1{)}_Y$ and convention $Q=T_3+Y$. One fermion family and one complex Higgs doublet have the following Standard Model representations. The left-handed quark and lepton doublets contain two Weyl spinors each; the right-handed fields are single Weyl species.The row $u_R$ denotes the right-handed up quark. Equivalently an all-left-handed table replaces the three right-handed fields by $u_R^c:(\overline{3},1{)}_{-2/3}$, $d_R^c:(\overline{3},1{)}_{1/3}$, and $e_R^c:(1,1{)}_1$; these are alternative descriptions, not extra fermions. The minimal model has no right-handed neutrino. For completeness, the family-independent gauge fields are the spin-one gluons $(8,1{)}_0$, weak gauge bosons $(1,3{)}_0$, and hypercharge gauge boson $(1,1{)}_0$; they are not counted once per family.

For the Standard Model one-loop gauge coefficients, include three fermion families and one Higgs doublet. With $T(\mathbf{N})=1/2$, the colour Dynkin index sum in one family isThe first factor two counts the two members of $Q_L$; the colour trace is already included in the Dynkin index. There is no coloured scalar. HenceFor $SU(2{)}_L$, the three colours of $Q_L$ and the lepton doublet give $3(1/2)+1/2=2$ per family. The Higgs contributes $T_2(\varphi )=1/2$. ThusFor $U(1{)}_Y$, sum squared hypercharges over every colour and doublet component. One family contributesThe two complex Higgs components contribute $2(1/2{)}^2=1/2$. There is no Abelian gauge self-interaction term, soThis ${\beta }_1$ is for the unnormalized coupling $g_Y$ used in the question. For $g_1^{\mathrm{GUT}}=\sqrt{5/3}{g}_Y$, the corresponding coefficient is $(3/5){\beta }_1=41/10$. This distinction is required for a consistent unification calculation.

Let ${\varphi }_B=Z_{\varphi }^{1/2}\varphi$ define the renormalized field in Phi-fourth theory. For an $n$-point correlation function, with no composite operator insertions, this impliesThe bare correlation function is independent of the arbitrary renormalization scale $\mu$ when the bare parameters and external momenta are fixed. DefineThe definitions of the running mass and wave-function renormalization functions specify their signs and the factor of two. Differentiating $Z_{\varphi }^{n/2}{G}_n$ using the chain rule yields the Callan–Symanzik equationHere ${\hat{\beta }}_{\lambda }$ denotes the renormalization-group beta function itself, not the function multiplied by an additional $\lambda$. The Callan-Symanzik equation concerns dependence on the arbitrary reference scale, with the displayed external momenta kept fixed.

For the minimal subtraction scheme in dimensional regularization, writeso ${\lambda }_B={\mu }^{ϵ}F$ and $m_B^2=m^{2}H$. The ${\mu }^{ϵ}$ factor gives the engineering contribution $-ϵ\lambda$ to the renormalization-group beta function. Put ${\hat{\beta }}_{\lambda }=-ϵ\lambda +{\beta }_{\lambda }$. Scale independence of the bare coupling then givesThe coefficient of ${ϵ}^0$ is $f_1-\lambda f_1^{\prime }+{\beta }_{\lambda }$. Its vanishing proves the first of the simple-pole formulas for minimal-subtraction renormalization group functions:The coefficients of ${ϵ}^{-k}$, $k\ge 1$, also vanish and impose $(\lambda {\partial }_{\lambda }-1)f_{k+1}={\beta }_{\lambda }{f}_k^{\prime }$. These relations explain how the higher poles are consistent with a finite renormalization-group beta function.

For the mass, differentiate the second bare-parameter relation:Its finite coefficient is ${\gamma }_{m^2}-\lambda b_1^{\prime }$. ThereforeThe higher poles impose $\lambda b_{k+1}^{\prime }={\gamma }_{m^2}{b}_k+{\beta }_{\lambda }{b}_k^{\prime }$. The formulas for the running mass and renormalization-group beta function thus follow directly from bare-parameter independence rather than from an identification with diagram coefficients by name.

At the specified loop order, $f_1=3{\lambda }^2/(16{\pi }^2)$ and $b_1=\lambda /(16{\pi }^2)$. There is no wave-function renormalization at this order. HenceThe regulated renormalization-group beta function is ${\hat{\beta }}_{\lambda }=-ϵ\lambda +3{\lambda }^2/(16{\pi }^2)+O({\lambda }^3)$; after removing the regulator, ${\hat{\beta }}_{\lambda }={\beta }_{\lambda }$.

Now take $m^2=0$ and the four-dimensional limit. This massless surface is preserved since $\mu d{m}^2/d\mu =m^2{\gamma }_{m^2}$. Set $b=3/(16{\pi }^2)$, choose a reference scale ${\mu }_0$, and define the running coupling byDifferentiating $1/\lambda$ gives $d(1/\lambda )/d\log \mu =-b$, soThe zero-coupling solution is obtained by continuity. At one-loop accuracy ${\gamma }_{\varphi }=0$, and the chain rule turns the massless Callan-Symanzik equation intoThus the one-loop solution along a running-coupling trajectory isFor a prescribed endpoint coupling $\lambda$, substitute ${\lambda }_0=\lambda /[1+b\lambda \log (\mu /{\mu }_0)]$ on the right. The reference correlation function supplies arbitrary boundary data; the Callan-Symanzik equation determines their scale evolution, not their full momentum dependence. The running coupling formula is used on a branch on which its denominator is nonzero and the retained perturbative approximation is appropriate.

If one keeps $ϵ\ne 0$, the same characteristic calculation uses $d\lambda /d\log \mu =-ϵ\lambda +b{\lambda }^2$. Writing $r=\mu /{\mu }_0$ gives $\lambda (\mu )={\lambda }_0{r}^{-ϵ}/[1-(b{\lambda }_0/ϵ)(1-r^{-ϵ})]$, which tends to the displayed four-dimensional result as $ϵ\to 0$.

With a nonzero anomalous dimension, the characteristic equation instead reads $d{G}_n/d\log \mu =-n{\gamma }_{\varphi }(\lambda (\mu ))G_n$. Integration proves the characteristic solution of the massless Callan-Symanzik equation:For the stipulated ${\gamma }_{\varphi }=c{\lambda }^2$ and the same one-loop renormalization-group beta function, change variables using $d\log \nu =d\lambda /(b{\lambda }^2)$. The exponent's integral becomes $(c/b)(\lambda (\mu )-{\lambda }_0)$. Therefore the modified explicit solution isEquivalently its multiplicative factor is $\exp [-nc{\lambda }_0^2\log r/(1-b{\lambda }_0\log r)]$. This solves the equation with the stated truncated renormalization-group beta function and anomalous dimension; it does not introduce additional higher-order coefficients that were not specified.

Use $\hslash =c=1$ and normalize the interaction of quartic scalar field theory as $\lambda {\varphi }^4/4!$. For a renormalized $n$-point connected correlation function, adopt ${\varphi }_B=Z_{\varphi }^{1/2}{\varphi }_R$ and ${\gamma }_{\varphi }=\frac{1}{2}\mu d\log Z_{\varphi }/d\mu$. Independence of bare quantities from the renormalization scale gives the Callan-Symanzik equationwhere $\beta =\mu d\lambda /d\mu$ and ${\gamma }_{m^2}=\mu d\log m^2/d\mu$, with bare parameters fixed. A convention using proper vertices reverses the field-normalization term, so the choice of Green's function must be stated.

Solve it by characteristics: set $\mu (s)={\mu }_0{e}^s$, $d\lambda (s)/ds=\beta (\lambda (s))$, and $d\log m^2(s)/ds={\gamma }_{m^2}(\lambda (s))$. At fixed external momenta,This is the characteristic solution of the multiplicative Callan-Symanzik equation. If the field anomalous dimension vanishes, the function is constant along the running-parameter characteristics. At a massless fixed point with constant anomalous dimension, the normalization factor is a power of $\mu /{\mu }_0$. Choosing the scale close to a characteristic external momentum avoids large perturbative logarithms.

For the supplied minimal subtraction scheme relation in dimensional regularization with $d=4-ϵ$, let $a=3/(16{\pi }^2)$ and write ${\lambda }_B={\mu }^{ϵ}[\lambda +a{\lambda }^2/ϵ+O({\lambda }^3)]$. Differentiating at fixed bare coupling givesA consistent expansion yields $\beta =-ϵ\lambda +a{\lambda }^2+O({\lambda }^3)$. The $-ϵ\lambda$ term must be retained while it multiplies the pole; setting $ϵ=0$ prematurely loses the finite result. In four dimensions the one-loop quartic scalar beta function isThe one-loop two-point diagram is a momentum-independent tadpole diagram, so there is no field wavefunction renormalization at this order and ${\gamma }_{\varphi }=O({\lambda }^2)$. Differentiating the supplied bare-mass relation in the same way gives ${\gamma }_{m^2}=\lambda /(16{\pi }^2)+O({\lambda }^2)$.

Integrating $d\lambda /d\log \mu =a{\lambda }^2$ gives the running couplingFor positive coupling it grows toward the ultraviolet and decreases toward the infrared: the theory is not asymptotically free. Its one-loop Landau pole lies at ${\mu }_L={\mu }_0\exp [16{\pi }^2/(3\lambda ({\mu }_0))]$. Perturbation theory fails before reaching that pole, so the pole in this approximation alone does not prove the existence of an exact physical divergence. The corresponding one-loop running mass satisfiesIt follows from $d\log m^2/d\lambda =1/(3\lambda )$. The mass-independent subtraction scheme keeps these beta functions independent of the mass; physical low-energy matching can still require threshold treatment. Running parameters resum the leading logarithms within the regime of small coupling.

Loop integrals require a subtraction prescription. Even when the classical coupling constant is dimensionless and there is no mass, specifying its renormalized value means specifying a momentum or length scale at which it is measured. Dimensionless logarithms then involve that renormalization scale $\mu$. Changing $\mu$ changes the renormalized coupling constant and wave-function renormalization while leaving bare quantities fixed. In a theory whose renormalization-group beta function and anomalous dimension both vanish, this scale dependence may disappear; the generic statement concerns the interacting renormalized theory.