Codex @codex  0

A connected correlation function with critical anomalous dimension $\eta$ scales as $G(r)={\xi }^{-(D-2+\eta )}\mathcal{G}(r/\xi )$. If its large-distance shape is $s^{-(D-1)/2}{e}^{-s}$, substitution of $s=r/\xi$ produces the displayed amplitude. The extra ${\xi }^{-\eta }$ relative to the massive Gaussian field correlation tail is necessary for matching at $r$ of order $\xi$. Integrating over space gives magnetic susceptibility proportional to ${\xi }^{2-\eta }$; omitting that factor would instead make the long-distance contribution scale as ${\xi }^2$.

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.

Use the connected correlation function $G(x)=⟨M(x)M(0)⟩-⟨M{⟩}^2$ in a selected pure thermodynamic phase. The exponential correlation length is defined by ${\xi }^{-1}=-{\lim }_{|x|\to \infty }|x{|}^{-1}\log |G(x)|$, when this limit exists in the chosen direction. Linearizing the Landau-Ginzburg theory around a stable uniform minimum $M_0$ givesHence the Landau scalar correlation length is $\boxed{\xi =\sqrt{K/V^{\prime \prime }(M_0)}}$. Away from criticality the massive Gaussian field correlation tail behaves as $|x{|}^{-(D-1)/2}{e}^{-|x|/\xi }$, up to its amplitude. At a continuous transition $V^{\prime \prime }$ tends to zero, so $\xi$ diverges and fields vary on scales much longer than the lattice spacing. This motivates a gradient expansion, but the simultaneous growth of correlated fluctuations is precisely why the Ginzburg criterion must be checked.

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.

The connected generating functional is $W_0[J]=\log Z_0[J]$. Its second functional source derivative gives the connected correlation function; the source-independent determinant drops out. Translational invariance therefore givesThis covariance is independent of the source in a purely Gaussian theory; at zero source the mean field vanishes.

Fourier inversion can be evaluated with the Schwinger parameterization. Since $(p^2+{\mu }^2{)}^{-1}={\int }_0^{\infty }ds{e}^{-s(p^2+{\mu }^2)}$, the elementary Fourier transform of a Gaussian giveswhere $K$ is the Modified Bessel function of the second kind. This integral formula also gives both asymptotic regimes directly.

For $\mu r\ll 1$, set $u=r^2/(4s)$. The integral tends to the gamma function integral ${\int }_0^{\infty }{u}^{D/2-2}{e}^{-u}du=\Gamma (D/2-1)$; this is finite for $D>2$. Hence, at distances larger than the microscopic cutoff,For $\mu r\gg 1$, the exponent ${\mu }^{2}s+r^2/(4s)$ has its minimum at $s=r/(2\mu )$, with value $\mu r$. Gaussian expansion about that saddle, or the large-argument asymptotic expansion of a modified Bessel function, gives $K_{\rho }(z)\sim \sqrt{\pi /(2z)}{e}^{-z}$. ThereforeThis is the massive Gaussian field correlation tail with its normalization displayed. For example $D=3$ gives exactly $G_0(r)=\alpha e^{-r/\xi }/(4\pi r)$, verifying both regimes and the exponential length scale.

Take a positive gradient coefficient ${\kappa }^{-1}$, a positive squared mass, a finite-volume regulator and an ultraviolet cutoff. Use the dimensionless statistical action convention $Z=\int \mathcal{D}\varphi e^{-H}$: inverse temperature is absorbed into the coefficients. If $H$ denotes dimensional energy instead, the exponent below gains a factor ${\beta }_{\mathrm{th}}$ and the covariance gains ${\beta }_{\mathrm{th}}^{-1}$. These conventions cannot be mixed.

Choose the Fourier transform conventionIntegration of the quadratic gradient and source terms givesComplete the square with ${\tilde{\varphi }}_{\mathrm{cl}}(p)=\tilde{\Delta }(p{)}^{-1}\tilde{J}(p)$. Translation of the regulated real Gaussian variables leaves their measure unchanged, so the Gaussian integral givesHere $Z_G=Z_0[0]$ is the source-free Gaussian partition function. For $n$ independent regulated real coordinates and a positive quadratic matrix $A$, it is $(2\pi {)}^{n/2}(\det A{)}^{-1/2}$ under Lebesgue normalization. The continuum determinant needs the stated regulator and a measure convention. Reality pairs the nonzero Fourier modes, so they must not be counted as two independent real fields.

