Correlation Function

A correlation function turns the vague idea of "fluctuations" into a measurable curve. Take a fluctuating field — the local magnetization, density, or any order parameter ϕ(r)\phi(\mathbf{r}) — and ask: if ϕ\phi is unusually large at the origin, how likely is it to be large a distance rr away? The two-point connected correlation function G(r)=⟨δϕ(0) δϕ(r)⟩G(r)=\langle\delta\phi(\mathbf{0})\,\delta\phi(\mathbf{r})\rangle answers exactly that. In a homogeneous, isotropic system it depends only on the separation rr, and its shape is a fingerprint of the phase the system is in. Deep in a disordered phase, correlations are short-ranged: GG dies exponentially over a distance ξ\xi, the correlation length, which is just a few lattice spacings. As a continuous transition is approached, ξ\xi swells without bound and the decay slows until, exactly at TcT_c, the exponential is replaced by a pure power law G(r)∼r−(d−2+η)G(r)\sim r^{-(d-2+\eta)}. Fluctuations of every size coexist — this scale-free behaviour is the microscopic engine of critical phenomena, scaling, and universality. Two identities make G(r)G(r) indispensable. First, its spatial integral is a thermodynamic susceptibility: χ=β∫ddr G(r)\chi=\beta\int\mathrm{d}^d r\,G(r). A soft, easily polarized system is precisely one with long, slowly decaying correlations — response and correlation are two faces of the same coin. Second, the Fourier transform of GG is the static structure factor S(k)S(\mathbf{k}), the quantity a scattering experiment reads out directly. Critical opalescence — the milky glow of a fluid near its critical point — is the divergence of S(k→0)S(\mathbf{k}\to0) made visible to the naked eye. The critical power law G(r)∼r−(d−2+η)G(r)\sim r^{-(d-2+\eta)} defines the anomalous dimension η\eta. Ornstein–Zernike (mean-field) theory predicts η=0\eta=0; fluctuations beyond mean field generate a small nonzero η\eta that, with ν\nu, fixes every other critical exponent through the scaling relations. The correlation function is the bridge from the microscopic Hamiltonian to the thermodynamics to the exponents measured in the laboratory.

Key takeaways
  • The connected correlation function G(r)=⟨δϕ(0) δϕ(r)⟩G(r)=\langle\delta\phi(\mathbf{0})\,\delta\phi(\mathbf{r})\rangle measures how a fluctuation at one point statistically influences one a distance rr away.
  • Away from criticality it decays exponentially, G(r)∼e−r/ξG(r)\sim e^{-r/\xi}, defining the correlation length ξ\xi; at TcT_c, ξ→∞\xi\to\infty and G(r)∼r−(d−2+η)G(r)\sim r^{-(d-2+\eta)} becomes scale-free.
  • Its spatial integral is the susceptibility, χ=β∫ddr G(r)=βS(0)\chi=\beta\int\mathrm{d}^d r\,G(r)=\beta S(0) (the fluctuation–response sum rule); its Fourier transform is the structure factor S(k)S(\mathbf{k}) measured by scattering.
  • The anomalous dimension η\eta corrects the Ornstein–Zernike form and is an independent critical exponent set by the universality class; Fisher's relation reads γ=ν(2−η)\gamma=\nu(2-\eta).
  • Broken continuous symmetry gives massless Goldstone modes and power-law transverse correlations, which destroy long-range order in d≤2d\le2 (Mermin–Wagner).
  • Key idea: G(r)G(r) is the master object of criticality — its decay length is ξ\xi, its TcT_c power law defines η\eta, its integral is χ\chi, and its Fourier transform is the measurable S(k)S(\mathbf{k}).
The core insight

The two-point connected correlation function G(r)=⟨δϕ(0) δϕ(r)⟩G(r)=\langle\delta\phi(\mathbf{0})\,\delta\phi(\mathbf{r})\rangle is the master object of critical phenomena: its decay length is the correlation length ξ\xi, its r→∞r\to\infty power law at TcT_c defines the anomalous dimension η\eta, its spatial integral is the susceptibility, and its Fourier transform is the measurable structure factor S(k)S(\mathbf{k}).

