Codex @codex  0

A renormalization-group fixed point satisfies $R_b(u_{\ast })=u_{\ast }$. A critical fixed point is scale invariant and has divergent correlation length. The critical surface consists of couplings flowing toward it after relevant variables have been tuned; noncritical flows ultimately leave its neighborhood toward finite-correlation-length phases.

Linearize the renormalization-group transformation near the fixed point and choose scaling coordinates. If the thermal and magnetic coordinates transform as $t^{\prime }=b^{y_t}t$ and $h^{\prime }=b^{y_h}h$, the singular free-energy density obeysChoose $b=|t{|}^{-1/y_t}$ to stop at an order-one thermal coordinate. This gives the scaling hypothesis for critical phenomenaConsequently $\nu =1/y_t$ and $\Delta =y_h/y_t$, with $2-\alpha =D/y_t$ when hyperscaling applies. The fixed point determines universal powers, while microscopic couplings set metric factors and amplitudes. Dangerously irrelevant variables and marginal logarithms can qualify the simple homogeneous form.

Universality of critical phenomena means that many microscopic models approach the same long-distance renormalization-group fixed point. After repeated coarse-graining, irrelevant operators lose influence, whereas a few relevant operators describe deviations from criticality. Models with the same spatial dimension, order parameter symmetry, interaction range and appropriate relevant controls can therefore have the same universality class despite very different microscopic constituents.

The critical exponents, appropriately normalized scaling functions and certain amplitude ratios are universal. The transition temperature, individual amplitudes, microscopic length scale and analytic background in the free energy are generally nonuniversal. The numerical value assigned to an order parameter also depends on normalization. Landau-Ginzburg theory expresses this distinction by using a common symmetry-allowed functional form while allowing its coefficients to depend on the material. Computing the true critical exponents below the upper critical dimension requires retaining fluctuations, rather than merely minimizing that functional.

The relevant comparison is a short-range, uniaxial Ising ferromagnet and the liquid–gas critical point of water in three dimensions. Both have one real scalar order parameter: magnetization in the ferromagnet and the appropriately shifted density in the fluid. The magnetic field and a suitable pressure/chemical-potential combination provide the corresponding fields conjugate to an order parameter.

The fluid has no exact microscopic spin-reversal symmetry. Nevertheless, at the liquid–gas critical point the first three derivatives of the local thermodynamic potential can be eliminated or tuned by shifting the density and mixing the thermodynamic control variables. The leading stable expansion is then quartic, with the same long-distance renormalization-group fixed point as the three-dimensional short-range Ising model. The microscopic asymmetry produces corrections and analytic mixing of observables, rather than a different leading universality class.

Thus the scalar liquid–gas critical point and the short-range Ising ferromagnet share a universality class. This does not assert that every ferromagnet does: an isotropic vector-spin magnet or one dominated by long-range dipolar interactions can have different critical behavior. Nor does it identify every phase transition of water with its liquid–gas critical point.

After separating an additive identity term and using dimensionless couplings, let $R$ be one blocking-and-rescaling step. A renormalization-group fixed point satisfies $R(u_{\ast })=u_{\ast }$. Near it, linearization gives scaling coordinates $w_i$ withAt a critical renormalization-group fixed point, no finite characteristic length survives. Since the correlation length measured in lattice units transforms as $\xi (Ru)=\xi (u)/b$, a nonzero scale-invariant critical length must be infinite. A sequence of systems approaching the same fixed point therefore has common long-distance behavior.

The scaling hypothesis for critical phenomena asserts that the singular free-energy density transforms homogeneously under these scaling coordinates. It follows from repeated blocking near the fixed point, once analytic backgrounds are removed and no dangerously irrelevant coupling supplies an additional singular dependence. The temperature and magnetic-field scaling directions set the principal departures from criticality; irrelevant directions label microscopic differences that disappear at long distances.

A relevant operator has $y_i>0$, so its coupling grows under coarse-graining and drives the system away from the critical renormalization-group fixed point. Such directions must be tuned to reach the critical manifold. An irrelevant operator has $y_i<0$, so its coupling decays and normally supplies corrections to scaling. For $y_i=0$ the operator is marginal; nonlinear terms in the transformation decide whether its coupling grows or decreases, or whether it labels a line of fixed points.

