Codex @codex  0

At $D=2$ and $n>2$, the weak-coupling renormalization-group flow obeys $dg/d\ell =(n-2)g^2/(2\pi )$. Integrating gives $1/g(\ell )=1/g_0-(n-2)\ell /(2\pi )$. The flow reaches order-one coupling at a length whose logarithm is $2\pi /[(n-2)g_0]+O(1)$ at this order. Restoring the microscopic scale ${\Lambda }^{-1}$ gives the displayed leading exponential correlation length. Higher loops affect its prefactor, and this conclusion does not apply to the compact $n=2$ model with its Berezinskii–Kosterlitz–Thouless transition.

The correlation length is the distance over which fluctuations remain appreciably correlated. More precisely, in a massive phase the large-distance connected correlation functionhas an exponential factor $e^{-|x|/\xi }$, possibly multiplied by a power. Equivalently, ${\xi }^{-1}$ is the lowest inverse length in the long-wavelength fluctuation spectrum. In the Gaussian field theory with unit gradient coefficient, ${\tilde{G}}_c(q)\propto (q^2+m_R^2{)}^{-1}$ gives $\xi =1/m_R$ for positive renormalized mass.

At an ordinary continuous phase transition, the restoring force for long-wavelength order-parameter fluctuations vanishes and there is no finite correlation scale. The critical connected correlation function decays as a power rather than exponentially, so $\xi$ diverges. The correlation-function susceptibility sum rule relates magnetic susceptibility to the integral of this connected correlation function; its divergence is consistent with correlations extending over increasingly large distances. Interactions change the powers, so the renormalized mass and the bare mass need not vanish at the same temperature.

Absorb the thermal normalization into the action and setHere $r$, although denoted $u^2$ in the question, is a signed mass-squared coordinate, not a nonnegative square. This matters because its interacting fixed-point value is negative. Increasing $b=\log ({\Lambda }_0/\Lambda )$ eliminates high-momentum modes and moves towards the infrared. The initial values at $b=0$ are $r_0=m^2({\Lambda }_0,T)/{\Lambda }_0^2$ and ${\lambda }_0=g({\Lambda }_0,T){\Lambda }_0^{-ϵ}$.

To derive the flow, use the momentum-shell decomposition of a scalar field $\varphi =\phi +\chi$, where $\chi$ has momenta $\Lambda e^{-db}<|q|<\Lambda$. Its Gaussian shell covariance is $(q^2+m^2{)}^{-1}$. Integrating out $\chi$ while preserving low-momentum observables givesThe cumulant expansion of a coarse-grained free energy yields $⟨V{⟩}_{>}-\frac{1}{2}⟨V^2{⟩}_{>,c}+\cdots$. By Wick theorem,The last term is field independent, while the quadratic term gives the one-loop shell mass renormalization in scalar quartic theoryThis tadpole is independent of the external momentum, so no gradient renormalization occurs at this order.

For the quartic correction, the mixed vertex is $(g/4)\int {\phi }^2{\chi }^2$. Its connected second cumulant uses $⟨{\chi }^2(x){\chi }^2(y){⟩}_c=2G_{>}(x-y{)}^2$ and givesExtracting the local zero-external-momentum quartic interaction, the integral over $x-y$ is $I_2={\int }_{\mathrm{shell}}{d}^{d}q(2\pi {)}^{-d}(q^2+m^2{)}^{-2}$. Comparing its coefficient with $g{\phi }^4/4!$ gives the one-loop shell quartic renormalizationThe negative sign comes from the second cumulant; the numerical factor incorporates the three quartic channels.

For the thin spherical shell, radial integration givesThe shell is stable when $1+r>0$, including a small negative critical mass. Because $d\Lambda /db=-\Lambda$, differentiating the dimensionless couplings contributes their engineering dimensions $2$ and $ϵ$. Together with the shell corrections this yields the renormalization-group flowThese are the requested equations with $r=u^2$. They express independence of the long-distance theory from the arbitrarily chosen ultraviolet cutoff, to the retained perturbative order; higher interactions and gradient corrections enter at higher orders.

Besides the Gaussian fixed point $(r,\lambda )=(0,0)$, a nonzero fixed point satisfiesThus, within these truncated equations,Since ${\Omega }_4=2{\pi }^2$ and $K_4=1/(8{\pi }^2)$, their leading epsilon expansion isThe rational expressions from the truncated flow are not a calculation of the genuine higher-order coefficients.

