The correlation length is the distance over which fluctuations remain appreciably correlated. More precisely, in a massive phase the large-distance connected correlation function
has an exponential factor , possibly multiplied by a power. Equivalently, is the lowest inverse length in the long-wavelength fluctuation spectrum. In the Gaussian field theory with unit gradient coefficient, gives 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 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 set
Here , although denoted in the question, is a signed mass-squared coordinate, not a nonnegative square. This matters because its interacting fixed-point value is negative. Increasing eliminates high-momentum modes and moves towards the infrared. The initial values at are and .
To derive the flow, use the momentum-shell decomposition of a scalar field , where has momenta . Its Gaussian shell covariance is . Integrating out while preserving low-momentum observables gives
The cumulant expansion of a coarse-grained free energy yields . By Wick theorem,
The last term is field independent, while the quadratic term gives the one-loop shell mass renormalization in scalar quartic theory
This tadpole is independent of the external momentum, so no gradient renormalization occurs at this order.
For the quartic correction, the mixed vertex is . Its connected second cumulant uses and gives
Extracting the local zero-external-momentum quartic interaction, the integral over is . Comparing its coefficient with gives the one-loop shell quartic renormalization
The negative sign comes from the second cumulant; the numerical factor incorporates the three quartic channels.
For the thin spherical shell, radial integration gives
The shell is stable when , including a small negative critical mass. Because , differentiating the dimensionless couplings contributes their engineering dimensions and . Together with the shell corrections this yields the renormalization-group flow
These are the requested equations with . 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 , a nonzero fixed point satisfies
Thus, within these truncated equations,
Since and , their leading epsilon expansion is
The rational expressions from the truncated flow are not a calculation of the genuine higher-order coefficients.
To assess stability, linearize in about this Wilson-Fisher fixed point. The stability matrix of a renormalization-group fixed point is
Using the fixed-point equation, its diagonal entries are and , respectively. Its upper off-diagonal entry is and its lower off-diagonal entry is . Hence its eigenvalues are
The 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 be the thermal scaling coordinate, a linear combination of and corresponding to the relevant left eigenvector of . To leading order, is possible. Its initial value is proportional to for a generic thermal path crossing the critical surface; the interaction also shifts the nonuniversal value of . In the linear regime,
Choose so that is of order one. At this scale the dimensionless correlation length is finite. Restoring the eliminated length scale gives
Consequently the correlation-length critical exponent is
There 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 .
At the Gaussian fixed point, , so all three quartic couplings have engineering dimension . Thus
Take and , as in the perturbative epsilon expansion. Define , , . The renormalization-group fixed point equations become
If , each of is independently or , giving four renormalization-group fixed points. If , subtracting the first two equations gives
The branch forces ; inserting this in the first equation yields a repeated root . Hence every nonzero- solution has . Then , and
has roots and . The complete list of six coupled Ising fixed points near four dimensions, in coordinates , is
The internal symmetries of these renormalization-group fixed points are:
The last point displays the field-rotation equivalence of decoupled Ising theories. With the orthogonal transformation ,
It is the same pair of decoupled Ising models written in fields rotated by , but remains a distinct coordinate solution of the stated renormalization-group beta functions. Here denotes the dihedral group of order eight; an alternative convention calls it . We have described linear internal transformations preserving the gradient energy; free massless sectors also have constant scalar-field shift symmetries. At , the six coordinates coalesce at the Gaussian fixed point.
For , define the dimensionless couplings and . Since , the leading epsilon expansion of the flow is
There is a Gaussian fixed point . Its thermal eigenvalue is , so its correlation-length critical exponent is .
The interacting Wilson-Fisher fixed point is
Linearizing the renormalization-group flow gives the thermal eigenvalue
Taking its reciprocal gives