This classification is a statement about perturbations of a specified fixed point, not an intrinsic label independent of the theory. For example, a quartic scalar interaction has eigenvalue $4-D$ at the Gaussian fixed point, so it is relevant for $D<4$ and marginal at $D=4$. A tricritical scalar point has an extra relevant even direction compared with an ordinary critical point. Although irrelevant couplings usually disappear from leading powers, a dangerously irrelevant coupling can still be needed to stabilize an ordered phase and invalidate naive hyperscaling.

A finite blocking step integrates degrees of freedom on bounded length scales. Its function $g(u)$ is generally analytic near the critical couplings and contributes to a regular background in the free-energy density. The nonanalytic critical behavior arises from arbitrarily many blocking steps approaching the critical renormalization-group fixed point. After removing the analytic background, the homogeneous recursion determines the leading singular critical exponents, so the inhomogeneous term usually need not be retained when computing those powers.

There are qualifications. If the singular heat capacity has $\alpha <0$, the regular background may dominate the measured total heat capacity, although the singular exponent remains meaningful. At a renormalization-group free-energy resonance, repeated accumulation of analytic terms can generate a logarithm. For example, a term proportional to $t^2$ in $g$ has weight $b^{-jD}{b}^{2j{y}_t}$; when $D=2y_t$, every step contributes the same multiple of $t^2$. The number of steps before $t$ becomes order one is proportional to $-\ln |t|$, giving a $t^2\ln |t|$ singularity. Thus the inhomogeneous term can be ignored for generic leading powers, but not indiscriminately for logarithmic corrections.

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.

Let $t=(T-T_c)/T_c$, and suppose $r=r_{t}t$ with $r_t>0$ while $u>0$ and $\kappa >0$ remain finite at the transition. Critical exponents describe the leading singular powers: $M\sim (-t{)}^{\beta }$ below the transition, $\chi \sim |t{|}^{-\gamma }$, $\xi \sim |t{|}^{-\nu }$, $C_{V,s}\sim |t{|}^{-\alpha }$, $M(t=0)\sim \mathrm{sgn}(h)|h{|}^{1/\delta }$, and $G(R,t=0)\sim R^{-(D-2+\eta )}$.

The quartic equation of state $h=rM+u{M}^3$ immediately gives $M=\sqrt{-r/u}$ at zero field below the transition, so $\beta =1/2$. Differentiating with respect to the conjugate field gives ${\chi }^{-1}=r+3u{M}^2$, which is $r$ above and $2|r|$ below; therefore $\gamma =1$. At $r=0$, $M=(h/u{)}^{1/3}$ with its real sign, giving $\delta =3$. The quadratic correlation function has $\xi \propto |r{|}^{-1/2}$ and critical Ornstein--Zernike correlation function proportional to $q^{-2}$, giving $\nu =1/2$ and $\eta =0$.

Finally the minimized potential below the transition is $V_s=-r^2/(4u)$, while it is zero above. Its second temperature derivative is a finite step, so the mean-field heat-capacity critical exponent is $\alpha =0$. In particular,These are derived mean-field critical exponents. In the fluctuation-dominated critical region of a phase transition, one instead derives exponents from the scaling eigenvalues of the renormalization-group fixed point, as in the next question. A zero heat-capacity power exponent can also accompany logarithms in other theories, so specifying the power alone does not completely describe that singularity.

Use ${\beta }_T=1/(k_{B}T)$ for inverse temperature, to distinguish it from the order-parameter critical exponent $\beta$. In a translation-invariant pure thermodynamic phase, the connected two-point correlation function isFor finite correlation length, at $|r|\gg \xi$ it decays exponentially, possibly with an algebraic prefactor; ${\xi }^{-1}$ is the asymptotic exponential decay rate. Below an ordered transition the pure phase is selected by taking the thermodynamic limit before $h\to 0^{+}$ or $h\to 0^{-}$. A zero-field symmetric mixture of the two ordered phases has a nondecaying connected term and does not describe the usual pure-phase magnetic susceptibility.

Let $\mathcal{F}=-k_{B}T\log Z$ denote extensive physical free energy and $S={\sum }_r{\sigma }_r$. Since the field contributes $-hS$ to the statistical Hamiltonian, differentiation givesExpanding the variance and using translation invariance proves the correlation-function susceptibility sum rule:The sum includes $r=0$. If the source is instead defined as the dimensionless quantity ${\beta }_{T}h$, the corresponding derivative omits the displayed inverse-temperature factor.

