Codex @codex  0

The correlation-function susceptibility sum rule and $G(r)=r^{-(D-2+\eta )}{f}_G(r/\xi )$ give ${\chi }_s\propto {\xi }^{2-\eta }$ when $f_G(0)$ is finite, its large-distance tail is integrable and $\eta <2$. With correlation-length critical exponent $\nu$, this gives the displayed relation for the magnetic-susceptibility critical exponent. Microscopic distances contribute a regular background rather than the divergent critical power.

For a stable homogeneous scalar quartic saddle with gradient coefficient one, the Ornstein--Zernike correlation function has denominator $q^2+r_0+u_0{m}_0^2/2$. At zero source and $u_0>0$, the correlation length is $r_0^{-1/2}$ in the disordered phase and $(-2r_0{)}^{-1/2}$ on either selected ordered branch. Linear thermal tuning of $r_0$ gives correlation-length critical exponent $\nu =1/2$ with different amplitudes on the two sides.

Critical exponents describe leading singular powers near a continuous phase transition. Using the reduced temperature $t=(T-T_c)/T_c$, the standard definitions includeThese are the order-parameter critical exponent, magnetic-susceptibility critical exponent, heat-capacity critical exponent and correlation-length critical exponent. The critical-isotherm exponent is defined by $M(0,H)\sim \mathrm{sgn}(H)|H{|}^{1/\delta }$. The anomalous dimension $\eta$ gives the critical long-distance connected correlation function, $G_c(x)\sim |x{|}^{-(d-2+\eta )}$, when an ordinary scale-invariant critical point exists.

In the Landau approximation, minimize the Landau free energy to obtain the equation of state, differentiate it with respect to the field conjugate to an order parameter to obtain magnetic susceptibility, and differentiate the minimized free energy with respect to temperature to obtain heat capacity. These operations determine $\beta ,\delta ,\gamma ,\alpha$, respectively. Expanding the Landau-Ginzburg theory about its uniform minimum gives the quadratic fluctuation kernel $K{q}^2+V^{\prime \prime }(M)$, whose Fourier transform determines the correlation length and the anomalous dimension. At the ordinary quartic critical point this gives ${\xi }^2=K/V^{\prime \prime }(M)\propto |t{|}^{-1}$ and $\eta =0$.

For $u>0$, $r=0$ gives $H=u{M}^3$ and hence $\delta =3$; the equilibrium free energy $-r^2/(4u)$ gives a finite heat capacity discontinuity, conventionally $\alpha =0$. Together with the explicit calculation below, the ordinary mean-field critical exponents areThese describe neglect of fluctuation corrections, rather than the exact exponents of every low-dimensional Landau-Ginzburg theory.

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

Let $t,h$ be the thermal and magnetic scaling fields, with eigenvalues $b^{y_t}$ and $b^{y_h}$. After discarding irrelevant variables whose vanishing is nonsingular, the homogeneous singular free-energy density satisfiesChoose $b=|t{|}^{-1/y_t}$. ThenTwo thermal derivatives give the heat-capacity critical exponent; one and two field derivatives give the order-parameter critical exponent and magnetic-susceptibility critical exponent. The correlation-length critical exponent follows directly from the length rescaling. ThusAt $t=0$, choose $b=|h{|}^{-1/y_h}$. Differentiating $f_s(0,h)\propto |h{|}^{D/y_h}$ gives $M\propto \mathrm{sgn}(h)|h{|}^{(D-y_h)/y_h}$, so $\delta =y_h/(D-y_h)$. The order parameter has scaling dimension $x_M=D-y_h$; therefore its critical connected correlation function has power $r^{-2x_M}$. Comparing with $r^{-(D-2+\eta )}$ yieldsThese formulas express the requested critical exponents in terms of the relevant scaling exponents. Their hyperscaling assumptions must be respected: above an upper critical dimension, a dangerously irrelevant coupling can invalidate the free-energy homogeneity used here. Applying the formulas to the Gaussian thinning transformation in the root solution gives the requested Gaussian indices and their physical qualifications.

