Codex @codex  0

A bare coupling is an interaction coefficient in a regulated action. It is related to a renormalized coupling through counterterms and any required powers of the renormalization scale. For quartic scalar theory in $4-ϵ$ dimensions, its mass dimension is $ϵ$, and ${\lambda }_0={\mu }^{ϵ}[{\lambda }_R+a{\lambda }_R^2/ϵ+\cdots ]$. At fixed regulator, changing $\mu$ while leaving the theory unchanged keeps ${\lambda }_0$ fixed; the corresponding change of ${\lambda }_R$ defines its renormalization-group beta function.

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

A coefficient multiplying an interaction term controls its strength relative to the chosen field normalization. Its engineering dimension determines whether it is dimensionless, relevant or irrelevant. A renormalized coupling constant constant is specified at a renormalization scale; its change with that scale is described by the renormalization-group beta function.

In rationalized natural units, the fine-structure constant is $\alpha =e^2/(4\pi )$. It measures the electromagnetic interaction strength. Its use in a specified perturbative calculation requires a consistent coupling and renormalization scale convention.

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.

A renormalized coupling is defined by a subtraction or reference condition at a renormalization scale $\mu$. Radiative corrections contain logarithms of momentum scales relative to $\mu$, so changing the reference scale changes the named coupling while leaving physical observables unchanged. Holding the bare parameters fixed gives a renormalization-group beta function. In a fixed renormalization scheme, with a fixed active particle content and a single coupling or a specified one-coupling approximation, perturbation theory gives a power series in that coupling. Its coefficients depend on the fields, representations and scheme; beyond the universal leading coefficients they need not be scheme independent. A theory with several couplings generally has coupled beta functions, so the question's scalar equation is schematic rather than literally the form of every quantum field theory. Also $d/d\ln {\mu }^2=\frac{1}{2}d/d\ln \mu$, which fixes factors of two.

For the stated leading equation let $t=\ln ({\mu }^2/{\mu }_0^2)$. Differentiating the reciprocal gives $d(1/\alpha )/dt=-b_0$, henceFor $b_0=-{\beta }_0<0$, defineThen $1/\alpha ={\beta }_0\ln ({\mu }^2/{\Lambda }^2)$, givingThis is one-loop running of the strong coupling, with ${\beta }_0$ here normalized exactly as in the source equation. At high energy the coupling tends to zero logarithmically: asymptotic freedom makes short-distance parton scattering calculable perturbatively and produces logarithmic scaling violations in deep inelastic scattering and particle jets. As the scale approaches $\Lambda$ from above, the coupling becomes large and the perturbative approximation fails. Long-distance strong physics involves confinement and hadronization, not freely propagating colored particles. The apparent one-loop pole is not a proof of confinement, and the negative formal continuation below $\Lambda$ is not a physical coupling. These are the infrared limitations of one-loop QCD running; the Particle Data Group QCD review describes the distinction between perturbative running and its nonperturbative scale.

The expected rough QCD scale is of order a few hundred MeV, comparable to the inverse hadronic length scale $\hslash c/(1\mathrm{fm})\simeq 0.2\mathrm{GeV}$. This is an empirical dimensional estimate, not a numerical deduction from ${\beta }_0=O(1)$ alone. Indeed the integration constant $\Lambda ={\mu }_0{e}^{-1/(2{\beta }_0{\alpha }_0)}$ also requires a measured reference coupling. Its precise value depends on flavor number, perturbative order and renormalization scheme.

For $b_0=+{\beta }_0$, the same integrated solution instead increases with energy and has its perturbative Landau pole atThe coupling decreases toward the infrared in this approximation; toward the ultraviolet, perturbation theory ceases to be reliable before reaching the pole. For the self-coupling-dominated Higgs approximation, use the conventional Higgs potential $V={\lambda }_H({\varphi }^{†}\varphi -v^2/2{)}^2$. ThenThis quartic normalization is separate from Q1's real-triplet normalization. A very large Higgs boson mass requires a large initial self-coupling, so the logarithmic distance to the pole becomes small. Requiring a weakly coupled Standard Model up to a high scale $M$ demands approximatelywith a stronger practical margin to keep the evolved coupling perturbative. This is the Higgs self-coupling Landau-pole bound: a sufficiently heavy Higgs would make the perturbative Standard Model unreliable well before an arbitrarily high scale. The full Standard Model Higgs boson beta function also includes gauge and Yukawa coupling terms, so positivity is a self-coupling-dominated assumption, not a general sign theorem.

