Codex @codex  0

Let $b,c>1$, rescale $q_{\parallel }^{\prime }=b{q}_{\parallel }$, ${\mathbf{q}}_{\perp }^{\prime }=c{\mathbf{q}}_{\perp }$, and set $B=b{c}^{d-1}$. Use the Fourier-amplitude conventionThe momentum measure contributes $B^{-1}$, and substitution into the quadratic statistical Hamiltonian givesIn the uniform source the momentum delta function cancels the Jacobian determinant of the measure, explaining why $h^{\prime }$ does not have an additional $B^{-1}$. In a full momentum-shell renormalization group transformation integrate out the fast modes first. Their uncoupled Gaussian integrals contribute an additive free-energy density; the displayed transformations describe the slow-mode statistical Hamiltonian after coordinate and field rescaling.

The field convention must be stated. In real space, $x_{\parallel }^{\prime }=x_{\parallel }/b$ and ${\mathbf{x}}_{\perp }^{\prime }={\mathbf{x}}_{\perp }/c$, and Fourier inversion gives $m^{\prime }(x^{\prime })=Bm(x)/z$. Thus if instead the symbol $m^{\prime }=m/z_x$ refers to real-space amplitudes, $z=B{z}_x$. Then the same transformation reads $K^{\prime }=B{z}_x^{2}K/b^2$, $L^{\prime }=B{z}_x^{2}L/c^4$, $t^{\prime }=B{z}_x^{2}t$, $h^{\prime }=B{z}_{x}h$. These are equivalent normalizations, not different critical exponents.

Changing the ultraviolet cutoff changes which fluctuations remain explicit. Integrating out a shell of Fourier modes shifts the coefficients of all symmetry-allowed operators and a field-independent constant. Hence the cutoff-dependent coefficients are chosen so that the remaining partition function and long-distance observables reproduce the same microscopic system. This is the Wilsonian coarse-grained statistical Hamiltonian; retaining only the printed operators is a local derivative expansion, not an exact closure.

In a massive symmetric phase, the quadratic long-wavelength inverse two-point function has the form ${\alpha }^{-1}{p}^2+m^2$. Its Landau scalar correlation length satisfies ${\xi }^{-2}=\alpha m^2$ in this approximation. For canonical normalization of a scalar gradient term, set $\varphi =\sqrt{\alpha }\psi$; then the mass and quartic coefficients become $r=\alpha m^2$ and $g_c={\alpha }^{2}g$. With this normalization the infrared mass is the inverse correlation length, $m_R={\xi }^{-1}$, within the massive quadratic or one-loop approximation. More generally the decay rate is a pole mass, whereas the zero-momentum inverse magnetic susceptibility is a curvature mass; an anomalous dimension or nontrivial momentum dependence can distinguish them. In the ordered phase one must first expand about a selected stable equilibrium magnetization, rather than identify a negative quadratic coefficient at the unstable origin with a squared inverse correlation length. Thus the intended mass identification includes a field normalization and a stable-phase qualification.

For momentum-shell renormalization group, split $\varphi ={\varphi }_{<}+{\varphi }_{>}$, retaining $|p|<\Lambda /b$ and eliminating $\Lambda /b<|p|<\Lambda$. DefineTaking a logarithm gives the cumulant expansion of a coarse-grained free energy. For a centered fast Gaussian measure with $G_{>}(0)=⟨{\varphi }_{>}^2⟩$, the first quartic cumulant isThe Wick contractions give a mass shift $\Delta r=g{G}_{>}(0)/2$ and an identity-operator contribution, while leaving the quartic term at this order. The second cumulant produces higher interactions and a quartic correction. After the length and field rescalings $x=b{x}^{\prime }$ and ${\varphi }_{<}(x)=b^{-(D-2)/2}{\varphi }^{\prime }(x^{\prime })$, the gradient coefficient remains one, andThe one-loop shell mass renormalization in scalar quartic theory explicitly shows why the critical bare mass is shifted by fluctuations.

