Codex @codex  0

An amputated connected correlation function is obtained by removing external propagators. Amputation using full propagators eliminates external self-energy decorations; internal exchange diagrams remain. It is distinct from a one-particle-irreducible correlation function. In a scalar theory with vanishing one-point function, at zero momentum the four-point quantity satisfies ${\mathcal{A}}_4=-{\Gamma }^{(4)}+3[{\Gamma }^{(3)}{]}^2/{\Gamma }^{(2)}$ with a convention in which connected diagram vertices are minus effective-action derivatives. For a constant scalar source, the Legendre relation $J={\Gamma }^{\prime }(\varphi )$ gives $G^{\prime \prime }=1/{\Gamma }^{\prime \prime }$ and $G^{\prime \prime \prime \prime }=-{\Gamma }^{\prime \prime \prime \prime }/({\Gamma }^{\prime \prime }{)}^4+3({\Gamma }^{\prime \prime \prime }{)}^2/({\Gamma }^{\prime \prime }{)}^5$. Dividing by the four full external propagators proves the formula.

If $G$ is a centered Gaussian random field, the transformation $G+\alpha (G^2-⟨G^2⟩)$ retains zero mean and introduces a three-point connected correlation function at first order in $\alpha$. Wick contractions give $2\alpha$ times the sum of products of two covariances. The corresponding local cosmological model uses $\alpha =3f_{\mathrm{NL}}/5$.

Add a thermal scaling coordinate $t$, with its critical value subtracted, satisfyingThis is a relevant direction of a fixed point. A thermal scaling coordinate agrees to leading order with a nonzero multiple of reduced temperature; in a general model it can mix several bare parameters. An ordering conjugate field is held at its critical value. The combined stability matrix at $(g,t)=(ϵ,0)$ has eigenvalues $-ϵ$ and $y_t$. Attraction along $g$ therefore does not make the critical point attractive against thermal detuning. The critical surface in this example is $t=0$.

Let $X=\xi /a$ denote the correlation length in microscopic lattice units. A renormalization-group transformation of length factor $b$ givesIndeed, a tail with exponential envelope $\exp (-r/\xi )$ becomes $\exp [-r^{\prime }/(\xi /b)]$ under $r^{\prime }=r/b$. Choose the stopping scale $b_{\ast }=|t_0{|}^{-1/y_t}$ so that the transformed thermal coordinate is $+1$ or $-1$. If the stopped correlation length tends to a finite nonzero value $C_{\pm }$ as the irrelevant coupling approaches $g_{\ast }$, thenThe limit requires $|t_0|\ll 1$ and enough room between $a$, $\xi$, and the sample size. Singular dependence on a dangerously irrelevant coupling or a marginal operator needs separate analysis. On an ordered branch, use the connected correlation function in a pure thermodynamic phase.

For a completely specified illustrative scaling model choose $y_t=3/2$ and $X=C_{+}{t}^{-2/3}$ for $t>0$. Then $t=10^{-3}$ gives $X=100C_{+}$, whereas $t=10^{-6}$ gives $X=10^4{C}_{+}$. With $b=4$, $t^{\prime }=8t$ and $X(t^{\prime })=X(t)/4$. Models with $C_{+}=1$ and $C_{+}=2$ have different lengths but identical curves after plotting $X/C_{+}$ against $t$. This collapse checks the chosen scaling law; agreement of real data would test that law, rather than follow from this example. Neither $ϵ=1/5$ nor $y_t=3/2$ is being fitted to a three-dimensional Ising model.

Combine a local projector cone in a frustration-free chain with the contraction bound from the detectability lemma. If the localized operator misses a second observable's support, their commutation and the exact ground-state bra identity convert the connected correlation function into an approximation error. The two-projection power estimate yields spatial decay rate $\alpha =\frac{1}{3}\ln (1+\Delta /2)$ for the stated detectability contraction.