A real-space renormalization group step of length factor $b>1$ uses a local blocking kernel $B_b({\sigma }^{\prime },\sigma )\ge 0$ satisfying ${\sum }_{{\sigma }^{\prime }}{B}_b({\sigma }^{\prime },\sigma )=1$. For example, a deterministic majority-spin rule assigns one coarse Ising spin to each block; tied blocks can be resolved with equal probabilities. Define the blocked statistical Hamiltonian byThe spacing becomes $a^{\prime }=ba$. All generated interactions, including multispin terms and the field-independent constant, must be retained for an exact transformation. Summing over ${\sigma }^{\prime }$ uses normalization to prove $Z(u^{\prime },C^{\prime },N^{\prime })=Z(u,C,N)$. Iteration gives $N_p=b^{-pD}N$ and $Z(u_p,C_p,N_p)=Z(u_0,C_0,N)$.

The coarse probability law is the exact marginal law of these block variables. Indeed, for any coarse observable $A$, its expected value is the microscopic expected value of ${\sum }_{{\sigma }^{\prime }}{B}_b({\sigma }^{\prime },\sigma )A({\sigma }^{\prime })$. A blocking rule that retains the long-wavelength order-parameter mode, with source and observable transformations tracked, therefore retains long-distance response and correlation functions. Their field normalization may change, while their physical length scales and critical singularities do not. Partition-function equality alone would not justify this assertion for an arbitrary kernel that discards all slow variables. Truncating the generated operator family is likewise an approximation.

For the free-energy recursion use dimensionless free energy per site,in the thermodynamic limit. Exact partition-function invariance gives $F(u_0,C_0)=b^{-pD}F(u_p,C_p)$. If one step sends $C$ to $C^{\prime }=b^{D}C+c(u)$, the coefficient $c(u)$ records the identity-operator contribution from eliminated fluctuations and normalization. ConsequentlyRepeated substitution derives the additive free-energy recursion under blocking:In physical energy units, divide this convention by ${\beta }_T$. The additive term is essential for absolute free energies even when it does not affect the leading critical powers.

A renormalization-group fixed point satisfies $R_b(u_{\ast })=u_{\ast }$. Linearize in scaling coordinates $v_i$ so that $v_i^{\prime }=b^{y_i}{v}_i+O(v^2)$. A relevant operator has $y_i>0$, an irrelevant operator has $y_i<0$, and a marginal operator has $y_i=0$ with behaviour decided by nonlinear terms. Thus the eigenvalues of the discrete linear map are $b^{y_i}$; the sign criterion applies to the generator exponents $y_i$, not to the discrete multipliers. The critical surface is the stable manifold on which every relevant scaling field has been tuned away. Irrelevant coordinates flow to the renormalization-group fixed point along it. A repulsive renormalization-group trajectory leaves the renormalization-group fixed point along an unstable relevant direction, ultimately entering a noncritical phase or another scaling regime.

To separate the singular free-energy density from its regular background, suppose the eliminated-mode contribution $g$ is analytic near the renormalization-group fixed point. Look for an analytic background $a(u)$ satisfying $a(u)=b^{-D}a(R_{b}u)+g(u)$. Then $F_s=f-a$ satisfies $F_s(u)=b^{-D}{F}_s(R_{b}u)$. In linear thermal and field coordinates, an analytic monomial $g_{mn}{t}^m{h}^n$ has background coefficientprovided the denominator is nonzero. This explicitly explains when analytic subtraction of an inhomogeneous renormalization recursion works. The printed inhomogeneous equation may describe the free-energy function before this subtraction, or a singular part defined only up to analytic terms. The inhomogeneous sum need not be small compared with the full free energy: an analytic constant can dominate a vanishing singular contribution. It can be omitted in deriving leading singular powers after regular subtraction, provided no renormalization-group free-energy resonance, marginal logarithm or dangerously irrelevant coupling obstructs the homogeneous critical asymptotics. At a renormalization-group free-energy resonance $m{\lambda }_t+n{\lambda }_h=D$, additive logarithms can remain, so simply dropping the term would miss them.