Assume short-range interactions, an analytic even local potential, a positive gradient coefficient, and a weak-coupling trajectory in the basin of the Gaussian fixed point. Above four dimensions the quartic interaction has negative engineering dimension and its dimensionless strength decreases under coarse graining; higher local powers and higher derivative terms also decrease. After absorbing analytic short-distance shifts into the coefficients, long-wavelength fluctuations are small compared with the ordered order parameter. The remaining coarse Landau free energy can therefore be evaluated at its stable saddle:The quartic stabilizer must still be retained for the ordered minimum even though it is dangerously irrelevant. Stationarity, $r_{R}M+g_R{M}^3/6=h$, gives the ordinary Landau-Ginzburg theory and its mean-field critical exponents. This derives the saddle approximation from decreasing fluctuation strength under the stated RG assumptions; it does not assume that every exact coarse-grained functional becomes a quartic polynomial. Below four dimensions the quartic coupling grows, long-wavelength loop corrections cease to be small, and the argument fails. At four dimensions the interaction is marginal and generates logarithmic corrections. The tuned sextic theory has the analogous boundary at three dimensions.

Use a consistent Fourier transform pair for the connected correlation function:The printed forward-transform expression integrates over $p$ while leaving $x$ free; that integration variable is an error. The above convention resolves it and produces the loop measure used below. At zero magnetization, $G_c(x)=⟨\varphi (0)\varphi (x)⟩$; otherwise the disconnected product of expectations must be subtracted.

In the inverse-propagator identity used here, the truncated two-point function means the full one-particle-irreducible two-point vertex, including its free quadratic part. This convention differs from using “truncated” for a connected cumulant. To derive the inverse relation, introduce $W[J]=\log Z[J]$, $\phi =\delta W/\delta J$ and the effective action $\Gamma [\phi ]=\int J\phi -W[J]$. Then $\delta \Gamma /\delta \phi =J$ and the chain rule gives ${\Gamma }^{(2)}{W}^{(2)}=1$. Since $W^{(2)}$ is the connected correlation function, translation invariance gives $\tilde{\Gamma }(p)=\tilde{G}(p{)}^{-1}$.

Now use canonically normalized coefficients, denoting the cutoff mass by $m_b^2=m^2(\Lambda ,T)$ and the renormalized infrared mass by $m_R^2=m^2(0,T)$. Choose the free propagator ${\tilde{G}}_0(p)=(p^2+m_R^2{)}^{-1}$ and put $\delta m^2=m_b^2-m_R^2$ in the interaction as a quadratic counterterm. With the Euclidean self-energy convention in which an insertion changes the connected propagator by $-G_0\Sigma G_0$, the perturbative series beginsThe self-energy sums one-particle-irreducible loop insertions; the explicit mass counterterm is kept separate. Repeated insertions generate the geometric Dyson resummation, which explains why reducible chains occur in $G$ but not as independent terms in its inverse. Beyond one loop a momentum-dependent self-energy and wave-function renormalization must also be included.

At one loop the only quartic two-point graph is the tadpole diagram. At a $g{\varphi }^4/4!$ vertex, attaching the two labeled external fields uses $4\cdot 3=12$ choices and contracts the remaining two fields together. The factor is $12/4!=1/2$. Equivalently this is the same quadratic term in the shell cumulant expansion above. ThusIt is positive for $g>0$ and independent of external momentum, so there is no one-loop gradient renormalization. The condition $\tilde{\Gamma }(0)=m_R^2$ implies $\delta m^2+\Sigma (0)=0$, henceThe cutoff is necessary: the unregulated integral is ultraviolet divergent for $D\ge 2$. Using the renormalized mass internally is a self-consistent one-loop organization, not an exact resummation of all critical fluctuations. With nonunit $\alpha$, this formula instead applies to $r=\alpha m^2$, $g_c={\alpha }^{2}g$ after canonical normalization of a scalar gradient term.