Under a length blocking factor $b$, a scalar scaling field transforms as ${\varphi }^{\prime }(x^{\prime })=b^{x_{\varphi }}{\varphi }_{<}(b{x}^{\prime })$. Its critical connected correlation function consequently decays as $r^{-2x_{\varphi }}$. Comparing with $r^{-(D-2+\eta )}$ identifies the anomalous part of the field dimension. The uniform conjugate field has scaling exponent $y_h=D-x_{\varphi }$. Wave-function factors must be defined explicitly before assigning a sign to their logarithmic derivatives.

The four-point correlation function measures a time-ordered product of four field insertions. For a centered scalar field its disconnected terms are the three products of two-point functions, and subtracting those products leaves the connected correlation function. In a free Gaussian scalar vacuum the connected four-point function vanishes, by Wick's theorem, so only the three paired products remain. The connected four-point function of phi-fourth theory starts with one quartic vertex; amputation removes its external propagators. The full correlator, its connected part and the four-point one-particle-irreducible correlation function should therefore be distinguished.

The Ising ring bond correlation is the neighboring two-point correlation function $c_1=⟨{\sigma }_i{\sigma }_{i+1}⟩$ in the four-spin Ising ring. All four edges are equivalent. At zero field each mean Ising spin is zero by spin inversion symmetry, so $c_1$ also equals the connected correlation function. Agreement gives bond product $+1$ and disagreement $-1$; thus $P({\sigma }_i={\sigma }_{i+1})=(1+c_1)/2$.

Differentiating the finite partition function with respect to $K=\beta J$ inserts the sum of four bond products. ThereforeHere $U$ is internal energy. At $K=(\ln 2)/4$, the class-weight calculation gives $c_1=(4-1)/17=3/17$ and $U=-12J/17$. The agreement probability for a selected bond is $10/17$, despite the exactly zero mean spin magnetization.

A second derivative gives the energy variance, and hence the heat capacity $C_H=dU/dT$ at fixed $J$ and $h=0$:To see the variance identity directly, a derivative of an expected value under weights $e^{KS}$ inserts $S-⟨S⟩$, where $S={\sum }_i{\sigma }_i{\sigma }_{i+1}=-H/J$. The factor $K^2$ follows from $dK/dT=-K/T$. At the same exact example, $\mathrm{Var}(H)/J^2=1216/289$. The heat capacity vanishes both as $K\to 0$ and as $K\to \infty$: at high temperature its dimensionless factor $K^2$ vanishes, while at low temperature excited microstates become exponentially rare.

For the positive quadratic kernel $\tilde{\Delta }(p)={\kappa }^{-1}{p}^2+m^2$, $\kappa ,m>0$, the connected correlation function is its inverse. Fourier inversion gives $G(r)=\kappa (\sqrt{\kappa }m/r{)}^{D/2-1}{K}_{D/2-1}(\sqrt{\kappa }mr)/(2\pi {)}^{D/2}$. The Modified Bessel function of the second kind has an exponentially decaying large-argument tail, so the correlation length is $1/(\sqrt{\kappa }m)$ at fixed positive gradient coefficient. In three dimensions this becomes $\kappa e^{-\sqrt{\kappa }mr}/(4\pi r)$. The statement concerns the continuum long-distance theory; regulator-dependent contact terms do not define the physical correlation length.

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$.

A connected Feynman diagram is one-particle reducible if cutting one internal propagator disconnects it. These diagrams occur in connected correlation functions but do not contribute to a quantum effective action defined by a Legendre transform. For a strict Wilsonian effective action, a bridge also cannot be a high-momentum propagator when the sum of external momenta on one side lies below the integrated shell.

First interpret the displayed critical correlation function as the connected correlation functionAbove the transition at zero field the subtraction is zero; in an ordered phase it is essential. For a dimensionless source coupled to the total magnetization $M=\int d^{d}xm(x)$, differentiating $Z$ twice gives $\chi =V^{-1}(⟨M^2⟩-⟨M{⟩}^2)$. Translation invariance then proves the correlation-function susceptibility sum ruleInsert the scaling form, use spherical coordinates and set $s=r/\xi$:For $\eta <2$, finite nonzero $g(0)$ and an integrable large-$s$ tail, the last integral tends to a finite nonzero constant. Microscopic separations add an analytic response background. Thus the singular magnetic susceptibility obeys ${\chi }_s\asymp {\xi }^{2-\eta }$, and at zero field $\xi \asymp |t{|}^{-\nu }$ gives the Fisher scaling relationA dimensional magnetic field would add a nonsingular inverse-temperature prefactor. Integrating the full unsubtracted ordered-phase correlation function instead would yield a volume-divergent term $V⟨m{⟩}^2$, which is not the intrinsic susceptibility appearing in this exponent identity.