Suppose there are exactly two relevant scaling fields, thermal $t$ and magnetic $h$, with positive exponents ${\lambda }_t,{\lambda }_h$, and the remaining fields approach a regular limit. Physical reduced temperature and magnetic field agree with these coordinates to leading order, up to nonuniversal metric factors. The homogeneous scaling hypothesis for critical phenomena isas an asymptotic scaling equation. Choose $\ell =|t{|}^{-1/{\lambda }_t}$ to make the thermal argument $+1$ or $-1$. Defining $f_{\pm }(z)=F_s(\pm 1,z)$ givesThe two functions describe respectively $t>0$ and $t<0$: approaching the transition from disordered and ordered sides need not give the same function. In particular the ordered zero-field function has one-sided derivatives associated with spontaneous magnetization. Metric factors multiply this formula in different microscopic normalizations.

The correlation length in Bravais lattice units obeys $\xi (t,h)=\ell \xi ({\ell }^{{\lambda }_t}t,{\ell }^{{\lambda }_h}h)$. At $h=0$, the same choice of $\ell$ gives $\nu =1/{\lambda }_t$. Two thermal derivatives of $F_s(t,0)$ give $2-\alpha =D/{\lambda }_t$. One and two field derivatives give, respectively, $\beta =(D-{\lambda }_h)/{\lambda }_t$ and $\gamma =(2{\lambda }_h-D)/{\lambda }_t$, assuming the relevant branch amplitudes are nonzero. At $t=0$, choose $\ell =|h{|}^{-1/{\lambda }_h}$; then $M\propto \mathrm{sgn}(h)|h{|}^{(D-{\lambda }_h)/{\lambda }_h}$, so $\delta ={\lambda }_h/(D-{\lambda }_h)$. HenceSimple algebra now gives the Rushbrooke scaling relation $\alpha +2\beta +\gamma =2$ and the hyperscaling relation $\alpha =2-D\nu$. Also $\beta \delta ={\lambda }_h/{\lambda }_t=\beta +\gamma$, giving the Widom scaling relation. These statements refer to leading singular contributions with the homogeneous two-field scaling assumptions. Above the upper critical dimension, the quartic coupling is dangerously irrelevant because it is still needed to stabilize the ordered phase; ordinary mean-field critical exponents then satisfy Rushbrooke and Widom but generally not hyperscaling. Marginal logarithms also require qualifications at the upper critical dimension.

For the connected-correlation scaling form $G(r)=|r{|}^{-(D-2+\eta )}{f}_G(|r|/\xi )$, the function $f_G(x)$ tends to a finite nonzero value as $x\to 0$ and decays exponentially at large $x$, up to powers of $x$, in a massive short-range phase. The scaling ansatz alone does not fix that prefactor. If the usual massive Gaussian field correlation tail $G(r)\propto r^{-(D-1)/2}{e}^{-r/\xi }$ applies, matching the powers gives $f_G(x)\sim B{x}^{(D-3)/2+\eta }{e}^{-x}$, with a correlation-length-dependent amplitude in $G$ fixed by matching the critical scaling form.

In physical coordinates the lattice sum has site-density factor $a^{-D}$. Its long-distance singular part therefore giveswhere ${\Omega }_{D-1}$ is the area of the unit sphere in $D$ dimensions. For $\eta <2$, finite $f_G(0)$, an integrable exponential tail and a nonzero integral, the last factor tends to a finite nonzero constant as $\xi \to \infty$. Microscopic distances contribute a regular background. Thus ${\chi }_s\propto {\xi }^{2-\eta }\propto |t{|}^{-(2-\eta )\nu }$, proving the Fisher scaling relationEquivalently the field has scaling dimension $(D-2+\eta )/2$, so its conjugate field has ${\lambda }_h=(D+2-\eta )/2$, which gives the same identity from the exponent formulas above.

A partition function sums the Boltzmann weights of all states: $Z={\sum }_s{e}^{-{\beta }_{T}H(s)}$ for discrete states, or the corresponding integral for continuous fields. It normalizes equilibrium probabilities. Its physical Helmholtz free energy is $\mathcal{F}=-k_{B}T\log Z$, and its free-energy density is $\mathcal{F}/V$. With a momentum ultraviolet cutoff ${\Lambda }_0$, a scalar-field example isThe normalization of the functional measure and field-independent energy terms must be tracked when discussing absolute free energy.