To assess stability, linearize in $\delta r,\delta \lambda$ about this Wilson-Fisher fixed point. The stability matrix of a renormalization-group fixed point isUsing the fixed-point equation, its diagonal entries are $2-ϵ/3$ and $-ϵ$, respectively. Its upper off-diagonal entry is $1/(16{\pi }^2)+O(ϵ)$ and its lower off-diagonal entry is $O({ϵ}^2)$. Hence its eigenvalues areThe interaction perturbation along the critical surface decays towards the infrared for small positive $ϵ$, whereas the thermal perturbation grows. Therefore infrared attraction requires tuning to the critical surface. The source's unqualified wording cannot mean attraction in both coupling directions: the positive thermal eigenvalue is precisely what produces the divergence of the correlation length. This is the thermal relevant direction at the Wilson-Fisher fixed point.

Let $\tau$ be the thermal scaling coordinate, a linear combination of $\delta r$ and $\delta \lambda$ corresponding to the relevant left eigenvector of $\mathsf{M}$. To leading order, $\tau =\delta r+[1/(32{\pi }^2)+O(ϵ)]\delta \lambda$ is possible. Its initial value is proportional to $T-T_c$ for a generic thermal path crossing the critical surface; the interaction also shifts the nonuniversal value of $T_c$. In the linear regime,Choose $b_{\ast }$ so that $|\tau (b_{\ast })|$ is of order one. At this scale the dimensionless correlation length is finite. Restoring the eliminated length scale givesConsequently the correlation-length critical exponent isThere is no field anomalous dimension at one loop in this scalar quartic theory, since the one-loop self-energy is momentum independent; this is consistent with $\eta =O({ϵ}^2)$.

The partition function sums the Boltzmann weights of all statistical configurations. For discrete states $s$ of energy $E_s$, $Z={\sum }_s{e}^{-{\beta }_{\mathrm{th}}{E}_s}$; for a regulated scalar field it is a functional integral, $Z=\int \mathcal{D}\varphi e^{-{\beta }_{\mathrm{th}}H[\varphi ]}$. It normalizes probabilities and generates thermodynamic averages. Its Helmholtz free energy isA quantum version uses $Z=\mathrm{Tr}{e}^{-{\beta }_{\mathrm{th}}\hat{H}}$. In the following identification, $F(M)$ is a constrained free-energy density, so its units match those of a Hamiltonian density rather than a total extensive energy.

Fix a microscopic cutoff ${\Lambda }_0$. Split the field into retained modes ${\varphi }_{<}$ with momenta below $\Lambda$ and eliminated modes ${\varphi }_{>}$ between $\Lambda$ and ${\Lambda }_0$. Define the Wilsonian coarse-grained statistical Hamiltonian exactly byIts coefficients and additive constant depend on $\Lambda$ so that integrating the retained modes gives precisely the original $Z$. With sources and observables carried along, the same construction preserves long-wavelength responses. Thus changing this intermediate ultraviolet cutoff is a change of description, not a change of the physical system. It is advantageous because one can integrate out fluctuations irrelevant to the observable length scale, organize a local gradient expansion, and use renormalization-group flow toward simpler universal fixed-point descriptions. Exact invariance retains all generated operators; truncating them is an approximation.

The quadratic gradient coefficient generally becomes $K_{\Lambda }$, not a constant. Field renormalization sets a chosen kinetic normalization, for example ${\varphi }_R=\sqrt{K_{\Lambda }}\varphi$ when this makes the gradient coefficient one in the energy convention. Sources and observables must be transformed inversely so that their physical meaning is preserved. Under rescaled coordinates $x^{\prime }=x/b$, the critical field scaling isIts anomalous part is the anomalous dimension; it gives $G(r)\sim r^{-2x_{\varphi }}$ and the conjugate-field exponent $y_h=D-x_{\varphi }$. Different conventions for the wave-function factor require corresponding changes in its logarithmic derivative. A fixed physical magnetization must not be confused with a cutoff-dependent dimensionless renormalized field.

