Connected correlations as derivatives of expectations

In Gibbs ensembles, derivatives with respect to conjugate parameters yield covariances (connected two-point functions) and higher cumulants.
Connected correlations as derivatives of expectations

Let μλ\mu_\lambda be a Gibbs/ensemble measure (e.g. or ) whose Hamiltonian depends on a real parameter λ\lambda via a linear coupling to an observable AA:

Hλ=H0λA. H_\lambda = H_0 - \lambda A.

Let λ\langle \cdot\rangle_\lambda denote with respect to μλ\mu_\lambda.

Statement

For any integrable observable BB,

λBλ=β(ABλAλBλ). \frac{\partial}{\partial\lambda}\,\langle B\rangle_\lambda = \beta\Big(\langle A\,B\rangle_\lambda-\langle A\rangle_\lambda\,\langle B\rangle_\lambda\Big).

In other words,

λBλ=βCovλ(A,B), \frac{\partial}{\partial\lambda}\,\langle B\rangle_\lambda = \beta\,\mathrm{Cov}_\lambda(A,B),

where Covλ(A,B)\mathrm{Cov}_\lambda(A,B) is the (two-point) connected correlation, i.e. the at the level of observables.

In particular, for the partition function Z(λ)Z(\lambda) ( or ),

2λ2logZ(λ)=β2Varλ(A), \frac{\partial^2}{\partial\lambda^2}\log Z(\lambda) = \beta^2\,\mathrm{Var}_\lambda(A),

with variance as in .

More generally, if one introduces sources λ=(λ1,,λk)\boldsymbol{\lambda}=(\lambda_1,\dots,\lambda_k) coupled to observables (A1,,Ak)(A_1,\dots,A_k), then mixed partial derivatives of logZ(λ)\log Z(\boldsymbol{\lambda}) generate higher connected correlations (cumulants).

Key hypotheses

  • The parameter enters linearly: Hλ=H0λAH_\lambda=H_0-\lambda A (or, more generally, differentiably with λHλ=A\partial_\lambda H_\lambda=-A).
  • The relevant derivatives can be passed under the integral/sum defining λ\langle\cdot\rangle_\lambda (automatic in finite volume with bounded observables).
  • β>0\beta>0 is fixed (inverse temperature).

Conclusions

  • Response of BB to the field conjugate to AA is controlled by their covariance.
  • Taking B=AB=A recovers a fluctuation identity: λAλ=βVarλ(A)0. \partial_\lambda\langle A\rangle_\lambda=\beta\,\mathrm{Var}_\lambda(A)\ge 0.
  • This packages many “susceptibility = fluctuation” statements, including as a special case.

Proof idea / significance

Write Bλ=1Z(λ)Beβ(H0λA)\langle B\rangle_\lambda=\frac{1}{Z(\lambda)}\sum B\,e^{-\beta(H_0-\lambda A)} (or the analogous integral). Differentiate using the product/quotient rule: one term differentiates the numerator (producing βABλ\beta\langle AB\rangle_\lambda) and one term differentiates logZ(λ)\log Z(\lambda) (subtracting βAλBλ\beta\langle A\rangle_\lambda\langle B\rangle_\lambda). This is the basic mechanism behind fluctuation–response and generating-function methods.