To test a linear thermal mass, approach the ordinary transition from the symmetric side and set $R=m_R^2>0$. For $D>2$ the massless tadpole is infrared finite. Subtract its critical value, absorb regular temperature dependence of the coupling into a nonzero thermal coefficient $A$, and write $m_b^2(T)-m_b^2(T_C)=A(T-T_C)+\cdots$. The one-loop critical-mass subtraction giveswhereFor $D>4$, $J_D(0)=c_D{\Lambda }^{D-4}/(D-4)$ is finite, so the bracket tends to a finite constant and $R\propto T-T_C$ is self-consistent. At $D=4$,and the growing logarithm obstructs an asymptotically constant linear coefficient at nonzero coupling. For $2<D<4$, put $k=\sqrt{R}q$ to obtainThe divergent bracket then invalidates the assumed linear thermal mass. The radial critical-mass subtraction in dimensions three to five gives explicit checks of all three behaviors. For $D\le 2$, the massless tadpole subtraction itself is infrared divergent; that failure of the Gaussian expansion does not prove absence of an interacting transition. Therefore the ordinary upper critical dimension is $D_C=4$, with the unmodified Landau-Ginzburg theory asymptotically justified by this test only for $D>4$. Exponents inferred by solving the self-consistent one-loop equation below four dimensions would not be exact interacting exponents.

For a tricritical point the renormalized quartic coefficient must be tuned to zero, and a positive sextic interaction stabilizes the order parameter. The gradient term gives the scalar field engineering dimension $(D-2)/2$. A coefficient of ${\varphi }^6$ therefore has dimension $D-6(D-2)/2=6-2D$, which becomes marginal at $D=3$. This gives $D_C^{\mathrm{tri}}=3$. A direct Ginzburg criterion reaches the same result: long-wavelength variance in a correlation volume iswhile the tricritical saddle has $M^2\sim |r{|}^{1/2}$. Their ratio scales as $|r{|}^{(D-3)/2}$, vanishing only above three dimensions. At three dimensions it is marginal; below three it grows. In contrast the ordinary saddle $M^2\sim |r|/g$ gives a ratio $g|r{|}^{(D-4)/2}$. Both calculations assume the thermal mass is measured relative to its shifted critical value. A sextic interaction generates quartic terms under coarse graining, so tricriticality requires tuning the renormalized quartic scaling field as well as the mass.

Write $\rho =m^2{\Lambda }^{-2}$ for the PDF's signed mass coordinate $u^2$, and $K_D={\Omega }_D/(2\pi {)}^D$. The superscript on $u^2$ is notation here, not a restriction to positive mass. In a momentum-shell renormalization group step, remove momenta $\Lambda e^{-d\ell }<|p|<\Lambda$ and set $\ell =\log ({\Lambda }_0/\Lambda )$, the PDF's $b$. Split the scalar field into a slow field $\phi$ and a fast field $\eta$, whose Gaussian shell covariance is $(p^2+m^2{)}^{-1}$. The shell must have a positive quadratic kernel; $1+\rho >0$ near the fixed point meets this requirement.

Expand the coarse action by the cumulant expansion of a coarse-grained free energy. In the first cumulant of $V=g\int (\phi +\eta {)}^4/4!$, the term with two fast fields is $(g/4)\int {\phi }^2⟨{\eta }^2⟩$. Thus the one-loop shell mass renormalization in scalar quartic theory isFor the quartic correction, the two-fast-field vertex is $(g/4)\int {\phi }^2{\eta }^2$. Its connected second cumulant has a minus sign and uses $⟨{\eta }^2(x){\eta }^2(y){⟩}_c=2G_{>}(x-y{)}^2$. It givesTaking the local zero-external-momentum quartic part produces $\delta g=-3g^2{I}_2/2$, where $I_2={\int }_{\mathrm{shell}}{d}^{D}p(2\pi {)}^{-D}(p^2+m^2{)}^{-2}$. This derives the combinatorial factors in the one-loop shell quartic renormalization. The mass tadpole is independent of external momentum; kinetic normalization changes only at higher order for the leading epsilon calculation.