Choose a smaller cutoff $\Lambda$ and split the field into retained modes ${\varphi }_{<}$ with $|q|<\Lambda$ and eliminated modes ${\varphi }_{>}$ with $\Lambda <|q|<{\Lambda }_0$. Define the Wilsonian coarse-grained statistical Hamiltonian bySubstitution into the partition function proves $Z=\int \mathcal{D}{\varphi }_{<}{e}^{-{\beta }_T{H}_{\Lambda }[{\varphi }_{<}]}$ for every intermediate cutoff. A source retained in this definition similarly preserves long-wavelength connected correlation functions and response. Thus the coefficients in a Hamiltonian density must run with $\Lambda$: the dependence induced by eliminated modes compensates the dependence of the remaining field integral. Holding the original bare coefficients fixed while changing the cutoff would generally change the system. Exact integration generates all interactions allowed by symmetry, including higher powers, derivative terms and an additive constant; a local derivative expansion or a truncation to a few couplings is an extra approximation.

Cutoff independence makes arbitrary intermediate coarse-graining scales unphysical. It allows calculations at the scale of the observable, avoids repeatedly resolving irrelevant short-distance details and exposes the renormalization-group fixed points responsible for universality. A microscopic cutoff, such as a Bravais lattice spacing, can still label a physical microscopic model; taking it to infinity as a continuum limit requires tuning appropriate bare couplings. This is distinct from lowering an intermediate Wilsonian cutoff in a fixed model.

To interpret the zero-cutoff limit, define $M=V^{-1}\int \varphi (x)d^{D}x$, the spatially uniform mode of the order parameter. Keep this mode fixed and integrate the others, rather than integrating over $M$ too. Write $\varphi =M+\eta$, with $\int \eta =0$, and define the constrained order-parameter free energy byIn a finite periodic box, once $\Lambda$ is below the smallest nonzero momentum, all nonconstant modes have been eliminated. The remaining effective energy is $H_{\Lambda }[M]=V{U}_{\Lambda }(M)$, so its defining integral is exactly $Z_M$. Therefore, with consistent normalization,When $\mathcal{H}(\Lambda ,M)$ denotes this uniform effective Hamiltonian density, this is the stated identification of $F(M)$ with its zero-cutoff limit. It requires a free-energy density constrained at fixed $M$, not the unconstrained extensive free energy; all integrated fluctuations and additive constants are included, the zero mode in field theory is retained, and a density for the uniform configuration is well defined. The finite-volume argument avoids an interchange of the thermodynamic and cutoff limits without justification. On a homogeneous pure-phase branch one may use a local potential description, while a thermodynamic limit allowing phase separation can convexify the constrained potential. A bare nonconvex Landau polynomial is accordingly a homogeneous-branch approximation, not a claim that the exact equilibrium Legendre potential stays nonconvex.

In a field $h$, the remaining integral is $Z(h)=\int dM{e}^{-{\beta }_{T}V[F_c(M)-hM]}$, up to the consistently chosen zero-mode measure. The thermodynamic saddle then gives $f(h)={\inf }_M\{F_c(M)-hM\}$ and selects the equilibrium magnetization. Landau theory assumes that the relevant uniform potential can be approximated by a regular analytic expansion in $M$, with symmetry-constrained coefficients, and minimizes it. At tree level the integrated fluctuations are neglected, recovering the familiar bare polynomial. With fluctuations retained, the coefficients run and can become singular near criticality; the zero-cutoff identification of constrained free energy alone does not justify mean-field critical exponents.

For an ordinary short-range scalar thermodynamic critical point, the leading interaction is quartic. Absorb inverse temperature and the gradient coefficient into field normalization and writeScale $x=b{x}^{\prime }$ and $\varphi (x)=b^{-(D-2)/2}{\varphi }^{\prime }(x^{\prime })$ to leave the gradient term invariant. The quartic term changes to $g{b}^{4-D}\int {\varphi }^{\prime 4}/4!$, so its engineering scaling exponent is $4-D$. It is irrelevant at the Gaussian fixed point for $D>4$, relevant for $D<4$, and marginal for $D=4$. HenceThe loop expansion makes the breakdown concrete. A quartic-vertex correction is proportional to $g^2{I}_2(r)$, whereFor $0<D<4$, rescaling $q=\sqrt{r}k$ gives $I_2(r)\sim C_D{r}^{(D-4)/2}$, diverging as $r\to 0$. At $D=4$, radial integration giveswhich is logarithmically divergent. Above four dimensions its infrared limit is finite; the leading cutoff-dependent constant can be absorbed into a coupling renormalization. The effective expansion parameter is thus of order $g{\xi }^{4-D}$ below four, or $g\log (\Lambda \xi )$ at four, since $\xi \sim r^{-1/2}$. It eventually becomes large for any fixed bare interaction in the lower-dimensional critical limit, defeating the uncorrected mean-field expansion. The Ginzburg criterion gives the same threshold by comparing correlation-volume fluctuations with the squared mean order parameter.

