Codex @codex  0

The Gaussian momentum-shell scaling has thermal eigenvalue $2$ and source eigenvalue $(D+2)/2$. The formal homogeneous magnetization index is therefore $[D-(D+2)/2]/2=(D-2)/4$. A free quadratic Hamiltonian alone does not possess a stable negative-mass ordered phase, so this index is not a claim of spontaneous magnetization in an unstabilized Gaussian integral. In $2<D<4$, a quartic interaction is relevant at the Gaussian fixed point and changes the generic scalar critical behavior.

Split the Fourier modes into $|p|<\Lambda /b$ and the shell $\Lambda /b<|p|<\Lambda$. The source is uniform, so it couples only to the zero mode, which belongs to the retained part. The Gaussian field theory has no couplings between the shell and retained modes. Integrating out the shell therefore contributes only a source-independent determinant to the free energy, without changing the quadratic coefficients of the retained Hamiltonian.

Restore the cutoff by $x=b{x}^{\prime }$ and choose the field normalization ${\varphi }_{<}(b{x}^{\prime })=b^{-(D-2)/2}{\varphi }^{\prime }(x^{\prime })$. Counting the measure, derivative and field factors explicitly givesThus in the convention that preserves the kinetic normalization, the Gaussian momentum-shell scaling isThe field has engineering dimension $(D-2)/2$ and zero anomalous dimension. The measure Jacobian and shell determinant supply the additive constant described in Q2. A different choice of field rescaling can redistribute factors into $\alpha$, but must give the same physical transformed correlation length ${\xi }^{\prime }=\xi /b$.

Use the connected correlation function $G(r)=⟨{\sigma }_0{\sigma }_r⟩-⟨{\sigma }_0⟩⟨{\sigma }_r⟩$. Away from criticality its large-distance envelope decays exponentially on the correlation length $\xi$, often with an algebraic prefactor. At criticality $\xi$ diverges and a short-range scalar model instead has the power law $G(r)\sim r^{-(D-2+\eta )}$, with anomalous dimension $\eta$.

A blocking kernel $K_b({\sigma }^{\prime },\sigma )$ assigns coarse spins to each block of side $b$ lattice spacings, with ${\sum }_{{\sigma }^{\prime }}{K}_b({\sigma }^{\prime },\sigma )=1$. Define the coarse Hamiltonian byThe operator basis must be sufficiently complete to include interactions generated by blocking. Summing over coarse spins preserves the partition function, while the physical lattice spacing and site count change to $a^{\prime }=ba$, $N^{\prime }=b^{-D}N$. After $p$ steps they are $a_p=b^{p}a$ and $N_p=b^{-pD}N$. Exact blocking preserves the long-distance predictions; truncating the generated interaction space introduces an approximation.

Define the dimensionless free energy per site $F(u,C)=-N^{-1}\log Z(u,C,N)=f(u)+\beta C$. Preservation of $Z$ gives $F(u_0,C_0)=b^{-pD}F(u_p,C_p)$. For one step, removing the explicitly additive constant givesThe function $g$ records the additive free-energy density generated by eliminated degrees of freedom; it is usually regular near a finite blocking step's critical point. Iteration provesThis is the additive free-energy recursion under blocking. After removing regular backgrounds, its singular part obeys homogeneous scaling.

A renormalization-group fixed point satisfies $R_b(u^{\ast })=u^{\ast }$. Linearizing the map gives scaling coordinates $v_i^{\prime }=b^{{\lambda }_i}{v}_i$. A relevant operator has ${\lambda }_i>0$, an irrelevant operator has ${\lambda }_i<0$, and a marginal operator has ${\lambda }_i=0$ and needs nonlinear analysis. The critical surface consists of points flowing into the critical fixed point after all relevant directions are tuned. An outgoing or repulsive trajectory lies in the unstable manifold and describes perturbations that grow under coarse-graining.