For an infinitesimal spherical shell, radial integration givesLowering the cutoff adds the engineering terms $2\rho$ and $ϵ\lambda$ to the running dimensionless couplings. Since $g=\lambda {\Lambda }^{ϵ}$ and $D=4-ϵ$, the remaining cutoff powers cancel exactly. ThereforeThese are the requested flows, to the stated one-loop order. They implement cutoff independence of long-wavelength observables after changing the couplings and retaining the generated constant and other effective operators to the relevant approximation order. They are not an exact closure of the complete effective action.

The ultraviolet cutoff specifies which fluctuations remain explicit. Changing it integrates out some modes; to preserve long-distance predictions, their effect must be absorbed into the mass, interactions, and other couplings. Thus bare coefficients depend on $\Lambda$. The long-distance inverse connected correlation function has the form $\tilde{\Gamma }(p)\simeq Z^{-1}(p^2+{\xi }^{-2})$. After fixing the gradient normalization, the infrared mass is an inverse correlation length. With the question's unrescaled gradient coefficient, ${\xi }^{-2}=\alpha m^2$ at Gaussian level, so proportionality rather than literal equality is appropriate until that normalization is chosen.

As a concrete momentum-shell renormalization group step, split $\varphi ={\varphi }_{<}+{\varphi }_{>}$ into modes below $\Lambda /b$ and in the shell $\Lambda /b<|p|<\Lambda$, and defineThen rescale coordinates and the field to restore the cutoff and gradient coefficient. A local derivative expansion of $H_{\mathrm{eff}}$ gives new quadratic, quartic, and higher even couplings. If the system has short-range interactions, the field varies slowly, the effective potential is analytic, and remaining fluctuations are small, retaining the leading gradient and lowest stabilizing powers and minimizing the resulting functional gives Landau-Ginzburg theory. Suppressing the omitted fluctuations is the substantive Landau approximation; it is justified sufficiently far from the narrow fluctuation region or above the appropriate upper critical dimension.

The truncated two-point function in this question is the one-particle-irreducible two-point vertex, $\tilde{\Gamma }(p)=\tilde{G}(p{)}^{-1}$. It is the Hessian of the Legendre effective action, not merely the connected two-point function. In perturbation theory,Here ${\tilde{G}}_0$ is the Gaussian propagator about the chosen reference mass, $\delta m^2$ is the mass counterterm or bare-to-reference mass shift, and $\Sigma$ is the interaction self-energy, computed from proper diagrams. Fix the gradient normalization so ${\tilde{G}}_0(p)=(p^2+M^2{)}^{-1}$, and choose the infrared reference mass $M^2=m^2(0,T)$. Then $\delta m^2=m^2(\Lambda ,T)-M^2$ at this order. The mass renormalization condition is $\tilde{\Gamma }(0)=M^2$.

At one loop the only two-point diagram is the quartic tadpole diagram. There are $4\cdot 3$ choices for attaching its two external lines, leaving the other pair contracted; dividing by $4!$ gives its factor $1/2$. It is independent of external momentum, soThe renormalization condition therefore gives the self-consistent one-loop equationUsing $M$ inside the loop is a self-consistent resummation; replacing it by the bare mass gives the same formal first-order expansion away from infrared problems.

Subtract the equation at $T_c$, where $M=0$, and absorb regular temperature dependence of $g$ into the thermal coefficient. Let $\tau =m^2(\Lambda ,T)-m^2(\Lambda ,T_c)\propto T-T_c$ and $I(M)={\int }_{|q|<\Lambda }{d}^{D}q/(2\pi {)}^D(q^2+M^2{)}^{-1}$. ThenFor $D>4$, the integral divided by $M^2$ tends to a finite cutoff-dependent constant, since its small-momentum radial integrand is $q^{D-5}$. Thus $\tau$ is proportional to $M^2$, consistent with the Landau prediction. For $2<D<4$, set $q=Mz$: the correction instead scales as $M^{D-2}$ and dominates $M^2$. At $D=4$ it is proportional to $M^2\log (\Lambda /M)$. Hence a pure linear Landau mass law without logarithmic modification is consistent only aboveFor $D\le 2$, the massless integral itself is infrared divergent, so the subtraction already needs additional care. The sub-four-dimensional self-consistent approximation locates the breakdown of mean-field behavior; it is not an exact calculation of interacting critical exponents.

