Uniform logarithmic Sobolev inequalities for the 2D Coulomb gas at the diffusive temperature scale

Abstract

For $N\ge2$ and $\beta>0$, consider the canonical 2D Coulomb gas ensemble \begin{equation} \mathrm{d}\mathbb{P}_{N,\beta}(Z) =\mathsf{Z}_{N,\beta}^{-1}e^{-\beta|Z|^2/2} \prod_{i<j}|z_i-z_j|^{\beta/N}\,\mathrm{d}Z \qquad\text{on }\mathbb{C}^N. \end{equation} The factor $N^{-1}$ in the pair exponent places the ensemble at the diffusive, or high-temperature, scale. We prove that, for every fixed inverse temperature $\beta>0$, this Gibbs measure satisfies a logarithmic Sobolev inequality (LSI) on the closed Dirichlet-form domain generated by collision-free compactly supported smooth functions, with a positive constant independent of $N$. The LSI constant may be chosen uniformly when $\beta$ ranges over a compact subset of $(0,\infty)$. A second main result establishes Poincar\'e and logarithmic Sobolev inequalities for planar Gaussian measures weighted by finite products of positive powers of distances to points, with constants depending only on the total variance of the underlying Gaussian measure and the total exponent, not on the number or locations of the points. To prove the full labeled Poincar\'e inequality, we decompose variance into permutation-invariant and label-dependent parts, controlled respectively by a weighted $\bar\partial$ estimate and by relative-coordinate conditioning with random transpositions; separately, one-site logarithmic Sobolev inequalities, a conditional entropy inequality, and a repulsive partition estimate give a defective logarithmic Sobolev inequality. Rothaus tightening combines the resulting full labeled Poincar\'e inequality with the defective logarithmic Sobolev inequality. No uniformity as $\beta\to0$ or $\beta\to\infty$ is asserted.