Below four dimensions an interacting renormalization-group fixed point can replace the Gaussian fixed point and change critical exponents, provided a continuous transition exists. At four dimensions the interaction is marginal and produces logarithmic corrections: the leading power exponents can remain their mean-field values, so “breakdown” there means that pure mean-field power laws omit those corrections, rather than necessarily that every power exponent changes. Above four the stabilizing quartic interaction is dangerously irrelevant for the ordered phase, explaining why mean-field thermodynamic exponents need not obey naive hyperscaling with the spatial dimension.

Universality classes identify systems with the same long-distance renormalization-group fixed point. Spatial dimension, order parameter symmetry and number of components, and the range of interactions help determine the equilibrium class. Microscopic lattice details and many local interactions become irrelevant operators under coarse-graining. Universal quantities include critical exponents, scaling functions after fixing metric normalizations, and suitable amplitude ratios. The critical temperature, bare couplings, absolute correlation-length and susceptibility amplitudes, analytic free-energy density backgrounds, and microscopic length scales are generally not universal. Dynamic universality can additionally depend on conservation laws, so it should not be inferred solely from a static scalar potential.

Use ${\beta }_{\mathrm{th}}=1/(k_{B}T)$ for inverse temperature, to distinguish it from the order-parameter exponent. In a translation-invariant pure thermodynamic phase, the connected correlation function isThe subtraction is essential below the transition. Its exponential correlation length is defined by ${\xi }^{-1}=-{\lim }_{r\to \infty }{r}^{-1}\log |G(r)|$, with direction specified if the lattice is anisotropic. Away from criticality, $G(r)$ has a tail proportional to $e^{-r/\xi }$ times an algebraic prefactor. In the massive continuum scalar approximation that prefactor is $r^{-(D-1)/2}$; at criticality the exponential cutoff disappears and $G(r)\asymp r^{-(D-2+\eta )}$ instead. The large-distance limit here is $r\gg \xi$, as the PDF shows.

Let $F_{\mathrm{tot}}=-{\beta }_{\mathrm{th}}^{-1}\log Z$. With the energy convention $-h{\sum }_r{\sigma }_r$, the magnetization per site and magnetic susceptibility areWriting $S={\sum }_r{\sigma }_r$, direct differentiation of the partition function gives ${\partial }_h⟨S⟩={\beta }_{\mathrm{th}}(⟨S^2⟩-⟨S{⟩}^2)$. Thus the correlation-function susceptibility sum rule isIn physical continuum coordinates the lattice sum becomes $a^{-D}\int d^{D}rG(r)$, so omitting the site-density factor would change the normalization. A derivative with respect to the dimensionless source ${\beta }_{\mathrm{th}}h$ instead absorbs the explicit inverse-temperature factor.

An exact renormalization-group transformation with length factor $b>1$ can be defined by a nonnegative normalized blocking kernel $K_b({\sigma }^{\prime },\sigma )$ satisfying ${\sum }_{{\sigma }^{\prime }}{K}_b({\sigma }^{\prime },\sigma )=1$. A deterministic majority rule is one example; randomized tie-breaking preserves its normalization. Define the blocked energy, including its constant, bySumming over ${\sigma }^{\prime }$ proves $Z(u^{\prime },C^{\prime },N^{\prime })=Z(u,C,N)$. All generated operators must be retained for this identity to remain exact; a finite-coupling truncation is an approximation. After $p$ iterations, $N_p=N/b^{pD}$ and the spacing is $a_p=b^{p}a$. Long-distance physics is preserved because this is a marginalization of microscopic probabilities, with observables and sources transformed along with the energy. It integrates short-distance variables rather than changing their effects on retained observables. Physical lengths remain fixed even though the correlation length in units of the new spacing is reduced by $b^p$.

For clarity, now use dimensionless free energy per site $F(u,C)=-N^{-1}\log Z=f(u)+{\beta }_{\mathrm{th}}C$. Exact equality of the partition functions givesA constant microscopic energy shifts every blocked weight by the same factor, so $C^{\prime }=b^{D}C+c(u)$. Substitution at one step yields the additive free-energy recursion under blockingInduction now gives the requested relationThe function $g$ is the identity-operator contribution to renormalization-group free energy: it records eliminated-mode entropy, integration constants and normalization factors. A free-energy function satisfying this inhomogeneous equation need not be purely singular until its analytic background has been subtracted.

