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 following scalar toy isolates one step in renormalization: removing a local divergence while retaining a finite dependence on a physical mass. For $M,\mu >0$ and a sharp cutoff regularization in Euclidean space with momentum bound $\Lambda$, define the dimensionless Feynman integralThis is a zero-external-momentum scalar bubble integral stripped of coupling and combinatorial factors. Using the three-sphere area $2{\pi }^2$ and $t=k_E^2$ reduces the integral toThe antiderivative follows by writing $t=(t+M^2)-M^2$. At large $\Lambda$ the divergent part is $\log {\Lambda }^2/(16{\pi }^2)$, with the logarithm's dimensionful argument understood only within the displayed ratios. It has no external-momentum dependence. In a four-scalar-field vertex this structure can therefore be removed by a local operator proportional to ${\varphi }^4$, rather than a momentum-dependent nonlocal interaction.

Choose the fixed reference mass $\mu$ and subtract $I_{\Lambda }(\mu )$. If the loop contribution to a chosen four-point vertex coefficient is $c{\lambda }^2{I}_{\Lambda }(M)$, choose the additive counterterm in that same coefficient as $\delta {\lambda }_{\Lambda }=-c{\lambda }^2{I}_{\Lambda }(\mu )$, where $c$ includes its stated diagram factors. This defines a finite subtraction prescription:The renormalization condition for this toy loop contribution is $I_R(\mu ;\mu )=0$. The reference mass stays fixed when $M$ is varied; finite dependence on $M$ survives. A different finite subtraction changes the renormalization scheme, and the defined renormalized coupling must change consistently.

For $M=2\mu$, the limiting result is $16{\pi }^2{I}_R=-\log 4\approx -1.38629436$. At $\Lambda =10\mu$, the exact regulated difference is about $-1.32846343$; at $\Lambda =100\mu$, it is about $-1.38569459$. Expanding the exact expression gives the leading residual $2(M^2-{\mu }^2)/{\Lambda }^2$ in $16{\pi }^2[I_{\Lambda }(M)-I_{\Lambda }(\mu )]$. This explicitly separates finite-cutoff error from the chosen finite renormalization condition.

A sharp cutoff regularization is convenient for this scalar demonstration, but shifts of a divergent loop momentum can change its integration domain. A gauge theory calculation cannot assume that it preserves the Ward identities. The toy contains no interacting gauge bosons, ghost loops or overlapping ultraviolet subdivergences, so its successful subtraction does not prove Non-Abelian gauge theory renormalizability.

Let ${\varphi }_0=\sqrt{Z_2}\varphi$, $A_{0\mu }=\sqrt{Z_3}{A}_{\mu }$, and define the renormalized coupling by $e_0=e_D{Z}_1/(Z_2\sqrt{Z_3})$. Write $Z_2{m}_0^2=m^2+\delta m^2$ and $Z_2^2{\lambda }_0={\mu }^{ϵ}(\lambda +\delta \lambda )$. The complete renormalized Lagrangian density, with its counterterms already included, isSeparating off the classical renormalized terms leaves the counterterm LagrangianThe seagull vertex factor is thus $2i{e}_D^2{Z}_4{g}^{\mu \nu }$. The bare covariant derivative fixes $Z_4=Z_1^2/Z_2$, rather than supplying an unrelated fourth charge parameter. The scalar QED Ward identity, for a symmetry-preserving regularization, gives $Z_1=Z_2$ and hence $Z_4=Z_2$.

For an invertible quadratic gauge field operator, also include ${\mathcal{L}}_{\mathrm{gf}}=-(\partial \cdot A{)}^2/(2\xi )$. One may choose ${\xi }_0=Z_3\xi$, so this term needs no independent counterterm. The strict transverse limit is $\xi \to 0$. Even if the renormalized quartic coupling is set to zero at one scale, its counterterm need not vanish: photon graphs generate a four-scalar interaction. The renormalized Lagrangian density must retain this allowed operator.

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$.

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.

It is convenient to evaluate the one-particle irreducible vertices using the Euclidean action and then translate the counterterms back to the Minkowski spacetime Lagrangian density. For the tadpole integral, analytic continuation of solution givesIndeed $\Gamma (-1+ϵ/2)=\Gamma (ϵ/2)/(ϵ/2-1)=-2/ϵ+O(1)$. The negative pole is a property of analytic continuation, not the value of a convergent positive integral.

The Euclidean space inverse two-point vertex has the one-loop correctionThe factor $1/2$ is the symmetry factor weight of the tadpole diagram. A mass counterterm $\delta m^2={\lambda }_0{m}^2/(16{\pi }^2ϵ)$ cancels this pole. There is no momentum-dependent pole at this order, and hence no one-loop wave-function renormalization.