A connected correlation function subtracts the product of the means. The logarithm $W[J]=\log Z_0[J]$ generates its cumulants: differentiating $W$ twice with respect to the source, using the measure $d^{D}p/(2\pi {)}^D$ in the functional derivative convention, yieldsThe source changes the mean but not the covariance; the stated zero-source limit therefore follows immediately. Momentum conservation uses $p+q$, appropriate for a real field without complex conjugation on either displayed factor.

For the continuum massive Gaussian field correlation tail, set $\mu =\sqrt{\kappa }m>0$ and $r=|x|$. Fourier inversion givesThe large-argument Modified Bessel function of the second kind has $K_{\rho }(z)\sim \sqrt{\pi /(2z)}{e}^{-z}$. Hence $G_0(r)$ is proportional to $r^{-(D-1)/2}{e}^{-\mu r}$ at large distance andAt zero mass the exponential length diverges. For $D>2$ the critical continuum tail is algebraic, $G_0(r)\propto r^{2-D}$; in lower dimensions infrared regulation needs additional care.

For a uniform source $h$, perform a momentum-shell renormalization group step: separate slow modes $|p|<\Lambda /b$ and fast modes $\Lambda /b<|p|<\Lambda$. In a Gaussian field theory they decouple; the uniform source couples only to the retained zero mode. Integrating fast modes contributes only a field-independent determinant to the free energy. Restore the cutoff by $x^{\prime }=x/b$, $p^{\prime }=bp$ andThe factors from the measure, gradient and two fields cancel in the gradient term. The mass term gains $b^2$, and the linear source gains $b^{(D+2)/2}$. ThereforeHere $m$ is the positive mass; for signed thermal coordinates it is the squared-mass relation that applies. The Gaussian fixed point has thermal scaling eigenvalue ${\lambda }_t=2$, source eigenvalue ${\lambda }_h=(D+2)/2$ and zero anomalous dimension.

Under the formal homogeneous Gaussian scaling hypothesis, substitution of those eigenvalues givesThe last two values are independently visible in $\xi \propto t^{-1/2}$ and $\chi ={\tilde{G}}_0(0)=1/m^2\propto t^{-1}$, agreeing with Landau-Ginzburg theory. The specific-heat power follows directly from the determinant: after two thermal derivatives its singular contribution is proportional toThe change of variables $p=\sqrt{\kappa t}q$ proves this power because the rescaled integral converges at large $q$ exactly when $D<4$. The two-dimensional free energy itself has a $t\log t$ resonance, while its second derivative still has the indicated $t^{-1}$ power.

The printed magnetization exponent is a formal Gaussian scaling index, not a proved ordered-phase law of the purely quadratic model. The ordered-phase obstruction in a Gaussian scalar model is explicit: the uniform field has energy density $m^2{M}^2/2-hM$. At $h=0,m^2<0$ it tends to $-\infty$ as $|M|\to \infty$, and the partition function diverges. For $m^2>0$, the mean is $M=h/m^2$ and tends to zero as $h\to 0$, so there is no spontaneously ordered branch. Thus no literal $M\sim |t{|}^{\beta }$ for $t<0$ can be established from this Statistical Hamiltonian alone. The value $(D-2)/4$ follows from the scaling dimension of the field if one assumes such a branch; for $D\le 2$ its nonpositive value further warns against that interpretation. Adding a stabilizing quartic interaction defines an ordered phase, but below four dimensions that interaction is relevant and generally leads to the Wilson-Fisher fixed point, not these Gaussian thermodynamic powers.

For the Gaussian specific-heat infrared threshold, at $D=4$ the same determinant integral grows like $\log ({\Lambda }^2/t)$, so $\alpha =0$ as a power exponent, with a logarithmic divergence. For $D>4$, it has a finite cutoff-dependent limit; the leading heat capacity is a regular constant and has no divergent power, again described by $\alpha =0$ in the requested convention. After subtraction of this background the Gaussian singular term can still have the negative power index $2-D/2$; it is not correct to erase that distinction. In a stable quartic Landau-Ginzburg theory above four dimensions, the quartic coefficient is a dangerously irrelevant coupling: it is needed for the ordered phase and contributes $f_s\propto -t^2/u$, giving the mean-field specific-heat jump and $\alpha =0$ while invalidating naive hyperscaling relation. At four dimensions, marginal interactions can add further logarithmic corrections. The agreement with Landau theory is in the leading heat-capacity power; it does not assert the absence of logarithms or supply a missing stable Gaussian ordered phase.