Abstract

We give a potential-theoretic characterization of measures μ0 which have the property that the Coulomb gas, defined with respect to the prior μ0, is “well-behaved” and similarly for more general Riesz gases. This means that the laws of the empirical measures of the corresponding random point process satisfy a Large Deviation Principle with a rate functional which depends continuously on the temperature, in the sense of Gamma-convergence. Equivalently, there is no zeroth-order phase transition at zero temperature, in the mean field regime. This is shown to be the case for the Hausdorff measure on a compact Lipschitz hypersurface, as well as Lesbesgue measure on a bounded Lipschitz domain. We also provide constructions of priors μ0, absolutely continuous with respect to Lebesgue measure on a smoothly bounded domain, such that the corresponding 2d Coulomb exhibits a zeroth-order phase transition. This is based on relations to Ullman’s criterion in the theory of orthogonal polynomials and Bernstein-Markov inequalities.

Highlights

  • In broad terms, the main aim of the present work is to study the interplay between fine potential-theoretic properties of a measure μ0 in random measure on (Rd) and properties of the corresponding Coulomb gas in Rd, in the mean-field regime

  • Priors leading to well-behaved Coulomb, Riesz gases vs zeroth-order phase transitions corresponding Coulomb gas is “well-behaved at zero-temperature”, which is equivalent to the absence of a zeroth-order phase transition

  • Let μ0 be a measure on Rd which does not charge polar subsets and assume that the support S0 of μ0 is compact and locally regular

Read more

Summary

Introduction

The main aim of the present work is to study the interplay between fine potential-theoretic properties of a measure μ0 in Rd (the “prior”) and properties of the corresponding Coulomb gas in Rd, in the mean-field regime. If ν is strongly determining and does not charge polar subsets the support of ν is automatically locally regular (see Section 2.7 for the potential-theoretic notions of regularity). Theorem 1.1 appears to be new even in the simplest case when S0 is an interval in R ⊂ R2, which is the classical setting where the notion of determining measures was first introduced by Ullman (as discussed in Section 1.3 below). In this special case a measure μ0 is determining iff it is strongly determining

The zero-temperature limit of the Coulomb gas in the mean-field regime
The LDP in the zero-temperature limit
Orthogonal polynomials and Ullman’s criterion
Towards the case of general pair interactions
Further relations to previous results
On the proofs
Organization
Weighted potential theory and Legendre transforms
Function spaces We will use the notation
The projection operator PS
Energy and Legendre transforms
Regularity
Compact domains
Determining measures
Lipschitz hypersurfaces
The Energy Approximation property vs Gamma-convergence of free energies
Determining measures vs Gamma-convergence of the free energies
Quasi-explicit approximations using finite energy weights φ
Large deviations
The case of the Riesz gas
The 2d Coulomb gas and orthogonal polynomials on the real line
The general setting
Phase transitions for the 2d Coulomb gas
Capacities and determining measures
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call