Abstract
We study the distribution of eigenvalues of almost-Hermitian random matrices associated with the classical Gaussian and Laguerre unitary ensembles. In the almost-Hermitian setting, which was pioneered by Fyodorov, Khoruzhenko and Sommers in the case of GUE, the eigenvalues are not confined to the real axis, but instead have imaginary parts which vary within a narrow “band” about the real line, of height proportional to \(\tfrac{1}{N}\), where N denotes the size of the matrices. We study vertical cross-sections of the 1-point density as well as microscopic scaling limits, and we compare with other results which have appeared in the literature in recent years. Our approach uses Ward’s equation and a property which we call “cross-section convergence”, which relates the large-N limit of the cross-sections of the density of eigenvalues with the equilibrium density for the corresponding Hermitian ensemble: the semi-circle law for GUE and the Marchenko–Pastur law for LUE. As an application of our approach, we prove the bulk universality of the almost-circular ensembles.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This note is the result of investigations of eigenvalue ensembles in the almost-Hermitian regime. In particular we study almost-Hermitian counterparts of the Gaussian Unitary Ensemble and of the Laguerre Unitary Ensemble (in the singular case), which we call Almost-Hermitian GUE (AGUE) and Almost-Hermitian LUE (ALUE), respectively.
Almost-Hermitian (or “weakly non-Hermitian”) random matrices were introduced by Fyodorov, Khoruzhenko, and Sommers in the papers [31,32,33]. Their work concerns eigenvalues of elliptic Ginibre matrices where the droplets collapse to the interval \([-2,2]\) at a suitable rate. We take this as our model for almost-Hermitian GUE. The emergent structure is physically interesting, and has been subject of several investigations in recent years, see in particular [6] and the references there.
As is to be expected, the AGUE tends to follow Wigner’s semi-circle law, and the ALUE tends to follow the Marchenko–Pastur law. However, in the almost-Hermitian regime, the particles are not confined to the real axis, but instead vary randomly within a thin band about \(\mathbb {R}\) of height proportional to \(\tfrac{1}{N}\), where N denotes the size of the matrices, see Fig. 1.
In both cases, the droplets are similar, highly eccentric elliptic discs. Yet, the particle distributions are quite different, with heavy clustering going on near the left edge for ALUE, in contrast with the much more evenly spread configurations for AGUE (compare Fig. 5). This reflects the singular behaviour of the critical Marchenko–Pastur density.
On the other hand, we shall prove that there is a universal microscopic behaviour in the bulk, given by a kernel found in [31, 33], which interpolates between the sine-kernel and the Ginibre kernel.
We shall introduce a class of bandlimited ensembles in the interface between dimensions 1 and 2, which we use to formulate and prove certain theorems of a general character. However, ultimately, we shall resort to asymptotic properties of the respective orthogonal polynomials (Hermite and Laguerre) in order to deduce full universality results.
Our microscopic analysis uses the theory for Ward’s equation from the paper [14]. In particular, we shall find a close connection between the scaling limits in [6, 31, 33] and the translation invariant solutions to Ward’s equation, which are characterized in [14]. (We also refer to a recent work [5] for an implementation of Ward’s equation in the study of translation invariant scaling limits of planar symplectic ensembles.)
Notational conventions A typical point in the complex plane \(\mathbb {C}\) is denoted \(\zeta =\xi +i\eta \).
We write \({\partial }=\tfrac{1}{2}(\tfrac{{\partial }}{{\partial }\xi }-i\tfrac{{\partial }}{{\partial }\eta })\) and \(\bar{\partial }=\tfrac{1}{2} (\tfrac{{\partial }}{{\partial }\xi }+i\tfrac{{\partial }}{{\partial }\eta })\) for the complex derivatives and \(\Delta ={\partial }\bar{\partial }=\tfrac{1}{4}(\tfrac{{\partial }^2}{{\partial }\xi ^2}+\tfrac{{\partial }^2}{{\partial }\eta ^2})\) for \(\tfrac{1}{4}\) times the usual Laplacian.
We write \(dA(\zeta )=\tfrac{1}{\pi }\, d^{\,2}\,\zeta =\tfrac{1}{\pi }\,d\xi \,d\eta \) for \(\tfrac{1}{\pi }\) times Lebesgue measure on \(\mathbb {C}\) and \(dA_N=(dA)^{\otimes N}\) for the corresponding volume measure in \(\mathbb {C}^N\). When \(\mu \) is a measure and f is a function, we write \(\mu (f)\) for \(\int f\, d\mu \).
1.1 Purpose and aims
The theory of almost-Hermitian ensembles consists at this point largely of a number of important model cases, which are typically studied using properties of specific orthogonal polynomials. One could say that the present work grew out of a desire to classify and provide a “unifying structure” to this theory.
The first question is how to suitably define a general class of “almost-Hermitian ensembles” which has desired potential theoretic properties. This question does not depend on a determinantal structure, and thus is more natural to study in a context of \(\beta \)-ensembles. We shall isolate a suitable class of potentials and establish several new results concerning convergence to the equilibrium. This convergence forms the starting point for our further analysis of almost-Hermitian ensembles. (This approach is analogous with established practices in dimensions 1 and 2, and could in that context be viewed as a first step towards a Gaussian field theory in the almost-Hermitian case).
We also study (and survey) various types of microscopic limits in the almost-Hermitian regime, which typically interpolate between well-known limits in dimensions 1 and 2. In our approach using the loop equation and compactness, questions about particular scaling limits are reduced to easier questions, such as establishing their apriori translation invariance.
That being said, with the exception of the so-called “almost-circular ensembles” below, establishing translation invariance is in general a subtle matter. While one might expect that translation invariance should hold quite generally in the bulk, we will not resolve that issue here. (The problem that arises concerns uniqueness of solution to Ward’s equation given certain apriori conditions, and is closely related with the one discussed in [14].)
Instead of striving for largest possible generality, we take a detailed look at the model cases, where the analysis is already non-trivial and offers new angles. Apart from leading to new proofs of results which were rigorously established only fairly recently, our analysis has some new ingredients that have led to spin-offs in for example [5].
For comparison, the universality problem in the normal matrix setting was settled only recently in a fairly general setting in [36]; the techniques used there break down in the almost-Hermitian setting. (For example, the conformal mappings of the exterior of a thin droplet to the exterior disc have large derivatives at the end-points: the derivatives tend to infinity as the droplets collapse to an interval.)
1.2 General setup
Given an N-point configuration \(\{\zeta _j\}_1^N\subset \mathbb {C}\) and a suitable function (external potential) \(Q_N:\mathbb {C}\rightarrow \mathbb {R}\cup \{+\infty \}\), we associate the total energy
We next fix a positive parameter \(\beta \) and form the canonical Gibbs measure
We assume that the potentials \(Q_N\) increase monotonically, as \(N\rightarrow \infty \), to an external potential V which obeys \(V(\zeta )=+\infty \) when \(\zeta \not \in \mathbb {R}\).
Here and throughout, “external potential” means a lower semicontinuous function \(W:\mathbb {C}\rightarrow \mathbb {R}\cup \{+\infty \}\) which is finite on some set of positive capacity and satisfies
where \(k>1\) is a fixed constant. We shall assume that this holds, with the same k, for all \(W=Q_N\) and for \(W=V\). Then, to a compactly supported Borel probability measure \(\mu \) on \(\mathbb {C}\), we associate the logarithmic W-energy
In addition to (1.3), we shall sometimes assume the extra growth condition
for some small \(\delta >0 \) and \(C \in \mathbb {R}\).
By [51, Theorem I.1.3], there exists a unique equilibrium measure \(\sigma _W\), i.e., a compactly supported Borel probability measure which minimizes the energy (1.4). The support \(S_W={\text {supp}}\sigma _W\) is called the droplet in external potential W.
We shall always assume that each \(Q_N\) is smooth in a neighbourhood of the droplet \(S_{Q_N}\), except possibly for some singular points at which \(\Delta Q_N=+\infty \). The singularities are assumed to be benign in the sense that the basic structure theorem for equilibrium measures in [51, Theorem II.1.3] applies. Namely, the equilibrium measure \(\sigma _{Q_N}\) is absolutely continuous with respect to dA and \(d\sigma _{Q_N}=\Delta Q_N\cdot \textbf{1}_{S_{Q_N}}\, dA.\)
Finally, we assume that the equilibrium measure \(\sigma _V\), which is supported in \(\mathbb {R}\) (and equals to the weak limit of the measures \(\sigma _{Q_N}\), see Sect. 2.1), is absolutely continuous with respect to Lebesgue measure on \(\mathbb {R}\). By slight of abuse of notation, we denote its linear density by \(\sigma _V(\xi )\) (so \(d\sigma _V(\xi )=\sigma _V(\xi )\, d\xi \)). The probability density \(\sigma _V(\xi )\) is assumed to be continuous on \(\mathbb {R}\), again with the possible exception of finitely many singular points.
1.3 Limiting droplet and cross-sections
Denote by \(\{\zeta _j\}_1^N\) a random sample with respect to the Boltzmann-Gibbs measure (1.2), and write the 1-point function as
(\(D(\zeta ,{\varepsilon })\) is the open disc with center \(\zeta \) and radius \({\varepsilon }\).)
Now fix an arbitrary zooming-point \(p\in \mathbb {R}\) and define the blow-up map
Let \(\{z_j\}_1^N\) be the rescaled sample, \(z_j=\Gamma _{N,p}(\zeta _j)\).
The potentials \(Q_N\) used in this note have the property that the Laplacian \(\Delta Q_N(p)\) is proportional to N. More precisely, we shall assume throughout that the limit
is well-defined and finite for each \(p\in S_V\). We next form the function
with the understanding that \(a(p)=0\) if \(p\not \in S_V\). The function (1.8) has the following geometric interpretation: let
be the cross-section of the rescaled droplet with the imaginary axis. If we impose the symmetry \(Q_N(\bar{\zeta })=Q_N(\zeta )\), and some other natural conditions (Sect. 2.1), the number a(p) represents the limiting height of the rescaled cross-section, i.e.,
We shall also use the statistical cross-sections \(c_N^\beta \) of the ensemble,
A fairly general convergence result, asserting that (under some additional assumptions) \(c_N^\beta \rightarrow \pi \sigma _V\) in the sense of measures on \(\mathbb {R}\), is given in Theorem 2.2 below.
The 1-point function of the rescaled system \(\{z_j\}_1^N\) is denoted by
We are interested in describing all possible limits \(R^{\,\beta }=\lim _{N\rightarrow \infty }R_N^{\, \beta }\), and we shall here restrict to the determinantal case when \(\beta =1\). We shall therefore in the sequel drop the superscript, writing \(R_N\) in place of \(R_N^{\, 1}\), etc.
We recall the following fact from the theory of determinantal Coulomb gas processes (see e.g., [15, Lemma 1] and the references there).
Lemma 1.1
If \(R_N\rightarrow R\) in \(L^1_{\textrm{loc}}\) (along some subsequence) then \(\{z_j\}_1^N\) converges (along the same subsequence) in the sense of point fields to a unique infinite determinantal point-field \(\{z_j\}_1^\infty \) with 1-point function R.
With these preliminaries out of the way, we turn to our main objects of study.
1.4 Almost-Hermitian GUE
Fix a positive parameter c and consider the sequence of potentials
The droplet in potential (1.13) can be found by means of the following useful lemma from [35, 53]. (The lemma has an alternative proof by solving an obstacle problem, which may be left for the interested reader.)
Lemma 1.2
The droplet \(S_Q\) in potential \(Q=a\xi ^2+b\eta ^2\) is the elliptic disc with equation \(\tfrac{a^2+ab}{2b}\,\xi ^{\,2}+\tfrac{ab+b^2}{2a}\,\eta ^2\le 1.\)
Using the lemma, we find that the droplet in potential (1.13) is given by
Note that \(Q_N\nearrow V\) where V is the Gaussian potential
with the understanding that \(V=+\infty \) on \(\mathbb {C}\setminus \mathbb {R}\). The equilibrium measure in potential V is Wigner’s semi-circle law [27, Section 1.4],
Let \(c_N(\xi )=\tfrac{1}{N}\int _\mathbb {R}\textbf{R}_N(\xi +i\eta )\, d\eta \) be the N:th cross-section (with \(\beta =1\)). The following global result can be found in [6, Theorem 3 (a)] (cf. [32, 44]) and will here be reproved by different methods.
Theorem 1.3
(“Pointwise cross-section convergence for AGUE”) \(c_N(\xi )\rightarrow \pi \cdot \sigma _{\textrm{sc}}(\xi )\) as \(N\rightarrow \infty \) for each \(\xi \) with \(-2<\xi <2\).
Remark
We shall use Theorem 1.3 as a basic tool for our microscopic investigations. In fact the pointwise convergence \(\tfrac{1}{\pi }c_N(\xi )\rightarrow \sigma _{\textrm{sc}}(\xi )\) for \(-2<\xi <2\) is precisely what we need to uniquely fix a translation invariant bulk scaling limit using our method below. This contrasts with the strategy in [6], where convergence of cross-sections is obtained as a consequence of microscopic investigations.
Following the terminology in [14], we put \(\gamma (z)=\tfrac{1}{\sqrt{2\pi }}e^{-\frac{1}{2} z^2}\). Given a Borel subset (or “window”) \(E\subset \mathbb {R}\) we then consider the entire function
Now fix a point \(p_*\in S_V\) in the bulk, i.e., \(-2< p_*< 2\), and let \(R_N\) be the 1-point function of the rescaled process about \(p_*\).
Note that for the potential (1.13), the numbers \(\rho (p_*)\) and \(a(p_*)\) in (1.7), (1.10) reduce to
The following theorem is equivalent with the bulk scaling limits found in [6, 31, 44].
Theorem 1.4
(“Bulk scaling limit for AGUE”) Under the above assumptions, \(R_N\) converges locally uniformly to the limit \(R(z)=F(2{\text {Im}}z)\) where \(F(z)=\gamma *\textbf{1}_{(-2a,2a)}(z)\) and \(a=a(p_*)\) is given by (1.18).
We now discuss how the scaling limits in Theorem 1.4 interpolate between the sine-kernel and the Ginibre kernel.
We recall (e.g., [14]) that the Ginibre kernel is the function
and that its associated 1-point function \(R(z)=G(z,z)=1\) is characteristic for the infinite Ginibre ensemble.
Now let \(F=\gamma *\textbf{1}_{(-2a,2a)}\) be the entire function appearing in Theorem 1.4 and put
The 1-point function R appearing in Theorem 1.4 is then \(R(z)=F(2{\text {Im}}z)=K(z,z),\) and K is a correlation kernel for the limiting point field \(\{z_j\}_1^\infty \).
If in (1.20) we pass to the limit \(c\rightarrow \infty \), we find that the kernel K converges to the Ginibre kernel. Similarly, the limit \(c\rightarrow 0\) gives the well-known sine-kernel process on \(\mathbb {R}\), but to see this we need a further rescaling. Given the limiting point-field \(\{z_j\}_1^\infty \) we form a new one \(\{\tilde{z}_j\}_1^\infty \) by \(\tilde{z}_j=\alpha \cdot z_j\), where \(\alpha =\tfrac{2}{\pi }a(p_*)\). The correlation kernel of \(\{\tilde{z}_j\}_1^\infty \) is
Sending \(c\rightarrow 0\) (i.e. \(\alpha \rightarrow 0\)) we see readily that \(\tilde{K}\) converges to \(\pi \) times the sine-kernel
This well-known convergence follows from the Gaussian approximation of the Dirac delta:
See e.g., [6, Remark 4.(c)] and [9, Section 2.3].
It could be said that the form of the kernel \(\tilde{K}\) is more natural from a one-dimensional perspective, whereas the form of K in (1.20) is more natural from a two-dimensional one. The kernel \(\tilde{K}\) is of the form appearing in [6], whereas K appears in the context of planar ensembles in the papers [14, 15].
We now turn to edge scaling limits for the almost-Hermitian GUE. A limiting point field was found by Bender [19] and was further investigated in the paper [3]. For our purposes, it is advantageous to modify the ellipse potential \(Q_N\) in (1.13) so that the droplet becomes thicker, of height roughly \(N^{-\frac{1}{3}}\) rather than \(N^{-1}\). The advantage is that the form of rescaling in (1.6) remains correct, which facilitates when applying our method with Ward’s equation.
We are thus led to introduce the modified Almost-Hermitian GUE by redefining \(Q_N\) as
Using Lemma 1.2, we see that the right end-point of the droplet \(S_{Q_N}\) is located at \(p_N=2(1+c^2N^{-\frac{1}{3}})^{-\frac{1}{2}}.\) We rescale about this point using the magnification map in (1.6) with the modified potential (1.21), i.e., we put
and we write \(\{z_j\}_1^N\) for the rescaled ensemble, \(z_j=\Gamma _N(\zeta _j)\), see Fig. 3. As usual we denote by \(R_N\) the 1-point function of \(\{z_j\}_1^N\).
We can now restate the main result from [19] in the following way.
Theorem 1.5
(“Boundary scaling limit for modified AGUE”) \(R_N\) converges locally uniformly to the limit
We now discuss how (1.22) interpolates between the linear Airy process and the planar \({\text {erfc}}\)-process. We start with the planar case, which corresponds to letting \(c\rightarrow \infty \) in (1.22). For this, we fix a point z in \(\mathbb {C}\setminus (-\infty ,0]\) and apply the well-known asymptotic formula
Inserting (1.23) in (1.22) and letting \(c\rightarrow \infty \), one finds
here, we have used
Hence as \(c\rightarrow \infty \), \(R_{(c)}\) converges to the limit
This is the 1-point function which appears in random normal matrix theory after the process of rescaling about a regular boundary point of the droplet (see [14] and references).
We next consider the limit of (1.22) as \(c\rightarrow 0\). A standard polarization argument shows that the 1-point function \(R_{(c)}\) in (1.22) corresponds to the correlation kernel
Now put \(\tilde{z}=\alpha \cdot z\), \(\tilde{w}=\alpha \cdot w\), and \(\tilde{z}_j=\alpha \cdot z_j\), where \(\alpha =c\sqrt{2}.\) The rescaled point-field \(\{\tilde{z}_j\}_1^\infty \), then has correlation kernel
This kernel is found in the paper [3], and is in turn equivalent with a double integral formula found in [19]. We shall write \(\tilde{R}_{(c)}(z)=\tilde{K}(z,z)\).
Letting \(c \rightarrow 0\) (i.e., \(\alpha \rightarrow 0\)), it is now straightforward to check (cf. [3]) that \(\tilde{K}\) converges to \(\pi K^{\text {Ai}}\) where \(K^{\text {Ai}}\) is the Airy kernel
Non-translation invariant solutions to Ward’s equation are discussed in [14, Section 8.3], but no example is given there. It is interesting to note that the 1-point functions in (1.22) give rise to such solutions. See the case \(c=1\) of Fig. 4.
1.5 Almost-Hermitian LUE
We now fix two parameters \(c>0\) and \(\nu >-1\). We shall denote by \(K_\nu (z)\) the modified Bessel function of the second kind (see [58, p. 78]).
By definition, the ALUE with parameters c and \(\nu \) (and \(\beta =1\)) is a random sample \(\{\zeta _j\}_1^N\) picked from the Gibbs measure (1.2) associated with the potential
We remark that \(Q_N\) is continuous, but \(\Delta Q_N\) has a singularity at the origin.
When \(\nu \) is an integer, a random sample \(\{\zeta _j\}_1^N\) with respect to (1.24) can be identified with eigenvalues of products of two rectangular random matrices with suitable Gaussian entries, see Sect. 8.1. Moreover (for general \(\nu >-1\)) we obtain a LUE-type analogue of a chiral ensemble studied by Akemann [1] and Osborn [49] in the context of quantum chromodynamics. More about this will be said in Sect. 7.
It follows from computations in [4, Theorem 1] that the droplet in potential \(Q_N\) is the elliptic disc (containing the origin)
We now recall the following asymptotic formula for the Bessel function \(K_\nu \) (found in [58, Section 7\(\cdot \)3])
and deduce that for each fixed \(\zeta \ne 0\), as \(N\rightarrow \infty \),
Thus \(Q_N\) converges pointwise to the limit
It is well-known that the equilibrium density in potential (1.28) is the Marchenko–Pastur law ( [27, Section 7.2]),
As usual, we write \(\textbf{R}_N\) for the 1-point function with respect to (1.24) and \(c_N\) for the corresponding cross-sections in (1.11).
Theorem 1.6
(“Pointwise cross-section convergence for ALUE”) \(c_N(\xi )\rightarrow \pi \cdot \sigma _{\textrm{MP}}(\xi )\) as \(N\rightarrow \infty \) for each \(\xi \) with \(0<\xi <4\).
We shall now consider scaling limits; the following remark will come in handy.
Remark
For fixed \(\zeta \ne 0\) we have the following approximation for the Laplacian \(\Delta Q_N(\zeta )\),
The formula (1.30) is easily deduced using well-known asymptotics for the Bessel function \(K_\nu \), see e.g., [4] (or [58]) for details.
Now fix a zooming-point \(p_*\in S_V\) in the bulk, i.e., \(0< p_*< 4\). Using (1.30), the quantities \(\rho (p_*)\) and \(a(p_*)\) in (1.7) and (1.8) are readily computed as
We rescale a random sample \(\{\zeta _j\}_1^N\) about \(p_*\) using the map (1.6) and let \(R_N\) denote the 1-point function of the rescaled system \(\{z_j\}_1^N\).
Theorem 1.7
(“Bulk scaling limit for ALUE) If \(\nu >-1\) is an integer then \(R_N\rightarrow R\) locally uniformly where \(R(z)=F(2{\text {Im}}z)\) and \(F(z)=\gamma *\textbf{1}_{(-2a,2a)}(z)\), where \(a=a(p_*)\) is given by (1.31).
(The assumption that \(\nu \) be an integer is made mainly for technical convenience; we do not think that it should be necessary.)
While Theorem 1.7 looks similar to Theorem 1.4, the result is new; the shape of the droplet was calculated only recently in [4], and the singular behaviour of the equilibrium measure renders our discussion more delicate in the present case.
The similarity with AGUE breaks down when we consider edge scaling limits, and more precisely when we zoom appropriately about the singularity at the origin. We now turn to this interesting scaling limit.
In keeping with a two-dimensional perspective, we rescale \(\{\zeta _j\}_1^N\) about the origin by blowing up with the factor \((\tfrac{N}{c})^2\), i.e., we put
Using a slight modification of computations due to Osborn in [49], we will prove the following result.
Theorem 1.8
(“Edge scaling limit for ALUE”) We have \(R_N \rightarrow R\) uniformly on compact subsets of \(\mathbb {C}{\setminus } (-\infty ,0]\), where
(The square-root \(z^{\frac{1}{2}}\) is defined as the principal branch, with a branch-cut along the negative real axis.)
Again the density (1.32) has an interesting interpolating property, this time between a linear Bessel process and a relatively lesser known planar Bessel-process (see e.g., [11]).
We start by passing to the planar limit as \(c\rightarrow \infty \) in (1.32), which is
The integral here can be evaluated by means of a formula in [50, (10.22.67)], giving
where \(I_\nu \) is the modified Bessel function of the first kind. There is a unique determinantal point-field \(\{z_j\}_1^\infty \) having the one-point function (1.34), which we call a “planar Bessel-process”.
We rescale once more in order to obtain a 1-dimensional perspective: given a random sample \(\{z_j\}_1^\infty \) associated with (1.32), we form \(\{\tilde{z}_j\}_1^\infty \) where \(\tilde{z}_j=c^2z_j.\) The point field \(\{\tilde{z}_j\}_1^\infty \) has 1-point function \(\tilde{R}_{(c)}(z)=c^{-4}R_{(c)}(c^{-2}z).\) Writing \(\tilde{R}_{(0)}\) for the limit of \(\tilde{R}_{(c)}\) as \(c\rightarrow 0\), we readily see that \(\tilde{R}_{(0)}=0\) outside of the ray \([0,\infty )\) while for \(x>0\),
We recognize the last expression as \(\pi \) times the restriction to the diagonal of the well-known Bessel kernel, given for \(x,y>0\) by
We conclude that the rescaled ensemble interpolates between the linear Bessel-process with kernel (1.35) (when \(c=0\)) and the planar Bessel process with 1-point function (1.32) (when \(c=\infty \)). See Fig. 6.
1.6 Almost-circular ensembles
We now discuss the almost-circular ensembles, a family of random normal matrices whose eigenvalues tend to be distributed within a narrow band around the unit circle of width proportional to \(\frac{1}{N}\). The terminology “almost-circular” comes from the fact that in the one-dimensional limit, this ensemble tends to the circular unitary ensemble distributed on the unit circle, cf. [27, Chapter 2] (See also [25] for a recent work on circular \(\beta \)-ensemble.).
The almost-circular ensemble we consider is associated with a radially symmetric potential
where \(g_N\) is differentiable on \(\mathbb {R}_+\) with absolutely continuous derivative. Without loss of generality, we shall assume that \(g_N(1)=0\) and \(g_N'(1)=2.\) We also assume that \(Q_N\) is subharmonic in \(\mathbb {C}\) and strictly subharmonic in a neighborhood of the unit circle. Then the associated droplet \(S_{Q_N}\) is given by an annulus
where \(r_N\) is a unique constant satisfying \(r_N g_N'(r_N)=0,\) see e.g., [51]. A typical example of such a model is the induced Ginibre ensemble [26], an extension of the Ginibre ensemble to include zero eigenvalues.
As in previous subsections, we shall assume that the limit
exists. This condition plays an important role in defining the almost-circular ensemble since
Let \(p_N:=(r_N+1)/2\). For an arbitrary zooming-point \( p_{N,\theta }:=p_N \cdot e^{i \theta } \) (\(\theta \in [0,2\pi ]\)), we define the rescaled sample
See Fig. 7.
As an immediate application of Theorem 3.8 we obtain the following result, which establishes the bulk universality for the almost-circular ensembles.
Theorem 1.9
(“Bulk scaling limit for Almost-Circular ensembles”) Under the above assumptions, \(R_N\) converges locally uniformly to the limit \(R(z)=F(2{\text {Im}}z)\) where \(F(z)=\gamma *\textbf{1}_{(-2a,2a)}(z)\) and \(a=\rho /4\).
We remark that the value a again is of the form (1.18) and (1.31) as it can reads as \(a=\tfrac{\pi }{2}\cdot \rho \cdot \tfrac{1}{2\pi }=\tfrac{1}{4} \cdot \rho ,\) where \(\tfrac{1}{2\pi }\) corresponds to the uniform density on the unit circle. We also refer to [20] for extensions of Theorem 1.9 under several boundary conditions.
1.7 Plan of this paper and further results
In Sect. 2 we study a fairly general class of bandlimited Coulomb gas ensembles in the interface between dimensions 1 and 2.
In Sect. 3 we specialize to the determinantal case \(\beta =1\). We adapt to the almost-Hermitian setting the basic results from [14] concerning structure of limiting kernels, zero-one law, Ward’s equation, and so on. As an application, we prove Theorem 1.9.
In Sect. 4 we prove Theorem 1.3 and Theorem 1.6 about cross-section convergence for almost-Hermitian GUE and LUE, respectively.
In Sect. 5 we prove Theorem 1.4 and Theorem 1.7 about bulk scaling limits for AGUE and ALUE, respectively.
In Sect. 6 we consider edge scaling limits for AGUE and ALUE. We include a new proof for Theorem 1.5, as well as a proof of Theorem 1.8.
In Sect. 7 we compare our results for ALUE with earlier results about a chiral ensemble in [1, 49]. We also relate our results with some other point fields appearing in [17, 27, 41, 47], for example.
In Sect. 8, we provide concluding remarks and relate to other works. In particular, we state and prove generalizations of the cross-section convergence and bulk scaling limits for the general ALUE with a rectangular parameter \(\alpha \ge 0\). We also discuss results about a generalization of AGUE, which is obtained by inserting a point charge at the origin, and we discuss almost-Hermitian ensembles with a hard edge.
In the appendices, we collect some asymptotic estimates for Hermite and Laguerre polynomials which were adapted from the papers [45, 56, 57], respectively.
2 Generalities about the bandlimited Coulomb gas
In this section, we introduce and study a fairly general setup for dealing with almost-Hermitian structures. We begin by studying limiting droplets in the bandlimited regime. After that we study statistical cross-sections by using some basic large deviation estimates. This prompts us to impose yet more restrictive conditions on the potentials \(Q_N\).
2.1 The limiting droplet
Let \(Q_N\) and V be potentials satisfying the conditions in Sect. 1.2. We now impose some standing assumptions.
First of all, we will assume that each \(Q_N\) is continuous in some fixed neighbourhood of \(S_V\). We assume also that \(Q_N\) is real-analytic in this neighbourhood with the possible exception of one (or several) singular points at which \(\Delta Q_N=+\infty \) for each N (so that we include the ALUE in our setting, for example). With another very minor restriction, we assume that each droplet \(S_{Q_N}\) equals to the corresponding coincidence set \(S_{Q_N}^*\) for the obstacle problem (cf. [51] or Sect. 3.1 below).
In addition, we will assume that \(Q_N(\zeta )=Q_N(\bar{\zeta })\) and \(Q_N(\zeta )\ge Q_N({\text {Re}}\zeta )\) for all \(\zeta \in \mathbb {C}\), and that \(\Delta Q_N\ge mN\) on \(S_{Q_N}\) for some constant \(m>0\).
Under these assumptions, Sakai’s regularity theorem (see [15] and references) implies that the boundaries \({\partial }S_{Q_N}\) consist of finitely many Jordan curves, which are real analytic with the possible exception of finitely many singular points. We shall assume that there are no singular points and that there are continuous functions \(h_N:\mathbb {R}\rightarrow [0,\infty )\) such that
Since the \(Q_N\) increase monotonically to V, we can apply a general convergence result in [51, Theorem I.6.2] to conclude the weak convergence in the sense of measures \(\sigma _{Q_N}\rightarrow \sigma _V\) as \(N\rightarrow \infty \). Moreover, since \(\sigma _{Q_N}=\Delta Q_N\cdot \textbf{1}_{S_{Q_N}}\, dA\) we have, for each bounded continuous function f, that
We next impose the condition that the limit
exists as a finite and strictly positive number whenever \(\sigma _V(\xi )>0\). Using this assumption and the mean-value theorem, we obtain for all \(\xi \) with \(\sigma _V(\xi )>0\) that
Let us particularly mention that \(h_N(\xi ) \rightarrow 0\) as \(N \rightarrow \infty \).
Let \(\Gamma _{N,p}(\zeta )={\scriptstyle \sqrt{N\Delta Q_N(p)}}\cdot (\zeta -p)\) be the magnification map about a point \(p\in \mathbb {R}\), and consider the vertical segment \(\gamma _N(p)=\Gamma _{N,p}(S_{Q_N})\cap (i\mathbb {R})\). Writing \(\gamma _N(p)=[-a_N(p)i,a_N(p)i]\) we then have \(a_N(p)={\scriptstyle \sqrt{N\Delta Q_N(p)}}\cdot h_N(p).\)
In view of (2.1), we have shown the following theorem.
Theorem 2.1
(“Asymptotic shape of the droplet”) If \(Q_N\) satisfies the above conditions, and if \(\gamma _N(p)=[-a_N(p)i,a_N(p)i]\) then \(a_N(p)\rightarrow a(p)\) as \(N\rightarrow \infty \) where \(a(p)=\tfrac{\pi }{2}\cdot \rho (p)\cdot \sigma _V(p).\)
In particular, the droplets \(S_{Q_N}\) are bandlimited in the sense that there is a constant A such that \(|{\text {Im}}\zeta |\le \tfrac{A}{N}\) for each \(\zeta \in S_{Q_N}\).
2.2 Statistical cross-sections
Recall from potential theory that the Robin’s constant \(\gamma (V)\) in external potential V is defined by \(\gamma (V)=I_V[\sigma _V]\) where \(I_V\) is the energy-functional (1.4). We say that a sequence \(Q_N\) of potentials obeying the conditions in Sect. 2.1 is an admissible sequence if the following lower bound for the partition function holds:
Theorem 2.2
(“Weak cross-section convergence”) Suppose that \((Q_N)\) is an admissible sequence and that the restriction \(V|_\mathbb {R}\) is continuous in a \(\mathbb {R}\)-neighbourhood of the V-droplet \(S_V\). Then \(\tfrac{1}{\pi }c_{N}^\beta \rightarrow \sigma _V\) in the weak sense of measures on \(\mathbb {R}\).
Note that the continuity assumption on \(V|_\mathbb {R}\) is satisfied for AGUE but not for ALUE.
Our proof of Theorem 2.2 in the following section uses a modification of arguments from [37] (as well as the planar version in [12, Appendix A]).
2.3 Proof of Theorem 2.2
Given an external potential W we write \(L_W\) for the kernel
To a random configuration \(\{\zeta _j\}_1^N\) we associate the corresponding empirical measure
The discrete W-energy of this measure is defined to be
This energy is closely related to the Hamiltonian \(H_N\) in external potential W, since
We now come to a simple but useful observation. Write \(Q_N^*(\zeta )=Q_N({\text {Re}}\zeta )\). Recalling that \(Q_N^*\le Q_N\) on \(\mathbb {C}\) we obtain
Following [12, 37] we next fix a small \(\epsilon >0\) and potentials \(Q_N\) and V obeying the conditions in Sect. 2.1. We then consider the event
Lemma 2.3
Fix \(a\ge 0\) and suppose that the lower bound condition (2.2) is satisfied. Then there is a positive integer \(N_0\) depending on \(\epsilon \) but not on a such that if \(N\ge N_0\),
Proof
If \(\mu _N\not \in A(N,\epsilon +a)\), then
By (1.5) and the elementary inequality \(|\zeta -\eta |^2\le (1+|\zeta |^2)(1+|\eta |^2)\) we find that \(L_{Q_N}(\zeta ,\eta )\ge \tfrac{c_1}{2}(Q_N(\zeta )+Q_N(\eta ))-c_2,\) where \(c_1=1-1/k>0\) and \(c_2=C/k.\) This gives
Now fix a small number \(\theta >0\) and take a convex combination of the inequalities (2.5) and (2.6). We obtain that if \(\mu _N\not \in A(N,\epsilon +a)\),
which implies that the Hamiltonian (1.1) satisfies
Consequently,
Since \(\int _\mathbb {C}(1+|\zeta |^2)^{-\alpha }\, dA(\zeta )=\tfrac{1}{\alpha -1}\) for \(\alpha >1\), the integral in brackets is no larger than 1, so we obtain that for all large enough N,
Next we use the lower bound \(Z_N\ge \exp (-N^2(\beta \gamma (V)+o(1)))\) from assumption (2.2). This implies that
Finally we fix \(\theta \) with \(0<\theta <\tfrac{1}{8}\) and \(N_0\) such that for all \(N\ge N_0\), \(\theta (\gamma (V)+c_3+\epsilon )+o(1)<\tfrac{a}{8}.\) Then for large enough N,
which completes the proof. \(\square \)
Now fix a constant \(C>0\) and write \(S_{Q_N}^{\,+}=\left\{ \zeta \in \mathbb {C}\,;\, {\text {dist}}(\zeta ,S_{Q_N})\le C\tfrac{\log N}{N}\right\} .\)
Lemma 2.4
Suppose that for each N we have \(\mu _N\in A(N,\epsilon )\) and \({\text {supp}}\mu _N\subset S_{Q_N}^{\,+}\). Suppose also that \(V|_\mathbb {R}\) is continuous in an \(\mathbb {R}\)-neighbourhood of \(S_V\). Then each subsequence of the measures \(\mu _N\) has a further subsequence converging weak* to a probability measure \(\mu \) supported on \(\mathbb {R}\) such that \(I_V[\mu ]\le \gamma (V)+\epsilon \).
Proof
By hypothesis, the measures \(\mu _N\) are all supported in some large compact set. Pick a subsequence \(\mu _{N_k}\) converging weak* to a probability measure \(\mu \) which is necessarily supported on \(\mathbb {R}\). Also pick \({\varepsilon }>0\) and write \(Q_N^*(\zeta )=Q_N({\text {Re}}\zeta )\). We also write \(V^*(\zeta )=V({\text {Re}}\zeta )\). By (2.4) we know that \(I_{Q_N^*}^\sharp [\mu _N]\le \gamma (V)+\epsilon \).
Now recall that the \(Q_N^*\) increase monotonically to \(V^*\) and that \(V^*\) is continuous on some compact set K which contains the sets \(S_{Q_N}^{\,+}\) for all large N. Hence the convergence is uniform on K, by Dini’s theorem. In particular we can find an integer n such that \(\sup \{|Q_N^*(\zeta )-V^*(\zeta )|;\,\zeta \in K\}<{\varepsilon }\) when \(N\ge n\). Then for \(N_k\ge n\), \(|\mu _{N_k}(Q_{N_k}^*-V^*)|<{\varepsilon }\). Choosing n larger if necessary, we can arrange that \(|\mu _{N_k}(V^*)-\mu (V)|<{\varepsilon }\), since \(V^*\) is continuous on K and \(\mu (V)=\mu (V^*)\). Hence \(|\mu _{N_k}(Q_{N_k}^*)-\mu (V)|<2{\varepsilon }\) when \(N_k\ge n\). We have shown that \(\mu _{N_k}(Q_{N_k}^*)\rightarrow \mu (V)\) as \(k\rightarrow \infty \).
From here on, we follow a routine argument which can be found in [51, p. 146] for example. For a large real number M, we put \(L_M(\zeta ,\eta )=\min \{M,\log \tfrac{1}{|\zeta -\eta |}\}.\)
Since \(L_M\) is continuous while \(\mu _{N_k}\rightarrow \mu \) weak*,
Since \(I_{Q_{N_k}^*}^\sharp [\mu _{N_k}]\le \gamma (V)+\epsilon \) it follows that
The proof is complete. \(\square \)
Lemma 2.5
Let \(d_N(\zeta )={\text {dist}}(\zeta ,S_{Q_N})\) and put \(D_N=\max _{1\le j\le N}\{d_N(\zeta _j)\}\). Then for each \(q>0\) there exists \(C>0\) and \(N_0\) so that for \(N\ge N_0\) we have
Proof
This follows from [12, Theorem 2]. More precisely, in the estimate [12, (1.11)] (with \(Q=Q_N\)), we take \(c=c_1N\) where \(c_1>0\) is independent of N. Then taking \(t=A\log N\) with a large enough A and defining C accordingly, we finish the proof. \(\square \)
We are now ready to finish our proof of Theorem 2.2.
For a fixed small \(\epsilon >0\), we pick \(N_0(\epsilon )\) so that if \(N\ge N_0\) then, with large probability, \({\text {supp}}\mu _N\subset S_{Q_N}^+\) and \(\mu _N\in A(N,2\epsilon )\). Indeed, by lemmas 2.3 and 2.5, we can arrange that the probability of the complementary event is at most \(N^{-q}+e^{-\frac{1}{2}\epsilon \beta N^2}\) where \(q>0\) may be chosen as large as we please (by adjusting the value of C).
Now let \(\epsilon =\epsilon _n\rightarrow 0\) through a suitable sequence, and for each n, use Lemma 2.4 to pick a weak* subsequential limit \(\mu ^{\epsilon _n}\) of the measures \(\mu _N\), with \(I_V[\mu ^{\epsilon _n}]\le \gamma (V)+2\epsilon _n\) and \(\mu ^{\epsilon _n}\) supported in some fixed compact subset of \(\mathbb {R}\).
Letting \(n\rightarrow \infty \), the corresponding measures \(\mu ^{\epsilon _n}\) will converge weak* along a subsequence to a measure \(\mu \) with \(I_V[\mu ]\le \gamma (V)\). This implies that \(\mu =\sigma _V\) by unicity of the equilibrium measure (cf. [51, Theorem I.1.3]). We have shown that with probability \(1-o(1)\), every subsequence of the measures \(\mu _N\) has a further subsequence converging weakly to \(\sigma _V\), which implies that the full sequence \(\mu _N\rightarrow \sigma _V\) weakly as measures.
Now let f be a bounded continuous function on \(\mathbb {R}\) and define \(f^*\) on \(\mathbb {C}\) by \(f^*(\zeta )=f({\text {Re}}\zeta )\). Then the uniformly bounded random variables \(\mu _N(f^*)\) converge to \(\sigma _V(f^*)=\sigma _V(f)\) in probability as \(N\rightarrow \infty \). Taking expectations we obtain \(\textbf{E}_N^\beta [\mu _N(f^*)]\rightarrow \sigma _V(f)\) as \(N\rightarrow \infty \). However, by Fubini’s theorem,
so we obtain the desired convergence \(c_N^\beta \rightarrow \pi \sigma _V\) in the sense of measures on \(\mathbb {R}\). \(\square \)
2.4 An entropy estimate
The lower bound on the partition function in (2.2) can be checked directly for our model cases of AGUE and ALUE. However, the stronger conditions in the following lemma are usually easier to check (e.g., in the case of AGUE).
Lemma 2.6
Suppose that the equilibrium measures \(\sigma _{Q_N}\) obey the following energy and entropy limits:
Then the lower bound (2.2) holds, i.e., \(\liminf _{N\rightarrow \infty }\tfrac{1}{N^2}\log Z_N^\beta \ge -\beta \gamma (V) \).
Proof
We start by fixing a continuous compactly supported function \({\varphi }\) with \(\int _{\mathbb {C}} \varphi \, dA=1\) and noting that
By Jensen’s inequality,
with the understanding that \(0\log 0=0\), and where we write \(I_{Q_N}[{\varphi }]\) in place of \(I_{Q_N}[{\varphi }\, dA]\). This leads to
For small \(\delta >0\) we let \(\chi (\zeta )=\delta ^{-2}\textbf{1}_{D(0,\delta )}(\zeta )\) and define
As \(\delta \rightarrow 0\) we have that \(I_{Q_N}[{\varphi }_{\delta ,N}]\rightarrow I_{Q_N}[\sigma _{Q_N}]=\gamma (Q_N)\) (see remark in [12, Appendix A]).
Thus letting \(\delta \rightarrow 0\) the right hand side in (2.9) converges to
Since \(\gamma (Q_N)\uparrow \gamma (V)\) as \(N\rightarrow \infty \) (cf. [51, Theorem I.6.2]), we see that (2.10) can be estimated from below by \(-\beta \gamma (V)+o(1)\), due to the assumptions (2.8). \(\square \)
3 Generalities about the determinantal case
Let \((Q_N)\) be any sequence of potentials satisfying the conditions in Sect. 2.1, and set \(\beta =1\).
We shall adapt to the present setting some basic techniques from the paper [14] pertaining to weighted polynomials, Ward’s equation, and so forth. The adaptations are straightforward, and we shall be correspondingly brief.
Recall that the \(\beta =1\) process is determinantal, i.e., the intensity k-point functions of \(\{\zeta _j\}_1^N\) can be represented as determinants \(\textbf{R}_{N,k}(\eta _1,\ldots ,\eta _k)=\det ({\textbf{K}}_N(\eta _i,\eta _j))_{k\times k}\), where \({\textbf{K}}_N\) is a correlation kernel.
Indeed, as is well-known, we can take \({\textbf{K}}_N\) to be the reproducing kernel of the subspace \({\mathcal W}_N\) of \(L^2=L^2(\mathbb {C},dA)\) consisting of all weighted polynomials \(f=q\cdot e^{-NQ_N/2}\), where q is a holomorphic polynomial of degree at most \(N-1\) (see e.g., [51, Section IV.7].). This canonical correlation kernel is used without exception below; note in particular that \(\textbf{R}_N(\zeta )={\textbf{K}}_N(\zeta ,\zeta ).\)
3.1 Auxiliary estimates
We now record a few basic estimates for weighted polynomials, which are proved using standard techniques, e.g., in [14, Section 3]. We begin with the following pointwise-\(L^2\) estimate.
Lemma 3.1
Let \(f=q\cdot e^{-NQ_N/2}\in {\mathcal W}_N\) and fix a point \(\zeta _0\) at which \(\Delta Q_N(\zeta _0)>0\). Suppose that there exists a constant \(C_0=C_0(\zeta _0)\) such that
Then there exists a constant \(C=C(C_0)\) such that
Moreover (with the same C) \(\textbf{R}_N(\zeta _0)\le CN\Delta Q_N(\zeta _0).\)
Proof
Consider the function \(F(\zeta )=|f(\zeta )|^2e^{NC_0\Delta Q_N(\zeta _0)|\zeta -\zeta _0|^2}\). By hypothesis, F is logarithmically subharmonic in the disc \(D(\zeta _0,\tfrac{1}{\sqrt{N\Delta Q_N(\zeta _0)}})\) since
An application of the sub-mean inequality gives
which proves (3.2) with \(C=e^{C_0}\).
To verify the last statement, we consider the weighted polynomial \(f(\zeta )=\tfrac{{\textbf{K}}_N(\zeta ,\zeta _0)}{\sqrt{{\textbf{K}}_N(\zeta _0,\zeta _0)}}\), which satisfies \(|f(\zeta _0)|^2=\textbf{R}_N(\zeta _0)\). Applying (3.2) to this f, observing that \(\int _\mathbb {C}|f|^2=1\), we immediately obtain the inequality \(\textbf{R}_N(\zeta _0)\le CN\Delta Q_N(\zeta _0)\). \(\square \)
It is convenient to prove a stronger form of Lemma 3.1, which incorporates the decay of \(\textbf{R}_N\) outside of the droplet \(S_{Q_N}\). For this, we recall some standard potential theoretic notions.
Given an external potential W, we define the obstacle function \(\check{W}(\zeta )\) as the supremum of \(s(\zeta )\) where s runs through the set of subharmonic functions on \(\mathbb {C}\) which satisfy \(s\le W\) everywhere and \(s(\zeta )\le \log |\zeta |^2+O(1)\) as \(\zeta \rightarrow \infty \). The coincidence set \(S_W^*=\{W=\check{W}\}\) contains the droplet \(S_W\), but may in general be slightly larger (see [51, p.144]). The obstacle function \(\check{W}\) is harmonic in the complement of the droplet \(S_W\) and is \(C^{1,1}\)-smooth on \(\mathbb {C}\), see [51].
Lemma 3.2
If \(f\in {\mathcal W}_N\) and \(|f|\le C\) on \(S_{Q_N}\), then \(|f|\le Ce^{-N(Q_N-\check{Q}_N)/2}\) on \(\mathbb {C}\).
Proof
This is a standard fact (e.g., [51]) but it is easy enough to recall a proof. We can assume that \(C=1\). Writing \(f=q\cdot e^{-NQ_N/2}\) where q has degree at most \(N-1\), we consider the subharmonic function \(s=\tfrac{1}{N} \log |q(\zeta )|^2\) which satisfies \(s(\zeta )\le \log |\zeta |^2+O(1)\) as \(\zeta \rightarrow \infty \). Since \(|f|\le 1\) on \(\mathbb {C}\) we see that \(s(\zeta )=\tfrac{1}{N}\log |f(\zeta )|^2+Q_N(\zeta )\le Q_N(\zeta )\) on \(\mathbb {C}\). A suitable version of the maximum principle shows that \(s\le \check{Q}_N\) on \(\mathbb {C}\), finishing the proof of the lemma. \(\square \)
Lemma 3.3
Suppose in addition to (3.1) that there is a constant \(C_1\) such that \(\Delta Q_N\le C_1N\) on \(S_{Q_N}\). Then there is a constant C such that, for all \(\zeta \) in a neighbourhood of the droplet, \(\textbf{R}_N(\zeta )\le CN^2e^{-N(Q_N-\check{Q}_N)(\zeta )}.\)
Proof
Fix a point \(\zeta _1\) in a neighbourhood of the droplet, and take \(f(\zeta )=\tfrac{{\textbf{K}}_N(\zeta ,\zeta _1)}{\sqrt{{\textbf{K}}_N(\zeta _1,\zeta _1)}}\). Next fix \(\zeta _0\in S_{Q_N}\) and use (3.2) to conclude that \(|f(\zeta _0)|^2\le CC_1N^2\int _\mathbb {C}|f|^2\, dA=CC_1N^2.\) Since \(\zeta _0\in S_{Q_N}\) was arbitrary, Lemma 3.2 shows that \(|f(\zeta )|^2\le CC_1N^2e^{-N(Q_N-\check{Q}_N)(\zeta )}\).
Taking \(\zeta =\zeta _1\) we find that \(\textbf{R}_N(\zeta )={\textbf{K}}_N(\zeta ,\zeta )\le CC_1N^2e^{-N(Q_N-\check{Q}_N)(\zeta )}\), as desired. \(\square \)
Remark
We stress that the conditions of Lemma 3.3 holds for AGUE (since \(\Delta Q_N\) is then essentially a constant multiple of N), but not for ALUE.
Lemma 3.4
Suppose that the conditions of Lemma 3.3 are satisfied. Then the cross-sections \(c_N(p)=\tfrac{1}{N}\int _\mathbb {R}\textbf{R}_N(p+i\eta )\, d\eta \) are uniformly bounded on \(\mathbb {R}\).
Proof
Write \(d_N(\zeta )={\text {dist}}(\zeta ,S_{Q_N})\). By Taylor’s formula,
for all \(\zeta \) close enough to the droplet, see e.g., [12, Section 2]. By assumption we have \(M_N\ge mN\) for some \(m>0\), so there is a constant C such that
By Theorem 2.1, the droplet \(S_{Q_N}\) is contained in a strip \(|\eta |\le \tfrac{A}{N}\), so the right hand side in (3.4) can be estimated by \(C(2A+2\int _0^\infty e^{-my^2}\, dy)<\infty .\) \(\square \)
3.2 Rescaling in the bulk
Now fix a point \(p_*\in \mathbb {R}\) with \(\sigma _V(p_*)>0\), where as always \(V=\lim Q_N\).
We admit potentials such that \(\Delta Q_N\) has singularities (such as for ALUE), but we assume that each \(\Delta Q_N\) is finite at the point \(p_*\) and that there are positive constants \(c_1\) and \(c_2\) (with \(c_2\) possibly depending on \(p_*\)) such that \(c_1N\le \Delta Q_N(\zeta )\le c_2 N\) for all \(\zeta \in D(p_*,\tfrac{1}{\sqrt{N\Delta Q_N(p_*)}})\) and all large N.
We then rescale by the blow-up map \(\Gamma _N\) in (1.6), i.e., we rescale the system \(\{\zeta _j\}_1^N\) by magnifying distances by the factor \({\scriptstyle \sqrt{N\Delta Q_N(p_*)}}\), about the origin \(p_*\). The resulting process is denoted \(\{z_j\}_1^N\) and we write \(R_N\) for its 1-point intensity.
It is easy to see that the rescaled process \(\{z_j\}_1^N\) is determinantal as well, with (canonical) correlation kernel
The following lemma is a slight modification of [14, Theorem 1.1]. A proof can be accomplished by arguments from [14, Section 3] (with “\(Q_N\)” in lieu of “Q”). We omit repeating those details here, but merely point out that the local boundedness in Lemma 3.1 is sufficient for the normal families argument in [14, Section 3] to carry through.
Lemma 3.5
(“Structure of limiting kernels”) Under the above conditions, there exists a sequence \(c_N\) of cocycles such that each subsequence of the kernels \(c_NK_N\) has a further subsequence which converges locally uniformly to a Hermitian kernel K of the form \(K(z,w)=G(z,w)\cdot L(z,w),\) where L is a Hermitian-entire function and G is the Ginibre kernel (1.19).
Here we have used the following notation (cf. [14]). A continuous function f(z, w) is called Hermitian if \(f(z,w)=\overline{f(w,z)}\). If f is also analytic (or entire) in z and \(\bar{w}\), then f is called Hermitian-analytic (or Hermitian-entire). A Hermitian function of the form \(f(z,w)=g(z)\overline{g(w)}\), where g is continuous and unimodular, is said to be a cocycle.
By the convergence in Lemma 3.5 it follows that each limiting kernel K appearing in Lemma 3.5 is the correlation kernel of a unique determinantal point field \(\{z_j\}_1^\infty \). In order to determine K it clearly suffices to determine the limiting 1-point function \(R(z)=L(z,z)\), for then L is determined by R via polarization, and so \(K=LG\) is also determined.
In what follows the subsequential limits \(R=\lim R_{N_k}\) play a fundamental role. We refer to such limits as limiting 1-point functions about \(p_*\).
Now recall our assumption that the limit \(\rho (p_*)\) in (1.7) exists, i.e., we assume that \(\tfrac{1}{\sqrt{N\Delta Q_N(p_*)}}=\sqrt{\tfrac{N}{\Delta Q_N(p_*)}}\cdot \tfrac{1}{N}=\tfrac{\rho (p_*)}{N}\cdot (1+o(1))\) as \(N\rightarrow \infty \).
We immediately obtain the following rescaled version of the pointwise cross-section convergence.
Lemma 3.6
If the cross-section \(c_N(p_*)\) converges to \(\pi \cdot \sigma _V(p_*)\), then for each limiting 1-point function R at \(p_*\) and each \(x\in \mathbb {R}\),
Given a limiting kernel K, we define the Berezin kernel B via \(B(z,w)=\tfrac{|K(z,w)|^2}{R(z)}\) and we put \(C(z)=\int _\mathbb {C}\tfrac{B(z,w)}{z-w}\, dA(w).\)
Theorem 3.7
Suppose that \((Q_N)\) is an admissible sequence satisfying the cross-section convergence. Fix \(p_*\in \mathbb {R}\) where \(\sigma _V(p_*)>0\) and \(\rho (p_*)>0\) and rescale as above. Then each limiting 1-point function \(R=\lim R_{N_k}\) is nontrivial, i.e., \(R>0\) everywhere on \(\mathbb {C}\). Furthermore, R gives rise to a solution to Ward’s equation \(\bar{\partial }C(z)=R(z)-1-\Delta \log R(z).\)
Proof
The proof again follows by appealing to general results from [14]. Indeed, it follows from Lemma 3.6 that a limiting 1-point function R cannot vanish identically. Then in fact \(R>0\) everywhere and Ward’s equation holds in view of the zero-one law in [14, Theorem 1.3]. \(\square \)
3.3 Characterization of translation invariant scaling limit
We now come to the important realization that the cross-section convergence uniquely determines a limiting 1-point function R, provided that the latter can be shown to be translation invariant. Indeed, this now follows in a straightforward way by appealing to the theory for Ward’s equation in [14].
Similar as in [14], we shall say a limiting 1-point function R in Lemma 3.5 is (horizontal) translation invariant if \(R(z+t)=R(z)\) for all \(t\in \mathbb {R}\).
Theorem 3.8
Keep the assumptions of Theorem 3.7. Then each translation invariant limiting 1-point function R at \(p_*\) is of the form
Proof
The formula (3.5) (for some \(a>0\)) follows immediately from the characterization of translation invariant solutions to Ward’s equation in [14, Theorem 1.6]. Moreover, Lemma 3.6 fixes the value of a in (3.5). \(\square \)
3.4 Universality of almost-circular ensembles
The theory mainly described in the almost-Hermitian setup so far applies to the almost-circular setup as well.
Proof of Theorem 1.9
Since \(Q_N\) is radially symmetric, the limiting empirical distribution is uniform on the unit circle. Furthermore, by (1.38) and (1.39), we have
This in particular gives rises to the rescaled version of the pointwise cross-section convergence
Moreover, since \(Q_N\) is radially symmetric, it is easy to show the translation invariance, see e.g., [14, Subsection 6.4]. Now Theorem 3.8 completes the proof. \(\square \)
4 Pointwise convergence of cross-sections
In this section we prove Theorem 1.3 and Theorem 1.6 about pointwise convergence of cross-sections to \(\pi \) times the equilibrium measure \(\sigma _V(p)\).
4.1 Cross-sections for AGUE
Let
and fix numbers \(\delta ,\alpha \) with \(0<\delta<\alpha <2\). Put \(I_{\alpha ,\delta }=\{\xi \in \mathbb {R};\, \delta \le |\xi |\le \alpha \}\).
We shall prove in detail that \(\tfrac{1}{\pi }c_N(p)\rightarrow \sigma _{\textrm{sc}}(p)\) uniformly for \(p\in I_{\alpha ,\delta }\). The pointwise convergence for \(p=0\) may be handled in a similar way, see a remark below.
We first recall that the 1-point function can be written \(\textbf{R}_N(\zeta )=\sum _{j=0}^{N-1}|w_{j}(\zeta )|^2,\) where \(w_{j}=q_{j}\cdot e^{-NQ_N/2}\in {\mathcal W}_N\) is an orthonormal basis of the weighted polynomials subspace \({\mathcal W}_N\) of \(L^2\) (see Sect. 3).
Consider now an arbitrary potential Q of the form \(Q(\xi +i\eta )=a\xi ^2+b\eta ^2\) where a and b are positive constants.
The following orthonormal polynomials in weight \(e^{-NQ_N/2}\) are found in [23],
where \(H_j\) is the jth Hermite polynomial, \(H_j(z)=(-1)^j e^{z^2} \tfrac{d^j}{dz^j}e^{-z^2}.\)
In other words, the 1-point function in potential \(Q=a\xi ^2+b\eta ^2\) is given by
We have the following lemma (see [45, Proposition 2.3] for a related statement.).
Lemma 4.1
With \(x={\text {Re}}z\) and \(F_N\) as in (4.1), we have
Proof
We apply two standard facts for Hermite polynomials, namely the three-term recursion \(H_{j+1}(z)=2z H_j(z)-H'_j(z)\) and the identity \(H'_j(z)=2jH_{j-1}(z)\). These lead to
Using once more the three-term recursion, the last sum is recognized as
Inserting this in (4.2), we obtain after some straightforward manipulations,
The lemma follows from (4.3) by taking real parts and rearranging. \(\square \)
Now consider the cross-section \(c_N\), which we write in the form
Fix a point \(\xi \in I_{\alpha ,\delta }\).
By (4.1) with \(a=\tfrac{1}{2}\) and \(b=\tfrac{1}{2} \tfrac{N}{c^2}\) we have
Applying Lemma 4.1, we obtain after some straightforward computations
Thus we have asymptotically, as \(N\rightarrow \infty \),
We now apply the inequality (A.6) in (4.6), which gives that there are constants \(C=C(\alpha ,\delta )\) and \(k=k(\alpha ,\delta )\) such that whenever \(\xi \in I_{\alpha ,\delta }\),
Using this and differentiating with respect to \(\xi \) in (4.4) we find that the derivative \(c_N'\) satisfies
with a new constant \(C_1=C_1(\alpha ,\delta ,c)\). This proves equicontinuity of the functions \(c_N\) on \(I_{\alpha ,\delta }\).
Since the functions \(c_N\) are also uniformly bounded (Lemma 3.4) we can apply the Arzela-Ascoli theorem and conclude that each subsequence of the functions \(c_N\) has a further subsequence which converges uniformly on \(I_{\alpha ,\delta }\) to a limit \(c(\xi )\). In view of Theorem 2.2, we must then have \(c=\pi \cdot \sigma _V\) on the interval \(I_{\alpha ,\delta }\) where \(\sigma _V\) is the equilibrium measure in potential \(V(\xi )=\tfrac{1}{2} \xi ^2\), i.e., \(\sigma _V=\sigma _{\textrm{sc}}\) is Wigner’s semi-circle law. We have thus shown locally uniform convergence \(c_N(\xi )\rightarrow \pi \sigma _V(\xi )\) for \(\xi \in (-2,2)\setminus \{0\}\). It is not hard to obtain convergence also at \(\xi =0\), by using the Mehler-Heine formulas in (A.2). This detail may be left to the reader. Our proof of Theorem 1.3 is thereby complete. \(\square \)
4.2 Cross-sections for ALUE
We now prove Theorem 1.6 on the cross-sections of the ALUE. To this end we fix a real number \(c>0\) and a non-negative integer \(\nu \) and take
where we abbreviate
Let us fix a small \(\alpha >0\) and put \(I_\alpha =[\alpha ,4-\alpha ]\). We must prove that the cross-sections \(c_N(\xi )\) converge uniformly on \(I_\alpha \) to \(\pi \cdot \sigma _{\textrm{MP}}(\xi )=\tfrac{1}{2\xi }\sqrt{\xi (4-\xi )}\).
For this purpose, we first recall from [2, 3, 49] that the jth orthonormal polynomial \(q_j\) in weight \(e^{-NQ_N/2}\) can be expressed in terms of the Laguerre polynomial \(L_j^\nu (z)=\tfrac{z^{-\nu } e^z }{j!} \tfrac{d^j}{dz^j} ( e^{-z} z^{j+\nu } )\) via
where \(C_N=\sqrt{a N} ( \tfrac{a^2-b^2}{2a}N )^{\frac{\nu +1}{2}}\).
Hence if we introduce the function
then the 1-point function in external potential \(Q_N\) becomes
Now pick \(\xi \) in the interval \(I_\alpha =[\alpha ,4-\alpha ]\), and put
Using (1.26) and (1.24), it follows from (4.11) that
where we have used
We next use a summation identity found in [24, (10.12.42)] to write
As a consequence, we can write, in turn:
Observing that \(|N\zeta |^{2k}=(N\xi )^{2k} (1+(\tfrac{y}{N\xi })^2)^k\) and integrating in y, we find for \(\xi \in I_\alpha \)
We pause to evaluate the integral J(N, k).
Lemma 4.2
\(J(N,k)=c\cdot \sqrt{2\pi \,\xi }\cdot k! \, \left( \tfrac{-2c^2}{N^2\xi }\right) ^k \, L_k^{-k-1/2}\left( \tfrac{N^2\xi }{2c^2} \right) .\)
Proof
We shall use the following integral representation of the confluent Hypergeometric function U(a, b, z) found in [50, (13.4.4)]
By a change of variable and using \(\Gamma (\tfrac{1}{2})=\sqrt{\pi }\), this leads to
For the last identity, we also use the well-known (Kummer’s) transformation
see [50, (13.2.29)]. We finish the proof of the lemma by use of the functional relation \( U(-n,\nu +1,z)=(-1)^n \, n! \, L_n^\nu (z) \) found in [50, (13.6.9)]. \(\square \)
We next use the closed form of Laguerre polynomial in [55, Chapter V],
to infer that \(J(N,k)=c\cdot \sqrt{2\pi \,\xi }\cdot (1+O(\tfrac{1}{N^2})).\) Inserting this in (4.13), we arrive at
where we used (4.12) with \(z=N\xi \) to obtain the last equality.
On the other hand, we shall verify that
To prove (4.15), we use the classical Christoffel-Darboux formula
together with differentiation rule \(\tfrac{d}{dx} L_j^\nu (x)=-L_{j-1}^{\nu +1}(x)\) to obtain
Next we apply the following Plancherel-Rotach type formula from [28, Section III]: for \(x=4nX\) with \(\frac{\varepsilon }{n} \le X <1\) and fixed m,
where
Using (4.16), we obtain that
where \(X=\frac{\xi }{4}\). Hence, using an elementary trigonometric reduction formula, we infer that
This gives that the convergence (4.15) holds locally uniformly for \(\xi \in (0,4)\). (We refer to [34, Propoistion 1] or [27, Subsection 7.2.3] for further expansion of (4.15) up to order \(O(1/N^2).\))
Combining (4.14) and (4.15), using that \(\tau =a/b \rightarrow 1\) as \(N \rightarrow \infty \), it follows that \( c_N(\xi ) \rightarrow \pi \cdot \sigma _{\textrm{MP}}(\xi )\) for all \(\xi \in I_\alpha .\) This finishes our proof for Theorem 1.6. \(\square \)
5 Bulk scaling limits
In this section we obtain bulk scaling limits for the almost-Hermitian GUE and LUE, i.e., we prove Theorem 1.4 and Theorem 1.7, respectively.
5.1 Bulk scaling limits for AGUE
We now prove Theorem 1.4. To this end, recall that \(Q_N(\zeta )=\tfrac{1}{2} \xi ^2+\tfrac{1}{2}\tfrac{N}{c^2}\eta ^2\). We also fix a small parameter \(\alpha \), \(0<\alpha <2\) and write \(I_\alpha =\left[ -2+\alpha ,2-\alpha \right] \). Finally we fix a point \(p_*\in I_\alpha \).
Let \(R=\lim R_{N_k}\) be a limiting rescaled 1-point function about \(p_*\) (guaranteed to exist by Lemma 3.5). By Theorem 3.8 it suffices to prove that R is horizontal translation invariant, for then R will be given by the explicit form in (3.5).
Next recall that \(R_N(z)=\tfrac{1}{N\Delta Q_N}\textbf{R}_N(\zeta )\), where \(z={\scriptstyle \sqrt{N\Delta Q_N}}\cdot (\zeta -p_*)\), i.e.,
Thus using (4.1) and Lemma 4.1 (with \(a=\tfrac{1}{2}\), \(b=\tfrac{1}{2} \tfrac{N}{c^2}\), \(\tau =\tfrac{b-a}{b+a}\)) we obtain after some elementary manipulations,
where we write
here, the second line follows from \(\tau ^N=e^{-2c^2}+O(N^{-1})\).
Now fix a large number M. Applying the Plancherel-Rotach asymptotic in Lemma A.1, we obtain for all w with \(|w|\le M\) and all \(p_*\in I_\alpha \) that
where the O(1) constant depends on M and \(\alpha \). Inserting this in (5.2) we obtain, for z in a given compact subset of \(\mathbb {C}\), that \(|\tfrac{{\partial }R_N}{{\partial }x}(z)|= O(N^{-1})\) as \(N\rightarrow \infty \). To be more precise, it follows from
Letting \(N_k\rightarrow \infty \) we conclude the desired horizontal translation invariance. \(\square \)
5.2 Bulk scaling limit for ALUE
We now prove Theorem 1.7, and begin by recalling that
Again we fix a small \(\alpha >0\) and consider zooming points \(p_*\) in the interval \(I_\alpha =[\alpha ,4-\alpha ]\). It suffices (by Theorem 3.8) to show that each limiting rescaled 1-point function R about \(p_*\) is horizontal translation invariant, i.e., \(\tfrac{{\partial }R}{{\partial }x}=0\).
Recall that \(R=\lim R_{N_k}\) where
By the asymptotic formula in (1.30), z and \(\zeta \) in (5.4) are related as
Moreover, when \(z=x+iy\) remains in a fixed compact set, while \(p_*\in [\alpha ,4-\alpha ]\) for some small \(\alpha >0\), we infer from (1.27) that
Next recall the relation (4.11),
We will invoke an identity found in [3, Lemma 2], which asserts that if \(\nu \) is an integer, then
where \(\gamma _1\) is a simple closed contour encircling \(u=0\) but not \(u=1\), while \(\gamma _2\) encircles both the point \(v=1\) and the entire \(\gamma _1\) in such a way that \(\tau ^2 v-u \not = 0\) on \(\gamma _2\).
Lemma 5.1
With \(x={\text {Re}}z\) and \(U_N\) as in (5.9), we have
Proof
By a straightforward computation,
Differentiating under the integral sign, we obtain that
We now recall an integral representation for Laguerre polynomials, found for example in [3, Section III],
where the contour \(\gamma \) encircles the origin \(s = 0\) but not the essential singularity at \(s=1\). The identity (5.10) immediately implies
On the other hand the change of variable \(v=1/w\) gives
Combining all of the above, we obtain the lemma. \(\square \)
Combining the identities (5.5) through (5.8) and using (1.30), we see that
For the last equality, we also used \(\tau ^{2N}=e^{-2c^2} (1+o(1))\) and (5.6).
Therefore it remains to show that \(\tfrac{{\partial }}{{\partial }x} U_N( \tfrac{a^2-b^2}{2b}N\,\zeta (x+iy) )\rightarrow 0\) as \(N\rightarrow \infty \), where \(\zeta (z)\) is the map (5.5).
However, by Lemma 5.1 (and since \(\tfrac{a^2-b^2}{2b}=1+O(N^{-1})\)), we have
where the constant \(C=(2\pi )^2(-1)^{\nu +1}2c\sqrt{p_*}\) is independent of N. By (5.5), we have for \(p_*\in \left[ \alpha ,4-\alpha \right] \)
When \(p_*\in \left[ \alpha ,4-\alpha \right] \) and z remains in a compact subset of \(\mathbb {C}\), we now apply the Plancherel-Rotach asymptotic in Lemma B.2 to conclude that as \(N\rightarrow \infty \)
which together with (5.12) shows that
We have shown that each subsequential limit \(R=\lim R_{N_k}\) obeys \(\tfrac{{\partial }R}{{\partial }x}=0\). \(\square \)
6 Edge scaling limits
In this section we study edge scaling limits for the almost-Hermitian GUE and LUE, and we prove Theorem 1.5 and Theorem 1.8, respectively.
6.1 Edge scaling limit for AGUE
We now prove Theorem 1.5. We shall now give a somewhat simplified proof (with respect to earlier proofs in [3, 19]) by using the summation formula in (5.1).
Consider the modified ellipse potential \(Q_N=\tfrac{1}{2}\xi ^2+\tfrac{1}{2}\tfrac{N^{\frac{1}{3}}}{c^2}\eta ^2.\) Recall that the right end-point \(p_N\) of the droplet \(S_{Q_N}\) is
We rescale about \(p_N\) by setting
i.e.,
Making use of the formula (4.1) we see that
where
By (6.2) and (6.1) and an elementary computation,
Write \(z=x+iy\). Then again by (6.2) and (6.1), we have
Inserting (6.3) into the identity (5.1), we have
Note that by (6.5), we have
where we used that \(\log \tau ^N = -2 c^2 N^{\frac{2}{3}} - \tfrac{2}{3} c^6+O(N^{-\frac{2}{3}}).\)
We now invoke the critical Plancherel-Rotach estimate in [55, Theorem 8.22.9 (c)]:
Applying (6.4), we now obtain
For the last equality we used that
Combining (6.6), (6.7) and (6.8), we obtain that
where o(1)-term holds uniformly on compact subsets of \(\mathbb {C}\).
Let \(R=\lim R_{N_k}\) be a limiting 1-point function. We shall prove that for all \(y\in \mathbb {R}\),
To verify this, we note that the modified potential \(Q_N\) satisfies \(\Delta Q_N\asymp N^{\frac{1}{3}}\). The modified counterpart to Lemma 3.3 is thus that \(\textbf{R}_N(\zeta )\le CN^{\frac{4}{3}}e^{-N(Q_N-\check{Q}_N)(\zeta )}\). Combining this with the estimate (3.3) with \(M_N\asymp N^{\frac{1}{3}}\) in the present case, we obtain (6.10).
Using the asymptotic formula (1.23), we obtain
Therefore, using (6.9) and (6.10), an integration with respect to x gives that
Our proof of Theorem 1.5 is complete. \(\square \)
6.2 Edge scaling limit for ALUE
We now prove Theorem 1.8 and recall that
Also let \(V=\lim Q_N\) be the Marchenko–Pastur potential in (1.28).
We now rescale about the origin. It follows from the formula (4.11) that the rescaled 1-point function
is given by
where we remind that
Note that since \( e^{-NQ_N(\zeta )}=K_\nu (|z|)\cdot (\tfrac{c}{N})^{2\nu }\,|z|^\nu e^{ (1-\frac{c^2}{N})\,{\text {Re}}z }, \) we have
For a fixed parameter \(t \in (0,1)\), we will now estimate the contribution of terms
as \(j,N\rightarrow \infty \) with \(\tfrac{j}{N}=t\). For this we note that
Therefore we obtain that, on replacing \(\tfrac{j}{N}\) by t,
Inserting (6.12),(6.13) into (6.11), we have
We now apply the formula
found in [55, Theorem 8.1.3]. This leads to
Recognizing the right hand side a Riemann sum, we conclude that
which completes our proof of Theorem 1.8. \(\square \)
Remark
Consider the 1-point function R in Theorem 1.8, namely
Arguing as in [17, Section 3], one can prove that R satisfies a Ward equation of the form
Following the method in [17], it can be shown that in the limit as \(c\rightarrow \infty \), i.e., the function \(R_{(c=\infty )}(z)=\tfrac{1}{2} K_\nu (|z|)I_\nu (|z|)\) is the unique radially symmetric solution to (6.17), which also satisfies the mass-one condition \(\int _\mathbb {C}B(z,w)\,dA(w)=1\). We skip giving a detailed proof, but we remark that in the special cases when \(\nu \in \{ \pm \tfrac{1}{2}\}\), this result is shown in [17], and that the general case can be treated in a similar way.
7 Chiral ensembles
In this section, we compare our results for the ALUE to related ensembles which arise for example in connection with quantum chromodynamics with a chemical potential (QCD).
7.1 Ensembles with d-interaction
Let us fix an integer \(d\ge 1\) which we call the interaction parameter. We associate to a configuration \(\{\zeta _j\}_1^N\) the d-energy with respect to an external potential \(Q_N\) as
Given an inverse temperature \(\beta >0\), we define a corresponding Boltzmann-Gibbs measure by
Let \(\{\zeta _j\}_1^N\) denote a random sample with respect to (7.2) where \(\beta =1\). It is easy to see that the process is determinantal, and that a correlation kernel \({\textbf{K}}_N\) may be taken as the reproducing kernel for the subspace \({\mathcal W}_{N,d}\) of \(L^2=L^2(dA)\) spanned by the weighted monomials
Below we write \(\textbf{R}_N(\zeta )={\textbf{K}}_N(\zeta ,\zeta )\) for the 1-point function of \(\{\zeta _j\}_1^N\).
Note that due to the form of the logarithmic interaction in (7.1) a particle \(\zeta _j\) will simultaneously repel d symmetrically distributed positions \(\zeta _j \cdot e^{\frac{2\pi ik}{d}}\) for \(k=0,1,\ldots ,d-1.\)
Example
(“d-Ginibre ensemble”) Suppose that \(Q_N(\zeta )=|\zeta |^2\) for all N. It is easy to see that the process \(\{\zeta _j\}_1^N\) is determinantal with a correlation kernel of the form
To illustrate the \(\mathbb {Z}_d\)-symmetry of this ensemble, we consider the Berezin kernel \({\textbf{B}}_N(\zeta ,\eta )=\tfrac{|{\textbf{K}}_N(\zeta ,\eta )|^2}{{\textbf{K}}_N(\zeta ,\zeta )}.\)
This kernel measures the repelling effect of insertion of a point charge at \(\zeta \), more precisely we have \({\textbf{B}}_N(\zeta ,\eta )=\textbf{R}_{N}(\eta )-\textbf{R}_{N-1}^{(\zeta )}(\eta ),\) where \(\textbf{R}_{N-1}^{(\zeta )}\) is the 1-point function for the \((N-1)\)-point process which is “\(\{\zeta _j\}_1^N\) conditioned on the event \(\zeta \in \{\zeta _j\}_1^N\)”, see [13, Subsection 7.6].
Figure 8 illustrates the effect of insertion of a charge at various points \(\zeta \) in the chiral case \(d=2\).
7.2 Chiral almost-Hermitian LUE-type ensembles
Now fix an integer \(d\ge 1\) and consider the d-interacting ensemble \(\{\zeta _j\}_1^N\) associated with the potential
I.e., we let \(\{\zeta _j\}_1^N\) be random sample from the measure (7.2). Note that when \(d=1\), we recover the eigenvalue statistics of the almost-Hermitian LUE discussed earlier. For \(d=2\) we recover the eigenvalue statistics of Dirac matrices, which is relevant for QCD theory. See [49] as well as [27, Section 15.11] with references.
In general, using the evident relation between \(Q_{N,d}(\zeta )\) and \(Q_{N,1}(\zeta ^d)\), it is not hard to see that the system \(\{\zeta _j\}_1^N\) will tend to occupy the d-droplet \(S_d\) where \(S_d=\{\zeta \,;\, \zeta ^d\in S\}\), S being the droplet associated with \(d=1\), given in (1.25). Figure 9 shows such droplets for \(d\in \{1,2,3\}\).
We rescale the process \(\{\zeta _j\}_1^N\) about the origin via
and denote by \(R_N(\zeta )=(\tfrac{c}{N})^{\frac{4}{d}}\textbf{R}_N(\zeta )\) the 1-point function of the system \(\{z_j\}_1^N\), where \(z=(\tfrac{N}{c})^{\frac{2}{d}}\zeta \).
(The rescaling order \(N^{\frac{2}{d}}\) is chosen according to the mean sample spacing, which follows the density \(d^{-1}\Delta Q_N\) near the origin.)
With a slight modification of our proof of Theorem 1.8 (i.e., by a similar argument as used in [49]) one can obtain the following result.
Theorem 7.1
We have \(R_N \rightarrow R\) uniformly on compact subsets of \(\mathbb {C}\), where
We now show that for \(d=2\) and \(\nu \in \{\pm \tfrac{1}{2}\}\), the process in (7.4) interpolates between known point fields, namely between (1-dimensional) anti-symmetric sine-processes and (2-dimensional) Mittag-Leffler fields.
To this end, we first note that passing to the limit as \(c \rightarrow \infty \) in (7.4), we obtain the limiting 1-point function
To obtain a 1-dimensional perspective, we rescale once more. Given the limiting point-field \(\{z_j\}_1^\infty \), we pass to the system \(\{\tilde{z}_j\}_{j=1}^\infty \) where \(\tilde{z}_j=c^2 z_j\). The corresponding 1-point functions are related via \(\tilde{R}(\tilde{z})=c^{-4} R(c^{-2} \tilde{z})\).
In the limit as \(c\rightarrow 0\), the functions \(\tilde{R}_{(c)}\) converges to a limit \(\tilde{R}_{(c=0)}\) which vanishes on \(\mathbb {C}{\setminus } ( \cup _{k=0}^{d-1} \,e^{\frac{2\pi i k}{d}} \cdot \mathbb {R}_+)\) and is for any integer k given on the ray \(e^{\frac{2\pi i k}{d}} \cdot \mathbb {R}_+\) by
In the special cases when when \(d=2\) and \(\nu \in \{ \pm 1/2\}\), the 1-point function in (7.5) becomes
The 1-point functions in (7.7) correspond precisely to the 1-point functions of the degenerate elliptic determinantal point processes with root system C or D found by Katori in [41, Theorem 3.5], and are special cases of Mittag-Leffler fields in [17].
On the other hand, for \(d=2\) and \(\nu \in \{\pm \tfrac{1}{2}\}\), the expression (7.6) reduces to
which corresponds to the anti-symmetric sine point processes in [47, Section 13.1].
8 Further results and concluding remarks
In this section, we give further results and provide some concluding remarks. We shall consider variants of our main model ensembles (generalized ALUE, induced AGUE, hard edge ensembles) and compare with other related works.
8.1 Almost-Hermitian LUE with rectangular parameter
For a non-negative integer \(\nu \) (and \(\beta =1\)), a random sample \(\{\zeta _j\}_1^N\) picked with respect to the ALUE-potential \(Q_N\) in (1.24) can be realized as the eigenvalues of the product matrix \(X=X_1X_2^*\) where
here P and Q are rectangular matrices of size \(N \times (N + \nu )\), with independent, centered, complex Gaussian entries of variance \(\tfrac{1}{4N}\) (see e.g., [4, 40]).
We now fix \(\alpha \ge 0\) and consider the case when \(\nu =\nu _N\) (not necessarily an integer) varies with N as
where \(o(1)\rightarrow 0\) as \(N\rightarrow \infty \). Thus we consider the potential
We shall use the code-notation ALUE\((\alpha )\) to denote a corresponding random sample \(\{\zeta _j\}_1^N\) (and various limits as \(N\rightarrow \infty \)).
By [4, Theorem 1], the droplet \(S_{Q_N}\) is approximately given by the equation
Note in particular that for \(\alpha >0\), the origin is outside of the droplet for large N since \((\alpha +2)^2 > 4(\alpha +1).\) This makes the analysis somewhat easier, with more tools being available.
Also note that \(Q_N\) converges pointwise to the limit
and \(V=+\infty \) off of \([0,\infty )\). Cf. [4, Subsection 3.1].
It is well known (again [4] and references) that the equilibrium density in potential (8.3) is the Marchenko-Pastur law \(\sigma _{\textrm{MP}(\alpha )}\) given by
Now write \(c_N(\xi )=\tfrac{1}{N}\int _{\mathbb {R}}\textbf{R}_N(\xi +i\eta )\,d\eta \) for the usual cross-section. We have the following result, which generalizes Theorem 1.6.
Theorem 8.1
(“Cross-section convergence for ALUE\((\alpha )\)”) We have the convergence \(\tfrac{1}{\pi }c_N \rightarrow \sigma _{\textrm{MP}(\alpha )}\) in the weak sense of measures, as \(N\rightarrow \infty \).
Remark on the proof Our proof in the case \(\alpha =0\) in Sect. 4.2 generalizes without difficulty to the case when \(\alpha > 0\), and in fact we could have treated the general case \(\alpha \ge 0\) at once. Indeed, the j : th orthonormal polynomial \(q_j\) in weight \(e^{-NQ_N/2}\) can be taken as
With minor modifications, these polynomials can be analyzed using similar techniques as in the case \(\alpha =0\). Details are omitted. \(\square \)
Now fix a bulk point \(p_*\) (i.e., \(\lambda _-<p_*<\lambda _+\)). We rescale the process \(\{\zeta _j\}_1^N\) about \(p_*\) as usual (see (1.12)) where \(Q_N\) is given by (8.2), and denote by \(R_N\) the 1-point function of the rescaled system \(\{z_j\}_1^N\). It is easy to see that the limit (1.7) is given by \(\rho (p_*)=2c\sqrt{p_*}\) for all \(\alpha \) (cf. [4, Subsection 3.1] for details).
We have the following generalization of Theorem 1.7.
Theorem 8.2
(“Bulk scaling limit for ALUE\((\alpha )\)”) For any \(\alpha \ge 0\), if \(\lambda _-<p_*<\lambda _+\) and if \(\nu >-1\) is an integer then \(R_N\rightarrow R\) locally uniformly where \(R(z)=F(2{\text {Im}}z)\) and \(F(z)=\gamma *\textbf{1}_{(-2a,2a)}(z)\), \(a=a(p_*)=\frac{\pi }{2}\cdot \rho (p_*)\cdot \sigma _{\textrm{MP}(\alpha )}(p_*)\).
Remark on the proof Our proof in the case \(\alpha =0\) in Sect. 5.2 generalizes in a straightforward way to \(\alpha >0\), using again the form of orthogonal polynomials (8.5). We omit details. \(\square \)
8.2 Induced almost-Hermitian GUE
We now briefly consider the induced AGUE. This is a natural generalization of AGUE introduced in the paper [7], obtained by inserting a point charge (of strength \(2\nu \)) at the origin.
For the definition, we fix \(c>0\) and put
Ne next fix a real number \(\nu >-1/2\) and consider the potential
Let \(\{\zeta _j\}_1^N\) be a random sample with respect to the corresponding Boltzmann-Gibbs measure (1.2) (with \(\beta =1\)) and rescale about the origin via \(z_j={\scriptstyle \sqrt{N\Delta q_N}}\cdot \zeta _j\). Writing \(R_N^{(\nu ,c)}(z)\) for the 1-point function of \(\{z_j\}_1^N\), it is natural to try to characterize limiting 1-point functions \(R^{(\nu ,c)}=\lim _{k\rightarrow \infty }R_{N_k}^{(\nu ,c)}\). It was observed in [7] that when \(\nu \) is an integer, \(R^{(\nu ,c)}\) as well as a correlation kernel \(K^{(\nu ,c)}\), can be obtained from the known case \(\nu =0\) by an inductive procedure. For example, since \(K^{(\nu =0)}\) is nothing but the kernel K from (1.20), we obtain after a brief computation
where we used the interpretation of the Berezin kernel \(B^{(0,c)}(0,z)=\tfrac{ |K^{(0,c)}(0,z)|^2 }{R^{(0,c)}(0)}\) as the difference \(R^{(0,c)}(z)-R^{(1,c)}(z)\), see e.g., [13, Lemma 7.6.2]. A similar reasoning is used in [7] to go from \(\nu =1\) to \(\nu =2\), and this procedure can in principle be repeated to obtain correlation kernels for all positive integers \(\nu \). (We are not aware a result for general real \(\nu \) at this time.)
We now explain how the above kernels \(K^{(\nu ,c)}\) (for integers \(\nu \)) interpolate between known insertion ensembles in dimension one in [22, 43], and in dimension two from the papers [17, 26]. It will suffice to treat the case \(\nu =1\) in detail.
More precisely, let \(V(\xi )\) be the Gaussian potential, \(V(\xi )=\tfrac{1}{2}\xi ^2\) for \(\xi \in \mathbb {R}\) and \(+\infty \) otherwise, and consider the corresponding insertion potential \(V_N(\zeta )=V(\zeta )+\tfrac{2\nu }{N}\log \tfrac{1}{|\zeta |}\).
It is shown in [43, Theorem 1.1] that in the appropriate scaling limit, a microscopic correlation kernel at the origin takes the following form, for \(x,y\in \mathbb {R}\) with \(xy>0\)
On the other hand, taking \(Q_N(\zeta )=|\zeta |^2+\tfrac{2\nu }{N}\log \tfrac{1}{|\zeta |}\) and rescaling in a natural way about the origin, one obtains a point field with correlation kernel
where G is the Ginibre kernel (1.19) and \(\gamma (a,z)\) is the lower incomplete Gamma function. This kernel appears in [26] and in [17], for example.
Sending \(c \rightarrow \infty \) in (8.7) we can recover (8.9), i.e.,
here, we have used \(R^{(0,c)}(z) \rightarrow 1\) as \(c \rightarrow \infty \) and \(erf (x) \rightarrow 1\) as \(x \rightarrow +\infty \).
To pass to the corresponding one-dimensional limit, after an appropriate rescaling, we are led to consider the 1-point function
Write \(\tilde{K}^{(0,c)}\) for a corresponding rescaled correlation kernel, \(\tilde{R}^{(\nu ,c)}(z)=\tilde{K}^{(\nu ,c)}(z,z)\).
By the discussion after the formulation of Theorem 1.4, we can arrange that \(\lim _{c\rightarrow 0}\tilde{K}^{(0,c)}= \pi K^{\textrm{sin}}\). Hence \(\tilde{R}^{(1,c)}(z)\) converges to \(\tilde{R}_\mathbb {R}^{(1)}(x)=\pi K_\mathbb {R}^{(1)}(x,x)\), as \(c\rightarrow 0\) if \(z=x\) is real (and \(\tilde{R}^{(1,c)}(z)\rightarrow 0\) otherwise) where
which is the same as (8.8) when \(\nu =1\).
We have shown that the 1-point function \(R^{(\nu ,c)}\) interpolates between \(R^{(\nu )}_\mathbb {R}\) and \(R^{(\nu )}_\mathbb {C}\) when \(\nu =1\), see Fig. 10. As we indicated, a similar proof works in the case when \(\nu \) is an arbitrary integer.
8.3 Almost-Hermitian hard-edge ensembles
Let \((Q_N)_1^\infty \) be a suitable sequence of potentials, for instance the AGUE-potentials in (1.24), or a more general admissible sequence in the sense of Sect. 2. In particular, the potential \(Q_N\) is real-analytic in a neighbourhood of the boundary \({\partial }S_{Q_N}\).
In the hard edge setting we completely confine the gas to the droplet by redefining the potential \(Q_N\) by setting \(Q_N(\zeta )=+\infty \) when \(\zeta \not \in S_{Q_N}.\) Similarly, we redefine the limiting potential \(V=\lim Q_N\) by setting \(V=+\infty \) outside of \(S_V\). This kind of hard edge ensembles are studied in the papers [14,15,16, 21, 52].
Fix a point \(p_*\) in the bulk, i.e., a point \(p_* \in \mathbb {R}\) satisfying \(\sigma _V(p_*)>0\). We also assume that the limit \(\rho (p_*)\) in (1.7) exists and is strictly positive. We recall that the asymptotic height of the rescaled droplet is then given by the expression \(a(p_*)\) in (1.8), i.e.,
Under these hypothesis we look at the cross-sections
where \(\textbf{R}_N\) is the 1-point function for the hard edge ensemble \(\{\zeta _j\}_1^N\) associated with the redefined potential. (So in particular \(\textbf{R}_N=0\) on \(\mathbb {C}{\setminus } S_{Q_N}\).)
As in the case of “free-boundary ensembles”, we expect that the cross-sections should enjoy the convergence \(\tfrac{1}{\pi }c_N(p_*)\rightarrow \sigma _V(p_*)\), but our above proofs in the cases of AGUE/ALUE, which depend on computations with particular orthogonal polynomials, do not immediately carry over to a hard edge setting. In order not to complicate matters, let us assume for the sake of argument that this limit holds, i.e., that
Given these assumptions, we now rescale about \(p_*\) precisely as in the free-boundary case (see (1.6)) and we write \(R_N\) for the 1-point function of the rescaled system. The structure theorem for limiting kernels (analogue of Lemma 3.5) then takes the following form.
Lemma 8.3
(“Structure of limiting hard edge kernels”) Under the above hypotheses, there exists a sequence \(c_N(z,w)\) of cocycles such that each subsequence of the kernels \(c_NK_N\) has a further subsequence which converges locally uniformly on the set
to a Hermitian kernel of the form \(K(z,w)=G(z,w)\cdot L(z,w)\) where G is the Ginibre kernel and L is a Hermitian-analytic function on \(\Sigma (p_*)\).
Remark on the proof This follows by a simple adaptation of the normal-families argument used in the proof of Lemma 3.5. See [15, Subection 1.9] for related comments. \(\square \)
By the lemma, we can form limiting 1-point functions \(R(z)=\lim R_{N_k}(z)\) which are smooth in the strip \(|{\text {Im}}z|<a(p_*)\) and satisfy \(R(z)=0\) when \(|{\text {Im}}z|>a(p_*)\). Since R is not identically zero by the assumption (8.10), we can assert that \(R>0\) throughout the strip, and that Ward’s equation
holds if we understand C(z) as the function
Note that (8.11) gives a hard edge analogue of Corollary 3.7. The proof in the hard edge case works basically the same way as in the free boundary case, again see [15, Subection 1.9].
Now recall the function \(F=\gamma *\textbf{1}_{(-2a,2a)}\) appearing in the free boundary case (Theorem 1.4), i.e.,
We can now state the following theorem.
Theorem 8.4
Under the above assumptions (in particular we assume that the cross-section convergence (8.10) holds), each translation invariant limiting 1-point function R at \(p_*\) is of the form
where \(a=a(p_*)\) is given in (1.8).
Proof
We appeal to the characterization of translation invariant solutions to the hard edge Ward equation (8.11) found in [15, Theorem 6], which gives that each translation invariant R must be given by the formula (8.12) for some \(a>0\). Then the rescaled version of the cross-section convergence (8.10) fixes the value of a as \(a(p_*)\). \(\square \)
The assumptions (cross-section convergence and translation invariance) may in general be subtle to check, even in the simplest model cases such as for hard edge AGUE. We shall not dwell on this matter here (it will be the topic of a forthcoming study), but we remark that Theorem 8.4 yields further support for the conjecture in [15] that the parameter-value \(a=a(p_*)\) should yield the correct “physical” solution to Ward’s equation in a strip.
See Fig. 11 for the 1-point density R in (8.12) for a few values of c.
8.4 Further related works
Beyond the topics we study in this work, there have been several investigations on almost-Hermitian regime in various contexts. In [6], a fixed-trace version of AGUE is studied, which brings about some new challenges since this ensemble is not determinantal. The paper [38] studies the interpolation problem between the Tracy-Widom and Gumbel distributions. An almost-Hermitian analogue of the Jacobi unitary ensemble was recently discovered in [48]. The bulk statistics for almost-Hermitian Gaussian ensembles in orthogonal and symplectic symmetry classes are found in [29] and [39] respectively, and edge statistics is studied in [8]. Analogous problems for Laguerre ensembles are investigated in [2, 10]. These works, which construct \(2\times 2\) matrix-valued kernels of Pfaffian point processes, use explicit computations with skew-orthogonal polynomials.
We also want to mention the paper [30], where a different kind of almost-Hermitian model is introduced, motivated by applications to resonance statistics in quantum chaotic scattering. This model is non-determinantal, but in [30] it is argued that one can still define determinantal universality limits given by certain explicit kernels. Some rigorous results in this direction were obtained by Kozhan in [42]. (We thank Yan Fyodorov for this remark.)
We finally want to mention that in dimensions 1 and 2, various microscopic limits in the determinantal case \(\beta =2\) have been used to extract information about other \(\beta \)-ensembles, and specifically, they were used to study “freezing transitions”, which occur for large \(\beta \), in [18, 46] and the references there. As far as we are aware, a rigorous analysis for almost Hermitian \(\beta \)-ensembles, relying on properties of various explicit kernels found above, has not yet been carried out, and could potentially be quite interesting.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Akemann, G.: Microscopic correlation functions for the QCD Dirac operator with chemical potential. Phys. Rev. Lett. 89(7), 072002 (2002)
Akemann, G.: The complex Laguerre symplectic ensemble of non-Hermitian matrices. Nuclear Phys. B 730(3), 253–299 (2005)
Akemann, G., Bender, M.: Interpolation between Airy and Poisson statistics for unitary chiral non-Hermitian random matrix ensembles. J. Math. Phys. 51, 103524 (2010)
Akemann, G., Byun, S.-S., Kang, N.-G.: A non-Hermitian generalisation of the Marchenko–Pastur distribution: from the circular law to multi-criticality. Ann. Henri Poincaré 22, 1035–1068 (2021)
Akemann, G., Byun, S.-S., Kang, N.-G.: Scaling limits of planar symplectic ensembles. SIGMA Symmetry Integr. Geom. Methods Appl. 18, 007 (2022)
Akemann, G., Cikovic, M., Venker, M.: Universality at weak and strong non-Hermiticity beyond the elliptic Ginibre ensemble. Comm. Math. Phys. 362, 1111–1141 (2018)
Akemann, G., Dalmazi, D., Damgaard, P., Verbaarschot, J.: QCD3 and the replica method. Nucl. Phys. B 601(1–2), 77–124 (2001)
Akemann, G., Phillips, M.J.: The Interpolating Airy Kernels for the \(\beta =1\) and \(\beta = 4\) Elliptic Ginibre ensembles. J. Stat. Phys. 155, 421–465 (2014)
Akemann, G., Phillips, M.J.: Universality conjecture for all Airy, sine and Bessel kernels in the complex plane, in Random Matrix Theory, Interacting Particle Systems, and Integrable Systems, Mathematical Sciences Research Institute Publications, vol. 65, pp. 1–23. Cambridge University Press, New York (2014)
Akemann, G., Phillips, M.J., Sommers, H.-J.: The chiral Gaussian two-matrix ensemble of real asymmetric matrices. J. Phys. A Math. Theor. 43, 085211 (2010)
Akemann, G., Phillips, M.J., Shifrin, L.: Gap probabilities in non-Hermitian random matrix theory. J. Math. Phys. 50, 063504 (2009)
Ameur, Y.: A localization theorem for the planar Coulomb gas in an external field. Electron. J. Probab. 26, 1–21 (2021)
Ameur, Y., Hedenmalm, H., Makarov, N.: Fluctuations of eigenvalues of random normal matrices. Duke Math. J. 159, 31–81 (2011)
Ameur, Y., Kang, N.-G., Makarov, N.: Rescaling Ward identities in the random normal matrix model. Constr. Approx. 50, 63–127 (2019)
Ameur, Y., Kang, N.-G., Makarov, N., Wennman, A.: Scaling limits of random normal matrix processes at singular boundary points. J. Funct. Anal. 278, 108340 (2020)
Ameur, Y., Kang, N.-G., Seo, S.-M.: On boundary confinements for the Coulomb gas. Anal. Math. Phys. 10(68) (2020)
Ameur, Y., Kang, N.-G., Seo, S.-M.: The random normal matrix model: insertion of a point charge. Potential Anal. 58(2), 331–372 (2023)
Ameur, Y., Marceca, F., Romero, J.L.: Gaussian beta ensembles: the perfect freezing transition and its characterization in terms of Beurling-Landau densities, arXiv: 2205.15054
Bender, M.: Edge scaling limits for a family of non-Hermitian random matrix ensembles. Probab. Theory Relat. Fields 147, 241–271 (2010)
Byun, S.-S., Seo, S.-M.: Random normal matrices in the almost-circular regime, Bernoulli (to appear), arXiv:2112.11353
Claeys, T., Kuijlaars, A.B.J.: Universality in random matrix ensembles when the soft edge meets the hard edge. Contemp. Math. 458, 265–280 (2008)
Danka, T.: Universality limits for generalized Jacobi measures. Adv. Math. 316, 613–666 (2017)
van Eijndhoven, S.J.L., Meyers, J.L.H.: New orthogonality relations for the Hermite polynomials and related Hilbert spaces. J. Math. Anal. Appl. 146, 89–98 (1990)
Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.G.: Higher Transcendental Functions, Vol. II. Robert E. Krieger Publishing Co., Florida (1981)
Feng, R., Wei, D.: Small gaps of circular \(\beta \)-ensemble. Ann. Probab. 49(2), 997–1032 (2021)
Fischmann, J., Bruzda, W., Khoruzhenko, B.A., Sommers, H.-J., Życzkowski, K.: Induced Ginibre ensemble of random matrices and quantum operations. J. Phys. A 45(7), 075203 (2012)
Forrester, P.J.: Log-gases and random matrices. Princeton University Press, Princeton (2010)
Forrester, P.J., Frankel, N.E., Garoni, T.M.: Asymptotic form of the density profile for Gaussian and Laguerre random matrix ensembles with orthogonal and symplectic symmetry. J. Math. Phys. 47, 023301 (2006)
Forrester, P.J., Nagao, T.: Skew orthogonal polynomials and the partly symmetric real Ginibre ensemble. J. Phys. A 41(37), 375003 (2008)
Fyodorov, Y.V., Khoruzhenko, B.A.: Systematic analytical approach to correlation functions of resonances in quantum chaotic scattering. Phys. Rev. Lett. 83(1), 65 (1999)
Fyodorov, Y.V., Khoruzhenko, B.A., Sommers, H.-J.: Almost-Hermitian random matrices: crossover from Wigner-Dyson to Ginibre eigenvalue statistics. Phys. Rev. Lett. 79(4), 557 (1997)
Fyodorov, Y.V., Khoruzhenko, B.A., Sommers, H.-J.: Almost-Hermitian random matrices: eigenvalue density in the complex plane. Phys. Lett. A 226, 46–52 (1997)
Fyodorov, Y.V., Khoruzhenko, B.A., Sommers, H.-J.: Universality in the random matrix spectra in the regime of weak non-Hermiticity. Ann. Inst. H. Poincaré Phys. Théor. 68(4), 449–489 (1998)
Garoni, T.M., Forrester, P.J., Frankel, N.E.: Asymptotic corrections to the eigenvalue density of the GUE and LUE. J. Math. Phys. 46, 103301 (2005)
Girko, V.L.: Elliptic law. Theory Probab. Appl. 30(4), 677–690 (1986)
Hedenmalm, H., Wennman, A.: Planar orthogonal polynomials and boundary universality in the random normal matrix model. Acta Math. 227, 309–406 (2021)
Johansson, K.: On fluctuations of eigenvalues of random Hermitian matrices. Duke Math. J. 91, 151–204 (1998)
Johansson, K.: From Gumbel to Tracy-Widom. Probab. Theory Relat. Fields 138, 75–112 (2007)
Kanzieper, E.: Eigenvalue correlations in non-Hermitean symplectic random matrices. J. Phys. A 35(31), 6631–6644 (2002)
Kanzieper, E., Singh, N.: Non-Hermitean Wishart random matrices (I). J. Math. Phys. 51(10), 103510 (2010)
Katori, M.: Two-dimensional elliptic determinantal point processes and related systems. Commun. Math. Phys. 371, 1283–1321 (2019)
Kozhan, R.: On Gaussian random matrices coupled to the discrete Laplacian, In: Kurasov, P., Laptev, A., Naboko, S., Simon, B. (eds) Analysis as a Tool in Mathematical Physics. Operator Theory: Advances and Applications, vol 276. Birkhäuser, Cham
Kuijlaars, A.B.J., Vanlessen, M.: Universality for eigenvalue correlations at the origin of the spectrum. Comm. Math. Phys. 243(1), 163–191 (2003)
Ledoux, M.: Complex Hermite polynomials: from the semi-circular law to the circular law. Commun. Stoch. Anal. 2(1), 27–32 (2008)
Lee, S.-Y., Riser, R.: Fine asymptotic behaviour of random normal matrices: ellipse case. J. Math. Phys. 57, 023302 (2016)
Marceca, F., Romero, J.-L.: Improved discrepancy for the planar Coulomb gas at low temperatures, arXiv:2212.14821
Mehta, M.L.: Random Matrices, 3rd edn. Academic Press, Cambridge (2004)
Nagao, T., Akemann, G., Kieburg, M., Parra, I.: Families of two-dimensional Coulomb gases on an ellipse: correlation functions and universality. J. Phys. A 53(7), 075201 (2020)
Osborn, J.C.: Universal results from an alternate random matrix model for QCD with a baryon chemical potential. Phys. Rev. Lett. 93, 222001 (2004)
Olver, F.W., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)
Saff, E.B., Totik, V.: Logarithmic Potentials with External Fields. Springer, Berlin (1997)
Seo, S.-M.: Edge scaling limit of the spectral radius for random normal matrix ensembles at hard edge. J. Stat. Phys. 181, 1473–1489 (2020)
Sommers, H.-J., Crisanti, A., Sompolinsky, H., Stein, Y.: Spectrum of large random asymmetric matrices. Phys. Rev. Lett. 60(19), 1895–1898 (1988)
Shuryak, E.V., Verbaarschot, J.: Random matrix theory and spectral sum rules for the Dirac operator in QCD. Nucl. Phys. A 560(1), 306–320 (1993)
Szegő, G.: Orthogonal Polynomials. American Mathematical Society, New York (1939)
Vanlessen, M.: Strong asymptotics of Laguerre-type orthogonal polynomials and applications in random matrix theory. Constr. Approx. 25, 125–175 (2007)
Wang, X.-S.: Plancherel-Rotach asymptotics of second-order difference equations with linear coefficients. J. Approx. Theory 188, 1–18 (2014)
Watson, G.N.: A Treatise on the Theory of Bessel Functions. Cambridge University Press, Cambridge (1995)
Funding
Open access funding provided by Lund University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
We have no conflicting interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Sung-Soo Byun was supported by Samsung Science and Technology Foundation (SSTF-BA1401-51), by a KIAS Individual Grant (SP083201) via the Center for Mathematical Challenges at Korea Institute for Advanced Study, by the National Research Foundation of Korea (NRF-2019R1A5A1028324), and by the POSCO TJ Park Foundation (POSCO Science Fellowship)
In memory of Harold Seymour Shapiro (1928–2021).
Appendices
Plancherel–Rotach asymptotics for Hermite polynomials
In this appendix we collect certain asymptotic formulas for Hermite polynomials which are used in our proofs of cross-section convergence in Sect. 4.1 and of translation invariance in Sect.ion 5.1. In both cases, we fix a point \(p\in (-2,2)\), and we look at asymptotics for the scaled Hermite polynomial \(H_n(\sqrt{\tfrac{N}{2}}\zeta )\) where \(n=N-1\) or \(n=N\) and \(\zeta \) is in a microscopic neighbourhood of p (of radius proportional to \(N^{-1/2}\)) or on the vertical line \(p+i\mathbb {R}\). Recall that here \(H_n(z)=(-1)^ne^{z^2}\tfrac{d^n}{d z^n}e^{-z^2}\) is the n:th “physicists’ Hermite polynomial”, which has leading coefficient \(2^n\).
It turns out that our desired estimates can be deduced using strong asymptotic formulas of Plancherel-Rotach type, as given in the paper [57]. These formulas look a little different depending on whether \(-2<p<0\), \(p=0\), or \(0<p<2\).
The following partially overlapping asymptotic formulas are known. By [57, Corollary 4.1], we have for z in a neighborhood of p, where \(0<p<2\),
For comparison, note that [57] uses monic orthogonal polynomials \(\pi _n\) rather than \(H_n\), so \(H_n=2^n\pi _n\). (There is a similar formula for \(-2<p<0\) in [57], which we skip stating here.)
In a microscopic neighbourhood of the origin, we have instead the following Mehler-Heine formula (see [50, Section 18.11])
which holds uniformly for z in any compact subset of \(\mathbb {C}\).
Finally, for z in the complement of a neighbourhood of the interval \([-2,2]\), we have by [45, Lemma 2.5] or [57, Corollary 4.1]
Using (A.1), (A.2) and Stirling’s formula, one easily obtains the following lemma.
Lemma A.1
Suppose that \(|p|\le \alpha \) where \(\alpha <2\) and fix \(M>0\). Then for all z with \(|z|\le M\), we have
where the O(1)-constant may depend on M and \(\alpha \).
1.1 A.1. Computation for cross-section
Again fix p with \(0<p<2\).
Recall from (4.5) that the \(\tfrac{{\partial }}{{\partial }\xi }\)-derivative of the 1-point function with respect to potential (1.13) obeys
We use (A.1) to conclude that there is \(\delta =\delta (p)>0\) and \(k=k(\delta )>0\) such that when \(|y|\le \delta N\), then
and
Therefore there is a constant C such that for all \(|y|\le N\delta \),
where \(C_1=C_1(C,k)\) is a new constant.
On the other hand, for y such that \(|y|/N > \delta \), letting \(z=p-i \tfrac{y}{N}\)
Combining all of the above, we obtain that
This latter estimate (A.6) is used in Sect. 4.1 to deduce convergence of cross-sections of the AGUE.
Plancherel-Rotach asymptotics for Laguerre polynomials
In this appendix, we explain how to deduce certain asymptotic formulas for Laguerre polynomials, which were used in our proof of translation invariance of bulk scaling limits for the ALUE, in Sect. 5.2. More precisely, we shall adapt to our present situation some Plancherel-Rotach type asymptotic formulas from Vanlessen’s paper [56].
Fix a small \(\delta >0\) and define a “bulk region” by
The following lemma is a special case of [56, Theorem 2.4, (b)].
Lemma B.1
For \(z\in B_\delta \) we have the following form of Plancherel-Rotach asymptotic for Laguerre polynomials, as \(n\rightarrow \infty \).
Proof
We explain how to see this formula from [56, Theorem 2.4, (b)]. Consider the Laguerre-type weight
We denote that the associated orthonormal polynomials (on \(\mathbb {R}\)) are given in terms of the Laguerre polynomials \(L_n^\alpha \) by
Then by [56, Theorem 2.4, (b)] (in the special case \(m=1\), \(Q(x)=x\), \(A_1=\tfrac{1}{2}\), \(\beta ^{(0)}=4\), \(\beta _n=4n\)) we have that for z as above,
Here the function \(\int _1^z \psi _n(s)\,ds\) is explicitly computable (see [56, Remark 2.5, 3.14, 3.15]) and the result is
where \(H_n\) is certain polynomial with real coefficients of degree \(m-1\), i.e., it is a constant. (Indeed, \(H_n\) is the polynomial appearing in the density \( \tfrac{m}{2\pi } \sqrt{\tfrac{1-x}{x}}\,H_n(x) \) of the associated equilibrium measure.)
In the special case when \(Q(x)=x\), we have \(H_n(x)=4\), (again see [56, Remark 2.3]) thus
Combining all of the above we obtain that when \(Q(x)=x\),
Note that since \(\arccos (2z-1)=2\arccos \sqrt{z},\) we can simplify above expression as
Now (B.1) follows from this and the relation (B.2). \(\square \)
1.1 B.1. Computation for translation invariance
We now use Lemma B.1 to verify the following estimate, which is used in our proof of translation invariance in Sect. 5.2. We will use the notation in Sect. 5.2, i.e., we fix a point \(p_*\in I_\alpha =[\alpha ,4-\alpha ]\) where \(\alpha >0\) is small and we write
Moreover, we put \(a=\tfrac{N}{c^2}\) and \(b=\tfrac{N}{c^2}-1\).
Lemma B.2
In the above setting, we have as \(N\rightarrow \infty \),
Proof
Recall that we have for \(p_*\in I_\alpha \) we have \( \tfrac{a^2-b^2}{2b}N \zeta =Np_*+\tfrac{c^2}{2}p_*+2c\sqrt{p_*}\,z+O(N^{-1}). \) Hence by (B.1) together with the asymptotic \(( \tfrac{(n+\alpha )!}{n!} )^{\frac{1}{2}}=n^{\frac{\alpha }{2}} \cdot (1+o(1)),\) we obtain
Setting \(n=N+\nu -1\) and then \(n=N-1\) we obtain
which completes the computation. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ameur, Y., Byun, SS. Almost-Hermitian random matrices and bandlimited point processes. Anal.Math.Phys. 13, 52 (2023). https://doi.org/10.1007/s13324-023-00808-8
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-023-00808-8
Keywords
- Almost-Hermitian GUE/LUE
- Bandlimited Coulomb gas
- Cross-section convergence
- Ward’s equation
- Translation invariance