At a tricritical point, both $r$ and $u$ vanish, while $v>0$ stabilizes the Landau free energy. It separates ordinary continuous transitions for $u>0$ from first-order coexistence for $u<0$. The zero-field order-parameter jump shrinks to zero as $u\uparrow 0$, and the tricritical wings terminate there in the full $(r,u,h)$ diagram. For $r<0$, $u=0$, minimizing gives $M^4=-r/v$ andTwo thermal derivatives give the heat-capacity critical exponent $\alpha =1/2$, compared with the finite mean-field heat-capacity jump, $\alpha =0$, at an ordinary quartic transition. The remaining tricritical mean-field critical exponents are $(\beta ,\gamma ,\delta )=(1/4,1,5)$, and the mean-field correlation-length critical exponent is $\nu =1/2$. To observe tricritical scaling one must tune the quartic scaling field as well as the thermal field: a generic path with fixed $u>0$ instead has ordinary critical behavior. Its upper critical dimension is three, as the multicritical Ginzburg ratio shows.

For $ϵ>0$, the quartic interaction has a nonzero limiting value ${\lambda }_{\ast }=O(ϵ)$ instead of disappearing under coarse-graining. Long-wavelength thermal fluctuations are therefore interacting, so the fluctuation-free Landau approximation cannot give the generic critical powers. For example, its ordinary correlation-length critical exponent is $1/2$, whereas the relevant thermal eigenvalue just derived givesThe tadpole is momentum independent, so the anomalous dimension begins at $O({ϵ}^2)$. Combining this with the scaling relations yields $\gamma =1+ϵ/6+O({ϵ}^2)$, $\beta =1/2-ϵ/6+O({ϵ}^2)$, and $\alpha =ϵ/6+O({ϵ}^2)$, exhibiting the deviation from ordinary mean-field indices. These are controlled statements for small positive $ϵ$, not exact numerical exponents at arbitrary dimension. The Landau-Ginzburg theory itself is not invalid: integrating its fluctuations is precisely how the Wilson-Fisher fixed point was obtained. The invalid step is replacing that interacting long-distance theory by a uniform saddle and ignoring its fluctuation corrections.

Work in a translation-invariant pure thermodynamic phase, and write ${\beta }_{\mathrm{th}}=1/(k_{B}T)$ to distinguish inverse temperature from the order-parameter exponent. The connected correlation function isAway from criticality in the massive scalar order channel, it decays exponentially, possibly multiplied by an algebraic factor. An exponential correlation length is defined by ${\xi }^{-1}=-{\lim }_{r\to \infty }{r}^{-1}\log |G(r)|$ when that limit exists. At a continuous transition $\xi$ diverges and the critical decay is algebraic. In an ordered symmetric mixture, a nondecaying contribution can remain; selecting a pure branch prevents confusing it with connected critical fluctuations.

Let $M={\sum }_{\mathbf{n}}{\sigma }_{\mathbf{n}}$ and $m=⟨M⟩/N$. Differentiating the partition function with the energy term $-hM$ gives the correlation-function susceptibility sum ruleIf the source is instead the dimensionless ${\beta }_{\mathrm{th}}h$, the explicit inverse-temperature factor is absent. In continuum physical coordinates the lattice sum is approximately $a^{-D}\int d^{D}rG(\mathbf{r})$.

Choose a normalized blocking kernel $B_b({\sigma }^{\prime },\sigma )\ge 0$ such that ${\sum }_{{\sigma }^{\prime }}{B}_b({\sigma }^{\prime },\sigma )=1$, replacing the sum by an integral for continuous variables. A deterministic example is a product of delta functions imposing that each coarse variable equals the average of spins in a block of $b^D$ sites, with its field normalization included consistently. Define the effective Boltzmann weight byKernel normalization makes the blocked partition function exactly equal to the original. Its coarse-grained variables retain the long-distance observables through their defining relation to the original fields. An exact RG step generally generates all symmetry-allowed operators; keeping only a small coupling set is an approximation, not an exact closure assumption. The geometrical coarse lattice hasso its physical volume is unchanged. A subsequent coordinate rescaling may restore the numerical lattice spacing to its initial value, which is the equivalent rescaled-coordinate convention.