Where this lives today

Every modern determination of a critical exponent runs through the correlation function. Small-angle neutron scattering on magnets like RbMnF3_3, X-ray scattering on binary alloys, and dynamic light scattering on near-critical fluids all fit the Ornstein–Zernike lineshape to extract ξ(T)\xi(T) and, from the TcT_c lineshape, the anomalous dimension η\eta. On the theory side, the conformal-bootstrap program computes η\eta for the 3D Ising model to six-figure precision by exploiting the scale invariance of G(r)G(r) at TcT_c — the same power law that first appeared in Ornstein and Zernike's 1914 optics paper now anchors one of the most precise calculations in statistical physics.

The physical picture

Picture spins on a lattice. Flip one and ask how far the disturbance travels before thermal noise washes it out. Deep in the disordered phase the answer is a few lattice spacings: ξ\xi is small and G(r)G(r) collapses exponentially. As the temperature is tuned toward TcT_c, cooperative regions grow; fluctuating domains of every size appear, and ξ\xi swells until at TcT_c correlated patches span the entire sample. The correlation function is the spatial memory of a fluctuation — how far its influence reaches. The area under G(r)G(r) — its zero-wavevector Fourier component S(0)S(0) — is the total mean-square fluctuation of the order parameter, and by the sum rule this equals the susceptibility χ\chi. So the statement "the system is easy to polarize" and the statement "correlations are long-ranged" are literally the same statement. This is why every critical divergence travels in a pack: as ξ→∞\xi\to\infty, χ\chi, the specific heat, and the scattered light intensity all diverge together. The cleanest way to see G(r)G(r) is to scatter radiation off the sample. The intensity at wavevector transfer k\mathbf{k} is S(k)S(\mathbf{k}), the Fourier transform of G(r)G(r). Long-wavelength density fluctuations near a critical point scatter strongly at small angles — so strongly that a transparent fluid turns milky. The eye is, quite literally, measuring the divergence of GG.

Figure
Correlation function G(r) — exponential decay for T greater than T_c versus scale-free power law at T_c
G(r): how far a fluctuation reaches separation r → G(r) T > T_c : e^(−r/ξ) (ξ finite) T = T_c : r^−(d−2+η) (ξ = ∞) ξ both start at the same short-range value
Figure
Scattering as a Fourier camera — S(k) is the transform of G(r), forward scattering diverges near T_c
S(k) = Fourier transform of G(r) — a Lorentzian light k_in sample θ k → S(k) S(0) = β∫G ∝ κ_T → ∞ at T_c width ~ 1/ξ

The core equations

Every statement below starts from one object. The connected two-point function subtracts the disconnected piece ⟨ϕ⟩⟨ϕ⟩\langle\phi\rangle\langle\phi\rangle so that it measures genuine statistical dependence and vanishes at large separation even in an ordered phase where ⟨ϕ⟩≠0\langle\phi\rangle\ne0.

