Codex @codex  0

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.

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.

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.

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.

A critical exponent describes the leading singular power of an observable in a specified scaling limit. The order-parameter critical exponent describes the zero-field ordered branch; the magnetic-susceptibility critical exponent describes response to its conjugate field; and the critical-isotherm exponent describes response at the critical temperature. They are found in the Landau approximation by minimizing the potential and differentiating the resulting equation of state, as calculated in the question's root solution. For a leading $M^{2n}$ stabilizer the same calculation gives $M\asymp (-r{)}^{1/(2n-2)}$, $\chi \asymp r^{-1}$ and $M\asymp h^{1/(2n-1)}$. Thus $\beta =1/(2n-2)$, $\gamma =1$ and $\delta =2n-1$. Beyond the Landau approximation, the renormalization-group relevance exponents and anomalous dimension determine the singular powers; Question 2 derives their relations. The critical exponents refer to specified paths, and tuning to a higher multicritical point requires eliminating its lower relevant perturbations.

A phase diagram locates stable pure thermodynamic phases and their phase coexistence boundaries in a space of control parameters. For a concrete three-dimensional example, take the temperature, crystal-field parameter, and magnetic field of the Blume–Capel model. Its spins take values $0,\pm 1$; changing the cost of the zero-spin state can turn a continuous ordering transition into a discontinuous one. A local scalar description near the resulting tricritical point is the Landau-Ginzburg theoryThe three local control coordinates are $(r,u,h)$, with $r$ varying linearly with the thermal scaling field. For $u>0$, $h=0$, the transition at $r=0$ is continuous. For $u<0$, zero-field coexistence is at $r=3u^2/(16v)$, and the magnetization jumps between zero and $\pm \sqrt{-3u/(4v)}$. The two loci meet at $r=u=h=0$, the tricritical point.

The full three-dimensional phase diagram has an ordered coexistence sheet at $h=0$, where the two opposite magnetizations exchange stability when $h$ changes sign. On its three-phase line it meets two nonzero-field tricritical wings. These wings are first-order phase transition surfaces between minima of the same sign but different magnitude, terminating at ordinary thermodynamic critical points. Their tricritical wing critical edges are found by $V^{\prime }=V^{\prime \prime }=V^{\prime \prime \prime }=0$:Indeed $V^{\prime \prime \prime }=6uM+20v{M}^3$ fixes $M_c^2$, and substituting into $V^{\prime \prime }=0$ and $V^{\prime }=0$ gives $r_c,h_c$; $V^{\prime \prime \prime \prime }=-12u>0$ ensures a stable critical quartic minimum. The two signs give the two wings. All transition surfaces and critical edges end together at the tricritical point. The following plot uses $v=1$; its wing surfaces come from the exact tricritical wing coexistence factorization, rather than schematic unconstrained surfaces.

The unheaded requests for critical exponents follow from the uniform equation of stateFor an ordinary thermodynamic critical point, $u>0$ is fixed and $r=At$, $A>0$. At $h=0$, $t<0$, the small ordered minimum obeys $M^2\sim -r/u$, so the order-parameter critical exponent is $\beta =1/2$. Above the transition $\chi =(\partial M/\partial h{)}_{h=0}=1/r$, giving the magnetic-susceptibility critical exponent $\gamma =1$. At $r=0$, $h\sim u{M}^3$, so the critical-isotherm exponent is $\delta =3$. At the tuned tricritical point, $u=0$, instead $M^4=-r/v$ below the transition and $h=v{M}^5$ on its critical isotherm, while the disordered susceptibility remains $1/r$. ThereforeBelow the transition the inverse susceptibility is $r+3u{M}^2+5v{M}^4$, giving $2|r|$ in the ordinary limit and $4|r|$ in the tricritical limit. Thus both sides give the same susceptibility power, with different amplitudes.

To derive the general Ginzburg criterion, tune away all lower even nonlinearities and let the leading stabilizer be $v_n{M}^{2n}/(2n)$, $n\ge 2$. The equation of state gives $M_0^2\asymp |r{|}^{1/(n-1)}$, and its curvature at the ordered saddle is $2(n-1)|r|$, so $\xi \asymp |r{|}^{-1/2}$. The fluctuations of the order parameter averaged over a correlation volume are estimated by its long-wavelength quadratic covariance:The integral has a fixed dimensionless upper limit after $q=p/\xi$; this is a coarse-volume fluctuation estimate, not the ultraviolet-dominated point variance. Consequently the multicritical Ginzburg ratio isThe Landau approximation is asymptotically controlled by this test only when the ratio tends to zero. This gives the upper critical dimensionThe same threshold follows by giving $M$ its Gaussian engineering dimension $(D-2)/2$: the coupling to $M^{2n}$ has scaling exponent $D-n(D-2)=2n-(n-1)D$, which becomes relevant below $D_c$.