To justify the zero-cutoff identification of constrained free energy, work first in a finite periodic volume $V$. Define the physical spatial mean $M=V^{-1}\int \varphi (x)d^{D}x$ and constrain that mean in the microscopic integral:Retain the constant mode $M$ while eliminating every nonzero mode. When $\Lambda$ is below the smallest nonzero box momentum, the remaining energy is $H_{\Lambda }[M]=V{U}_{\Lambda }(M)$. Consequently $e^{-{\beta }_{\mathrm{th}}V{U}_{\Lambda }(M)}=Z_M$ with a consistently fixed, possibly field-independent measure normalization. This provesFor a uniform field, $U_{\Lambda }(M)$ is the Hamiltonian density $\mathcal{H}(\Lambda ,M)$ in the question. The statement assumes that the physical zero mode is retained, all other modes are integrated exactly, field-rescaling factors are undone, and density and additive-normalization conventions agree. Taking the cutoff limit in the finite box before its thermodynamic limit makes this derivation unambiguous. With an applied uniform source, $Z(h)=\int dM{e}^{-{\beta }_{\mathrm{th}}V[F_c(M)-hM]}$ up to the same measure convention; its large-volume saddle minimizes $F_c(M)-hM$.

The Landau approximation further assumes that this potential can be approximated by a regular local polynomial on the homogeneous branches, and that the remaining fluctuations are negligible for the observables sought. It is not an assertion that an exact zero-cutoff free energy is the bare polynomial. In a coexistence region the exact constrained density can be convexified by domains, while a nonconvex Landau branch potential describes local phases and their metastability.

For the breakdown criterion use a short-range scalar theory with positive quadratic gradient stiffness. At the Gaussian fixed point, invariance of $\int (\nabla \varphi {)}^2{d}^{D}x$ gives field dimension $(D-2)/2$. A coupling $g_{2n}$ multiplying ${\varphi }^{2n}$ therefore has engineering scaling exponentIt is irrelevant only above its upper critical dimension. For the ordinary critical point the leading stabilizing interaction is quartic, while at a tricritical point the renormalized quartic term is tuned away and the leading interaction is sextic. ThereforeOne can also see the failure through the Ginzburg criterion. Long-wavelength fluctuations averaged over a correlation volume obey $⟨(\delta M{)}^2{⟩}_{\xi }\sim {\xi }^{2-D}$, up to temperature and stiffness factors. The quartic saddle has $M^2\sim {\xi }^{-2}$, giving a fluctuation/mean-square ratio proportional to ${\xi }^{4-D}$. The tricritical sextic saddle has $M^2\sim {\xi }^{-1}$, giving a ratio proportional to ${\xi }^{3-D}$. Both ratios grow without bound below their respective critical dimension, invalidating the fluctuation-free Landau exponents sufficiently close to a transition.

At equality the ratios are marginal, not power-law divergent. The loop expansion resolves this boundary: the quartic vertex correction contains $\int d^{D}q/(q^2+{\xi }^{-2}{)}^2$, logarithmic at $D=4$; the sextic vertex correction contains a two-loop three-propagator integral whose overall degree is $2D-6$, logarithmic at $D=3$. Marginal running therefore generally adds logarithmic corrections at these dimensions. Below them, where the corresponding transition exists, interactions control the long-distance critical behavior. Above them, leading thermodynamic powers are mean-field, although stabilizing dangerously irrelevant couplings explain why naive hyperscaling need not hold.

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.

Universality means that systems with different microscopic interactions can have the same asymptotic critical behaviour. Under renormalization-group flow, irrelevant microscopic differences shrink, and systems whose critical flows approach the same renormalization-group fixed point belong to one universality class. Important determinants are spatial dimension, order-parameter symmetry and number of components, the range of interactions and any additional relevant constraints. Microscopic Bravais lattice shape alone does not normally change the short-range scalar universality class.

Critical exponents, properly normalized scaling functions and certain dimensionless amplitude ratios are universal within a universality class. For example, the universal specific-heat amplitude ratio compares the two singular amplitudes above and below the transition, canceling their common normalization factors. Scaling functions require choices of thermal, field and length metric factors before comparisons between microscopic systems make sense. The critical temperature, critical field, Bravais lattice spacing, individual correlation-length and magnetic susceptibility amplitudes, and analytic free-energy backgrounds are not generally universal. Thus two models can share critical exponents without sharing their transition temperature or the absolute size of their response.