At a tricritical point the quartic coupling is tuned away and the leading stabilizing interaction is $g_6{\varphi }^6$. At the Gaussian fixed point, the field has engineering dimension $(D-2)/2$, so the sextic coefficient rescales as $g_6^{\prime }=b^{D-3(D-2)}{g}_6=b^{6-2D}{g}_6$. It changes from irrelevant to relevant atThis is the sextic case of the upper critical dimension of an even scalar interaction; marginality at three dimensions allows logarithmic corrections.

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.

The parameters of a cutoff statistical field theory describe only the retained modes. Changing the ultraviolet cutoff changes which fluctuations have already been integrated out, so its effective mass, interaction coefficients and gradient normalization must change to preserve the same long-distance physics. They are not separately cutoff-independent observables. Because the source's weight is $e^{-H}$, its statistical Hamiltonian is dimensionless, with the physical inverse-temperature factor already absorbed.

For example split the scalar field into slow modes ${\varphi }_{<}$ with $|p|<\Lambda /b$ and shell modes ${\varphi }_{>}$ with $\Lambda /b<|p|<\Lambda$. Define the momentum-shell renormalization group step byThis integrates out short-wavelength fluctuations exactly if all generated terms are retained. The new Hamiltonian can be expanded in local symmetry-allowed operators when the retained external momenta are well below the shell scale. A cumulant expansion of a coarse-grained free energy gives perturbative coefficients. Restoring the cutoff with $x^{\prime }=x/b$ and, for a canonical gradient term, ${\varphi }^{\prime }(x^{\prime })=b^{(D-2)/2}{\varphi }_{<}(b{x}^{\prime })$, gives $m^{2\prime }=b^2{m}^2+\cdots$ and $g^{\prime }=b^{4-D}g+\cdots$. Interaction corrections also change the field normalization. Repeating the step produces the effective theory at successively longer distances.

To obtain the LG theory, assume a short-range scalar theory, slowly varying retained fields, analytic local couplings, positive gradient stiffness and stability, and a regime in which fluctuation corrections at the remaining scales are small. Keeping the leading gradient, quadratic and quartic operators gives a local Landau-Ginzburg theory functional. Its equilibrium in the Landau approximation is a uniform minimum, with a quadratic coefficient proportional to $T-T_c$ after the critical mass has been tuned. The RG explains why this is asymptotically consistent for the ordinary transition above four dimensions: the quartic interaction is irrelevant near the Gaussian fixed point, while it must still be retained to stabilize the ordered phase. Below four dimensions it cannot be dropped in the asymptotic critical region; an interacting Wilson-Fisher fixed point rather than the elementary saddle generally controls the transition. At four dimensions the interaction is marginal and produces logarithmic corrections. Tuning a quartic coefficient through zero requires a sextic stabilizing term and leads to tricriticality.

More concretely, in the Gaussian scaling regime let $u=g/6$ so the local quartic term is $u{\varphi }^4/4$. At a total blocking scale $\ell$, the leading couplings are $r^{\prime }={\ell }^{2}r$, $u^{\prime }={\ell }^{4-D}u$, $h^{\prime }={\ell }^{(D+2)/2}h$. Apply the saddle approximation to the blocked potential and multiply its minimum by ${\ell }^{-D}$ to convert back to original volume units. Rescaling the saddle field by $(|r^{\prime }|/u^{\prime }{)}^{1/2}$ givesAll blocking-scale factors cancel. This explicitly recovers mean-field scalar free-energy scaling with $r\propto t$. Although $u^{\prime }\to 0$ above four dimensions, the saddle free energy is proportional to $1/u^{\prime }$; setting it to zero before minimization would remove the ordered phase. This is the dangerously irrelevant coupling mechanism rather than homogeneous two-variable hyperscaling.