For the four-point vertex, the three bubble diagrams giveOne can check the relative minus sign independently from the one-loop effective action: its $\frac{1}{2}\mathrm{Tr}\log (1+G{\lambda }_0{\varphi }^2/2)$ term has a positive term linear in ${\lambda }_0{\varphi }^2$ and a negative term quadratic in it. Thus $\delta \lambda =3{\lambda }_0^2/(16{\pi }^2ϵ)$ cancels the quartic pole.

In the Euclidean action, these two counterterms are $+\delta m^2{\varphi }^2/2+\delta \lambda {\varphi }^4/4!$. Returning to the Minkowski spacetime Lagrangian density givesFor a direct sign check with Feynman rules, the two amputated loop pole insertions are $+i{\lambda }_0{m}^2/(16{\pi }^2ϵ)$ and $+i3{\lambda }_0^2/(16{\pi }^2ϵ)$, while the counterterm insertions are $-i\delta m^2$ and $-i\delta \lambda$.

As usual, the displayed pole residues suppress renormalization scale powers: $[{\lambda }_0]=ϵ$ away from four dimensions. The next part restores these powers explicitly with a dimensionless renormalized coupling. Replacing the tree coupling by its renormalized counterpart inside a one-loop residue changes only higher-loop terms.

Because the quartic coupling constant has mass dimension $ϵ=4-D$, introduce a renormalization scale $\mu$ and define the dimensionless renormalized coupling $g$ by minimal subtraction scheme:Here ${\lambda }_0$ is the fixed bare coupling constant. Equivalently the tree-level quartic term is $-{\mu }^{ϵ}g{\varphi }^4/4!$, and its one-loop counterterm is $-{\mu }^{ϵ}3g^2{\varphi }^4/(16{\pi }^2ϵ4!)$. This states explicitly the scale convention implicit in solution.

Put $a=3/(16{\pi }^2)$. Differentiating the bare relation at fixed ${\lambda }_0$ givesWrite $\hat{\beta }=-ϵg+b{g}^2+O(g^3)$. The coefficient of $g^2$ in the last identity is $a+b-2a$, so $b=a$. ThereforeThe first term is the engineering term in a dimensionally continued beta function. In four dimensions it disappears, leaving the positive one-loop quartic scalar beta function $3g^2/(16{\pi }^2)$. Thus the renormalized coupling increases with increasing renormalization scale near weak positive coupling. This quantum running is the obstruction to extending the classical scale invariance in solution to the interacting quantum theory.

Retain the specified leading poles and write $A=a_1/ϵ$, $B=b_1/{ϵ}^2$. Solving $g=g_0+A{g}_0^2+B{g}_0^3$ recursively givesThe scale derivative must again be reexpressed in the renormalized coupling:The leading-pole consistency under coupling reparametrization shows that a finite renormalization-group beta function requires the two-loop double-pole consistency conditionThe leading two-loop pole is fixed by the one-loop simple pole; it is not an independent parameter. This is an instance of the simple-pole formulas for minimal-subtraction renormalization group functions and their higher-pole consistency relations.

The source's leading-pole truncation does not fix the finite two-loop coefficient of the beta function. For example, adding the omitted term $c_1{g}_0^3/ϵ$ leaves the double-pole condition unchanged but contributes $-2c_1{g}^3$ to the finite beta function. Thus cancelling the displayed $1/ϵ$ term is not a claim that the physical two-loop running vanishes.

Use mass dimensions with $[x]=-1$, $[{\partial }_{\mu }]=1$ and dimensionless action. The Lagrangian density in Euclidean space has dimension $D$, and the kinetic term fixes $2+2[{\varphi }_0]=D$. ThusA dimensionless coupling constant is thereforeHere $\mu$ is a positive regularization scale with mass dimension one. The interaction is marginal at its upper critical dimension $D_c=2k/(k-1)$, relevant below it and irrelevant above it by this engineering-dimension test. In particular, $d_2=4-D$, while $d_k=4-2k+2(k-1)ϵ$ near $D=4-2ϵ$. At this stage $g_{2k}$ is the dimensionless version of the displayed bare coupling; after introducing counterterms one may use the same scale factor for the renormalized coupling.