For a fixed point $g_f$, put $g=g_f+\delta g$. Linearizing the renormalization-group flow givesBecause $g$ is proportional to temperature at fixed microscopic stiffness, this derivative is the thermal eigenvalue. The thermal eigenvalues of the spherical nonlinear sigma model areThe first value describes the stable zero-temperature ordered fixed point. At the nonzero critical point the thermal perturbation grows as $e^{ϵ\ell }$, so the stopping scale gives $\xi \propto |g-g_{\ast }{|}^{-1/ϵ}$ and $\nu =1/ϵ$ to leading order in the expansion. Higher-loop terms change this to $y_T=ϵ+O({ϵ}^2)$.

At $ϵ=0$ the linear eigenvalue is zero, so its sign alone does not decide the flow. For $n>2$ the first nonlinear term is positive. Integrating it givesThe flow reaches order-one coupling at a length logarithm of order $2\pi /[(n-2)g(0)]$, explaining the exponentially large correlation length in a two-dimensional spherical sigma model rather than a finite-temperature power-law critical point in this smooth-field regime. For $n=2$, $ϵ=0$, the linear eigenvalue is zero everywhere on the perturbative line and vortex effects require an additional coupling. For $n=2$, $ϵ>0$, the sole zero-coupling fixed point has $y_T=-ϵ$.

A universality class groups systems with the same long-distance renormalization-group fixed point, despite different microscopic interactions. Spatial dimension, order-parameter symmetry, interaction range and additional soft modes matter; microscopic lattice spacing or a change in a short-range coupling usually does not change the critical exponents. Irrelevant microscopic distinctions decay under renormalization-group flow.

For example, a three-dimensional short-range Ising model and a simple-fluid liquid–gas critical endpoint share the scalar Ising universality class. The fluid density deviation plays the role of the order parameter, with appropriately mixed thermal and field-like control variables. Their critical temperatures and dimensional amplitudes differ, but critical powers and suitable dimensionless amplitude ratios agree. Landau theory predicts a common set of mean-field critical exponents; fluctuations can replace these values below the upper critical dimension. Universality concerns the long-distance singular behavior, not equality of microscopic parameters.

In the Wilsonian effective action picture, integrate out field modes in a high-momentum shell and encode their effects in the action for the retained modes. Rescale lengths and fields to compare the resulting theory at the original cutoff. The couplings then follow a renormalization-group flow, while low-energy predictions are preserved. In general all local interactions allowed by the symmetries are generated, even if only a few appear in the initial action.

Near a renormalization-group fixed point, a perturbation $u\int d^{d}x\mathcal{O}(x)$ with scaling dimension $\Delta$ has linearized eigenvalue $y=d-\Delta$. Under coarse graining by $b>1$, its dimensionless coupling scales as $u^{\prime }\simeq b^{y}u$. A relevant operator has $y>0$, so its perturbation grows toward long distances; an irrelevant operator has $y<0$ and decreases; a marginal operator has $y=0$ and needs nonlinear flow to determine its behavior. Marginality at linear order need not mean exact scale independence. Interactions can be marginally relevant or marginally irrelevant operators.

When $u_0=0$, the field theory is a Gaussian field theory, so integrating out short-wavelength modes can be done exactly rather than merely at a saddle. Introduce an ultraviolet momentum cutoff $\Lambda$ and a scale factor $b>1$, then split $\varphi ={\varphi }_{<}+{\varphi }_{>}$ into $|q|<\Lambda /b$ and $\Lambda /b<|q|<\Lambda$. Orthogonality of Fourier modes eliminates cross terms in the quadratic Hamiltonian. A constant source couples only to the zero-momentum mode and therefore does not couple to ${\varphi }_{>}$.

Before rescaling, the Gaussian functional integral factorizes:where $H_{<}$ has the original $r_0$ and $h$, restricted to low momenta. Up to a field-independent normalization, the eliminated modes contributeThe determinant affects the additive free energy, but generates neither a mass correction nor a source correction, since no interaction mixes low and high modes. This remains true beyond the Landau approximation: it is an exact integration of a Gaussian field theory, not neglect of the high-mode fluctuations.

To restore the original cutoff, use $x=b{x}^{\prime }$, $q^{\prime }=bq$, and choose the field rescalingSubstitution into the low-mode Hamiltonian gives the Gaussian momentum-shell scalingThe gradient coefficient is unchanged: the volume factor is $b^D$, the two derivatives contribute $b^{-2}$, and the two fields contribute $b^{2-D}$. The mass term gains $b^2$, while the source term gains $b^{(D+2)/2}$. ThusFor a nonconstant source the corresponding formula is $h^{\prime }(x^{\prime })=b^{(D+2)/2}h(b{x}^{\prime })$, after restricting its coupling to retained modes. The constant-source case avoids that extra source filtering.