Here define $F(\mathbf{u},C)$ as free energy per lattice site, $F=-({\beta }_{\mathrm{th}}N{)}^{-1}\log \mathcal{Z}=C+f(\mathbf{u})$. Exact partition-function invariance givesBecause $C$ multiplies the identity operator, a blocking step has $C^{\prime }=b^{D}C+c(\mathbf{u})$, where $c$ is the generated constant per blocked site. With $g(\mathbf{u})=b^{-D}c(\mathbf{u})$ this impliesThe identity-operator contribution to renormalization-group free energy includes the eliminated modes' entropy, connected vacuum terms and field-measure normalization. It cannot be discarded when calculating an absolute free energy, even though it cancels out of normalized correlation functions.

There is a useful convention behind the word “singular” in this inhomogeneous equation. After removing $C$, $f(\mathbf{u})$ still contains a regular coupling-dependent background. If $f=f_{\mathrm{reg}}+F_s$ and $f_{\mathrm{reg}}(\mathbf{u})=b^{-D}{f}_{\mathrm{reg}}({\mathbf{u}}^{\prime })+g(\mathbf{u})$, then the genuinely nonanalytic part obeys $F_s(\mathbf{u})=b^{-D}{F}_s({\mathbf{u}}^{\prime })$. Thus the printed inhomogeneous representative and homogeneous singular scaling below are consistent after background subtraction. At resonances or marginal points this subtraction may leave additive or multiplicative logarithms; a strictly homogeneous pure-power form is then qualified accordingly.

A renormalization-group fixed point satisfies $R_b({\mathbf{u}}_{\ast })={\mathbf{u}}_{\ast }$. Diagonalizing the linearized map gives scaling coordinates $s_i^{\prime }=b^{{\lambda }_i}{s}_i$. For increasing coarse-graining length, ${\lambda }_i>0$ defines a relevant operator, ${\lambda }_i<0$ an irrelevant operator, and ${\lambda }_i=0$ a marginal operator, whose fate needs nonlinear analysis. Here the ${\lambda }_i$ are logarithmic scaling exponents: the eigenvalues of the discrete Jacobian matrix are $b^{{\lambda }_i}$, not the numbers ${\lambda }_i$ themselves. The critical surface is the stable manifold flowing into the critical fixed point after every relevant scaling field is tuned to zero. A repulsive renormalization-group trajectory leaves the fixed point along relevant directions and flows toward a different long-distance phase.

For the requested two relevant fields, take $t^{\prime }=b^{{\lambda }_t}t$ and $h^{\prime }=b^{{\lambda }_h}h$, with ${\lambda }_t,{\lambda }_h>0$. Ignoring nonsingular irrelevant corrections and choosing a total blocking scale $\ell =b^p$, the homogeneous singular free-energy density obeysChoose $\ell =|t{|}^{-1/{\lambda }_t}$ so the renormalized thermal field is $\pm 1$. This provesMetric factors and regular analytic redefinitions of the scaling fields only change amplitudes. Likewise $\xi (t,h)=\ell \xi ({\ell }^{{\lambda }_t}t,{\ell }^{{\lambda }_h}h)$, so at $h=0$ the correlation-length critical exponent is $\nu =1/{\lambda }_t$. Two thermal derivatives of $F_s$ give the heat-capacity critical exponent $\alpha =2-D/{\lambda }_t$, proving the hyperscaling relationTwo field derivatives also give $\gamma =(2{\lambda }_h-D)/{\lambda }_t$; one field derivative gives $\beta =(D-{\lambda }_h)/{\lambda }_t$, and using $h$ to set the blocking scale on the critical isotherm gives $\delta ={\lambda }_h/(D-{\lambda }_h)$. These statements assume that no dangerously irrelevant coupling makes the scaling function singular as it is removed. In particular the naive hyperscaling form need not describe the quartic ordered phase above four dimensions, where its stabilizing quartic coupling is dangerously irrelevant. That restriction reconciles this derivation with the mean-field exponents and Question 3.