A phi-fourth theory interaction has mass dimension $4-D$, so its bare coefficient must contain a renormalization scale factor ${\mu }^{4-D}=({\mu }^2{)}^{2-D/2}$ when expressed through a dimensionless renormalized coupling. The tree-level four-leg interaction vertex is linear in that coupling. At the next order, two quartic vertices form the three one-loop bubble diagram graphs shown in c, with external pairings $12|34$, $13|24$ and $14|23$.

For each pairing there are two identical internal lines and Feynman-diagram symmetry factor 2. The loop integral has the large-momentum behaviourIt is logarithmically divergent in four dimensions. Dimensional regularization represents that local divergence by a simple pole proportional to $1/(D-4)$. Its residue is independent of external momenta, so a local quartic counterterm cancels it. The three graphs sum to one constant coefficient; this argument establishes its structure without requiring its value.

The relation consequently has the formThe sign of $C$ incorporates the chosen pole denominator and vertex convention. In particular, a negative $C$ here corresponds to a positive coefficient of $1/(4-D)$ in the bare coupling. Finite pieces depend on the renormalization scheme; a pure-pole relation is natural in minimal subtraction scheme. One-loop two-point tadpole diagrams contribute mass renormalization, but not the momentum-dependent field renormalization that could change this coupling relation at order $g^2$. The four-point object relevant here is the amputated one-particle-irreducible vertex; external-leg self-energy insertions are dealt with separately.

Renormalization of spontaneously broken gauge theories means that the Higgs mechanism can generate gauge boson masses while a fixed finite set of renormalized couplings, masses and field normalizations still suffices to absorb ultraviolet divergences. The symmetry constrains the counterterms even when the chosen vacuum expectation value hides it. This makes radiative corrections to the electroweak interaction calculable after inputs have been fixed by renormalization conditions.

A useful distinction is between choosing variables that display the physical particles and choosing variables that display good power counting. Unitary gauge removes the would-be Goldstone bosons from the explicit fields. R-xi gauge keeps them and the required Faddeev-Popov ghosts in intermediate Feynman diagrams, exposing simpler large-momentum behavior. The physical scattering amplitude must agree after all contributions and counterterms have been included consistently.

In Renormalizable Lagrangians for massive Yang-Mills fields (1971), Gerard 't Hooft constructed spontaneously broken gauge theories with massive gauge bosons. His worked SU(2) gauge theory with an adjoint Higgs field leaves a massless photon; it is a demonstration model, not the full chiral Standard Model. The gauge fixing, Faddeev-Popov ghosts and Ward identities connect renormalizability with physical unitarity.^[ref]

Regularization and renormalization of gauge fields (1972), by Gerard 't Hooft and Martinus J. G. Veltman, developed dimensional regularization with recursive subtraction of ultraviolet subdivergences. It continued Feynman integrals in the dimension, keeping the relevant Ward identities in non-anomalous cases; its final section examined quantum anomalies. The procedure does not make an inconsistent chiral gauge theory consistent: gauge anomaly cancellation remains essential.^[ref]

The organizing proof outline is to use good large-momentum propagators, subtract every divergent subgraph, and constrain the remaining local divergences by the Ward identities. A finite family of allowed counterterms must close under this operation at every loop order. The same identities must remove unphysical intermediate contributions from physical amplitudes. Power counting alone establishes neither closure nor these cancellations. Modern BRST symmetry packages these restrictions; the scalar subtraction below illustrates only locality.

A choice of renormalization conditions and finite counterterms defines a renormalization scheme. The minimal subtraction scheme removes only regulator poles; the modified minimal subtraction scheme also removes conventional universal constants. Different schemes can assign different values to renormalized couplings while describing the same physical observables after parameters are consistently matched.

A renormalized coupling is an interaction parameter defined by a specified finite renormalization condition or subtraction scheme at a scale $\mu$. Observables remain independent of that arbitrary scale when its running and the loop corrections are included consistently. The coupling itself, and higher-order coefficients in its renormalization-group beta function, can depend on the scheme; they should not be identified without qualification with a regulator-independent bare coefficient.

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

At renormalized coupling $\gamma =8\pi /n$, the kink-antikink transmission poles lie at $\vartheta =i\pi (1-k/n)$. The relativistic bound-state mass from a rapidity pole gives the displayed increasing breather masses. The kink mass is $M=mn/\pi$, and $k=n$ is an excluded threshold state. No breathers occur at $n=1$; scattering involving a physical second breather requires $n\ge 3$.

A trace anomaly is a quantum contribution to the trace of a stress-energy tensor which was traceless on shell in the classical theory. Running renormalized couplings can supply such a contribution through their beta functions; curvature-dependent contributions can occur as well. Classical stress-energy tensor improvement alone does not remove quantum scale dependence.