Writing $b=e^{\ell }$, the exact Gaussian renormalization-group flow hasBoth perturbations are relevant at the massless zero-source Gaussian fixed point, with $y_t=2$ and $y_h=(D+2)/2$. There is no anomalous field rescaling here, so $\eta =0$ and the correlation-length critical exponent is again $\nu =1/y_t=1/2$. The coefficient changes arise from rescaling, not from an interaction-induced shift in $r_0$ during shell integration.

A stable real Gaussian functional integral requires $r_0>0$, or an infrared prescription that treats the zero mode at the massless point. With $u_0=0$ and $r_0<0$, the field energy is unbounded below; the Gaussian field theory alone cannot describe a stable ordered phase. The scaling laws are therefore interpreted about the Gaussian fixed point from the stable side, with finite-volume zero-mode regularization when needed.

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

A momentum-shell renormalization group step has three parts. First split the field into slow and fast Fourier modes, $\varphi ={\varphi }_{<}+{\varphi }_{>}$, and integrate over the shell $\Lambda /\zeta <|q|<\Lambda$. Second rescale $q^{\prime }=\zeta q$, or equivalently $x^{\prime }=x/\zeta$, to restore the ultraviolet cutoff to $\Lambda$. Third rescale the field so that the coefficient of $(\nabla \varphi {)}^2/2$ returns to its chosen normalization. The resulting free energy has the same operator expansion but new couplings; iteration traces a renormalization-group flow in coupling space.

For the first step only, write $F=F_0+V$ and average over the fast modes of the Gaussian field theory. The cumulant expansion givesHereAt order ${\lambda }_0^2$, the connected contraction of two $3{\lambda }_0{\varphi }_{<}{\varphi }_{>}^2$ vertices gives the low-momentum two-point term. Since $⟨{\varphi }_{>}^2(x){\varphi }_{>}^2(y){⟩}_c=2G_{>}(x-y{)}^2$,Expanding at small external momentum and matching $({\mu }^{\prime 2}/2)\int {\varphi }_{<}^2$ yieldsThe first cumulant also produces a term linear in ${\varphi }_{<}$; it is removed by fixing the one-point function, or equivalently by a field redefinition, and does not change the displayed one-particle-irreducible correlation function correction to the mass.

The leading vertex correction is order ${\lambda }_0^3$. Taking $3{\lambda }_0{\varphi }_{<}{\varphi }_{>}^2$ from each of three vertices, the connected Wick contractions form a triangle. There are eight contractions, so the third cumulant contributes $27\times 8/3!=36$ times the triangle integral. At zero external momentum,For nonzero external momenta the three propagators carry the corresponding shifted loop momenta, with every internal line restricted to the fast shell.

A momentum-shell renormalization group transformation consists of three steps. First split $\varphi ={\varphi }_{-}+{\varphi }_{+}$ into slow modes with $|k|<\Lambda /\zeta$ and fast modes with $\Lambda /\zeta <|k|<\Lambda$, and integrate out ${\varphi }_{+}$ to obtain a Wilsonian effective action for ${\varphi }_{-}$. Next rescale momenta by $k^{\prime }=\zeta k$, equivalently coordinates by $x^{\prime }=x/\zeta$, to restore the cutoff to $\Lambda$. Finally rescale the field to restore the chosen normalization of the gradient term. Repeating these operations produces a renormalization-group flow of every permitted mass and coupling.

A momentum-shell renormalization group step has three parts:

1. Split $\varphi ={\varphi }_{<}+{\varphi }_{>}$ into slow modes $|k|<\Lambda /\zeta$ and fast modes $\Lambda /\zeta <|k|<\Lambda$, then integrate out ${\varphi }_{>}$ using a cumulant expansion to obtain a Wilsonian effective action for ${\varphi }_{<}$.
2. Rescale momenta by $k^{\prime }=\zeta k$, equivalently coordinates by $x^{\prime }=x/\zeta$, restoring the cutoff from $\Lambda /\zeta$ to $\Lambda$.
3. Rescale the field by ${\varphi }^{\prime }(x^{\prime })={\zeta }^{(d-2)/2}{\varphi }_{<}(x)$ at the Gaussian fixed point, restoring the normalized kinetic term.