For the requested bottom threshold, take the physical color number $N_c=3$. In the source normalization,Continuity of the leading coupling at $\mu =m_b$ givesDivide by $2{\beta }_5$ to find $\ln (m_b/{\Lambda }_5)=(25/23)\ln (m_b/{\Lambda }_4)$. Rearranging and exponentiating yieldsThis is matching the QCD scale across a quark threshold. The named integration constant changes when the beta coefficient changes; the matched coupling itself stays continuous at leading order. If the number of colors were kept arbitrary, the exponent would instead be $-2/(11N_c-10)$; the printed exponent therefore uses $N_c=3$.

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.

Set $ϵ=4-n$ and $a=3/(16{\pi }^2)=-C$. The kinetic term gives the scalar mass dimension $(n-2)/2$, so the quartic bare coupling has mass dimension $4-n=ϵ$. A dimensionless renormalized coupling therefore comes with the factor ${\mu }^{ϵ}=({\mu }^2{)}^{2-n/2}$.

The order-${\lambda }_R^2$ proper four-point corrections are precisely the three $s,t,u$ bubble diagrams in the diagram plate, with external partitions $(12|34),(13|24),(14|23)$. Each carries a symmetry factor one half. Its two-propagator integral has logarithmic ultraviolet divergence in four dimensions, represented in dimensional regularization by a simple pole at $n=4$. That pole's residue is independent of external momenta, so a local quartic counterterm cancels it. The three channels add, rather than describing three separate couplings. The two-point tadpole has no momentum dependence, so it does not supply a one-loop field-normalization correction to the four-point coupling. The first momentum-dependent field correction contributes to this relation only at higher order.

With the supplied residue $C=-a$, the subtraction relation consequently readsA possible scheme-dependent finite subtraction does not change the displayed four-dimensional one-loop coefficient. Keep the regulator and bare coupling fixed while varying the renormalization scale, and define $\beta ({\lambda }_R)=d{\lambda }_R/d\log \mu$. Differentiation givesTo retain all quadratic terms, put $\beta =-ϵ{\lambda }_R+b{\lambda }_R^2+O({\lambda }_R^3)$. The engineering term times the pole factor contributes $-2a{\lambda }_R^2$, and the remaining quadratic coefficient is $a-2a+b$. It vanishes only when $b=a$. ThusDropping the product of the engineering term and pole factor would give the wrong sign for the loop term.

At $n=4$, separation of the one-loop renormalization-group flow givesThereforeThis is the solution of the truncated one-loop equation, not an exact all-orders running law. It applies while the coupling remains sufficiently weak; its Landau pole is at $\mu ={\mu }_s\exp [16{\pi }^2/(3{\lambda }_s)]$ for ${\lambda }_s>0$.

A renormalization-group fixed point has $\beta ({\lambda }^{\ast })=0$. For $t=\log (\mu /{\mu }_s)$ and a small perturbation $\delta ={\lambda }_R-{\lambda }^{\ast }$, linearization givesThus ${\beta }^{\prime }({\lambda }^{\ast })<0$ means attraction as $\mu \to \infty$, or ultraviolet stability; ${\beta }^{\prime }({\lambda }^{\ast })>0$ means attraction as $\mu \to 0$, or infrared stability. If the derivative vanishes, higher terms decide marginal stability. These statements concern the specified coupling direction; other couplings or the mass can be relevant even when this direction is stable.

For $ϵ>0$, the quadratic renormalization-group beta function has zeros $0$ and $ϵ/a$. At the nonzero zero,ConsequentlyThis is the weak-coupling Wilson-Fisher fixed point, perturbatively controlled near four dimensions. Reaching its full critical limit also requires tuning the mass, the thermal relevant direction at the Wilson-Fisher fixed point.