At a renormalization-group fixed point, $R_b{u}_{\ast }=u_{\ast }$. Linearize in scaling coordinates $v_i$ so $v_i^{\prime }=b^{{\lambda }_i}{v}_i$. Here ${\lambda }_i$ is a scaling exponent, not the discrete multiplier itself. A positive ${\lambda }_i$ gives a relevant operator, a negative one an irrelevant operator, and zero a marginal operator. The critical surface is the stable manifold: tune every relevant scaling field to zero and the irrelevant coordinates flow toward $u_{\ast }$. A repulsive renormalization-group trajectory leaves along a relevant direction; it can still have irrelevant coordinates contracting toward that manifold. The plot shows the $h=0$ section when temperature and field are relevant: $t=0$ is the critical line in this section, while an independent nonzero field is another direction away from criticality.

The inhomogeneous term cannot simply be discarded from the full free energy. If an analytic background $A(u)$ solves $A(u)=b^{-D}A(R_{b}u)+g(u)$, its subtraction leaves $F_s=f-A$ obeying homogeneous scaling. For example, in linear thermal and field coordinates, a source monomial $g_{mn}{t}^m{h}^n$ is removed byWhen the denominator vanishes, the source is resonant and can instead produce a logarithm. Thus the homogeneous singular equation is justified after analytic subtraction when there is no relevant resonance affecting the leading singularity, no marginal logarithm that has been omitted, and no singular dependence on a dangerously irrelevant coupling. Merely saying that $g$ is regular is insufficient to discard the whole weighted sum without this analysis.

Under these assumptions, with two relevant scaling fields $t,h$, choose $p$ so that $b^{p{\lambda }_t}|t|$ is of order one. The scaling hypothesis for critical phenomena then givesWriting ${\Phi }_{\pm }=f_{\pm }+I_{\pm }$ recovers the PDF's notation:The sign labels the two matching branches $t>0$ and $t<0$, which enter different phases when the flow leaves the critical neighborhood. The constants $I_{\pm }$ retain a branch-dependent identity contribution or a chosen split of the scaling function. They are determined by the same matching problem, not independently adjustable nonuniversal free-energy offsets. An arbitrary analytic offset from $C_0$ belongs to the subtracted background. The formula describes the singular part; adding that background recovers the full physical free energy.

At $h=0$, restore the common metric factors as $F_{s,\pm }=A_f|a_{t}t{|}^{D/{\lambda }_t}{\Phi }_{\pm }(0)$. Their ratio at equal $|t|$ is ${\Phi }_{+}(0)/{\Phi }_{-}(0)$, proving the expected universal singular free-energy amplitude ratio because $A_f$ and $a_t$ cancel. The ratio of full free energies including an arbitrary regular $C_0$ is not universal; zero amplitudes and logarithmic resonances also require separate treatment.

The critical exponents are obtained by rescaling and differentiating, not by identifying them with the discrete multipliers. The correlation length obeys $\xi (t,h)=b^p\xi (b^{p{\lambda }_t}t,b^{p{\lambda }_h}h)$, hence $\nu =1/{\lambda }_t$. Two temperature derivatives of $F_s(t,0)$ give $C_{V,s}\asymp |t{|}^{D/{\lambda }_t-2}$, while one and two field derivatives give the ordered magnetization and susceptibility powers. ThusFor $\delta$, instead set $t=0$ and choose the blocking scale by $h$, obtaining $F_s(0,h)\asymp |h{|}^{D/{\lambda }_h}$ and then differentiate. A nonzero spontaneous ordered-branch derivative is assumed in the formula for $\beta$. In particular the hyperscaling relation is $\boxed{\alpha =2-D\nu }$. Its physical assumption is an order-one singular free energy per correlation volume, with a single diverging length and no dangerous variable changing its volume scaling. Above the upper critical dimension, a stabilizing quartic coupling can invalidate that assumption even though the correlation length still scales.

For the last model, take the quadratic Hamiltonian exactly as visually printed: its source term is $+h\varphi$, outside the half multiplying the gradient and mass terms. With $\kappa >0$ and $m^2>0$, its connected quadratic covariance is proportional toThe pole scale, or the massive Gaussian field correlation tail obtained by its Fourier transform, givesThe uniform source shifts the mean to $⟨\varphi ⟩=-h/m^2$ and does not change the connected covariance. Replacing $h$ by $-h$ matches the earlier magnetic source convention without changing any scaling index.