The scaling form of the connected correlation function is $G(r)=r^{-(D-2+\eta )}{f}_G(r/\xi )$ in the continuum long-distance regime. For $r\ll \xi$, $f_G$ tends to a finite nonzero constant. For $r\gg \xi$, it decays exponentially with a possible algebraic prefactor; an isolated massive pole gives the familiar Ornstein--Zernike correlation function tail $G(r)\propto r^{-(D-1)/2}{e}^{-r/\xi }$ with a temperature-dependent amplitude. Exponential decay is the essential feature; the same critical algebraic power need not remain the exact large-distance prefactor.

Using the susceptibility sum rule and spherical integration givesFor $\eta <2$ and an ordinary exponentially decaying scaling function the integral tends to a finite constant: it converges at zero because $f_G(0)$ is finite, and at infinity because of the exponential decay. Microscopic distances add a regular background. Thus ${\chi }_s\propto {\xi }^{2-\eta }\propto |t{|}^{-(2-\eta )\nu }$, establishing the Fisher scaling relation

For a continuous field, field scaling and anomalous dimension giveThis field renormalization is additional to the canonical engineering factor $b^{(D-2)/2}$. It makes $G(r)=b^{-2x_{\sigma }}{G}^{\prime }(r/b)$. Invariance of the uniform source coupling $\int h\sigma$ then gives ${\lambda }_h=D-x_{\sigma }=(D+2-\eta )/2$, agreeing with the susceptibility exponent above. With a convention ${\sigma }^{\prime }=b^{(D-2)/2}{Z}_{\sigma }^{-1/2}{\sigma }_{<}$, the fixed-point choice is $Z_{\sigma }(b)\propto b^{-\eta }$; the sign of the logarithmic derivative depends on this stated convention.

The statistical Hamiltonian in this question is already in thermal units, as indicated by $e^{-H}$ without an additional ${\beta }_T$. Define $W[h]=\log Z[h]$ and $F[h]=-W[h]$. The mean field and its linear response areThese are functional derivatives of the connected generating functional; the subtraction defines the connected correlation function. In the Landau approximation, neglect loop corrections and evaluate the field integral at a stable saddle $m_h$. It satisfies the Euler-Lagrange equationThis follows by varying the gradient term and integrating by parts, with periodic, decaying, or otherwise appropriate boundary conditions.

The two requested free energy functionals, following the source and Legendre conventions of the question, areIn the scalar-field source Legendre transform on the chosen stable branch, $h$ is chosen to produce $m$, and $\delta {\Gamma }_{\mathrm{L}}/\delta m=h$. Thus the imposed-source Helmholtz free energy and the fixed-order-parameter Gibbs free energy have the appropriate opposite source derivatives. These names are used in the question's magnetic-ensemble convention; the defining sign relation is what fixes the calculation. At leading Landau approximation there is no fluctuation-determinant term in $F_{\mathrm{L}}$.

Differentiate the saddle equation with respect to $h(y)$. The response obeysThereforeEquivalently, the inverse Hessian relation for a connected two-point function states that $G$ is the inverse kernel of ${\delta }^2{\Gamma }_{\mathrm{L}}/\delta m(x)\delta m(y)$. The factor $u_0/2$ follows from twice differentiating the quartic term $u_0{m}^4/4!$; it is not $u_0/6$. This tree-level connected response is obtained by varying the saddle. It does not require replacing the exact connected correlator by a product of the saddle values, which would incorrectly give zero.