For the perturbative calculation make the source's kinetic convention explicit. Write $K={\alpha }^{-1}>0$. The canonical normalization of a scalar gradient term uses $\psi =\sqrt{K}\varphi$, so the canonical quadratic and quartic coefficients are $r/K$ and $g/K^2$. In what follows $m^2,g$ denote those canonical coefficients; then the reference propagator has denominator $p^2+M^2$. Without this normalization the propagator denominator is $K{p}^2+r$, and the unmodified printed integral would not apply. At one loop the quartic tadpole is momentum independent, so it produces no gradient renormalization at this order.

In the convention fixed by the displayed equation, the truncated two-point function is the one-particle-irreducible two-point vertex, not the connected two-point cumulant itself. If $W[J]=\log Z[J]$ and $\Gamma [\phi ]=\int J\phi -W[J]$ is the Legendre transform, then its second derivative is the inverse of $W^{(2)}=G$. For a translation-invariant background,Decompose the canonically normalized statistical Hamiltonian into a Gaussian part of mass $M^2$, a mass counterterm $\delta m^2=m^2(\Lambda ,T)-M^2$, and the quartic interaction $g{\varphi }^4/4!$. With the Euclidean sign convention in which a positive mass correction increases the inverse propagator, the self-energy expansion isHere $\Sigma$ contains loop corrections from proper two-point diagrams, excluding the separately displayed mass counterterm. The corresponding connected propagator begins $G=G_0-G_0(\delta m^2+\Sigma )G_0+\cdots$. This fixes the sign, which would be reversed if “self-energy” instead denoted the insertion added with a plus sign inside a Dyson series.

The one-loop proper diagram is the tadpole diagram. Attaching two external fields to the quartic vertex gives $4\cdot 3$ contractions, divided by $4!$, so its symmetry factor is $1/2$. With the loop momentum restricted by the cutoff,It is independent of external momentum. Impose the zero-momentum mass condition $M^2=\tilde{\Gamma }(0)=m^2(0,T)$. This gives $\delta m^2+(g/2)I_D(M^2;\Lambda )=0$, henceThis is the one-loop relation using a renormalized mass in the reference propagator, or the corresponding self-consistent tadpole approximation if solved without expanding in $g$. It is not an exact all-orders gap equation. Away from the critical infrared problem, replacing the loop mass by the bare one changes a strict perturbative result only at higher order.

Take $g>0$ smooth and nonzero for an ordinary stable quartic transition. To test the assumed linear thermal mass, work from the disordered side and put $R=m^2(0,T)>0$. For $D>2$, $I_D(0;\Lambda )$ is infrared finite. The critical bare mass is shifted, not generically zero: $m^2(\Lambda ,T_c)=-(g/2)I_D(0;\Lambda )$. Absorb the smooth temperature dependence of couplings into an analytic thermal tuning $\tau =A_t(T-T_c)+\cdots$, with $A_t>0$. Critical subtraction gives the one-loop critical-mass subtractionwhereThe infrared asymptotics of the critical-mass subtraction now distinguish the dimensions. For $D>4$, $J_D(0)=K_D{\Lambda }^{D-4}/(D-4)$ is finite, soFor $D=4$, $J_4(R)=(K_4/2)\log [({\Lambda }^2+R)/R]$ diverges logarithmically. For $2<D<4$, substitution $p=\sqrt{R}q$ givesso the correction to $\tau$ scales as $R^{(D-2)/2}$ and dominates the analytic linear term. Pure mean-field linear mass scaling is therefore consistent only aboveAt the boundary dimension logarithms modify the simple power law. Below it this calculation diagnoses the failure of the Gaussian expansion; the exponent obtained by treating the self-consistent one-loop equation as exact is not automatically the exponent of the interacting scalar theory. For $D\le 2$, the massless subtraction itself has an infrared divergence, so this perturbative argument cannot establish absence of a transition. In particular it does not rule out the two-dimensional Ising critical point.

The same upper dimension follows by engineering dimension counting: a canonical scalar field has dimension $(D-2)/2$, so $[g]=D-4(D-2)/2=4-D$. For a tricritical point tune the renormalized quadratic and quartic terms to zero and retain a positive sextic interaction $v{\varphi }^6$. Its engineering dimension isIt is marginal at $D_c=3$, irrelevant above three, and relevant below three. More generally the upper critical dimension of an even scalar interaction ${\varphi }^{2n}$ is $2n/(n-1)$.