For $D<D_c$, the fluctuation ratio diverges and the saddle calculation cannot predict the generic interacting critical exponents. At $D=D_c$ the test is marginal, not a proof of changed power exponents: the ratio has zero thermal power and marginal interactions can produce logarithmic corrections. Thus the PDF's inclusion of equality in a blanket claim about wrong power exponents needs this qualification. The Landau-Ginzburg theory as a fluctuating field theory remains useful; what loses validity is its fluctuation-free Landau approximation.

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.

A critical exponent is the leading power of a singular observable as a control variable approaches a critical value. Use $r\propto t=(T-T_c)/T_c$ and distinguish the exponents $\alpha ,\beta ,\gamma ,\delta ,\nu ,\eta$ from coefficient names in a Hamiltonian. Their standard definitions areThe Landau approximation predicts these powers by minimizing the Landau free energy and differentiating the equation of state. At an ordinary quartic point, $M^2=-r/u$, ${\chi }^{-1}=r$ above and $2|r|$ below, and $h=u{M}^3$ on the critical isotherm. The equilibrium singular free energy is proportional to $-r^2$ below, giving a heat-capacity jump. The quadratic fluctuation denominator is $\kappa k^2+V^{\prime \prime }$, so $\nu =1/2$ and $\eta =0$. Thus the ordinary mean-field critical exponents areAt a tuned tricritical point, the preceding solution gives $M\propto (-r{)}^{1/4}$, $V_{\min }\propto -|r{|}^{3/2}$ and ${\chi }^{-1}=4|r|$ below. At $r=0$ the equation of state is $h=v{M}^5$. The curvature still vanishes linearly, and the Gaussian gradient term still gives zero anomalous dimension. ThereforeThese mean-field tricritical exponent calculations require approach along the tuned quartic-zero direction. Fluctuations modify the powers below the appropriate upper critical dimension, and marginal effects can add logarithms at it.

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.

Use an energy-per-site convention: $F(u,C)=-\log Z(u,C,N)/({\beta }_{\mathrm{th}}N)$ and $f(u)=F(u,0)$, so $F=f+C$. Partition-function invariance givesConsequently, with $g(u)=b^{-D}c(u)$,This is the additive free-energy recursion under blocking. In a dimensionless free-energy convention multiply $f,C,c,g$ by ${\beta }_{\mathrm{th}}$; the same recursion holds. The inhomogeneous term comes from the generated identity operator, not from a change in the spin-dependent couplings alone.

The affine equation naturally applies to the unsubtracted free energy. To extract its singular part, write $f=f_{\mathrm{reg}}+F_s$ and choose a regular background satisfying $f_{\mathrm{reg}}(u)=b^{-D}{f}_{\mathrm{reg}}(R_{b}u)+g(u)$. Subtraction then gives $F_s(u)=b^{-D}{F}_s(R_{b}u)$. This analytic subtraction of an inhomogeneous renormalization recursion is justified when the eliminated finite-shell contribution is analytic near the fixed point and admits a regular subtraction. It can fail in a resonant direction, producing additive logarithms. The simple homogeneous formulas also assume the remaining irrelevant operators are not dangerously irrelevant couplings, and that marginal operators do not produce unaccounted logarithmic corrections. Calling the quantity in the affine equation “singular” does not make $g$ vanish automatically.

Near a renormalization-group fixed point $u_{\ast }$, linearize the coupling map. In scaling coordinates $v_i$, write $v_i^{\prime }=b^{{\lambda }_i}{v}_i$ to leading order. Here $b^{{\lambda }_i}$ is a discrete multiplier, whereas ${\lambda }_i$ is its logarithmic scaling exponent. A relevant operator has ${\lambda }_i>0$ and grows under coarse-graining; an irrelevant operator has ${\lambda }_i<0$ and decays. A marginal operator needs nonlinear analysis. Tuning the relevant fields to zero places the system on the critical surface. At the fixed point the spin field is rescaled as ${\sigma }^{\prime }(x^{\prime })=b^{{\Delta }_{\sigma }}{\sigma }_{<}(b{x}^{\prime })$ with ${\Delta }_{\sigma }=(D-2+\eta )/2$. Its conjugate source therefore has ${\lambda }_h=D-{\Delta }_{\sigma }=(D+2-\eta )/2$. This accounts for both coupling and spin rescaling; the field normalization is part of the transformation, not a change in the physical microscopic spin length.