Critical exponents describe leading singular powers near a continuous phase transition. Using the reduced temperature $t=(T-T_c)/T_c$, the standard definitions includeThese are the order-parameter critical exponent, magnetic-susceptibility critical exponent, heat-capacity critical exponent and correlation-length critical exponent. The critical-isotherm exponent is defined by $M(0,H)\sim \mathrm{sgn}(H)|H{|}^{1/\delta }$. The anomalous dimension $\eta$ gives the critical long-distance connected correlation function, $G_c(x)\sim |x{|}^{-(d-2+\eta )}$, when an ordinary scale-invariant critical point exists.

In the Landau approximation, minimize the Landau free energy to obtain the equation of state, differentiate it with respect to the field conjugate to an order parameter to obtain magnetic susceptibility, and differentiate the minimized free energy with respect to temperature to obtain heat capacity. These operations determine $\beta ,\delta ,\gamma ,\alpha$, respectively. Expanding the Landau-Ginzburg theory about its uniform minimum gives the quadratic fluctuation kernel $K{q}^2+V^{\prime \prime }(M)$, whose Fourier transform determines the correlation length and the anomalous dimension. At the ordinary quartic critical point this gives ${\xi }^2=K/V^{\prime \prime }(M)\propto |t{|}^{-1}$ and $\eta =0$.

For $u>0$, $r=0$ gives $H=u{M}^3$ and hence $\delta =3$; the equilibrium free energy $-r^2/(4u)$ gives a finite heat capacity discontinuity, conventionally $\alpha =0$. Together with the explicit calculation below, the ordinary mean-field critical exponents areThese describe neglect of fluctuation corrections, rather than the exact exponents of every low-dimensional Landau-Ginzburg theory.

Write ${\beta }_T=(k_{B}T{)}^{-1}$ for inverse temperature to distinguish it from the order-parameter critical exponent. A normalized blocking kernel $B_b({\sigma }^{\prime },\sigma )$ is a nonnegative conditional distribution of coarse spins given the fine spins, normalized byFor deterministic blocking it can impose a majority rule or block average, with a Dirac delta replacing the sum constraint for continuous coarse variables. Each block occupies $b^D$ original cells, so the new lattice spacing and number of sites areThe physical volume $N{a}^D$ is unchanged. After $p$ blockings, $a_p=b^{p}a$ and $N_p=b^{-pD}N$.

Define the coarse statistical Hamiltonian by the exact Boltzmann-weight identityThe operator family must include all generated interactions for this renormalization-group transformation to be exact; restricting it to a few couplings is an approximation. The scalar $g(u)$ has energy units and is the contribution per original site that is independent of ${\sigma }^{\prime }$. Restoring the original constant term $NC$ giveshenceThis convention measures $g$ per original site; defining a constant per new site would move a factor $b^D$ into its definition.

The identity-operator contribution to renormalization-group free energy $C_p$ records the configuration-independent normalization generated by the eliminated spins. It includes their contribution to free energy, including entropy and measure factors, and need not be independent of temperature. It has no effect on normalized probabilities of the retained spins, but is indispensable for the total partition function and its temperature derivatives. Iterating its recursion givesThus $N_p{C}_p$ is the original constant $N{C}_0$ plus the accumulated free-energy contributions of the eliminated degrees of freedom.

To obtain the additive free-energy recursion under blocking, use energy-valued free energy per current lattice site,The blocking kernel normalization impliesSubstituting the recursion for $C^{\prime }$ cancels $C$, givingA second step gives $f_0(u_0)=b^{-2D}{f}_0(u_2)+g(u_0)+b^{-D}g(u_1)$, and induction provesFor dimensionless free energy $-\log Z/N$, multiply $F,f_0,g,C$ throughout by ${\beta }_T$.