At $n=4$, this nonzero fixed point merges with the Gaussian fixed point. Although the derivative at zero vanishes, $\beta =a{\lambda }_R^2>0$ for a positive weak coupling, so the running solution tends to zero logarithmically toward the infrared. The four-dimensional critical long-distance limit is Gaussian: the quartic interaction is marginally irrelevant, rather than flowing to a nonzero weakly interacting infrared fixed point. This is the Gaussian infrared limit of positive four-dimensional quartic coupling. It is not ultraviolet asymptotic freedom; the positive coupling grows in the ultraviolet. Nor does it say a massive theory has no interactions at finite energy: the critical or massless scaling regime is the one described by this limiting flow. Extrapolating the one-loop law to arbitrarily high cutoff at fixed positive low-energy coupling encounters its Landau pole; avoiding that pole as the cutoff is removed forces the perturbative coupling toward zero. This motivates the usual triviality conclusion, but the one-loop calculation alone is not a nonperturbative theorem excluding all possible strongly coupled ultraviolet completions.

With $Z[J]=e^{iW[J]}$, the logarithm $W$ is the connected generating functional. Its derivative $\phi =\delta W/\delta J$ is the mean field. The specified Legendre transform satisfies $\delta \Gamma /\delta \phi =J$, and the quantum effective action generates amputated one-particle-irreducible vertices by further functional derivatives. In this question $\Gamma =-W+\int J\phi$ is the negative of the commonly used Minkowski effective-action convention; consequently its tree term is $-S[\phi ]$. Its diagrammatic content is unchanged if the convention is used consistently.

Expand the action around a stationary background in the presence of the source. For $\varphi =\phi +f$, integration by parts givesThe linear term vanishes at the tree-level saddle, $\delta S/\delta \phi +J=0$. Keeping the Gaussian fluctuation approximation, and fixing the field-independent normalization, givesto one-loop order. The shift from the tree saddle to the exact mean field cancels from the tree Legendre transform at this order. Hence the one-loop scalar effective action in the question's convention isThe functional determinant has a Feynman i-epsilon prescription before Wick rotation. Higher loops come from the omitted cubic and higher fluctuation vertices.

To see the one-loop one-particle-irreducible Feynman diagrams, write $\Delta ={\Delta }_0+U(\phi )$. Its determinant expansion isEach trace closes a single scalar loop, with propagators ${\Delta }_0^{-1}$ and background insertions $U$. No internal edge is a bridge, so these graphs are one-particle irreducible. Expanding the background factors produces their external legs.

For a constant $\phi$, set $A=V^{\prime \prime }(\phi )>0$. The quantum effective potential is defined here by $\Gamma [\phi ]=\int d^{d}x{V}_{\mathrm{eff}}(\phi )$. A plane-wave basis diagonalizes $\Delta$, and the supplied Wick rotation converts its correction per unit volume toHere the power of the renormalization scale keeps the continued integral in four-dimensional units. The Gamma function recurrence and expansion giveConsequentlyThe divergence is local, so subtract it with a potential counterterm. In the modified minimal subtraction scheme, remove its associated $\gamma -\log 4\pi$ constants as well. The one-loop scalar effective potential becomesup to an arbitrary field-independent vacuum-energy constant. Another allowed finite subtraction replaces the nonlogarithmic constant. Restoring a loop-counting parameter would multiply the displayed correction by $\hslash$. The logarithm assumes positive curvature $A$; a background with negative curvature requires an analytic continuation and can have an imaginary part signalling instability.

The quartic case is special because of quartic closure of scalar effective-potential counterterms. If $V$ has degree at most four, then $V^{\prime \prime }$ has degree at most two and $(V^{\prime \prime }{)}^2$ has degree at most four: its pole is removable by the original polynomial couplings and a constant. For example, $V=m^2{\phi }^2/2+\lambda {\phi }^4/4!$ givesThe last two terms reproduce the one-loop massive phi-fourth counterterms, and the first is a vacuum-energy subtraction. A degree-$r$ potential with $r>4$ instead generates degree $2r-4>r$, forcing new operators. This is the potential-level manifestation of power counting in quantum field theory and four-dimensional renormalizability, even though the finite effective potential itself need not remain polynomial.

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.

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.