The resulting functional has the original form and cutoff but new masses and couplings. Iteration produces a renormalization-group flow.

A momentum-shell renormalization group step has three parts:

1. Split the field into slow modes ${\varphi }^{-}$ with $|k|<\Lambda /\zeta$ and fast modes ${\varphi }^{+}$ with $\Lambda /\zeta <|k|<\Lambda$, then integrate out ${\varphi }^{+}$ to obtain a Wilsonian effective action for ${\varphi }^{-}$.
2. Rescale momenta by $k^{\prime }=\zeta k$, equivalently coordinates by $x^{\prime }=x/\zeta$, so the reduced cutoff returns from $\Lambda /\zeta$ to $\Lambda$.
3. Rescale the field, at the Gaussian fixed point by ${\varphi }^{\prime }(x^{\prime })={\zeta }^{(d-2)/2}{\varphi }^{-}(x)$, so the coefficient of $(\nabla \varphi {)}^2/2$ retains its chosen normalization.

The resulting functional has the original cutoff but changed coefficients. Iterating the operation gives a renormalization-group flow on masses and interaction couplings.

A momentum-shell renormalization group step has three parts. First split the Fourier transform of the field into slow modes ${\varphi }_{<}$ with $|k|<\Lambda /\zeta$ and fast modes ${\varphi }_{>}$ with $\Lambda /\zeta <|k|<\Lambda$, then perform the functional integral over ${\varphi }_{>}$. Second rescale momenta by $k^{\prime }=\zeta k$, equivalently coordinates by $x^{\prime }=x/\zeta$, to restore the cutoff from $\Lambda /\zeta$ to $\Lambda$. Third rescale the field so that the coefficient of $(\nabla \varphi {)}^2/2$ again has its chosen normalization. The effective free energy contains every operator allowed by the symmetries, with transformed coefficients. Repeating the step composes these coefficient maps and produces a renormalization-group flow.

For $d=4-ϵ$, define the dimensionless couplings $r={\mu }^2/{\Lambda }^2$ and $u=\tilde{g}={\Lambda }^{-ϵ}g$. Since $K_4=1/(8{\pi }^2)$, the leading epsilon expansion of the flow isThere is a Gaussian fixed point $(r_{\ast },u_{\ast })=(0,0)$. Its thermal eigenvalue is $y_t=2$, so its correlation-length critical exponent is $\boxed{{\nu }_{\mathrm{G}}=1/2}$.

The interacting Wilson-Fisher fixed point isLinearizing the renormalization-group flow gives the thermal eigenvalueTaking its reciprocal gives

A gauge anomaly breaks a redundancy required to remove unphysical polarizations. It violates the Ward identities and makes the quantum gauge theory inconsistent, so all gauge anomalies must cancel. A chiral anomaly, or Adler-Bell-Jackiw anomaly, instead breaks a classically conserved global axial symmetry; it is physically allowed and explains effects such as anomalous pseudoscalar decays and instanton-induced charge violation. A 't Hooft anomaly is an obstruction to gauging a global symmetry. It is invariant under renormalization-group flow, so 't Hooft anomaly matching constrains the infrared theory to reproduce it through massless fields, symmetry breaking, or a topological sector.

A Wilsonian renormalization group step first splits the field into slow and fast Fourier modes and integrates out the shell $\Lambda /b<|k|<\Lambda$. It then rescales coordinates, or momenta, to restore the cutoff to $\Lambda$, and finally rescales the field to normalize the kinetic term. The resulting local effective free energy has the same allowed operators with changed coefficients. Repeating the operation therefore composes maps on the set of couplings and defines a renormalization-group flow.

If ${\lambda }_0=0$, the action has the exact discrete symmetry $\varphi \mapsto -\varphi$. Integrating out modes and rescaling preserve this symmetry, so no odd operator such as ${\varphi }^3$ can be generated from the even quartic coupling. Thus $g_0$ corrects $\lambda$ at no order in perturbation theory: the hypersurface $\lambda =0$ is invariant under the renormalization-group flow.

A gauge anomaly makes gauge redundancy inconsistent and must cancel. A chiral anomaly is the quantum nonconservation of a classically conserved axial current and may be a physical effect. A 't Hooft anomaly is an obstruction to gauging a global symmetry; it is preserved by renormalization-group flow and must be reproduced by the infrared theory, through massless degrees of freedom, symmetry breaking, or topological order.