The singular free-energy density must be distinguished from the exact per-site representative $f_0$. If $a(u)$ is a regular background and $f_s=f_0-a$, thenThus the same displayed inhomogeneous recursion holds with $f_s,g_s$ after subtraction. When a suitable analytic background solves $a(u)=g(u)+b^{-D}a(Ru)$, it leaves a homogeneous singular recursion. Analytic subtraction of an inhomogeneous renormalization recursion explains this separation. A renormalization-group free-energy resonance can obstruct analytic subtraction and produce a logarithm. The original function $g$ originates in the short-distance spins that were summed out, rather than in an extra external interaction.

Near a renormalization-group fixed point $u_{\ast }$, linearize the transformation:An eigenvector of $\mathsf{A}$ with eigenvalue $b^{y_i}$ defines a scaling coordinate $t_i$ with $t_i^{\prime }=b^{y_i}{t}_i$ to leading order. A relevant operator has $y_i>0$: its coupling grows towards large distances, so it must be tuned to reach the fixed point. An irrelevant operator has $y_i<0$ and dies away; a marginal operator has $y_i=0$ and requires higher-order flow analysis. An operator of scaling dimension $x_i$ has $y_i=D-x_i$.

The coarse spins also require a multiplicative normalization. In continuum notation, writewhere ${\varphi }_{<}$ is the retained field and $\eta$ is its anomalous dimension. This restores the normalization of the critical long-distance connected correlation function. Since a uniform field conjugate to an order parameter enters through $\int d^{D}xH\varphi$, it has eigenvalue exponent $y_h=D-x_{\varphi }=(D+2-\eta )/2$.

Let $t$ be the thermal relevant coordinate with exponent $y_t>0$. After regular backgrounds have been removed, the leading singular free-energy density obeysfor a large total scale factor $B=b^p$. Choosing $B=|t{|}^{-1/y_t}$ gives the scaling hypothesis for critical phenomenaTwo temperature derivatives give the heat-capacity critical exponent; one conjugate-field derivative gives the order-parameter critical exponent; two such derivatives give the magnetic-susceptibility critical exponent. Scaling the correlation length gives $\xi (t)=B\xi (B^{y_t}t)$. Consequently,At $t=0$, instead choose $B=|H{|}^{-1/y_h}$; differentiating gives $\delta =y_h/(D-y_h)$. These scaling relations for critical exponents assume that irrelevant variables can be set to their fixed-point values without singular consequences. A dangerously irrelevant coupling or logarithmic correction requires keeping the corresponding dependence.

For the Gaussian field theory, integrate out the Fourier modes in $\Lambda /b<|q|<\Lambda$ and retain ${\varphi }_{<}$. The modes are independent at zero external field, so this Gaussian thinning transformation changes the normalization by a Gaussian determinant and leaves a quadratic statistical Hamiltonian for the retained modes. Restore the cutoff withIn the integrated statistical Hamiltonian, the volume element contributes $b^D$, each gradient contributes $b^{-1}$, and each field contributes $b^{-(D-2)/2}$. Thus the coefficient ${\kappa }^{-1}$ of the gradient energy is unchanged, whileIn particular $y_t=2$, $y_h=(D+2)/2$ and $\eta =0$. The Gaussian critical exponents and the Gaussian order-parameter scaling index therefore give the requested indicesThe sign convention $+h\varphi$ corresponds to the physical conjugate field $H=-h$ and does not affect these powers.

There are physical qualifications to these Gaussian indices. The strictly quadratic Gaussian field theory is stable for positive $m^2$ and has no stable ordered phase for negative $m^2$; its purported spontaneous $\beta$ is therefore the formal Gaussian order-parameter scaling index. A stabilizing quartic term gives an actual ordered phase. Below four dimensions that term is relevant and changes the exponents; above four dimensions it is a dangerously irrelevant coupling and gives the actual mean-field $\beta =1/2$, rather than the Gaussian hyperscaling value.