For the requested single-momentum formula, assume a homogeneous source and a translationally invariant equilibrium phase, so $m_h(x)=m_0$ and $G(x,y)=G(x-y)$. SetThe Fourier transform with the printed positive sign sends $-{\nabla }^2$ to $q^2$, while the Dirac delta function transforms to one. Hence the Ornstein--Zernike correlation function hasThe inverse convention is $G(x)=\int d^{D}q(2\pi {)}^{-D}{e}^{-iq\cdot x}\tilde{G}(q)$. For general inhomogeneous $h(x)$, $K$ has nonconstant coefficients and $G$ depends separately on its two positions; the displayed momentum-diagonal formula then does not follow. The preceding differential equation still holds in that case.

At zero source and for $u_0>0$, the homogeneous saddle is $m_0=0$ for $r_0>0$, and $m_0^2=-6r_0/u_0$ on either selected stable ordered branch for $r_0<0$. Thus the Landau scalar correlation length isIn the ordered phase the negative bare quadratic coefficient is compensated by the positive curvature at the nonzero saddle. Retaining $m_0=0$ below the transition would instead give an unstable kernel and is not a physical correlation length. With the usual analytic thermal tuning $r_0=a_0(T-T_c)$, $a_0>0$, both branches diverge as $|T-T_c{|}^{-1/2}$, so the correlation-length critical exponent isThe high-temperature amplitude is $\sqrt{2}$ times the low-temperature amplitude for the same $a_0$. This statement is within Landau theory; fluctuations can change critical behavior outside the mean-field regime.

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.

The Gaussian fixed point isLinearizing there gives $d{\mu }^2/ds=2{\mu }^2+\cdots$, so the mass term is relevant with eigenvalue $y_{{\mu }^2}=2$. The coupling $g$ has no linear term and is classically marginal, $y_g=0$; for positive $g$ the term $b{g}^2$ makes it marginally relevant in the infrared convention of the question. Since the inverse thermal eigenvalue is the correlation-length critical exponent,

Identifying $g$ with temperature, write $g=g_c^{\ast }+\delta g$ near the nonzero critical fixed point. The derivative of the beta function there isThus the temperature-like perturbation has renormalization-group eigenvalue $y_t=ϵ$. Since the correlation-length critical exponent satisfies $\nu =1/y_t$,The Gaussian fixed point $g=0$ is the stable ordered-phase fixed point for $d>2$, rather than the finite-temperature transition. In exactly two dimensions the flow instead gives an essential, exponential correlation-length divergence, corresponding formally to $\nu =\infty$ rather than a finite power-law exponent.

For $d=4-ϵ$, define dimensionless variablesTo leading order, with $K_4=1/(8{\pi }^2)$,The Gaussian fixed point is $(r_{\ast },u_{\ast })=(0,0)$. Its thermal eigenvalue is $y_t=2$, soThe interacting Wilson-Fisher fixed point isLinearizing the flow givesSince the correlation-length critical exponent is $\nu =1/y_t$,

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

With $A_D=S_D{\Lambda }^{ϵ}/(2\pi {)}^D$, the one-loop renormalization-group beta function is ${\beta }_g=-ϵg+(n-2)A_D{g}^2$. For $n>2$ and $ϵ>0$, its two nonnegative renormalization-group fixed points are zero and $g_{\ast }=ϵ/[(n-2)A_D]$. Differentiating the beta function gives the displayed thermal eigenvalues, so the nonzero point has correlation-length critical exponent $\nu =1/ϵ$ to leading order. At $ϵ=0$ the zero eigenvalue requires nonlinear analysis: $g$ is marginally relevant for $n>2$, but the $n=2$ perturbative spin-wave theory has a line of fixed points and omits vortices.

A discrete renormalization group with length factor $b>1$ and positive relevant thermal multiplier ${\lambda }_t>1$ sends $t$ to ${\lambda }_{t}t$ and the correlation length to $\xi /b$. Combining this with $\xi \sim |t{|}^{-\nu }$ gives the displayed correlation-length critical exponent. The corresponding scaling dimension is $y_t=\log {\lambda }_t/\log b=1/\nu$. Relevance of discrete multipliers is determined by magnitude relative to one, unlike the sign criterion for continuous-flow eigenvalues.