-
Asymptotics for a class of planar orthogonal polynomials and truncated unitary matrices
Authors:
Alfredo Deaño,
Kenneth T-R McLaughlin,
Leslie Molag,
Nick Simm
Abstract:
We carry out the asymptotic analysis as $n \to \infty$ of a class of orthogonal polynomials $p_{n}(z)$ of degree $n$, defined with respect to the planar measure \begin{equation*} dμ(z) = (1-|z|^{2})^{α-1}|z-x|^γ\mathbf{1}_{|z| < 1}d^{2}z, \end{equation*} where $d^{2}z$ is the two dimensional area measure, $α$ is a parameter that can grow with $n$, while $γ>-2$ and $x>0$ are fixed. This measure ari…
▽ More
We carry out the asymptotic analysis as $n \to \infty$ of a class of orthogonal polynomials $p_{n}(z)$ of degree $n$, defined with respect to the planar measure \begin{equation*} dμ(z) = (1-|z|^{2})^{α-1}|z-x|^γ\mathbf{1}_{|z| < 1}d^{2}z, \end{equation*} where $d^{2}z$ is the two dimensional area measure, $α$ is a parameter that can grow with $n$, while $γ>-2$ and $x>0$ are fixed. This measure arises naturally in the study of characteristic polynomials of non-Hermitian ensembles and generalises the example of a Gaussian weight that was recently studied by several authors. We obtain asymptotics in all regions of the complex plane and via an appropriate differential identity, we obtain the asymptotic expansion of the partition function. The main approach is to convert the planar orthogonality to one defined on suitable contours in the complex plane. Then the asymptotic analysis is performed using the Deift-Zhou steepest descent method for the associated Riemann-Hilbert problem.
△ Less
Submitted 5 June, 2025; v1 submitted 18 May, 2025;
originally announced May 2025.
-
Fluctuations in Various Regimes of Non-Hermiticity and a Holographic Principle
Authors:
G. Akemann,
M. Duits,
L. D. Molag
Abstract:
We investigate the variance of both smooth linear statistics and rough linear statistics (counting statistics) of random normal matrices. The two classical ensembles of random matrices, the Gaussian unitary ensemble (GUE) and the complex Ginibre ensemble, enjoy an exact map to the ground state of noninteracting Fermions in a harmonic trap in one, respectively two dimensions. Both feature that the…
▽ More
We investigate the variance of both smooth linear statistics and rough linear statistics (counting statistics) of random normal matrices. The two classical ensembles of random matrices, the Gaussian unitary ensemble (GUE) and the complex Ginibre ensemble, enjoy an exact map to the ground state of noninteracting Fermions in a harmonic trap in one, respectively two dimensions. Both feature that the variance of the number of Fermions (the number variance) in a set $A$, and the respective entanglement entropy are proportional. For the Ginibre ensemble this statement about the entropy was known for radial symmetric sets $A$, and we prove it in generality for subsets $A$ of the bulk, thus establishing a holographic principle. Moreover, for generic random normal matrix ensembles depending on some potential $V$, not necessarily exhibiting radial symmetry, we show that for large matrix size $n$ the number variance is proportional to the circumference of $A$, $\sim\sqrt{n}|\partial A|$. A special focus is on the variance of linear statistics of the elliptic Ginibre ensemble, which interpolates between the GUE and Ginibre ensemble, in various regimes of non-Hermiticity, where we enlarge the concept of weak non-Hermiticity to mesoscopic scales. Within the elliptic Ginibre ensemble we prove that for smooth test functions $f$ its variance interpolates between that of the GUE and Ginibre ensemble. The interpolation depends on two positive parameters, the rescaling $α$ of the weak non-Hermiticity parameter $τ=1-κn^{-α}$, and the rescaling $γ$ of the test function $f(n^γz)$, for a continuous range of values of $α$ and $γ$. In the mesoscopic regime and when $α=γ<1$, we prove an interpolating central limit theorem with an adaptation of the method of Ward identities.
△ Less
Submitted 26 December, 2024; v1 submitted 20 December, 2024;
originally announced December 2024.
-
Large deviations and fluctuations of real eigenvalues of elliptic random matrices
Authors:
Sung-Soo Byun,
Leslie Molag,
Nick Simm
Abstract:
We study real eigenvalues of $N\times N$ real elliptic Ginibre matrices indexed by a non-Hermiticity parameter $0\leq τ<1$, in both the strong and weak non-Hermiticity regime. Here $N$ is assumed to be an even number. In both regimes, we prove a central limit theorem for the number of real eigenvalues. We also find the asymptotic behaviour of the probability $p_{N,k}^{(τ)}$ that exactly $k$ eigenv…
▽ More
We study real eigenvalues of $N\times N$ real elliptic Ginibre matrices indexed by a non-Hermiticity parameter $0\leq τ<1$, in both the strong and weak non-Hermiticity regime. Here $N$ is assumed to be an even number. In both regimes, we prove a central limit theorem for the number of real eigenvalues. We also find the asymptotic behaviour of the probability $p_{N,k}^{(τ)}$ that exactly $k$ eigenvalues are real. In the strong non-Hermiticity regime, where $τ$ is fixed, we find \begin{align*}
\lim_{N\to\infty} \frac{1}{\sqrt{N}} \log p_{N,k_N}^{(τ)} = -\sqrt\frac{1+τ}{1-τ} \frac{ζ(3/2)}{\sqrt{2π}} \end{align*} for any sequence $(k_N)_N$ of even numbers such that $k_N = o(\frac{\sqrt N}{\log N})$ as $N\to\infty$, where $ζ$ is the Riemann zeta function. In the weak non-Hermiticity regime, where $τ=1-\frac{α^2}{N}$, we obtain \begin{align*}
\lim_{N\to\infty} \frac{1}{N} \log p_{N,k_N}^{(τ)} \leq \frac{2}π \int_0^1 \log\left(1-e^{-α^2 s^2}\right) \sqrt{1-s^2} \, ds \end{align*} for any sequence $(k_N)_N$ of even numbers such that $k_N=o(\frac{N}{\log N})$ as $n\to\infty$. This inequality is expected to be an equality.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
Edge Behavior of Higher Complex-Dimensional Determinantal Point Processes
Authors:
L. D. Molag
Abstract:
As recently proved in generality by Hedenmalm and Wennman, it is a universal behavior of complex random normal matrix models that one finds a complementary error function behavior at the boundary (also called edge) of the droplet as the matrix size increases. Such behavior is seen both in the density of the eigenvalues, and the correlation kernel, where the Faddeeva plasma kernel emerges. These re…
▽ More
As recently proved in generality by Hedenmalm and Wennman, it is a universal behavior of complex random normal matrix models that one finds a complementary error function behavior at the boundary (also called edge) of the droplet as the matrix size increases. Such behavior is seen both in the density of the eigenvalues, and the correlation kernel, where the Faddeeva plasma kernel emerges. These results are neatly expressed with the help of the outward unit normal vector on the edge. We prove that such universal behaviors transcend this class of random normal matrices, being also valid in a specific ``elliptic'' class of determinantal point processes defined on $\mathbb C^d$, which are higher dimensional generalizations of the determinantal point processes describing the eigenvalues of the complex Ginibre ensemble and the complex elliptic Ginibre ensemble. These models describe a system of particles in $\mathbb C^d$ with mutual repulsion, that are confined to the origin by an external field $\mathscr V(z) = |z|^2 - τ\operatorname{Re}(z_1^2+\ldots+z_d^2)$, where $0\leq τ<1$. Their average density of particles converges to a uniform law on a $2d$-dimensional ellipsoidal region. It is on the hyperellipsoid bounding this region that we find a complementary error function behavior and the Faddeeva plasma kernel. To the best of our knowledge, this is the first instance of the Faddeeva plasma kernel emerging in a higher dimensional model. The results provide evidence for a possible edge universality theorem for determinantal point processes on $\mathbb C^d$.
△ Less
Submitted 22 June, 2023; v1 submitted 26 August, 2022;
originally announced August 2022.
-
The Elliptic Ginibre Ensemble: A Unifying Approach to Local and Global Statistics for Higher Dimensions
Authors:
G. Akemann,
M. Duits,
L. D. Molag
Abstract:
The elliptic Ginibre ensemble of complex non-Hermitian random matrices allows to interpolate between the rotational invariant Ginibre ensemble and the Gaussian unitary ensemble of Hermitian random matrices. It corresponds to a two-dimensional one-component Coulomb gas in a quadrupolar field, at inverse temperature $β=2$. Furthermore, it represents a determinantal point process in the complex plane…
▽ More
The elliptic Ginibre ensemble of complex non-Hermitian random matrices allows to interpolate between the rotational invariant Ginibre ensemble and the Gaussian unitary ensemble of Hermitian random matrices. It corresponds to a two-dimensional one-component Coulomb gas in a quadrupolar field, at inverse temperature $β=2$. Furthermore, it represents a determinantal point process in the complex plane with corresponding kernel of planar Hermite polynomials. Our main tool is a saddle point analysis of a single contour integral representation of this kernel. We provide a unifying approach to rigorously derive several known and new results of local and global spectral statistics, including in higher dimensions. First, we prove the global statistics in the elliptic Ginibre ensemble first derived by Forrester and Jancovici. The limiting kernel receives its main contribution from the boundary of the limiting elliptic droplet of support. In the Hermitian limit, there is a know correspondence between non-interacting fermions in a trap in $d$ real dimensions $\mathbb{R}^d$ and the $d$-dimensional harmonic oscillator. We present a rigorous proof for the local $d$-dimensional bulk (sine-) and edge (Airy-) kernel first defined by Dean et al., complementing recent results by Deleporte and Lambert. Using the same relation to the $d$-dimensional harmonic oscillator in $d$ complex dimensions $\mathbb{C}^d$, we provide new local bulk and edge statistics at weak and strong non-Hermiticity, where the former interpolates between correlations in $d$ real and $d$ complex dimensions. For $\mathbb{C}^d$ with $d=1$ this corresponds to non-interacting fermions in a rotating trap.
△ Less
Submitted 28 November, 2022; v1 submitted 1 March, 2022;
originally announced March 2022.
-
The local universality of Muttalib-Borodin ensembles when the parameter $θ$ is the reciprocal of an integer
Authors:
L. D. Molag
Abstract:
The Muttalib-Borodin ensemble is a probability density function for $n$ particles on the positive real axis that depends on a parameter $θ$ and a weight $w$. We consider a varying exponential weight that depends on an external field $V$. In a recent article, the large $n$ behavior of the associated correlation kernel at the hard edge was found for $θ=\frac{1}{2}$, where only few restrictions are i…
▽ More
The Muttalib-Borodin ensemble is a probability density function for $n$ particles on the positive real axis that depends on a parameter $θ$ and a weight $w$. We consider a varying exponential weight that depends on an external field $V$. In a recent article, the large $n$ behavior of the associated correlation kernel at the hard edge was found for $θ=\frac{1}{2}$, where only few restrictions are imposed on $V$. In the current article we generalize the techniques and results of this article to obtain analogous results for $θ=\frac{1}{r}$, where $r$ is a positive integer. The approach is to relate the ensemble to a type II multiple orthogonal polynomial ensemble with $r$ weights, which can then be related to an $(r+1)\times (r+1)$ Riemann-Hilbert problem. The local parametrix around the origin is constructed using Meijer G-functions. We match the local parametrix around the origin with the global parametrix with a double matching, a technique that was recently introduced.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
The matching condition for larger size Riemann-Hilbert problems
Authors:
Leslie Molag
Abstract:
In a larger size Riemann-Hilbert problem matching the local parametrices with the global parametrix is often a major issue. In this article we present a result that should tackle this problem in natural situations. We prove that, in a general setting, it is possible to obtain a double matching, that is, a matching condition on two circles instead of one circle. We discuss how this matching approac…
▽ More
In a larger size Riemann-Hilbert problem matching the local parametrices with the global parametrix is often a major issue. In this article we present a result that should tackle this problem in natural situations. We prove that, in a general setting, it is possible to obtain a double matching, that is, a matching condition on two circles instead of one circle. We discuss how this matching approach can be used to obtain local scaling limits of correlation kernels and apply our result to several examples from the existing literature.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Universality for conditional measures of the Bessel point process
Authors:
Leslie Molag,
Marco Stevens
Abstract:
The Bessel point process is a rigid point process on the positive real line and its conditional measure on a bounded interval $[0,R]$ is almost surely an orthogonal polynomial ensemble. In this article, we show that if $R$ tends to infinity, one almost surely recovers the Bessel point process. In fact, we show this convergence for a deterministic class of probability measures, to which the conditi…
▽ More
The Bessel point process is a rigid point process on the positive real line and its conditional measure on a bounded interval $[0,R]$ is almost surely an orthogonal polynomial ensemble. In this article, we show that if $R$ tends to infinity, one almost surely recovers the Bessel point process. In fact, we show this convergence for a deterministic class of probability measures, to which the conditional measure of the Bessel point process almost surely belongs.
△ Less
Submitted 8 April, 2019;
originally announced April 2019.
-
The local universality of Muttalib-Borodin biorthogonal ensembles with parameter $θ= \frac{1}{2}$
Authors:
A. B. J. Kuijlaars,
L. D. Molag
Abstract:
The Muttalib-Borodin biorthogonal ensemble is a probability density function for $n$ particles on the positive real line that depends on a parameter $θ$ and an external field $V$. For $θ=\frac{1}{2}$ we find the large $n$ behavior of the associated correlation kernel with only few restrictions on $V$. The idea is to relate the ensemble to a type II multiple orthogonal polynomial ensemble that can…
▽ More
The Muttalib-Borodin biorthogonal ensemble is a probability density function for $n$ particles on the positive real line that depends on a parameter $θ$ and an external field $V$. For $θ=\frac{1}{2}$ we find the large $n$ behavior of the associated correlation kernel with only few restrictions on $V$. The idea is to relate the ensemble to a type II multiple orthogonal polynomial ensemble that can in turn be related to a $3\times 3$ Riemann-Hilbert problem which we then solve with the Deift-Zhou steepest descent method. The main ingredient is the construction of the local parametrix at the origin, with the help of Meijer G-functions, and its matching condition with a global parametrix. We will present a new iterative technique to obtain the matching condition, which we expect to be applicable in more general situations as well.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Monodromy of the generalized hypergeometric equation in the Frobenius basis
Authors:
Leslie Molag
Abstract:
We consider monodromy groups of the generalized hypergeometric equation \begin{equation*} \big[z(θ+α_{1})\cdots (θ+α_{n})-(θ+β_{1}-1)\cdots (θ+β_{n}-1)\big]f(z) = 0\text{, where }θ= z d/dz, \end{equation*} in a suitable basis, closely related to the Frobenius basis. We pay particular attention to the maximally unipotent case, where $β_{1}=\ldots=β_{n}=1$, and present a theorem that enables us to d…
▽ More
We consider monodromy groups of the generalized hypergeometric equation \begin{equation*} \big[z(θ+α_{1})\cdots (θ+α_{n})-(θ+β_{1}-1)\cdots (θ+β_{n}-1)\big]f(z) = 0\text{, where }θ= z d/dz, \end{equation*} in a suitable basis, closely related to the Frobenius basis. We pay particular attention to the maximally unipotent case, where $β_{1}=\ldots=β_{n}=1$, and present a theorem that enables us to determine the form of the corresponding monodromy matrices in the case where $(X-e^{-2πiα_{1}})\cdots (X-e^{-2πiα_{n}})$ is a product of cyclotomic polynomials.
△ Less
Submitted 18 April, 2017; v1 submitted 8 July, 2014;
originally announced July 2014.