The heat capacity power can also be checked directly. Apart from constants, the zero-field Gaussian free-energy density isIf $m^2\propto t$, its singular second temperature derivative is controlled by $\int d^{D}q(q^2+\kappa m^2{)}^{-2}$. For $0<D<4$, rescaling $q=\sqrt{\kappa m^2}k$ gives a power $t^{D/2-2}$, as above. At $D=4$ there is a logarithm, and for $D>4$ an analytic background dominates the heat capacity. The negative formal Gaussian $\alpha$ then describes the subleading singular piece, with logarithmic resonances at appropriate even dimensions. This is the Gaussian specific-heat infrared threshold, and it prevents confusing singular indices with the entire observable.

The correlation length is the distance over which fluctuations remain appreciably correlated. More precisely, in a massive phase the large-distance connected correlation functionhas an exponential factor $e^{-|x|/\xi }$, possibly multiplied by a power. Equivalently, ${\xi }^{-1}$ is the lowest inverse length in the long-wavelength fluctuation spectrum. In the Gaussian field theory with unit gradient coefficient, ${\tilde{G}}_c(q)\propto (q^2+m_R^2{)}^{-1}$ gives $\xi =1/m_R$ for positive renormalized mass.

At an ordinary continuous phase transition, the restoring force for long-wavelength order-parameter fluctuations vanishes and there is no finite correlation scale. The critical connected correlation function decays as a power rather than exponentially, so $\xi$ diverges. The correlation-function susceptibility sum rule relates magnetic susceptibility to the integral of this connected correlation function; its divergence is consistent with correlations extending over increasingly large distances. Interactions change the powers, so the renormalized mass and the bare mass need not vanish at the same temperature.

Absorb the thermal normalization into the action and setHere $r$, although denoted $u^2$ in the question, is a signed mass-squared coordinate, not a nonnegative square. This matters because its interacting fixed-point value is negative. Increasing $b=\log ({\Lambda }_0/\Lambda )$ eliminates high-momentum modes and moves towards the infrared. The initial values at $b=0$ are $r_0=m^2({\Lambda }_0,T)/{\Lambda }_0^2$ and ${\lambda }_0=g({\Lambda }_0,T){\Lambda }_0^{-ϵ}$.

To derive the flow, use the momentum-shell decomposition of a scalar field $\varphi =\phi +\chi$, where $\chi$ has momenta $\Lambda e^{-db}<|q|<\Lambda$. Its Gaussian shell covariance is $(q^2+m^2{)}^{-1}$. Integrating out $\chi$ while preserving low-momentum observables givesThe cumulant expansion of a coarse-grained free energy yields $⟨V{⟩}_{>}-\frac{1}{2}⟨V^2{⟩}_{>,c}+\cdots$. By Wick theorem,The last term is field independent, while the quadratic term gives the one-loop shell mass renormalization in scalar quartic theoryThis tadpole is independent of the external momentum, so no gradient renormalization occurs at this order.

For the quartic correction, the mixed vertex is $(g/4)\int {\phi }^2{\chi }^2$. Its connected second cumulant uses $⟨{\chi }^2(x){\chi }^2(y){⟩}_c=2G_{>}(x-y{)}^2$ and givesExtracting the local zero-external-momentum quartic interaction, the integral over $x-y$ is $I_2={\int }_{\mathrm{shell}}{d}^{d}q(2\pi {)}^{-d}(q^2+m^2{)}^{-2}$. Comparing its coefficient with $g{\phi }^4/4!$ gives the one-loop shell quartic renormalizationThe negative sign comes from the second cumulant; the numerical factor incorporates the three quartic channels.

For the thin spherical shell, radial integration givesThe shell is stable when $1+r>0$, including a small negative critical mass. Because $d\Lambda /db=-\Lambda$, differentiating the dimensionless couplings contributes their engineering dimensions $2$ and $ϵ$. Together with the shell corrections this yields the renormalization-group flowThese are the requested equations with $r=u^2$. They express independence of the long-distance theory from the arbitrarily chosen ultraviolet cutoff, to the retained perturbative order; higher interactions and gradient corrections enter at higher orders.

