Correlation-function susceptibility sum rule Created 2026-10-06 Updated 2026-11-05
For a classical spin model with Hamiltonian , , define the static magnetic susceptibility per site by at fixed temperature. Differentiating its partition function gives
For a translation-invariant array of spins, write . Expanding the variance of the sum then yields . The derivative with respect to the dimensionless source removes the explicit inverse-temperature factor. Replacing the sum by an integral over physical coordinates requires the site-density factor .
The equal-time variance formula also holds in a quantum system when . Without that commutation assumption, differentiating a matrix exponential instead gives
This is an integrated imaginary-time-ordered correlation function, not generally times the equal-time variance. It follows by inserting
into the derivative of the normalized expectation value and using the cyclic matrix trace.
For example, a single qubit with , , has at , whereas . Their difference directly exhibits the quantum noncommutation correction. Below an ordered transition, selecting a pure thermodynamic phase also avoids a macroscopic phase-mixture contribution to the classical sum.
Imaginary-time-ordered correlation function Created 2026-09-24 Updated 2026-11-05
An imaginary-time-ordered correlation function orders operators along the Euclidean thermal circle. Bosonic correlators are periodic with period .
A path integral is obtained by slicing an evolution operator into short time intervals and inserting complete sets of field eigenstates between successive factors. An operator inserted at a later slice therefore appears to the left of one inserted at an earlier slice. Summing over the intermediate fields preserves this ordering, so real-time path integrals generate time-ordered correlators and Euclidean thermal path integrals generate imaginary-time-ordered correlation functions.
Thermal fluctuation Created 2026-10-13 Updated 2026-11-05
A thermal fluctuation is equilibrium variation of a random variable representing an observable. In a classical canonical ensemble with , assume and the state space measure are independent of , and fix temperature . Differentiating the normalized Boltzmann distribution gives
Thus the variance measures response to a conjugate field. For a two-state observable with energies , and , verifying the identity directly.
The same simple formula holds in a finite quantum system when the commutator of and vanishes. For noncommuting quantum observables, differentiation of the operator exponential produces an imaginary-time-ordered correlation function response rather than automatically . In a classical field theory, the spatial two-point analogue uses the connected correlation function.