Math 2.0

Statistical mechanics, structure of matter Definition

Correlation function

Builds on Gibbs measureIsing model

Definition

Let d≥1d \ge 1, and let μ\mu be an infinite-volume Gibbs measure for a spin system on ℤd\Z^d with bounded real spins σx\sigma_x, x∈ℤdx \in \Z^d. Write ⟨⋅⟩\langle \cdot \rangle for the expectation under μ\mu.

  1. For x1,…,xn∈ℤdx_1, \dots, x_n \in \Z^d, the nn-point correlation function is ⟨σx1⋯σxn⟩\langle \sigma_{x_1} \cdots \sigma_{x_n} \rangle.
  2. The truncated, or connected, two-point function is G(x,y)=⟨σxσy⟩−⟨σx⟩⟨σy⟩G(x, y) = \langle \sigma_x \sigma_y \rangle - \langle \sigma_x \rangle \langle \sigma_y \rangle.
  3. If μ\mu is invariant under translations, G(x,y)G(x, y) depends only on x−yx - y and is written G(x−y)G(x - y).

The correlation length in the direction of the unit vector e1e_1 is ξ=(lim⁡n→∞−1nlog⁡∣G(ne1)∣)−1\xi = \big( \lim_{n \to \infty} -\frac{1}{n} \log \abs{G(n e_1)} \big)^{-1}, when this limit exists.

Remarks

Example: the one-dimensional Ising model with coupling J>0J > 0 at zero field has a unique Gibbs measure, with ⟨σx⟩=0\langle \sigma_x \rangle = 0 and G(n)=⟨σ0σn⟩=(tanh⁡βJ)nG(n) = \langle \sigma_0 \sigma_n \rangle = (\tanh \beta J)^n. Check: write eβJσiσi+1=cosh⁡(βJ)(1+σiσi+1tanh⁡βJ)e^{\beta J \sigma_i \sigma_{i+1}} = \cosh(\beta J) (1 + \sigma_i \sigma_{i+1} \tanh \beta J) and expand; only the term containing all the bonds between 00 and nn survives the sum over spins. So ξ=−1/log⁡tanh⁡(βJ)\xi = -1 / \log \tanh(\beta J), which is finite for every β\beta.

Non-example: in a finite box with boundary conditions, ⟨σxσy⟩\langle \sigma_x \sigma_y \rangle depends on the position of xx and yy in the box, not only on x−yx - y. So clause 3 fails there, which is one reason to define G(x−y)G(x - y) in infinite volume.

For a fluid, the corresponding object is the pair correlation of the particle density, encoded by the radial distribution function.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Gibbs measure concept
  2. Ising model example
  3. Correlation function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Correlation_function_(statistical_mechanics)
About this page
TagFANDMJWCV9
URIm2://FANDMJWCV9
Kinddefinition
WritingW0 stub
MSC82B05, 82B20, 60G60
DefinesCorrelation function
UsesGibbs measure, Ising model
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.