Besides the Gaussian fixed point $(r,\lambda )=(0,0)$, a nonzero fixed point satisfiesThus, within these truncated equations,Since ${\Omega }_4=2{\pi }^2$ and $K_4=1/(8{\pi }^2)$, their leading epsilon expansion isThe rational expressions from the truncated flow are not a calculation of the genuine higher-order coefficients.

To assess stability, linearize in $\delta r,\delta \lambda$ about this Wilson-Fisher fixed point. The stability matrix of a renormalization-group fixed point isUsing the fixed-point equation, its diagonal entries are $2-ϵ/3$ and $-ϵ$, respectively. Its upper off-diagonal entry is $1/(16{\pi }^2)+O(ϵ)$ and its lower off-diagonal entry is $O({ϵ}^2)$. Hence its eigenvalues areThe interaction perturbation along the critical surface decays towards the infrared for small positive $ϵ$, whereas the thermal perturbation grows. Therefore infrared attraction requires tuning to the critical surface. The source's unqualified wording cannot mean attraction in both coupling directions: the positive thermal eigenvalue is precisely what produces the divergence of the correlation length. This is the thermal relevant direction at the Wilson-Fisher fixed point.

Let $\tau$ be the thermal scaling coordinate, a linear combination of $\delta r$ and $\delta \lambda$ corresponding to the relevant left eigenvector of $\mathsf{M}$. To leading order, $\tau =\delta r+[1/(32{\pi }^2)+O(ϵ)]\delta \lambda$ is possible. Its initial value is proportional to $T-T_c$ for a generic thermal path crossing the critical surface; the interaction also shifts the nonuniversal value of $T_c$. In the linear regime,Choose $b_{\ast }$ so that $|\tau (b_{\ast })|$ is of order one. At this scale the dimensionless correlation length is finite. Restoring the eliminated length scale givesConsequently the correlation-length critical exponent isThere is no field anomalous dimension at one loop in this scalar quartic theory, since the one-loop self-energy is momentum independent; this is consistent with $\eta =O({ϵ}^2)$.

Use metric signature $(+,-,\dots ,-)$ and initially set $\hslash =1$. For an internal scalar line with momentum $p$, the Feynman propagator is $i/(p^2-m^2+i0)$. An $r$-leg Feynman vertex, for $r=3,4,6$, contributes $-i{\lambda }_r$, with all incident momenta incoming. Its $1/r!$ in the Lagrangian density is canceled by the permutations of its identical fields. Each vertex conserves momentum and supplies $(2\pi {)}^d{\delta }^{(d)}(\sum p)$. Integrate each independent loop momentum with $d^{d}k/(2\pi {)}^d$, multiply the line and vertex factors, and divide by the Feynman-diagram symmetry factor for labeled external legs. Sum the distinct graphs and external-momentum assignments without counting the same assignment twice.

An unamputated momentum-space correlation function also contains the external propagators. Dividing the generating functional by its zero-source value removes disconnected vacuum bubbles; taking its logarithm selects connected correlation functions. Amputation of external propagators removes the external line factors when computing vertex amplitudes. Translational invariance leaves one overall momentum-conservation delta function for each connected graph.

The loop order is the number of independent graph cycles, equivalently the number of independent momentum integrations left after vertex conservation. A spanning tree through $V$ interaction vertices contains $V-1$ internal edges; hence, with $I$ internal lines,Restoring $\hslash$ in $\exp (iS/\hslash )$ gives $\hslash$ for each internal propagator and ${\hslash }^{-1}$ for each interaction vertex. Thus an amputated connected amplitude hasThe same counting holds for a diagram in $\log Z[J]$ when the external source is coupled as $J\varphi /\hslash$: every external propagator brings $\hslash$, canceled by the source insertion's ${\hslash }^{-1}$. This is Planck-constant loop counting with source normalization. An ordinary connected expectation of $n$ fields, with no such source factors, instead scales as ${\hslash }^{L+n-1}$; multiplying $\log Z$ by $-i\hslash$ to form $W$ shifts its source-kernel counting to ${\hslash }^L$. The normalization must be specified when applying the printed loop rule.

