-
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 the eigenvalues of some $n\times n$ random normal matrices. In our situation, the $n$ eigenvalues are separated into two disjoint components by a hard wall. We study the corresponding correlation kernel $K_{n}(z,w)$ as $n\to\infty$ in two diagonal regimes (with either $|z-w| = \mathcal{O} (\frac{1}{\sqrt{n}})$ or $|z-w| = \mathcal{O} (\frac{1}{n})$), as well as in three off-diagonal regim…
▽ More
We study the eigenvalues of some $n\times n$ random normal matrices. In our situation, the $n$ eigenvalues are separated into two disjoint components by a hard wall. We study the corresponding correlation kernel $K_{n}(z,w)$ as $n\to\infty$ in two diagonal regimes (with either $|z-w| = \mathcal{O} (\frac{1}{\sqrt{n}})$ or $|z-w| = \mathcal{O} (\frac{1}{n})$), as well as in three off-diagonal regimes (with $|z-w| \asymp 1$). For some of these regimes, the asymptotics are described by oscillatory theta functions and weighted Szegő kernels. When $z,w$ are both at a distance of order $\frac{1}{n}$ from the hard wall, our results also show a slow decay of $K_{n}(z,w)$ as $|z-w|$ increases.
△ Less
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.