Processing math: 100%
Press "Enter" to skip to content

Coulomb gases and Gaussian free field

Discrete two dimensional Gaussian Free Field

We have discussed in a previous post the discrete Gaussian Free Field (GFF) on the square lattice, which is the Gaussian law on say a cube [L,L]d of Zd with density proportional to

e12ij(xixj)2=e12Δx,x

where Δ is here the discrete Laplacian on Zd. Integrability can be obtained by adding boundary conditions. Since this density is Gaussian, the covariance matrix is Δ1, which produces a log-correlated random field if d=2.

The aim of this tiny post is to convince the reader that a continuous Gaussian Free Field pops up naturally in the asymptotic analysis of Coulomb gases. Recall that a Coulomb gas in dimension d1 is the Boltzmann-Gibbs measure P on (Rd)N with density proportional to

eβH(x)

where β is a real parameter, and where

H(x)=1NNi=1V(xi)+12N2ijW(xixj)

with x=(x1,,xN)(Rd)N and

xRdW(x)={|x|if d=1log1|x|if d=21|x|d2if d3.

The case d=2, V(x)=|x|2, β=N2 corresponds to the famous Ginibre ensemble of random matrix theory, for which the density of P is proportional to eNNi=1|xi|2i<j|xixj|2.

The quantity H(x1,,xN) can be understood as the electrostatic energy of a configuration of N electric charges in Rd at positions x1,,xN, subject to electrostatic repulsion via W and subject to the external field generated by the potential V. The potential V has typically a confinement effect. The function W, known as the Coulomb, is, up to a multiplicative constant, the fundamental solution of the Laplace equation, namely, in the sense of distributions,

ΔW=cdδ0.

Let us simplify:  cd=1. If we introduce the empirical measure μN=1NNi=1δxi then

H(x1,,xN)=VdμN+12W(xy)dμN(x)dμN(y)=E(μ).

When β=βNN, an outcome of refined Laplace methods know as large deviation techniques is that μN converges as N towards the equilibrium measure arginfE where E is the asymptotic energy defined by

E(μ)=Vdμ+12UμdμwhereUμ=Wμ.

The quantity Uμ(x) is the potential of μ at point x and Uμ(x) is the Coulomb force generated by the configuration of charges μ at point x. This function is the inverse of the Laplacian in the sense of distributions

ΔUμ=(ΔW)μ=μ.

Also formally

E(μ)=Vdμ+12(Δ1μ)dμ=V,μ+12(Δ)1μ,μ

The right hand side is a quadratic form in μ. This suggests that when N gets large, the probability measure P, viewed as the law of the random probability measure μ on Rd, is Gaussian with mean related to V and with covariance proportional to Δ, and thus Δ1μ=Uμ will be Gaussian with covariance matrix Δ1: this is exactly what is known as a Gaussian Free Field (GFF). It is thus easy to guess the GFF hidden in Coulomb gases.

However making all this precise and rigorous takes pages and is technically tedious. For more details, we refer for instance to the old and new mathematical works 743526 1080535 0606663 1706.09663 1609.08088 1609.08582 on central limit theorems for the asymptotic fluctuations of Coulomb gases. More generally, at the structural level, one can retain that the natural candidate for the covariance of the fluctuation in the convergence from the Laplace method is given by the inverse of the Hessian of the energy.

One Comment

  1. Djalil Chafaï 2018-11-11

    What is missing in this intuitive explanation is the Jacobian. It should be constant.

Leave a Reply

Your email address will not be published.

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Syntax · Style · .