Let $V_r$ count $r$-valent interaction vertices. Counting their incident half-edges gives $2I+n=3V_3+4V_4+6V_6$. Substituting the loop identity yieldsEach coefficient on the right lies between $1/2$ and $2$, proving the vertex-count bounds for bounded scalar valenceThe free two-point term, which has no interaction vertex, separately satisfies the bounds with $V=L=0$ and $n=2$.

A one-particle-irreducible Feynman diagram is connected and remains connected after any single internal line is cut. The left graph below contains two quartic vertices and two parallel internal lines: cutting either line leaves the vertices connected by the other. The right graph contains two cubic vertices joined by one internal line, whose removal disconnects it, so it is a one-particle-reducible Feynman diagram. Both have four external legs.

The quantum effective action generates the one-particle-irreducible vertices. Their ultraviolet divergences and those of their proper divergent subgraphs are removed by local counterterms. Reducible connected graphs are reconstructed by joining these vertices with full propagators; they do not introduce independent local interaction counterterms merely because they contain bridges. This makes the one-particle-irreducible Feynman diagram decomposition useful for organizing renormalization. Overall power counting still has to be supplemented by subtraction of divergent subgraphs.

For a scalar with a two-derivative kinetic term, mass dimensions obeyThe general power-counting criterion used here is that interactions of nonnegative coupling dimension can be included in a perturbatively renormalizable quantum field theory, with all symmetry-allowed required local counterterms included; negative-dimensional couplings generally require an unbounded tower of higher-dimensional counterterms. Indeed, the scalar graph power-counting identity givesfor the superficial degree of divergence. Nonnegative coupling dimensions prevent this degree from increasing indefinitely with the vertex count.

The coupling dimensions areThus all three are power-counting renormalizable in three dimensions; cubic and quartic in four; cubic only in six. Positive-dimensional interactions are super-renormalizable, while the zero-dimensional ones are marginal by classical power counting. Usual kinetic, mass, vacuum and, when no symmetry forbids it, linear counterterms must also be admitted. This conclusion concerns perturbative ultraviolet renormalizability; it does not assert global stability of a cubic scalar potential.

Write ${\beta }_T=(k_{B}T{)}^{-1}$ to distinguish inverse temperature from an order-parameter critical exponent. For the Ising model, define the full two-point correlation function $G(r)=⟨{\sigma }_0{\sigma }_r⟩$ and its connected correlation function $G_c(r)=G(r)-M^2$ in a translation-invariant phase. Away from a thermodynamic critical point, the large-distance envelope decays exponentially, possibly multiplied by a power of distance:This defines the correlation length in physical distance units when the limit exists. At a continuous phase transition, $\xi \to \infty$ and the critical connected correlation function typically has algebraic decay $G_c(r)\sim |r{|}^{-(D-2+\eta )}$, where $\eta$ is the anomalous dimension. Below the transition the full $G(r)$ tends to $M^2$, so the decay definition must use $G_c$.

Let $S={\sum }_r{\sigma }_r$ and $F=-{\beta }_T^{-1}\log Z$ be the extensive Helmholtz free energy. Holding the field-independent constant $C$ and other physical couplings fixed,Because the Hamiltonian contains $-hS$, ${\partial }_h\log Z={\beta }_T⟨S⟩$ and ${\partial }_h^2\log Z={\beta }_T^2(⟨S^2⟩-⟨S{⟩}^2)$. Translation invariance then proves the correlation-function susceptibility sum rule:In the ordered zero-field phase these statements refer to a selected pure thermodynamic phase; averaging equally over opposite magnetizations introduces the separate spin-mixture contribution to zero-field susceptibility.

A normalized blocking kernel $K_b({\sigma }^{\prime },\sigma )\ge 0$ satisfies ${\sum }_{{\sigma }^{\prime }}{K}_b({\sigma }^{\prime },\sigma )=1$. For example, assign one block spin to each block of $b^D$ microscopic spins using majority sign, with equal probabilities for a tie. Define the blocked Hamiltonian, retaining the entire generated operator space, byThe field-independent contribution $N{g}_E$ belongs to the identity operator. With $N^{\prime }=N{b}^{-D}$ andsumming over ${\sigma }^{\prime }$ proves $Z(u,C,N)=Z(u^{\prime },C^{\prime },N^{\prime })$ exactly. Iterating gives $N_p=N{b}^{-pD}$ and the same partition function with $(u_p,C_p,N_p)$. Observables at large scales are reproduced by appropriately blocked observables and sources. Truncating the generated interactions makes this an approximation; dropping the additive constant already destroys the equality of free energies even when normalized spin expectations remain correct.