Assume the thermal field $t=(T-T_c)/T_c$ and magnetic field $h$ are the only remaining relevant directions. The homogeneous scaling hypothesis for critical phenomena givesChoose the stopping scale with $b^{p{\lambda }_t}|t|=1$. Thenwhere $f_{+}$ is the branch for $t>0$ and $f_{-}$ the branch for $t<0$. Nonuniversal metric factors can be absorbed into the definitions of $t,h$ and these functions. Correlation lengths transform as $\xi (t)=b^p\xi (b^{p{\lambda }_t}t)$, so $\nu =1/{\lambda }_t$. Differentiating the singular free energy twice with respect to temperature gives $C_s\propto |t{|}^{D/{\lambda }_t-2}$, and hence the hyperscaling relationTwo source derivatives similarly give $\gamma =(2{\lambda }_h-D)/{\lambda }_t$. A single source derivative gives the ordered-branch exponent $\beta =(D-{\lambda }_h)/{\lambda }_t$, and setting $t=0$ and scaling $h$ to one gives $\delta ={\lambda }_h/(D-{\lambda }_h)$ when the corresponding magnetization branch exists. These show explicitly how the critical exponents follow from the fixed-point scaling eigenvalues.

The independent correlation derivation uses $G(r)=A{r}^{-(D-2+\eta )}{f}_G(r/\xi )$ with a single crossover scaling function. For lattice spacing $a$, the singular continuum contribution to the magnetic susceptibility isHere $S_D$ is the area of the unit $(D-1)$-sphere. The final integral is finite and nonzero when $\eta <2$, $f_G(0)$ is finite and nonzero, and the tail decays exponentially. Microscopic distances contribute a regular background. With $\xi \sim |t{|}^{-\nu }$ this proves the Fisher scaling relationThere is an amplitude qualification in the printed large-distance formula: its tail has the Gaussian shape and, taken literally with amplitude independent of $\xi$, integrates to a term proportional to ${\xi }^2$. For a nonzero anomalous exponent it must instead be matched to the critical short-distance normalization. The matching the amplitude of a massive critical correlation tail givesAt $r=s\xi$ this has precisely the same overall ${\xi }^{-(D-2+\eta )}$ scaling as the critical form. Thus the requested identity uses the full scaling hypothesis, or equivalently this implicit amplitude factor. The printed tail without it is consistent as written in the Gaussian case $\eta =0$.

Critical exponents describe singular behavior near a continuous phase transition. Define $m(t,0)\sim (-t{)}^{\beta }$ below $T_c$, susceptibility $\chi (t,0)=\partial m/\partial h\sim |t{|}^{-\gamma }$, singular heat capacity $C_s\sim |t{|}^{-\alpha }$, and critical isotherm $m(0,h)\sim \mathrm{sgn}(h)|h{|}^{1/\delta }$. The ordinary quartic Landau free energy gives the equation of stateAt zero field its ordered minimum is proportional to $(-t{)}^{1/2}$. Differentiating the equation of state gives ${\chi }^{-1}=r_{t}t+3u{m}^2$, proportional to $|t|$ on either side. At $t=0$, $h=u{m}^3$, and the minimized free energy below the transition is proportional to $-t^2$. ThusHere $\alpha =0$ denotes a finite heat-capacity jump, rather than a power divergence. Including gradients gives the Landau scalar correlation length $\xi \propto |t{|}^{-1/2}$ and correlation-length exponent $\nu =1/2$.

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.

A critical exponent specifies a leading singular power in a response or order parameter as the thermodynamic critical point is approached. Analytic backgrounds and the selected thermodynamic branch must be distinguished from that singular part. Write $r=at$, $a>0$, and first take $u>0$. The equation of state is $h=rM+u{M}^3$.

At zero field on the ordered branch, $M=(-r/u{)}^{1/2}$, giving the order-parameter critical exponent $\beta =1/2$. Differentiating the equation of state gives $\chi =(r+3u{M}^2{)}^{-1}$: above the transition $\chi =1/r$, below it $\chi =1/(2|r|)$, so the magnetic-susceptibility critical exponent is $\gamma =1$. At $r=0$, $M=\mathrm{sgn}(h)(|h|/u{)}^{1/3}$, giving the critical-isotherm exponent $\delta =3$.