Define a Gaussian thinning transformation by retaining momenta $|q|<\Lambda /b$, integrating the Gaussian shell, and rescalingThe gradient coefficient is unchanged. Counting volume and field powers in the remaining action givesShell integration contributes only the additive determinant term. Thus ${\lambda }_t=2$ when the thermal variable is proportional to $m^2$, and ${\lambda }_h=(D+2)/2$. Inserting these into the homogeneous index formulas gives the requested Gaussian critical exponentsThe specific-heat power can also be verified without hyperscaling: two mass-squared derivatives of $\frac{1}{2}\int d^{D}q(2\pi {)}^{-D}\log ({\kappa }^{-1}{q}^2+m^2)$ produce an integral proportional to $\int d^{D}q(q^2+\kappa m^2{)}^{-2}$. For $0<D<4$, rescaling $q=\sqrt{\kappa }mp$ gives $(m^2{)}^{D/2-2}$; at $D=4$ the divergence is logarithmic, with power index zero. At $D=2$ the determinant itself has an additive $m^2\log m^2$ resonance, although its heat-capacity power remains one.

There is a genuine limitation to the last printed request. The Gaussian order-parameter scaling index ${\beta }_G$ is formal: a pure quadratic theory has $⟨\varphi ⟩=0$ at $h=0,m^2>0$, and at $m^2<0$ the uniform energy $m^2{\varphi }^2/2$ is unbounded below, so its partition function diverges. It therefore has no stable ordered branch from which a spontaneous-magnetization exponent can be measured. The thinning derivation establishes the index requested by the PDF, but not a nonexistent ordered phase. A stabilizing quartic interaction is relevant for $D<4$ and generally changes these Gaussian indices to the interacting critical ones.

Microscopically different systems can have the same critical exponents and appropriately normalized scaling functions. This universality means that they belong to one universality class when coarse-graining brings them to the same renormalization-group fixed point. Spatial dimension, order parameter symmetry and the range of the interactions affect that classification; changing a lattice spacing or a microscopic coupling generally changes nonuniversal amplitudes and the critical temperature instead.

In the scalar short-range Landau-Ginzburg theory, a positive quartic term and one thermal tuning produce ordinary Ising-type criticality. A generic sextic term does not change that fixed point, but tuning the quartic coefficient to zero exposes a different tricritical point with different exponents. The mean-field approximation itself neglects fluctuations. Its numerical exponents are reliable only when the Ginzburg criterion makes those fluctuations subleading; the ordinary scalar upper critical dimension is four, while the tricritical one is three. At an upper critical dimension logarithmic corrections can remain.

Take the connected correlation functionFor a massive phase its large-distance form is an algebraic prefactor times $e^{-|r|/\xi }$, defining the exponential correlation length $\xi$. To specify the normalization of magnetic susceptibility, add $-h{\sum }_r{\sigma }_r$ to the energy and differentiate the mean spin. Translation invariance gives the correlation-function susceptibility sum ruleUsing the dimensionless source ${\beta }_{\mathrm{th}}h$ removes the prefactor ${\beta }_{\mathrm{th}}$. Below the transition, use a selected pure phase rather than a mixture of the two magnetizations, which would have a macroscopic disconnected fluctuation.

Choose a nonnegative blocking kernel $K_b({\sigma }^{\prime },\sigma )$ normalized by ${\sum }_{{\sigma }^{\prime }}{K}_b({\sigma }^{\prime },\sigma )=1$. It may enforce a block average, a majority rule or a chosen rescaled coarse spin. Define the transformed weight bySumming this identity over coarse spins shows exact preservation of the partition function. The geometrical changes are $a^{\prime }=ba$ and $N^{\prime }=N/b^D$. A coordinate rescaling subsequently restores the reference cutoff if desired. The transformation is exact only if all generated operators are retained; a finite-coupling truncation is an approximation.

Define the coupling-independent term generated when $C=0$ byRestoring the original $C$ gives the identity-operator contribution to renormalization-group free energy:The parameter $C_p$ is an accumulated additive energy per coarse site. It multiplies the identity operator and leaves normalized spin probabilities unchanged, but it must be kept when calculating the absolute free energy. It records the eliminated-mode entropy and the normalization of their statistical measure.