-
On fluctuations of Coulomb systems and universality of the Heine distribution
Authors:
Yacin Ameur,
Joakim Cronvall
Abstract:
We consider a class of external potentials on the complex plane $\mathbb{C}$ for which the coincidence set to the obstacle problem contains a Jordan curve in the exterior of the droplet. We refer to this curve as a spectral outpost. We study the corresponding Coulomb gas at $β=2$. Generalizing recent work in the radially symmetric case, we prove that the number of particles which fall near the spe…
▽ More
We consider a class of external potentials on the complex plane $\mathbb{C}$ for which the coincidence set to the obstacle problem contains a Jordan curve in the exterior of the droplet. We refer to this curve as a spectral outpost. We study the corresponding Coulomb gas at $β=2$. Generalizing recent work in the radially symmetric case, we prove that the number of particles which fall near the spectral outpost has an asymptotic Heine distribution, as the number of particles $n\to\infty$.We also consider a class of potentials with disconnected droplets whose connected components are separated by a ring-shaped spectral gap. We prove that the fluctuations of the number of particles that fall near a given component has an asymptotic discrete normal distribution, which depends on $n$. For the case of disconnected droplets we also consider fluctuations of general smooth linear statistics and show that they tend to distribute as the sum of a Gaussian field and an independent, oscillatory, discrete Gaussian field. Our techniques involve a new asymptotic formula on the norm of monic orthogonal polynomials in the bifurcation regime and a variant of the method of limit Ward identities of Ameur, Hedenmalm, and Makarov.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
Free energy and fluctuations in the random normal matrix model with spectral gaps
Authors:
Yacin Ameur,
Christophe Charlier,
Joakim Cronvall
Abstract:
We study large $n$ expansions for the partition function of a Coulomb gas $$Z_n=\frac 1 {π^n}\int_{\mathbb{C}^n}\prod_{1\le i<j\le n}|z_i-z_j|^2\prod_{i=1}^n e^{-nQ(z_i)}\, d^2 z_i,$$ where $Q$ is a radially symmetric confining potential on the complex plane $\mathbb{C}$.
The droplet is not assumed to be connected, but may consist of a number of disjoint connected annuli and possibly a central d…
▽ More
We study large $n$ expansions for the partition function of a Coulomb gas $$Z_n=\frac 1 {π^n}\int_{\mathbb{C}^n}\prod_{1\le i<j\le n}|z_i-z_j|^2\prod_{i=1}^n e^{-nQ(z_i)}\, d^2 z_i,$$ where $Q$ is a radially symmetric confining potential on the complex plane $\mathbb{C}$.
The droplet is not assumed to be connected, but may consist of a number of disjoint connected annuli and possibly a central disk. The boundary condition is ``soft edge'', i.e., $Q$ is smooth in a $\mathbb{C}$-neighbourhood of the droplet.
We include the following possibilities: (i) existence of ``outposts'', i.e., components of the coincidence set which falls outside of the droplet, (ii) a conical (or Fisher-Hartwig) singularity at the origin, (iii) perturbations $Q-\frac h n$ where $h$ is a smooth radially symmetric test-function.
In each case, the free energy $\log Z_n$ admits a large $n$ expansion of the form \begin{equation*}\log Z_n=C_1n^2+C_2n\log n+C_3 n+C_4\log n+C_5+\mathcal{G}_{n}+o(1)\end{equation*} where $C_1,\ldots,C_5$ are certain geometric functionals. The $n$-dependent term $\mathcal{G}_n$ is bounded as $n\to\infty$; it arises in the presence of spectral gaps.
We use the free energy expansions to study the distribution of fluctuations of linear statistics. We prove that the fluctuations are well approximated by the sum of a Gaussian and certain independent terms which provide the displacement of particles from one component to another. This displacement depends on $n$ and is expressed in terms of the Heine distribution. We also prove (under suitable assumptions) that the number of particles which fall near a spectral outpost converges to a Heine distribution.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Random normal matrices: eigenvalue correlations near a hard wall
Authors:
Yacin Ameur,
Christophe Charlier,
Joakim Cronvall
Abstract:
We study pair correlation functions for planar Coulomb systems in the pushed phase, near a ring-shaped impenetrable wall. We assume coupling constant $Γ=2$ and that the number $n$ of particles is large. We find that the correlation functions decay slowly along the edges of the wall, in a narrow interface stretching a distance of order $1/n$ from the hard edge. At distances much larger than…
▽ More
We study pair correlation functions for planar Coulomb systems in the pushed phase, near a ring-shaped impenetrable wall. We assume coupling constant $Γ=2$ and that the number $n$ of particles is large. We find that the correlation functions decay slowly along the edges of the wall, in a narrow interface stretching a distance of order $1/n$ from the hard edge. At distances much larger than $1/\sqrt{n}$, the effect of the hard wall is negligible and pair correlation functions decay very quickly, and in between sits an interpolating interface that we call the ``semi-hard edge''.
More precisely, we provide asymptotics for the correlation kernel $K_{n}(z,w)$ as $n\to\infty$ in two microscopic regimes (with either $|z-w| = \mathcal{O} (1/\sqrt{n})$ or $|z-w| = \mathcal{O} (1/n)$), as well as in three macroscopic regimes (with $|z-w| \asymp 1$). For some of these regimes, the asymptotics involve oscillatory theta functions and weighted Szegő kernels.
△ Less
Submitted 25 July, 2024; v1 submitted 25 June, 2023;
originally announced June 2023.
-
Disk counting statistics near hard edges of random normal matrices: the multi-component regime
Authors:
Yacin Ameur,
Christophe Charlier,
Joakim Cronvall,
Jonatan Lenells
Abstract:
We consider a two-dimensional point process whose points are separated into two disjoint components by a hard wall, and study the multivariate moment generating function of the corresponding disk counting statistics. We investigate the ``hard edge regime" where all disk boundaries are a distance of order $\frac{1}{n}$ away from the hard wall, where $n$ is the number of points. We prove that as…
▽ More
We consider a two-dimensional point process whose points are separated into two disjoint components by a hard wall, and study the multivariate moment generating function of the corresponding disk counting statistics. We investigate the ``hard edge regime" where all disk boundaries are a distance of order $\frac{1}{n}$ away from the hard wall, where $n$ is the number of points. We prove that as $n \to + \infty$, the asymptotics of the moment generating function are of the form \begin{align*} & \exp \bigg(C_{1}n + C_{2}\ln n + C_{3} + \mathcal{F}_{n} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}(n^{-\frac{3}{5}})\bigg), \end{align*} and we determine the constants $C_{1},\dots,C_{4}$ explicitly. The oscillatory term $\mathcal{F}_{n}$ is of order $1$ and is given in terms of the Jacobi theta function. Our theorems allow us to derive various precise results on the disk counting function. For example, we prove that the asymptotic fluctuations of the number of points in one component are of order $1$ and are given by an oscillatory discrete Gaussian. Furthermore, the variance of this random variable enjoys asymptotics described by the Weierstrass $\wp$-function.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
The two-dimensional Coulomb gas: fluctuations through a spectral gap
Authors:
Yacin Ameur,
Christophe Charlier,
Joakim Cronvall
Abstract:
We study a class of radially symmetric Coulomb gas ensembles at inverse temperature $β=2$, for which the droplet consists of a number of concentric annuli, having at least one bounded ``gap'' $G$, i.e., a connected component of the complement of the droplet, which disconnects the droplet. Let $n$ be the total number of particles. Among other things, we deduce fine asymptotics as $n \to \infty$ for…
▽ More
We study a class of radially symmetric Coulomb gas ensembles at inverse temperature $β=2$, for which the droplet consists of a number of concentric annuli, having at least one bounded ``gap'' $G$, i.e., a connected component of the complement of the droplet, which disconnects the droplet. Let $n$ be the total number of particles. Among other things, we deduce fine asymptotics as $n \to \infty$ for the edge density and the correlation kernel near the gap, as well as for the cumulant generating function of fluctuations of smooth linear statistics. We typically find an oscillatory behaviour in the distribution of particles which fall near the edge of the gap. These oscillations are given explicitly in terms of a discrete Gaussian distribution, weighted Szegő kernels, and the Jacobi theta function, which depend on the parameter $n$.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Exponential moments for disk counting statistics at the hard edge of random normal matrices
Authors:
Yacin Ameur,
Christophe Charlier,
Joakim Cronvall,
Jonatan Lenells
Abstract:
We consider the multivariate moment generating function of the disk counting statistics of a model Mittag-Leffler ensemble in the presence of a hard wall. Let $n$ be the number of points. We focus on two regimes: (a) the ``hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{n}$ from the hard wall, and (b) the ``semi-hard edge regime" where all disk boundaries are at a…
▽ More
We consider the multivariate moment generating function of the disk counting statistics of a model Mittag-Leffler ensemble in the presence of a hard wall. Let $n$ be the number of points. We focus on two regimes: (a) the ``hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{n}$ from the hard wall, and (b) the ``semi-hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{\sqrt{n}}$ from the hard wall. As $n \to + \infty$, we prove that the moment generating function enjoys asymptotics of the form \begin{align*} & \exp \bigg(C_{1}n + C_{2}\ln n + C_{3} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}(n^{-\frac{3}{5}})\bigg), & & \mbox{for the hard edge}, \\ & \exp \bigg(C_{1}n + C_{2}\sqrt{n} \hspace{0.12cm} + C_{3} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}\bigg(\frac{(\ln n)^{4}}{n}\bigg)\bigg), & & \mbox{for the semi-hard edge}. \end{align*} In both cases, we determine the constants $C_{1},\dots,C_{4}$ explicitly. We also derive precise asymptotic formulas for all joint cumulants of the disk counting function, and establish several central limit theorems. Surprisingly, and in contrast to the ``bulk", ``soft edge" and ``semi-hard edge" regimes, the second and higher order cumulants of the disk counting function in the ``hard edge" regime are proportional to $n$ and not to $\sqrt{n}$.
△ Less
Submitted 27 July, 2023; v1 submitted 22 July, 2022;
originally announced July 2022.
-
Szegő type asymptotics for the reproducing kernel in spaces of full-plane weighted polynomials
Authors:
Yacin Ameur,
Joakim Cronvall
Abstract:
In this work we find and discuss an asymptotic formula, as $n\to\infty$, for the reproducing kernel $K_n(z,w)$ in spaces of full-plane weighted polynomials $W(z)=P(z)\cdot e^{-\frac 12nQ(z)},$ where $P(z)$ is a holomorphic polynomial of degree at most $n-1$ and $Q(z)$ is a fixed, real-valued function termed "external potential". The kernel $K_n$ corresponds precisely to the canonical correlation k…
▽ More
In this work we find and discuss an asymptotic formula, as $n\to\infty$, for the reproducing kernel $K_n(z,w)$ in spaces of full-plane weighted polynomials $W(z)=P(z)\cdot e^{-\frac 12nQ(z)},$ where $P(z)$ is a holomorphic polynomial of degree at most $n-1$ and $Q(z)$ is a fixed, real-valued function termed "external potential". The kernel $K_n$ corresponds precisely to the canonical correlation kernel in the theory of random normal matrices.
As is well-known, the large $n$ behaviour of $K_n(z,w)$ must depend crucially on the position of the points $z$ and $w$ relative to the droplet $S$, i.e., the support of Frostman's equilibrium measure in external potential $Q$. In the particular case when $z$ and $w$ are at the edge and $z\ne w$, we prove the formula $K_n(z,w)\sim\sqrt{2πn}\,ΔQ(z)^{\frac 1 4}ΔQ(w)^{\frac 14}\,S(z,w)$ where $S(z,w)$ is the Szegő kernel associated with the Hardy space $H^2_0(U)$ of analytic functions on unbounded component $U$ of $\hat{\mathbb{C}}\setminus S$ which vanish at infinity. This gives a rigorous description of the slow decay of correlations at the boundary, which was predicted by Forrester and Jancovici in 1996, in the context of elliptic Ginibre ensembles.
△ Less
Submitted 27 September, 2023; v1 submitted 23 July, 2021;
originally announced July 2021.