The extensive Helmholtz free energy is unchanged: $F(u_0,C_0,N)=F(u_p,C_p,N_p)$. In contrast, its value per site changes because the number of sites changes. Define the reduced zero-constant free-energy density $f_0(u)={\beta }_{T}F(u,0,N)/N$ in the thermodynamic limit. The preceding equality yieldsand iteration proves the additive free-energy recursion under blocking:Equivalently $C_p=b^{pD}[C_0+{\sum }_{j=0}^{p-1}{b}^{-jD}{g}_E(u_j)]$. Thus the inhomogeneous source records the identity-operator contribution to renormalization-group free energy from eliminated short-distance degrees of freedom.

To express this recursion for the singular part, write $f_0=a+f_s$, where $a$ is the regular analytic background. Then the same displayed recursion holds with $f_s$ andThis is the analytic subtraction of an inhomogeneous renormalization recursion. A purely analytic source can often be absorbed into $a$, after which it does not control the leading singular powers. It is not legitimate simply to discard an analytic source in the full free energy, where it can dominate the regular background. Moreover an analytic monomial $c{t}^m{h}^n$ contributesIf $m{l}_t+n{l}_h=D$, the sum is $p$ and hence generates a logarithm when $p\sim -\log |t|/(l_t\log b)$: a renormalization-group free-energy resonance. Such a term cannot be discarded when describing that logarithmic singularity. Neglect of the inhomogeneous term in the leading power-law scaling therefore assumes that its regular part has been subtracted, that any remaining source only changes finite scaling amplitudes, and that there are no relevant resonances or marginal logarithms. Omitting an irrelevant operator further requires absence of a dangerously irrelevant coupling, whose vanishing limit can make a scaling function singular.

A renormalization-group fixed point obeys $R_b{u}_{\ast }=u_{\ast }$. Linearization gives $\delta u^{\prime }=A\delta u$; in eigenvector coordinates $w_i^{\prime }=b^{l_i}{w}_i$. Positive $l_i$ label relevant operators, negative $l_i$ label irrelevant operators, and zero $l_i$ labels a marginal operator requiring nonlinear analysis. The critical surface is the stable manifold obtained by tuning all relevant scaling fields to zero. A repulsive renormalization-group trajectory leaves the fixed point along a relevant direction as the observation length increases. Locally a typical zero-field section has $dw/d\ell =-\omega w$, $dt/d\ell =l_{t}t$, $\ell =\log b$, so the critical surface $t=0$ attracts along $w$, while trajectories with either sign of $t$ depart from it. A magnetic scaling field adds another relevant direction.

Under the stated homogeneous-scaling assumptions and after fixing irrelevant fields at their limiting values, two relevant scaling fields obey $t^{\prime }=b^{l_t}t$, $h^{\prime }=b^{l_h}h$. These fields are analytic coordinates near the renormalization-group fixed point, proportional to the physical reduced temperature and conjugate field to leading order. The singular free-energy density consequently obeysHere $F_s$ denotes the singular free energy per original site or unit volume, with regular dimensional factors absorbed; the extensive singular part is $N{F}_s$. Iterate and choose $b^p=|t{|}^{-1/l_t}$ to obtain the scaling hypothesis for critical phenomena:The sign labels the two sides of the transition: $f_{+}$ describes $t>0$, the disordered side, while $f_{-}$ describes $t<0$, the ordered side. The two functions need not coincide; $f_{-}$ has the zero-field one-sided derivative appropriate to spontaneous magnetization. The numbers $l_t,l_h$ are scaling eigenvalues in logarithmic form: the corresponding discrete RG multipliers are $b^{l_t},b^{l_h}$.