{"id":10379,"date":"2018-06-28T10:31:05","date_gmt":"2018-06-28T08:31:05","guid":{"rendered":"http:\/\/djalil.chafai.net\/blog\/?p=10379"},"modified":"2018-06-30T08:26:39","modified_gmt":"2018-06-30T06:26:39","slug":"coulomb-gases-and-gaussian-free-field","status":"publish","type":"post","link":"https:\/\/djalil.chafai.net\/blog\/2018\/06\/28\/coulomb-gases-and-gaussian-free-field\/","title":{"rendered":"Coulomb gases and Gaussian free field"},"content":{"rendered":"
\"\"<\/a>
Discrete two dimensional Gaussian Free Field<\/figcaption><\/figure>\n

We have discussed in a\u00a0previous post<\/a>\u00a0the discrete Gaussian Free Field (GFF)<\/strong>\u00a0on the square lattice, which is the Gaussian law on say a cube $[-L,L]^d$ of $\\mathbb{Z}^d$ with density proportional to<\/p>\n

$$\\mathrm{e}^{-\\frac{1}{2}\\sum_{i\\sim j}(x_i-x_j)^2}=\\mathrm{e}^{-\\frac{1}{2}\\langle\\Delta x,x\\rangle}$$<\/p>\n

where $\\Delta$ is here the discrete Laplacian on $\\mathbb{Z}^d$. Integrability can be obtained by adding boundary conditions. Since this density is Gaussian, the covariance matrix is $\\Delta^{-1}$, which produces a log-correlated random field<\/strong> if $d=2$.<\/p>\n

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<\/strong>. Recall that a\u00a0Coulomb gas in dimension $d\\geq1$ is the Boltzmann-Gibbs measure $P$ on $(\\mathbb{R}^d)^N$ with density proportional to<\/p>\n

$$\\mathrm{e}^{-\\beta H(x)}$$<\/p>\n

where $\\beta$ is a real parameter, and where<\/p>\n

$$H(x)=\\frac{1}{N}\\sum_{i=1}^NV(x_i)+\\frac{1}{2N^2}\\sum_{i\\neq j}W(x_i-x_j)$$<\/p>\n

with $x=(x_1,\\ldots,x_N)\\in(\\mathbb{R}^d)^N$ and<\/p>\n

$$x\\in\\mathbb{R}^d\\mapsto W(x)=\\begin{cases}-|x|&\\text{if}\\ d=1\\\\\\log\\frac{1}{|x|}&\\text{if}\\ d=2\\\\\\frac{1}{|x|^{d-2}}&\\text{if}\\ d\\geq3\\end{cases}.$$<\/p>\n

The case $d=2$, $V(x)=|x|^2$, $\\beta=N^2$ corresponds to the famous Ginibre ensemble of random matrix theory<\/strong>, for which the density of $P$ is proportional to $$\\mathrm{e}^{-N\\sum_{i=1}^N|x_i|^2}\\prod_{i<j}|x_i-x_j|^2.$$<\/p>\n

The quantity $H(x_1,\\ldots,x_N)$ can be understood as the electrostatic energy of a configuration of $N$ electric charges in $\\mathbb{R}^d$ at positions $x_1,\\ldots,x_N$, 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,<\/p>\n

$$\\Delta W=-c_d\\delta_0.$$<\/p>\n

Let us simplify:\u00a0 $c_d=1$. If we introduce the empirical measure $\\mu_N=\\frac{1}{N}\\sum_{i=1}^N\\delta_{x_i}$ then<\/p>\n

$$H(x_1,\\ldots,x_N)=\\int V\\mathrm{d}\\mu_N+\\frac{1}{2}\\iint_{\\neq}W(x-y)\\mathrm{d}\\mu_N(x)\\mathrm{d}\\mu_N(y)=\\mathcal{E}_{\\neq}(\\mu).$$<\/p>\n

When $\\beta=\\beta_N\\gg N$, an outcome of\u00a0refined Laplace methods know as large deviation techniques<\/a>\u00a0is that $\\mu_N$ converges as $N\\to\\infty$ towards the equilibrium measure<\/strong> $\\arg\\inf\\mathcal{E}$ where $\\mathcal{E}$ is the asymptotic energy defined by<\/p>\n

$$\\mathcal{E}(\\mu)=\\int V\\mathrm{d}\\mu+\\frac{1}{2}\\int U_\\mu\\mathrm{d}\\mu\\quad\\text{where}\\quad U_\\mu=W*\\mu.$$<\/p>\n

The quantity $U_\\mu(x)$ is the potential of $\\mu$ at point $x$ and $-\\nabla U_\\mu(x)$ is the Coulomb force generated by the configuration of charges $\\mu$ at point $x$. This function is the inverse of the Laplacian in the sense of distributions<\/p>\n

$$\\Delta U_\\mu=(\\Delta W)*\\mu=-\\mu.$$<\/p>\n

Also formally<\/p>\n

$$\\mathcal{E}(\\mu)=\\int V\\mathrm{d}\\mu+\\frac{1}{2}\\iint(-\\Delta^{-1}\\mu)\\mathrm{d}\\mu=\\langle V,\\mu\\rangle+\\frac{1}{2}\\langle (-\\Delta)^{-1}\\mu,\\mu\\rangle$$<\/p>\n

The right hand side is a quadratic form in $\\mu$. This suggests that when $N$ gets large, the probability measure $P$, viewed as the law of the random probability measure $\\mu$ on $\\mathbb{R}^d$, is Gaussian<\/strong> with mean related to $V$ and with covariance<\/strong> proportional to $-\\Delta$, and thus $\\Delta^{-1}\\mu=-U_\\mu$ will be Gaussian with covariance matrix $\\Delta^{-1}$: this is exactly what is known as a Gaussian Free Field (GFF)<\/strong>. It is thus easy to guess the GFF hidden in Coulomb gases.<\/p>\n

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\u00a0743526<\/a>\u00a01080535<\/a>\u00a00606663<\/a>\u00a01706.09663<\/a>\u00a01609.08088<\/a>\u00a01609.08582<\/a> 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.<\/p>\n

\n","protected":false},"excerpt":{"rendered":"

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…<\/p>\n

Continue readingCoulomb gases and Gaussian free field<\/span><\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":231},"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts\/10379"}],"collection":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/comments?post=10379"}],"version-history":[{"count":70,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts\/10379\/revisions"}],"predecessor-version":[{"id":10457,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/posts\/10379\/revisions\/10457"}],"wp:attachment":[{"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/media?parent=10379"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/categories?post=10379"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/djalil.chafai.net\/blog\/wp-json\/wp\/v2\/tags?post=10379"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}