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 — and ask: if is unusually large at the origin, how likely is it to be large a distance away? The two-point connected correlation function answers exactly that. In a homogeneous, isotropic system it depends only on the separation , and its shape is a fingerprint of the phase the system is in. Deep in a disordered phase, correlations are short-ranged: dies exponentially over a distance , the correlation length, which is just a few lattice spacings. As a continuous transition is approached, swells without bound and the decay slows until, exactly at , the exponential is replaced by a pure power law . Fluctuations of every size coexist — this scale-free behaviour is the microscopic engine of critical phenomena, scaling, and universality. Two identities make indispensable. First, its spatial integral is a thermodynamic susceptibility: . 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 is the static structure factor , the quantity a scattering experiment reads out directly. Critical opalescence — the milky glow of a fluid near its critical point — is the divergence of made visible to the naked eye. The critical power law defines the anomalous dimension . Ornstein–Zernike (mean-field) theory predicts ; fluctuations beyond mean field generate a small nonzero that, with , 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.
- The connected correlation function measures how a fluctuation at one point statistically influences one a distance away.
- Away from criticality it decays exponentially, , defining the correlation length ; at , and becomes scale-free.
- Its spatial integral is the susceptibility, (the fluctuation–response sum rule); its Fourier transform is the structure factor measured by scattering.
- The anomalous dimension corrects the Ornstein–Zernike form and is an independent critical exponent set by the universality class; Fisher's relation reads .
- Broken continuous symmetry gives massless Goldstone modes and power-law transverse correlations, which destroy long-range order in (Mermin–Wagner).
- Key idea: is the master object of criticality — its decay length is , its power law defines , its integral is , and its Fourier transform is the measurable .
The two-point connected correlation function is the master object of critical phenomena: its decay length is the correlation length , its power law at defines the anomalous dimension , its spatial integral is the susceptibility, and its Fourier transform is the measurable structure factor .
Where this lives today
Every modern determination of a critical exponent runs through the correlation function. Small-angle neutron scattering on magnets like RbMnF, X-ray scattering on binary alloys, and dynamic light scattering on near-critical fluids all fit the Ornstein–Zernike lineshape to extract and, from the lineshape, the anomalous dimension . On the theory side, the conformal-bootstrap program computes for the 3D Ising model to six-figure precision by exploiting the scale invariance of at — 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: is small and collapses exponentially. As the temperature is tuned toward , cooperative regions grow; fluctuating domains of every size appear, and swells until at correlated patches span the entire sample. The correlation function is the spatial memory of a fluctuation — how far its influence reaches. The area under — its zero-wavevector Fourier component — is the total mean-square fluctuation of the order parameter, and by the sum rule this equals the susceptibility . 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 , , the specific heat, and the scattered light intensity all diverge together. The cleanest way to see is to scatter radiation off the sample. The intensity at wavevector transfer is , the Fourier transform of . 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 .
The core equations
Every statement below starts from one object. The connected two-point function subtracts the disconnected piece so that it measures genuine statistical dependence and vanishes at large separation even in an ordered phase where .
where: — local order-parameter field; — thermal average; — connected (truncated) correlator, equal to the covariance of the fluctuations. In a translationally invariant system it depends only on , and if isotropic only on . Writing makes the fluctuation content explicit: is the covariance of the field with itself, displaced by .
where: — fluctuation about the mean; — separation. This is the form scattering measures, because radiation couples to , 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.
where: — wavevector probed by scattering; — static structure factor. Small probes long-wavelength fluctuations; large probes short-range structure. Truncating the Landau free energy at quadratic order in the fluctuations gives the Ornstein–Zernike propagator — a Lorentzian in whose width is the inverse correlation length.
where: — stiffness (the coefficient of in the Landau functional); — mass term; — correlation length. Because , the OZ theory predicts , i.e. mean-field . Exactly at the OZ Lorentzian's inverse-transform loses its scale and becomes a pure power law; the deviation of that power from the naive defines the anomalous dimension.
where: — anomalous (Fisher) exponent, in mean field and for the 3D Ising class; — spatial dimension. Integrating over all space collapses the double sum of fluctuations into the susceptibility — the fluctuation–response sum rule.
where: — response of to its conjugate field ; . Because is the integrated fluctuation, a divergence of is a divergence of the total fluctuation. Combining the sum rule with the critical scaling form of yields Fisher's relation, tying the thermodynamic exponent to the correlation exponents .
where: — susceptibility exponent, ; — correlation-length exponent, . Mean field () gives .
The goal is to invert the Gaussian propagator back to position space and read off two limits: the exponentially screened decay that defines away from criticality, and the scale-free power law at that fixes the mean-field value . The calculation is the Euclidean massive (Yukawa) propagator with mass , and the case reduces to the familiar screened-Coulomb form.
Step 1. Write the inverse transform . Why this integral: it is the Green's function of the operator , the massive Helmholtz/Yukawa kernel.
Step 2. Take the massless (critical) limit : the integrand becomes , whose transform is the Coulomb Green's function with . Why this matters: this is the mean-field critical correlation, so the power is exactly , i.e. .
Step 3. Restore finite and evaluate the large- asymptotics by saddle point: . 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 , where the radial integral is elementary: gives , reducing to at criticality. Why is clean: the 3D Yukawa transform is exactly , with no special functions. *Verified: the form 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
The goal is to derive Fisher's scaling relation purely from the sum rule and the critical scaling form . The key move is to feed the scaling form into the integral, rescale distances by , 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 . Why only the radial part: isotropy makes the angular integral an overall constant that cannot affect an exponent.
Step 2. Rescale , so each factor of becomes : . Why the integral is finite: cuts off exponentially at large , so the -integral is a pure universal number with no hidden temperature dependence.
Step 3. Use : . Matching to the definition gives . Why this is nontrivial: it connects a purely thermodynamic exponent to two exponents () defined entirely through the correlation function.
Step 4. Check the mean-field case: give , the Landau value; the 3D Ising values give , matching the accepted . 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
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 below which those fluctuations destroy long-range order (Mermin–Wagner). Start from an order parameter that has picked a direction, , and split fluctuations into a longitudinal (massive) part and transverse (Goldstone) parts.
Step 1. Decompose with . Why the split: rotating the order parameter (a 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, . Why no mass term: a mass would penalize a uniform rotation, contradicting the Goldstone theorem.
Step 3. Equipartition gives the massless propagator , which diverges as ; transforming back, . Why it is long-ranged: the pole at the origin is the hallmark of algebraic, not exponential, decay.
Step 4. Estimate the total transverse fluctuation ; the infrared part converges only for , and diverges for . Why this kills order: an infrared-divergent means the order parameter cannot stay pinned to a direction — this is the Mermin–Wagner result . *Verified: the Goldstone propagator, the convergence versus divergence, and are checked numerically in verify_aq-sm-correlation-function.py, consistent with Kardar's treatment.*
Limiting cases
The shape of depends sharply on where the system sits relative to and on the symmetry of the ordered state.
| Case | Result | Meaning |
|---|---|---|
| Disordered, | , | Ornstein–Zernike exponential decay with finite range . |
| Critical, | Scale-free power law; ; mean field gives , i.e. . | |
| Ordered, broken continuous symmetry | (Goldstone) | Transverse correlations are power-law for all ; destroy order in . |
| Ordered, discrete symmetry | Connected part decays exponentially; the full correlator tends to . |
Worked examples
Example 1 — Ratio of correlations at two separations (3D OZ). In three dimensions the OZ form is . Compare at and at .
Step 1. Form the ratio; the prefactor cancels: .
Step 2. Evaluate: . Moving from half a correlation length to two correlation lengths cuts the correlation by a factor — most of it from the exponential, a smaller part from the prefactor. The correlation at is about 5.6 % of that at .
Example 2 — How much the susceptibility grows on approaching . For the 3D Ising class, with and , giving . Compare with .
Step 1. Compute from Fisher's relation: .
Step 2. Ratio of susceptibilities: . A tenfold approach toward multiplies the susceptibility — and hence the integrated fluctuation and the forward-scattered intensity — by about 17. In mean field () 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
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 and its real-space form (Kardar Ch. 3, Landau–Lifshitz §146); check the susceptibility sum rule and Fisher relation (Pathria & Beale Ch. 14); confirm mean-field and 3D Ising (Pelissetto–Vicari review); verify the Goldstone propagator and Mermin–Wagner . 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 ; the connected (or truncated, or cumulant) correlator subtracts the product of means, . Away from an ordered phase both agree because . In the ordered phase they differ by the constant : 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 hits the sample and is deflected to ; the wavevector transfer is , with magnitude for scattering angle . The measured intensity at that angle is proportional to , the Fourier transform of . Scanning the angle scans : small angles probe long-wavelength fluctuations (small , near the diverging forward peak), large angles probe short-range structure. Fitting the Ornstein–Zernike Lorentzian 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?
contains an explicit length, . At 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 . Physically, at 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 η?
measures how much the critical decay departs from the naive Gaussian power . In mean-field (Ornstein–Zernike) theory exactly, because the Gaussian propagator inverts to . Below the upper critical dimension , interactions between fluctuations renormalize the field and generate a small positive : about for the 3D Ising class, for 2D Ising. Its value depends only on dimensionality and order-parameter symmetry — the universality class — not on microscopic details, which is why measuring classifies a transition.
How can response and correlation be "the same thing"?
The fluctuation–response sum rule 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: produces the second cumulant of the spatially integrated field, which is exactly the integral of . 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 and diverge together at .
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 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 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 propagator and power-law transverse correlations. Their infrared divergence in is what forbids continuous-symmetry order in low dimensions.