A Ginzburg criterion check gives the same result: at tricritical mean-field scaling $m_0^2\sim |t{|}^{1/2}$ and $\xi \sim |t{|}^{-1/2}$, whereas fluctuations in a correlation volume scale as ${\xi }^{2-D}\sim |t{|}^{(D-2)/2}$. Their ratio to $m_0^2$ is $|t{|}^{(D-3)/2}$, which tends to zero only for $D>3$. ThusThe tricritical tuning concerns renormalized couplings: shell contractions of a sextic term can regenerate quadratic and quartic terms even when their bare coefficients vanish. At three dimensions the marginal sextic coupling produces logarithmic corrections rather than a strictly fluctuation-free mean-field limit.

For the Gaussian critical exponents, use dimensionless statistical-action conventions, with the Boltzmann factor $e^{-H}$. If $H$ is an energy, apply the following to $H/(k_{B}T)$ and absorb that smooth factor into the couplings. Choose the Fourier transform conventionReality gives $\tilde{\varphi }(-p)=\tilde{\varphi }(p{)}^{\ast }$. The Fourier-space statistical Hamiltonian isThe source term is not multiplied by one half. Completing the Gaussian functional integral gives $⟨\tilde{\varphi }(p)⟩=\tilde{J}(p)/({\kappa }^{-1}{p}^2+m^2)$ and the connected Fourier-space two-point correlation functionAssume $m^2>0$ for the stable massive Gaussian field theory. In the continuum long-distance theory, the real-space correlation function is the Green kernel of $-{\kappa }^{-1}{\nabla }^2+m^2$. Away from its source, a radial ansatz $G(R)\sim R^{-(D-1)/2}{e}^{-R/\xi }$ gives, at large $R$, $m^2-{\kappa }^{-1}{\xi }^{-2}=0$. Equivalently the propagator pole is at $p^2=-\kappa m^2$. Thus the exponential correlation length isAt $m=0$ the correlation length diverges. A sharp momentum regulator itself introduces artificial oscillatory long-distance tails; this length describes the physical continuum pole or a local/smoothly regulated model on distances large compared with $a$.

For a momentum-shell renormalization group step with $b>1$, split the Fourier modes into retained modes $|p|<\Lambda /b$ and eliminated modes $\Lambda /b<|p|<\Lambda$. Define ${\tilde{\varphi }}_B(p)$ as the retained field. Integrating the eliminated modes is exact for a Gaussian field theory; a uniform source acts only on the zero mode, so this integration produces a field-independent free-energy term. Rescale $q=bp$ and set ${\tilde{\varphi }}_B(p)=\tilde{Z}{\tilde{\varphi }}^{\prime }(q)$. The retained quadratic action becomesKeeping the gradient coefficient fixed requires $b^{-D-2}{\tilde{Z}}^2=1$. For $J=h$, the source term is $-h{\tilde{\varphi }}_B(0)$, so the complete Gaussian rescaling isThe corresponding real-space field obeys ${\varphi }_B(x)=b^{(2-D)/2}{\varphi }^{\prime }(x/b)$; confusing that real-space factor with $\tilde{Z}$ would change the source exponent incorrectly.

Let $F$ be free energy per original volume, with $t$ proportional to $m^2$. Rescaled volume is $V^{\prime }=V/b^D$, so the Gaussian free-energy scaling relation isA field-normalisation Jacobian can be included in the field-independent shell term. For any finite step on positive-mass modes, that background is analytic near $t=0$. Subtract regular backgrounds and choose $b=t^{-1/2}$ on the massive side. The usual homogeneous singular scaling then givesThese are Gaussian critical exponents for the stipulated Gaussian approximation. A useful check is its source-dependent contribution $-h^2/(2m^2)$: $D/2-2\Delta =-1$ gives precisely that power of $t$.