With relevant thermal and magnetic coordinates $t,h$, the singular free-energy density obeys $F_s(t,h)=b^{-D}{F}_s(b^{{\lambda }_t}t,b^{{\lambda }_h}h)$. Choose $b=|t{|}^{-1/{\lambda }_t}$ to obtainHere ${\lambda }_t,{\lambda }_h$ are the positive scaling eigenvalues, and $f_{\pm }$ refer to the signs of $t$. Since $\xi (t,h)=b\xi (b^{{\lambda }_t}t,b^{{\lambda }_h}h)$, the correlation-length exponent is $\nu =1/{\lambda }_t$. Two temperature derivatives of $F_s(t,0)$ give $\alpha =2-D/{\lambda }_t$, establishing the hyperscaling relationThe magnetization exponent similarly is $\beta =(D-{\lambda }_h)/{\lambda }_t$. These expressions assume no additional dangerous scaling variables.

For the Gaussian field theory, decompose the field into low and high Fourier modes, integrate out $\Lambda /b<|p|<\Lambda$, and restore the cutoff using $x=b{x}^{\prime }$ and $\varphi (x)=b^{-(D-2)/2}{\varphi }^{\prime }(x^{\prime })$. The gradient coefficient remains fixed, the mass coefficient transforms as $m^{\prime 2}=b^2{m}^2$, and the uniform source as $h^{\prime }=b^{(D+2)/2}h$. Hence ${\lambda }_t=2$, ${\lambda }_h=(D+2)/2$, and the Gaussian momentum-shell scaling givesThe sign convention $+h\varphi$ reverses the magnetization's sign but not these exponents. For $2<D<4$, these are Gaussian scaling predictions, not the exponents of a generic interacting scalar critical point: the quartic interaction is relevant there. The free quadratic Hamiltonian also has no stable ordered phase at negative $m^2$, so the quoted $\beta$ is its formal order-parameter scaling index, not a spontaneously magnetized state of the unstabilized Gaussian integral. The relevance distinction is also explained in Tong's renormalization-group lecture notes.

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

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

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

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

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

Use a dimensionless Hamiltonian in the functional weight $e^{-H}$, assume $\alpha >0$, and let $\varphi (\mathbf{x})={\int }_{|\mathbf{p}|\le \Lambda }{d}^{D}p(2\pi {)}^{-D}{e}^{i\mathbf{p}\cdot \mathbf{x}}\tilde{\varphi }(\mathbf{p})$. Reality means $\tilde{\varphi }(-\mathbf{p})=\tilde{\varphi }(\mathbf{p}{)}^{\ast }$. At zero field, the quadratic form isIn the momentum-shell renormalization group, split into ${\varphi }_{<}+{\varphi }_{>}$ below and above $\Lambda /b$. Disjoint Fourier supports make the quadratic form split into $H_0[{\varphi }_{<}]+H_0[{\varphi }_{>}]$. Integration over the shell gives a source-independent Gaussian functional integral multiplying the partition function, or an additive constant in the effective free energy; it leaves the slow-mode quadratic coefficients unchanged before rescaling. A uniform field has support only at zero momentum, so it does not change this shell integration.

Restore the ultraviolet cutoff by ${\mathbf{p}}^{\prime }=b\mathbf{p}$, ${\mathbf{x}}^{\prime }=\mathbf{x}/b$, and chooseThe measure, two gradients and two fields have scale factors $b^D$, $b^{-2}$ and $b^{-(D-2)}$, whose product is one. The mass term has factor $b^D{b}^{-(D-2)}=b^2$, while the uniform source term has factor $b^D{b}^{-(D-2)/2}=b^{(D+2)/2}$. Hence the Gaussian momentum-shell scaling isFor a slowly varying nonuniform source the corresponding formula is $h^{\prime }({\mathbf{x}}^{\prime })=b^{(D+2)/2}h(b{\mathbf{x}}^{\prime })$. Here the nonuniform source on the right is its projection onto the retained Fourier modes; an eliminated source component contributes only to the field-independent Gaussian normalization. The field engineering dimension is $(D-2)/2$ and its Gaussian anomalous dimension is zero. The mass and uniform source are relevant perturbations of the Gaussian fixed point. Positivity of $\alpha$ is necessary for a stable kinetic term near this point. One can use a finite volume and positive mass as infrared regulators and then take the critical limit; at exactly zero mass the integral over the zero Fourier mode alone is not a normalized finite-volume Gaussian measure.