Fluctuation-Dissipation Relation Near Criticality
The fluctuation-dissipation relation is one of the deepest organizing principles of statistical mechanics: a system's spontaneous equilibrium fluctuations and its linear response to a weak external perturbation are governed by the same underlying correlations. For a uniform magnet the static version says that the magnetic susceptibility — a response quantity measuring how much magnetization is induced per unit field — equals (up to a factor ) the volume integral of the connected magnetization correlation function. This is exact in equilibrium and follows directly from differentiating the partition function twice with respect to the field. Near a critical point this identity becomes spectacular. The correlation function develops a diverging correlation length , so spins become correlated over macroscopic distances. The integral of the connected correlator then grows without bound, and the susceptibility diverges. Fluctuations and response do not merely both diverge — they diverge in lockstep, with their ratio pinned by temperature. The relation therefore converts statements about correlations (the geometry of fluctuations) into statements about thermodynamic response, and vice versa. Feeding the scaling form of the correlation function into the relation yields one of the cornerstone scaling relations, , connecting the susceptibility exponent to the correlation-length exponent and the anomalous dimension . This is a hallmark of universality: distinct microscopic systems sharing dimensionality and symmetry obey the same relation with the same exponents. The relation is thus the bridge between the correlation function and the critical exponents, and it generalizes — through the Kubo formula and Onsager regression — to dynamics, where it produces critical slowing down with a dynamic exponent . The relation is firmly an equilibrium statement. Out of equilibrium — in driven steady states, glasses, or systems aging after a quench through — the temperature-controlled proportionality between fluctuation and response breaks down, and the deviation (encoded in an effective temperature or a fluctuation-dissipation ratio) becomes a diagnostic of how far the system sits from equilibrium.
- The static fluctuation-dissipation relation for a magnet states that the susceptibility is the spatial integral of the connected spin-spin correlation function: .
- Equivalently is the variance of the total order parameter, , and it equals the structure factor — measured directly by scattering.
- Near a continuous transition the correlation length diverges, so the integrated fluctuations and hence diverge together with the same singularity .
- Inserting the scaling form into the relation forces Fisher's identity .
- The dynamic generalization ties the response function to the time-correlation function and yields critical slowing down, ; the relation is an equilibrium identity and fails out of equilibrium.
- Key idea: In equilibrium the susceptibility IS the integrated connected correlation function, ; at criticality both sides diverge as , and matching their scaling forms yields Fisher's relation .
In equilibrium the susceptibility is the integrated connected correlation function, ; at criticality both sides diverge as , and matching the scaling forms gives Fisher's relation .
Where this lives today
The static structure factor is measured every day at synchrotron and neutron sources: small-angle scattering off critical binary fluids, polymer blends near their consolute point, and alloys near order-disorder transitions all show the forward-scattering peak growing and narrowing as , a direct readout of the fluctuation-dissipation relation. In numerical statistical mechanics the variance form with finite-size scaling is the standard route to critical exponents. Beyond equilibrium, the fluctuation-dissipation ratio has become a working definition of temperature for glasses, granular media, and active matter, where it quantifies how far a system sits from equilibrium.
The physical picture
Poke a magnet with a tiny uniform field. How strongly it responds — its susceptibility — depends on how coordinated the spins already are: if flipping one spin drags a whole correlated patch along, the response is enormous. The size of that patch is the correlation volume , and the relation says the response is proportional to that volume of fluctuation. Near the patches grow without bound, so a feeble field recruits a diverging number of spins and the susceptibility blows up. Fluctuation and response are two views of the same correlated cloud, so they diverge together with the same exponent. The algebra behind this is a single coincidence. Treat the partition function as a generating function: one field derivative gives the mean magnetization, a second gives the susceptibility — and that second derivative is also the variance of the total magnetization. The same object is both "response" and "fluctuation." That is the whole content of the relation, and it is exact.
Out of equilibrium the link snaps. In a glass slowly settling, the spontaneous fluctuations report a high "effective temperature" while the measured response reflects the real bath temperature; the ratio of the two becomes a thermometer for how far from equilibrium the system sits.
The core equations
The central identity is that the static uniform susceptibility equals the integrated connected correlation function. It follows exactly from a double field-derivative of the partition function and holds at any temperature; its power appears near , where the right side diverges.
where: is the static uniform susceptibility; is the connected (cumulant) spin-spin correlation function; is the local order-parameter density; sets the fluctuation-response ratio; is the spatial dimension. Physically: the response is the total amount of correlation a spin has with the rest of the system. The same second derivative that produced is a variance, so the susceptibility is literally the fluctuation of the extensive order parameter. This is the form used to measure exponents in simulations.
where: is the total (extensive) magnetization; the number of sites/volume; . Physically: no field derivative is needed — just watch how much wanders. In Fourier space the integrated correlator is the limit of the structure factor, which is exactly what a scattering experiment reads off at forward angle.
where: is the static structure factor; the wavevector; is the uniform (long-wavelength) response. Near the correlator takes a universal scaling form controlled by the diverging correlation length and two exponents, the anomalous dimension and the correlation-length exponent .
where: is the anomalous (Fisher) dimension; the correlation length; const as and decays for ; . Physically: at correlations are pure power law (scale-free); away from it they are cut off at . Combining (1) and (4) forces a relation among the exponents — Fisher's scaling relation — which is the punchline of the whole article.
where: is the susceptibility exponent. Physically: the divergence of the response is dictated by the geometry of the correlations, not independent of it. The dynamic generalization relates the linear response function to the time derivative of the autocorrelation function, the classical Kubo form.
where: is the response function ; the autocorrelation; enforces causality. As the relaxation time diverges, — critical slowing down.
The goal is to show, with no approximation, that the static susceptibility equals the integrated connected correlation function, exhibiting the susceptibility as the second cumulant of the free energy with respect to a source field. We add a uniform field coupling linearly to the order parameter, differentiate the log-partition function twice, and use translation invariance to collapse the double lattice sum into a single spatial integral. This is the exact equilibrium statement whose divergence at is the physics of the article.
Step 1. Add a source: with , so . Why: coupling linearly to makes field-derivatives pull down factors of .
Step 2. First derivative gives the mean order parameter, . Why: this is the generating-function property of — the first cumulant.
Step 3. Second derivative gives the variance, . Why: differentiating a first cumulant of a Boltzmann average returns the second cumulant times .
Step 4. Expand the variance in two-point functions: . Why: translation invariance makes the double sum depend only on the separation, giving one factor of .
Step 5. Divide by for the intensive susceptibility: , i.e. . Why: the continuum limit turns the site sum into the structure factor. *Verified: verify_aq-sm-fluctuation-dissipation-criticality.py checks that for non-interacting spins () both forms give , and that the variance and integral forms agree numerically on a 1D Ising chain.*
Go deeper · Derivation B · 1 minFisher's relation γ = ν(2−η) from the scaling correlator
The goal is to derive the exponent identity that ties the susceptibility divergence to the correlation-length divergence and the anomalous dimension. We insert the universal scaling form of the correlation function into the exact fluctuation-dissipation relation, rescale the integration variable by the correlation length, and count powers of . The residual integral is a pure convergent number, so the entire -dependence of the susceptibility comes from the explicit powers of — reading them off gives Fisher's relation, a relation obeyed by every system in a given universality class.
Step 1. Start from the exact relation and substitute the scaling form . Why: near this ansatz captures the correlator's shape with the only scale.
Step 2. Rescale : the measure gives , the prefactor , so the net power of is . Why: this is dimensional counting — the correlation length is the only length, so all -dependence collapses onto it.
Step 3. The remaining integral is a finite constant for , so . Why: cuts off the large- tail and is integrable at the origin in dimensions when .
Step 4. Insert to get , and compare with to read off . Why: the exponent is what survives; the non-universal amplitude is irrelevant to it. *Verified: verify_aq-sm-fluctuation-dissipation-criticality.py confirms that the 2D Ising triple gives and the mean-field triple gives , and that the rescaling power equals symbolically.*
Go deeper · Derivation C · 1 minClassical dynamic fluctuation-dissipation theorem and critical slowing down
The goal is to extend the static relation to time-dependent response, linking the dissipative part of the dynamic susceptibility to the noise spectrum and showing why relaxation freezes at . We use Onsager's regression hypothesis — a spontaneous fluctuation decays by the same law as a macroscopically prepared disturbance — together with stationarity of the equilibrium time series, then take the frequency-domain imaginary part. The zero-frequency limit recovers the static relation, closing the loop, and the divergence of the relaxation time as is critical slowing down.
Step 1. Onsager regression: , with . Why: in equilibrium the decay of a fluctuation and of an imposed perturbation are the same process.
Step 2. Fourier transform over : . Why: causality restricts to positive times, defining the retarded response.
Step 3. Take the imaginary part and use stationarity : with . Why: integrating by parts converts into a factor acting on the symmetric spectrum .
Step 4. With , the dissipation peak sits at as . Why: the relaxing mode becomes infinitely slow, so all spectral weight collapses to zero frequency. *Verified: verify_aq-sm-fluctuation-dissipation-criticality.py checks the classical fluctuation-dissipation prefactor on an Ornstein-Uhlenbeck process (Lorentzian and ), and that the limit reproduces the static .*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Far from (short range) | finite, | Correlations decay exponentially, ; the integral converges and is finite and analytic — ordinary linear response. |
| Approaching | , | Both diverge; matching through the relation forces . |
| Exactly at | , | Scale-free power-law correlations; the limit is the divergent susceptibility. |
| Ordered phase, continuous symmetry | for , | Transverse (Goldstone) modes are massless, so the transverse susceptibility diverges everywhere below . |
| Out of equilibrium / aging | The relation is violated; the ratio defines an effective temperature . |
Worked examples
Example 1 — Fisher's relation as a numerical consistency check. Verify that the exact 2D Ising exponents satisfy , and compare with mean field.
Step 1. For the 2D Ising universality class the exact values are and . Compute . The relation predicts , exactly the Onsager value.
Step 2. For mean field (): , , so — the Curie-Weiss result .
Step 3. For 3D Ising, , : , matching the tabulated . The single relation reproduces three universality classes.
Example 2 — extracting from a simulation at . In a Monte Carlo run one measures the order-parameter variance rather than a field derivative. Show how finite-size scaling of yields .
Step 1. At the correlation length is cut off by the box, , so . Since , this is .
Step 2. For 3D Ising, , so . Doubling the box, , multiplies by . A measured factor of about per doubling confirms — the fluctuation-dissipation relation turned into an estimator, no field derivative required.
Origins · 1 minstatic structure factor and how this was discovered
Going further
References. Pathria & Beale, Statistical Mechanics, 3rd ed., Ch. 12–13 · Kardar, Statistical Physics of Fields, Ch. 2–4 · Reif, Fundamentals of Statistical and Thermal Physics, Ch. 15 · Sethna, Statistical Mechanics: Entropy, Order Parameters, and Complexity, Ch. 10 · Landau & Lifshitz, Statistical Physics Part 1, §116, §146–147 · Goldenfeld, Lectures on Phase Transitions and the Renormalization Group, Ch. 7.
Provenance. The static relation is derived from (Pathria & Beale Ch. 12; Reif Ch. 15; Kardar SPF Ch. 2). Fisher's relation is checked against the scaling relations in Kardar SPF Ch. 4 and Goldenfeld Ch. 7. Exact exponent values rechecked: 2D Ising (Onsager / McCoy–Wu); mean-field ; 3D Ising . The dynamic theorem and Onsager regression follow Landau–Lifshitz SP1 §118 and Chaikin–Lubensky.
Builds on: Correlation Function · Critical Exponents · Continuous Phase Transitions · Order Parameter. Leads to: Scaling Hypothesis and Scaling Relations · Universality and Universality Classes · Goldstone Modes.
Is the fluctuation-dissipation relation the same as the fluctuation-dissipation theorem?
They are the static and dynamic faces of one idea. The static relation used here, , is the zero-frequency statement: response equals integrated equilibrium fluctuation. The dynamic theorem (Callen–Welton, Kubo) relates the full frequency-dependent dissipative response to the noise spectrum . Setting in the dynamic theorem recovers the static relation. In this article "relation" is used for the static, thermodynamic identity that connects susceptibility to correlations near criticality.
Why do fluctuations and response diverge with the same exponent rather than two different ones?
Because they are literally the same object. The second field-derivative of is simultaneously the susceptibility (a response) and the variance of the order parameter (a fluctuation). There is no room for two exponents: one quantity, one singularity. This is why measuring the variance of in a simulation directly yields the susceptibility exponent, and why scattering (a fluctuation probe) and thermodynamic measurements (a response probe) agree.
What exactly is the anomalous dimension η, and why does it appear here?
At the correlation function decays as a power law . Naive (Gaussian/Ornstein–Zernike) theory predicts the exponent ; the extra is the anomalous correction from interactions, small but nonzero below the upper critical dimension. It enters Fisher's relation because the integral scales as , so directly modifies how fast the susceptibility diverges relative to the correlation length. In mean field ; in 3D Ising ; in 2D Ising .
How can I measure the susceptibility exponent in a Monte Carlo simulation?
Use the variance form, not a field derivative. Compute at each temperature. At the correlation length is capped by the system size, so ; running several box sizes and fitting the slope on a log-log plot gives . Combined with an independent measurement of (from the temperature-derivative of the Binder cumulant, say), this delivers . The fluctuation-dissipation relation is what makes the cheap variance measurement equal to the expensive response.
Does the relation hold in the ordered phase below T_c?
Yes, but you must be careful about which susceptibility. The longitudinal susceptibility (response along the order) stays finite away from . For a system with a continuous broken symmetry, the transverse susceptibility diverges everywhere in the ordered phase for , because the Goldstone modes are massless and their fluctuations integrate to infinity — a direct fluctuation-dissipation consequence. For a discrete (Ising) symmetry there are no Goldstone modes and this transverse divergence is absent.
What is critical slowing down and how is it related to this relation?
As the correlation length diverges, and the dynamic version of the relation ties the relaxation time to it: with a dynamic exponent . Physically, ordering a region of size takes a time that grows with , so the system relaxes ever more slowly and the dissipation spectrum piles up at . This is why experiments near critical points require long equilibration and why simulations suffer from correlated samples — the same physics, seen through the dynamic fluctuation-dissipation theorem.