G(r,r′)=⟨ϕ(r)ϕ(r′)⟩−⟨ϕ(r)⟩⟨ϕ(r′)⟩(1)G(\mathbf{r},\mathbf{r}')=\langle\phi(\mathbf{r})\phi(\mathbf{r}')\rangle-\langle\phi(\mathbf{r})\rangle\langle\phi(\mathbf{r}')\rangle \qquad (1)

where: ϕ(r)\phi(\mathbf{r}) — local order-parameter field; ⟨⋅⟩\langle\cdot\rangle — thermal average; GG — connected (truncated) correlator, equal to the covariance of the fluctuations. In a translationally invariant system it depends only on r−r′\mathbf{r}-\mathbf{r}', and if isotropic only on r=∣r−r′∣r=|\mathbf{r}-\mathbf{r}'|. Writing δϕ=ϕ−⟨ϕ⟩\delta\phi=\phi-\langle\phi\rangle makes the fluctuation content explicit: GG is the covariance of the field with itself, displaced by r\mathbf{r}.

G(r)=⟨δϕ(0) δϕ(r)⟩,δϕ=ϕ−⟨ϕ⟩(2)G(r)=\langle\delta\phi(\mathbf{0})\,\delta\phi(\mathbf{r})\rangle,\qquad \delta\phi=\phi-\langle\phi\rangle \qquad (2)

where: δϕ\delta\phi — fluctuation about the mean; rr — separation. This is the form scattering measures, because radiation couples to δϕ\delta\phi, not to the uniform background. The experimentally accessible quantity is the spatial Fourier transform, the static structure factor. It is what a diffractometer records: intensity as a function of wavevector transfer.

G^(k)=∫ddr  G(r) e−ik⋅r≡S(k)(3)\hat G(\mathbf{k})=\int \mathrm{d}^d r\; G(r)\,e^{-i\mathbf{k}\cdot\mathbf{r}}\equiv S(\mathbf{k}) \qquad (3)

where: k\mathbf{k} — wavevector probed by scattering; S(k)S(\mathbf{k}) — static structure factor. Small kk probes long-wavelength fluctuations; large kk probes short-range structure. Truncating the Landau free energy at quadratic order in the fluctuations gives the Ornstein–Zernike propagator — a Lorentzian in kk whose width is the inverse correlation length.

G^OZ(k)=kBTc (k2+ξ−2),ξ2=ca(4)\hat G_{\mathrm{OZ}}(\mathbf{k})=\frac{k_B T}{c\,(k^2+\xi^{-2})},\qquad \xi^2=\frac{c}{a} \qquad (4)

where: cc — stiffness (the coefficient of 12c(∇ϕ)2\tfrac12 c(\nabla\phi)^2 in the Landau functional); a∝(T−Tc)a\propto(T-T_c) — mass term; ξ\xi — correlation length. Because a∝ta\propto t, the OZ theory predicts ξ∝∣t∣−1/2\xi\propto|t|^{-1/2}, i.e. mean-field ν=12\nu=\tfrac12. Exactly at TcT_c the OZ Lorentzian's inverse-transform loses its scale and GG becomes a pure power law; the deviation of that power from the naive d−2d-2 defines the anomalous dimension.

G(r)  ∼  1rd−2+η(r≪ξ,  T→Tc)(5)G(r)\;\sim\;\frac{1}{r^{d-2+\eta}}\qquad (r\ll\xi,\;T\to T_c) \qquad (5)

where: η\eta — anomalous (Fisher) exponent, =0=0 in mean field and ≈0.036\approx0.036 for the 3D Ising class; dd — spatial dimension. Integrating GG over all space collapses the double sum of fluctuations into the susceptibility — the fluctuation–response sum rule.

χ=β∫ddr  G(r)=β S(k=0)(6)\chi=\beta\int \mathrm{d}^d r\; G(r)=\beta\,S(\mathbf{k}=0) \qquad (6)

where: χ\chi — response of ⟨ϕ⟩\langle\phi\rangle to its conjugate field hh; β=1/kBT\beta=1/k_BT. Because S(0)S(0) is the integrated fluctuation, a divergence of χ\chi is a divergence of the total fluctuation. Combining the sum rule with the critical scaling form of GG yields Fisher's relation, tying the thermodynamic exponent γ\gamma to the correlation exponents ν,η\nu,\eta.

γ=ν(2−η)(7)\gamma=\nu(2-\eta) \qquad (7)

where: γ\gamma — susceptibility exponent, χ∼∣t∣−γ\chi\sim|t|^{-\gamma}; ν\nu — correlation-length exponent, ξ∼∣t∣−ν\xi\sim|t|^{-\nu}. Mean field (η=0,ν=12\eta=0,\nu=\tfrac12) gives γ=1\gamma=1.

Derivation AOrnstein–Zernike correlation function in real space

The goal is to invert the Gaussian propagator G^(k)=kBT/[c(k2+ξ−2)]\hat G(\mathbf{k})=k_BT/[c(k^2+\xi^{-2})] back to position space and read off two limits: the exponentially screened decay that defines ξ\xi away from criticality, and the scale-free power law r−(d−2)r^{-(d-2)} at TcT_c that fixes the mean-field value η=0\eta=0. The calculation is the Euclidean massive (Yukawa) propagator with mass ξ−1\xi^{-1}, and the d=3d=3 case reduces to the familiar screened-Coulomb form.

Step 1. Write the inverse transform G(r)=kBTc∫ddk(2π)d eik⋅rk2+ξ−2G(r)=\dfrac{k_BT}{c}\displaystyle\int\frac{\mathrm{d}^d k}{(2\pi)^d}\,\frac{e^{i\mathbf{k}\cdot\mathbf{r}}}{k^2+\xi^{-2}}. Why this integral: it is the Green's function of the operator (−∇2+ξ−2)(-\nabla^2+\xi^{-2}), the massive Helmholtz/Yukawa kernel.

Step 2. Take the massless (critical) limit ξ→∞\xi\to\infty: the integrand becomes 1/k21/k^2, whose transform is the Coulomb Green's function G(r)=kBTcAdrd−2G(r)=\dfrac{k_BT}{c}\dfrac{A_d}{r^{d-2}} with Ad=Γ(d/2−1)/(4πd/2)A_d=\Gamma(d/2-1)/(4\pi^{d/2}). Why this matters: this is the mean-field critical correlation, so the power is exactly d−2d-2, i.e. η=0\eta=0.

Step 3. Restore finite ξ\xi and evaluate the large-rr asymptotics by saddle point: G(r)∝e−r/ξ/r(d−1)/2G(r)\propto e^{-r/\xi}/r^{(d-1)/2}. Why the extra power: the Gaussian curvature of the exponent at the saddle contributes the algebraic prefactor on top of the exponential envelope.

Step 4. Specialize to d=3d=3, where the radial integral is elementary: ∫0∞ ⁣sin⁡(kr)e−r/ξ dr\displaystyle\int_0^\infty\!\sin(kr)e^{-r/\xi}\,\mathrm{d}r gives G(r)=kBT4πce−r/ξrG(r)=\dfrac{k_BT}{4\pi c}\dfrac{e^{-r/\xi}}{r}, reducing to kBT/(4πc r)k_BT/(4\pi c\,r) at criticality. Why d=3d=3 is clean: the 3D Yukawa transform is exactly 4π/(k2+ξ−2)4\pi/(k^2+\xi^{-2}), with no special functions. *Verified: the d=3d=3 form e−r/ξ/(4πc r)e^{-r/\xi}/(4\pi c\,r) and the closed 3D Yukawa transform are checked symbolically in verify_aq-sm-correlation-function.py; they reproduce Landau–Lifshitz §146 and Kardar Ch. 3.*

Go deeper · Derivation B · 1 minSusceptibility divergence and Fisher's relation
Derivation BSusceptibility divergence and Fisher's relation

The goal is to derive Fisher's scaling relation γ=ν(2−η)\gamma=\nu(2-\eta) purely from the sum rule χ=β∫ddr G(r)\chi=\beta\int\mathrm{d}^d r\,G(r) and the critical scaling form G(r)=r−(d−2+η) G(r/ξ)G(r)=r^{-(d-2+\eta)}\,\mathcal{G}(r/\xi). The key move is to feed the scaling form into the integral, rescale distances by ξ\xi, and let the correlation length carry all the temperature dependence. Nothing in this argument uses a specific model — it holds for every universality class.

Step 1. Insert the scaling form into the sum rule; the angular integral is a constant and the radial part is χ∝∫0∞ ⁣dr rd−1 r−(d−2+η) G(r/ξ)=∫0∞ ⁣dr r1−η G(r/ξ)\chi\propto\displaystyle\int_0^\infty\!\mathrm{d}r\,r^{d-1}\,r^{-(d-2+\eta)}\,\mathcal{G}(r/\xi)=\int_0^\infty\!\mathrm{d}r\,r^{1-\eta}\,\mathcal{G}(r/\xi). Why only the radial part: isotropy makes the angular integral an overall constant that cannot affect an exponent.

Step 2. Rescale u=r/ξu=r/\xi, so each factor of rr becomes ξu\xi u: χ∝ξ2−η∫0∞ ⁣du u1−η G(u)\chi\propto\xi^{2-\eta}\displaystyle\int_0^\infty\!\mathrm{d}u\,u^{1-\eta}\,\mathcal{G}(u). Why the integral is finite: G(u)\mathcal{G}(u) cuts off exponentially at large uu, so the uu-integral is a pure universal number with no hidden temperature dependence.

Step 3. Use ξ∼∣t∣−ν\xi\sim|t|^{-\nu}: χ∼ξ2−η∼∣t∣−ν(2−η)\chi\sim\xi^{2-\eta}\sim|t|^{-\nu(2-\eta)}. Matching to the definition χ∼∣t∣−γ\chi\sim|t|^{-\gamma} gives γ=ν(2−η)\gamma=\nu(2-\eta). Why this is nontrivial: it connects a purely thermodynamic exponent γ\gamma to two exponents (ν,η\nu,\eta) defined entirely through the correlation function.

Step 4. Check the mean-field case: η=0,ν=12\eta=0,\nu=\tfrac12 give γ=1\gamma=1, the Landau value; the 3D Ising values ν≈0.630,η≈0.036\nu\approx0.630,\eta\approx0.036 give γ≈1.237\gamma\approx1.237, matching the accepted 1.241.24. Why the check matters: it verifies the relation across both the mean-field fixed point and the fluctuation-dominated 3D class. *Verified: the sum-rule scaling, Fisher relation, and both the MF and 3D-Ising numerical checks are in verify_aq-sm-correlation-function.py.*

Go deeper · Derivation C · 1 minGoldstone power-law correlations in the ordered phase
Derivation CGoldstone power-law correlations in the ordered phase

The goal is to show that breaking a continuous symmetry produces a massless transverse mode whose correlations decay only algebraically, and to extract the lower critical dimension dℓ=2d_\ell=2 below which those fluctuations destroy long-range order (Mermin–Wagner). Start from an O(n)O(n) order parameter that has picked a direction, ⟨ϕ⟩=ϕ0e^1\langle\boldsymbol\phi\rangle=\phi_0\hat e_1, and split fluctuations into a longitudinal (massive) part and n−1n-1 transverse (Goldstone) parts.

Step 1. Decompose ϕ=(ϕ0+σ)e^1+π\boldsymbol\phi=(\phi_0+\sigma)\hat e_1+\boldsymbol\pi with π⊥e^1\boldsymbol\pi\perp\hat e_1. Why the split: rotating the order parameter (a π\boldsymbol\pi deformation) must cost zero energy at zero wavevector, because it is a symmetry operation on the ground state.

Step 2. The transverse part of the quadratic action carries only the gradient term, βH⊥=12∫ddk(2π)d c k2 ∣πk∣2\beta\mathcal{H}_\perp=\tfrac12\int\frac{\mathrm{d}^d k}{(2\pi)^d}\,c\,k^2\,|\boldsymbol\pi_{\mathbf{k}}|^2. Why no mass term: a mass would penalize a uniform rotation, contradicting the Goldstone theorem.

Step 3. Equipartition gives the massless propagator ⟨∣πk∣2⟩=kBT/(c k2)\langle|\pi_{\mathbf{k}}|^2\rangle=k_BT/(c\,k^2), which diverges as k→0k\to0; transforming back, G⊥(r)∼r−(d−2)G_\perp(r)\sim r^{-(d-2)}. Why it is long-ranged: the 1/k21/k^2 pole at the origin is the hallmark of algebraic, not exponential, decay.

Step 4. Estimate the total transverse fluctuation ⟨π2⟩∼∫ddk/k2\langle\pi^2\rangle\sim\int\mathrm{d}^d k/k^2; the infrared part ∫0kd−3dk\int_0 k^{d-3}\mathrm{d}k converges only for d>2d>2, and diverges for d≤2d\le2. Why this kills order: an infrared-divergent ⟨π2⟩\langle\pi^2\rangle means the order parameter cannot stay pinned to a direction — this is the Mermin–Wagner result dℓ=2d_\ell=2. *Verified: the Goldstone propagator, the d=3d=3 convergence versus d=2d=2 divergence, and dℓ=2d_\ell=2 are checked numerically in verify_aq-sm-correlation-function.py, consistent with Kardar's O(n)O(n) treatment.*

Limiting cases

The shape of G(r)G(r) depends sharply on where the system sits relative to TcT_c and on the symmetry of the ordered state.

CaseResultMeaning
Disordered, T>TcT>T_cG(r)∼e−r/ξ/r(d−1)/2G(r)\sim e^{-r/\xi}/r^{(d-1)/2}, ξ<∞\xi<\inftyOrnstein–Zernike exponential decay with finite range ξ\xi.
Critical, T=TcT=T_cG(r)∼r−(d−2+η)G(r)\sim r^{-(d-2+\eta)}Scale-free power law; ξ=∞\xi=\infty; mean field gives η=0\eta=0, i.e. r−(d−2)r^{-(d-2)}.
Ordered, broken continuous symmetryG⊥(r)∼r−(d−2)G_\perp(r)\sim r^{-(d-2)} (Goldstone)Transverse correlations are power-law for all T<TcT<T_c; destroy order in d≤2d\le2.
Ordered, discrete symmetryGc(r)∼e−r/ξG_c(r)\sim e^{-r/\xi}Connected part decays exponentially; the full correlator tends to ⟨ϕ⟩2≠0\langle\phi\rangle^2\ne0.

Worked examples

Example 1 — Ratio of correlations at two separations (3D OZ). In three dimensions the OZ form is G(r)=kBT4πce−r/ξrG(r)=\dfrac{k_BT}{4\pi c}\dfrac{e^{-r/\xi}}{r}. Compare GG at r=2ξr=2\xi and at r=ξ/2r=\xi/2.

Step 1. Form the ratio; the prefactor kBT/4πck_BT/4\pi c cancels: G(2ξ)G(ξ/2)=(ξ/2)(2ξ) e−(2ξ−ξ/2)/ξ=14 e−3/2\dfrac{G(2\xi)}{G(\xi/2)}=\dfrac{(\xi/2)}{(2\xi)}\,e^{-(2\xi-\xi/2)/\xi}=\dfrac{1}{4}\,e^{-3/2}.

Step 2. Evaluate: 14e−1.5=0.25×0.2231=0.0558\tfrac14 e^{-1.5}=0.25\times0.2231=\mathbf{0.0558}. Moving from half a correlation length to two correlation lengths cuts the correlation by a factor ≈18\approx18 — most of it from the exponential, a smaller part from the 1/r1/r prefactor. The correlation at 2ξ2\xi is about 5.6 % of that at ξ/2\xi/2.

Example 2 — How much the susceptibility grows on approaching TcT_c. For the 3D Ising class, χ∼∣t∣−γ\chi\sim|t|^{-\gamma} with γ=ν(2−η)\gamma=\nu(2-\eta) and ν=0.630,η=0.036\nu=0.630,\eta=0.036, giving γ=1.237\gamma=1.237. Compare t1=10−2t_1=10^{-2} with t2=10−3t_2=10^{-3}.

Step 1. Compute γ\gamma from Fisher's relation: γ=0.630×(2−0.036)=0.630×1.964=1.237\gamma=0.630\times(2-0.036)=0.630\times1.964=\mathbf{1.237}.

Step 2. Ratio of susceptibilities: χ(t2)χ(t1)=(t1t2)γ=101.237=17.3\dfrac{\chi(t_2)}{\chi(t_1)}=\left(\dfrac{t_1}{t_2}\right)^{\gamma}=10^{1.237}=\mathbf{17.3}. A tenfold approach toward TcT_c multiplies the susceptibility — and hence the integrated fluctuation and the forward-scattered intensity — by about 17. In mean field (γ=1\gamma=1) the same step would give exactly 10; the extra factor is the fluctuation enhancement that opalescence makes visible.

Origins · 1 mincorrelation function and how this was discovered
CF
correlation function
the statistical fingerprint of a phase · The two-point correlation function grew from Josiah Willard Gibbs's ensemble averages into the central diagnostic of condensed matter. Leonard Ornstein and Frits Zernike gave it its critical form in 1914 while explaining critical opalescence; Michael Fisher, Leo Kadanoff, and Kenneth Wilson later turned the anomalous decay exponent η into a cornerstone of the renormalization group. Today the connected correlator — measured by neutron, X-ray, and light scattering — is how experimentalists read a system's correlation length, anomalous dimension, and universality class directly off a diffraction pattern.

History
1914
— Ornstein and Zernike give the correlation function its screened form, explaining critical opalescence
1937
— Landau formulates the order-parameter description of phase transitions
1944
— Onsager's exact 2D Ising solution yields η = 1/4, a nonzero anomalous dimension
1964
— Fisher relates the susceptibility exponent to the correlation function, γ = ν(2 − η)
1966
— Mermin, Wagner and Hohenberg prove continuous symmetry cannot break in d ≤ 2
1971
— Wilson's renormalization group derives η from the fixed point

Going further

References. Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 13–14 (correlations and scaling) · Kardar, Statistical Physics of Fields, Ch. 2–3 (Gaussian theory, correlation functions) · Reif, Fundamentals of Statistical and Thermal Physics, Ch. 7 (fluctuations) · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, Ch. 10 (correlations, response, dissipation) · Landau & Lifshitz, Statistical Physics Part 1, §116, §146 (correlation of fluctuations, Ornstein–Zernike).

Provenance. A verifier should: reproduce the Gaussian/OZ propagator G^(k)=kBT/[c(k2+ξ−2)]\hat G(k)=k_BT/[c(k^2+\xi^{-2})] and its d=3d=3 real-space form e−r/ξ/(4πc r)e^{-r/\xi}/(4\pi c\,r) (Kardar Ch. 3, Landau–Lifshitz §146); check the susceptibility sum rule and Fisher relation γ=ν(2−η)\gamma=\nu(2-\eta) (Pathria & Beale Ch. 14); confirm mean-field η=0,ν=1/2,γ=1\eta=0,\nu=1/2,\gamma=1 and 3D Ising η≈0.036,ν≈0.63,γ≈1.24\eta\approx0.036,\nu\approx0.63,\gamma\approx1.24 (Pelissetto–Vicari review); verify the Goldstone propagator kBT/(ck2)k_BT/(ck^2) and Mermin–Wagner dℓ=2d_\ell=2. All numbers are standard textbook values.

Builds on: Order Parameter · Landau Theory of Phase Transitions · Continuous Phase Transitions. Leads to: Correlation Length and Its Divergence · Critical Exponents · Scaling Hypothesis and Scaling Relations · Goldstone Modes.

What is the difference between the connected, truncated, and full correlators?

The full correlator is ⟨ϕ(0)ϕ(r)⟩\langle\phi(\mathbf 0)\phi(\mathbf r)\rangle; the connected (or truncated, or cumulant) correlator subtracts the product of means, ⟨ϕ(0)⟩⟨ϕ(r)⟩\langle\phi(\mathbf 0)\rangle\langle\phi(\mathbf r)\rangle. Away from an ordered phase both agree because ⟨ϕ⟩=0\langle\phi\rangle=0. In the ordered phase they differ by the constant ⟨ϕ⟩2\langle\phi\rangle^2: the full correlator plateaus there, while the connected one decays to zero and correctly reports the range of genuine fluctuations. The connected correlator is the one that integrates to the susceptibility and Fourier-transforms to the scattering structure factor (which excludes the forward Bragg peak).

How is the structure factor S(k) actually measured?

In a scattering experiment (light, X-ray, or neutron) a beam of wavevector kin\mathbf k_{\rm in} hits the sample and is deflected to kout\mathbf k_{\rm out}; the wavevector transfer is k=kout−kin\mathbf k=\mathbf k_{\rm out}-\mathbf k_{\rm in}, with magnitude k=(4πn/λ)sin⁡(θ/2)k=(4\pi n/\lambda)\sin(\theta/2) for scattering angle θ\theta. The measured intensity at that angle is proportional to S(k)S(\mathbf k), the Fourier transform of G(r)G(r). Scanning the angle scans kk: small angles probe long-wavelength fluctuations (small kk, near the diverging forward peak), large angles probe short-range structure. Fitting the Ornstein–Zernike Lorentzian S(k)∝1/(k2+ξ−2)S(k)\propto1/(k^2+\xi^{-2}) to the data yields the correlation length directly.

Why does the correlation function decay exponentially away from criticality but as a power law at T_c?

G(r)∼e−r/ξG(r)\sim e^{-r/\xi} contains an explicit length, ξ\xi. At TcT_c the correlation length diverges, removing the only scale in the problem. A scale-free function of a single variable must be a pure power law, so G(r)→r−(d−2+η)G(r)\to r^{-(d-2+\eta)}. Physically, at TcT_c fluctuating domains exist on every length from the lattice spacing up to the system size; there is no characteristic size, hence no characteristic decay length. This scale invariance is exactly what the renormalization group formalizes as a fixed point.

What sets the value of the anomalous dimension η?

η\eta measures how much the critical decay departs from the naive Gaussian power d−2d-2. In mean-field (Ornstein–Zernike) theory η=0\eta=0 exactly, because the Gaussian propagator inverts to r−(d−2)r^{-(d-2)}. Below the upper critical dimension dc=4d_c=4, interactions between fluctuations renormalize the field and generate a small positive η\eta: about 0.0360.036 for the 3D Ising class, 1/41/4 for 2D Ising. Its value depends only on dimensionality and order-parameter symmetry — the universality class — not on microscopic details, which is why measuring η\eta classifies a transition.

How can response and correlation be "the same thing"?

The fluctuation–response sum rule χ=β∫ddr G(r)\chi=\beta\int\mathrm{d}^d r\,G(r) says the susceptibility (how much the order parameter responds to a small conjugate field) equals the total integrated fluctuation. The reason is a single differentiation of the partition function: ∂⟨ϕ⟩/∂h\partial\langle\phi\rangle/\partial h produces the second cumulant of the spatially integrated field, which is exactly the integral of GG. So a system that responds strongly to a field is one whose spontaneous fluctuations are large and long-ranged. This is the static (equal-time) version of the fluctuation–dissipation theorem, and it is why χ\chi and ξ\xi diverge together at TcT_c.

Do Goldstone modes appear at every phase transition?

No — only when a continuous symmetry is spontaneously broken. Breaking a discrete symmetry (like the up/down Z2\mathbb Z_2 of the Ising magnet) produces a massive longitudinal mode and exponentially decaying connected correlations, with no gapless excitation. Breaking a continuous symmetry (like the rotational O(n)O(n) symmetry of a Heisenberg magnet or a superfluid's phase) leaves directions in order-parameter space that cost no energy to rotate; those are the Goldstone modes, with a massless 1/k21/k^2 propagator and power-law transverse correlations. Their infrared divergence in d≤2d\le2 is what forbids continuous-symmetry order in low dimensions.

Before this

Where this leads