SUNG-SOO BYUN, NAM-GYU KANG, JI OON LEE, AND JINYEOP LEE
Abstract. We consider the real eigenvalues of an (N × N ) real elliptic Ginibre matrix whose entries are correlated through a non-Hermiticity parameter τN ∈ [0, 1]. In the almost-Hermitian regime where 1 − τN = Θ(N−1), we obtain the large-N expansion of the mean and the variance of the number of the real eigenvalues. Furthermore, we derive the limiting empirical distributions of the real eigenvalues, which interpolate the Wigner semicircle law and the uniform distribution, the restriction of the elliptic law on the real axis. Our proofs are based on the skew-orthogonal polynomial representation of the correlation kernel due to Forrester and Nagao.
1. Introduction
How many eigenvalues of a real random matrix are real? At one extreme, there are real symmetric matrices whose all eigenvalues are real. Without symmetry, Hermiticity fails, and not all eigenvalues are real. Nevertheless, intriguingly, several Hermitian random matrices with real entries have real eigenvalues with non-zero probability, contrary to their complex or quaternion counterparts. One of the most fundamental examples of such matrices is a real Ginibre ensemble, a real (N × N ) matrix whose entries are i.i.d. Gaussian, for which it was shown in the pioneering work of Edelman, Kostlan, and Shub [12] that the number of real eigenvalues is of order√N .
From the examples of real symmetric and real i.i.d. matrices, it can be heuris-tically conjectured that as a real random matrix becomes more symmetric, it gets more real eigenvalues. The statement can be made rigorous by considering the following interpolation of the two different random matrices:
(1.1) X := r 1 + τN 2 S + r 1 − τN 2 A
for a (possibly N -dependent) parameter τN, where S and A are elements of Gaussian orthogonal ensemble (GOE) and anti-symmetric GOE, respectively. Note that X is symmetric if τN = 1 and X is a Ginibre ensemble if τN = 0, and thus the (non)-Hermiticity of X is expressed by τN. The model is known as a real elliptic Ginibre matrix, which provides a natural bridge between Hermitian and non-Hermitian
2020 Mathematics Subject Classification. Primary 60B20; Secondary 33C45 .
Key words and phrases. Real elliptic Ginibre matrices, real eigenvalues, almost-Hermitian regime, skew-orthogonal polynomials.
The authors are grateful for the support by the National Research Foundation of Korea (NRF-2019R1A5A1028324) and by Samsung Science and Technology Foundation (SSTF-BA1401-51). Sung-Soo Byun was partially supported by the German Research Foundation-National Research Foundation of Korea (IRTG 2235). Nam-Gyu Kang was partially supported by a KIAS Individual Grant (MG058103) at Korea Institute for Advanced Study. Jinyeop Lee was partially supported by the National Research Foundation of Korea (NRF-2020R1F1A1A01070580).
1
random matrix theories. The expected number of real eigenvalues EN,τN of X for
τN ≡ τ ∈ [0, 1) was obtained by Forrester and Nagao [17], which is given by
(1.2) EN,τ = 2 π 1 + τ 1 − τN 12 (1 + o(1)).
It in particular shows that EN,τ is an increasing function of τ for any sufficiently large N .
The symmetry affects not only the number of real eigenvalues but also its dis-tribution. While the limiting empirical distribution of real eigenvalues of X is the uniform distribution on (−1 − τ, 1 + τ ) for τ ∈ [0, 1), i.e.,
(1.3) ρsτ(x) :=1[−1−τ,1+τ ](x) · 1 2(1 + τ ),
in the limit τ → 1, the uniform distribution in (1.3) does not recover the semicircle distribution, which is obviously the limiting distribution in case τ = 1. It suggests that a non-trivial transition happens when τ is close to 1.
One can expect that such a transition may appear when the number of the real eigenvalues is of order N , in which case thus the distribution of real eigenvalues is affected by the semicircle distribution. It is therefore natural to consider the case for which the right side of (1.2) is of order N , or equivalently 1 − τN = Θ(N−1), which we will call the almost-Hermitian regime. We consider the following questions in this regime:
• What is the number of real eigenvalues?
• What is the limiting empirical distribution of the real eigenvalues? In this paper, we aim to answer these questions.
1.1. Main contributions. Denote by NτN the number of real eigenvalues of X in
(1.1). Our main contributions are as follows: For N even and
(1.4) τN = 1 −α
2
N, (α > 0), we prove
• asymptotic formulas for the mean and the variance of NτN, and
• a formula for the limiting empirical distribution of real eigenvalues of X. As a corollary, we also prove the convergence of NτN/N in probability.
In Theorem 2.1, we prove that
EN,τN = c(α)N + O(1) with (1.5) c(α) = 2 α√π Z 1 0 erf(αp1 − s2) ds,
where erf is the error function. From the asymptotic behavior of the error function,
(1.6) erf(x) ∼
(2x √
π as x → 0 , 1 as x → ∞ , we find that c(α) ∼ 1 as α → 0 and c(α) ∼ α√2
π as α → ∞. The former limit corresponds to the Hermitian case, and the latter matches (1.2) since
as α → ∞. It in particular shows that the regime 1 − τN = Θ(N−1) is indeed where the transition for the real eigenvalues happens and our result connects the Hermitian case (τ = 1) and the elliptic case (τ ∈ [0, 1)).
For the variance VN,τN of NτN, in our second main result, Theorem 2.3, we prove
that lim N →∞ VN,τN EN,τN = r(α) for some r(α) satisfying
(1.7) lim
α→0r(α) = 0, α→∞lim r(α) = 2 − √
2.
Again, our result on the variance connects the Hermitian case and the elliptic case as for a fixed τN ≡ τ ∈ [0, 1) it was obtained in [16,17] that
lim N →∞ VN,τ EN,τ = 2 − √ 2.
As the mean and the variance are of the same order, it is immediate to obtain the convergence
NτN
N → c(α) as N → ∞, in probability.
In Theorem 2.8, we derive the limiting empirical distribution of the real eigen-values. Denote by ρN,τN(x) the empirical distribution of the real eigenvalues of X.
Then as N → ∞, ρN,τN(x) → ρ w α(x) :=1[−2,2](x) · 1 c(α) 1 2α√πerf( α 2 p 4 − x2)
uniformly on compact subsets of (−2, 2). Here c(α) is a normalization constant in (1.5), which turns ρw
α into a probability density function. Applying the asymptotic formula (1.6), we find that the density ρwα interpolates the semicircle law
(1.8) ρsc(x) :=1[−2,2](x) · 1 2π
p 4 − x2 and the uniform distribution ρs1 defined in (1.3), see Figure 3.
Our proof for the number of the real eigenvalues is based on a (double) contour integral representation, which follows from the skew-orthogonal polynomial kernel of the associated Pfaffian point process and some basic properties of hypergeometric functions.
For the density of the real eigenvalues, we use a version of the Christoffel– Darboux identity (Lemma 4.2) for Hermite polynomials with complex variables. We also estimate certain oscillatory integrals, which naturally arise from the Plancherel– Rotach strong asymptotics.
1.2. Related works. The Ginibre ensemble was first introduced in [22]. The limit-ing empirical spectral distribution of a Ginibre ensemble is the uniform distribution on the unit disc in the complex plane, known as the circular law. For a general (fixed) τN ≡ τ ∈ [0, 1), the circular law is extended to the elliptic law [23,36], the uniform distribution on the elliptic disc
(1.9) K := {x + iy : (1+τx )2+ (1−τy )2 ≤ 1}, see Figure 1.
The formula (1.2) was first proved by Edelman, Kostlan, and Shub for a real Ginibre ensemble (τ = 0). More precisely, it was shown in [12, Corollary 5.2] that (1.10) EN,0= 2 πN 12h 1 − 3 8N − 3 128N2 + 27 1024N3 + 499 32768N4 + O( 1 N5) i +1 2. For a fixed value of τ ≡ τN ∈ [0, 1), Forrester and Nagao [17] expressed EN,τ in terms of a summation of hypergeometric functions using the theory of skew-orthogonal polynomials previously developed in [16] for the case τN ≡ 0 from which one can derive (1.2). (See also [8,35] for the scaling limits of real Ginibre matrices.)
Figure 1. Eigenvalues of X, where τN ≡ 1/2 and N = 4096
For the real eigenvalues of other random matrix models, we refer to [14,17,26,27,
29,33] and references therein. We also remark that the statistics of real eigenvalues enjoy an intimate relationship with diverse topics, including the Zakharov–Shabat system [7] and the annihilating Brownian motion [32].
The almost-Hermitian regime was introduced in the series of works [18–20] by Fyodorov, Khoruzhenko, and Sommers. For more details and some physical con-notations on such intermediate regime, we refer to some recent works [2,6,21] and references therein. The density ρwα was previously found by Efetov [13] using the supersymmetry method in the context of directed quantum chaos.
In general, the odd N case should be treated separately, see e.g., [15,34]. Nev-ertheless, our assumption that N be an even integer is merely for convenience to apply main results in [17]. It is to be expected that such an assumption should not be necessary for our main results.
also holds with general τN including the almost-Hermitian regime; see Figure 2. We will discuss these in a future paper.
0 1 2 3 4 5 6 7 8 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 (a) c(α) 0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5 0 0.1 0.2 0.3 0.4 0.5 0.6 (b) r(α)
Figure 2. (A): The plot displays numbers of real eigenvalues di-vided by N for 256 samples of random matrices of size N = 256 with various entries and their comparison with c(α). Here the entries of random matrices are given by Gaussian, uniform, and Rademacher distributions. (B): The graph indicates the variance of real eigen-values divided by its number, for 105 samples of random matrices of size N = 64 with entries given by the identical distributions in (A) and their comparison with r(α).
For the non-Hermitian Wishart ensembles (also known as chiral Ginibre ensem-bles or sample cross-covariance matrices), it was shown in [3] that the associated skew-orthogonal polynomials can be expressed in terms of the generalized Laguerre polynomials. Using this, the correlation kernel of the associated Pfaffian point pro-cess was studied in [4]. Based on this a priori knowledge, one may consider similar problems in this work for the non-Hermitian Wishart ensembles. In particular, one can expect that the limiting empirical distributions in the almost-Hermitian regime interpolate the Marchenko-Pastur law with the “shifted elliptic law” recently dis-covered in [1]. We will address these problems in future work.
2. Main Results
2.1. Elliptic matrix. In this subsection, we define the elliptic matrix, the primary model we consider in this work. We consider a sequence τN ∈ [0, 1] called a non-Hermiticity parameter. In the sequel we write τ = limN →∞τN, which is always assumed to be well defined. Let {ξj,N}∞N =1(j = 0, 1, 2) be sequences of real random variables, which satisfy
Eξj,N = 0, Eξj,N2 = 1, Eξkj,N < ∞, Eξ1,Nξ2,N = τN,
where k ∈ N. We consider a random matrix X = (xjk)Nj,k=1 whose entries are given as follows:
• {(xjk, xkj)}j<k∪ {xjj}j consists of independent random variables; • {xjj}j are independent copies of √1Nξ0,N;
• {(xjk, xkj)}j<k are independent copies of √1N(ξ1,N, ξ2,N). We assume that ξj,N’s are Gaussian, which coincides with X in (1.1).
2.2. Main Theorems. Our first main result, Theorem 2.1, is on the asymptotic expansion of EN,τN in the almost-Hermitian regime. Recall that the modified Bessel
function Iν of the first kind is given by
(2.1) Iν(z) := ∞ X k=0 (z/2)2k+ν k! Γ(ν + k + 1).
Theorem 2.1. Let τN = 1 − αN2. Then for any positive integer m ≥ 2, EN,τN = N c(α) + c0(α) + 1 2+ m−1 X l=1 cl(α) Nl + O( 1 Nm) as N → ∞, where (2.2) c(α) := e−α2/2[I0(α22) + I1(α22)], c0(α) := −12e−α 2/2 [I0(α 2 2 ) + α 2I 1(α 2 2 )], and for l ≥ 1, cl(α) := l+1 X k=0 ∞ X m=l+1−k qm,l+1−k (−1)m−l+k (m − l + k)! (2k − 3)!! (2k)!! (2m − 1)!! m! α2 2 k+m . Here qk,s is defined by the generating function
(2.3) t e t et− 1 k+2 2 et+ 1= ∞ X s=0 qk,sts.
We remark that the definition of c(α) in (2.2) coincides with that in (1.5); see Remark 2.7.
as N → ∞, where al(τ ) := − √ 1 − τ (2l − 3)!! 2l ∞ X k=0 (2k − 1)!! 2kk! pbk,lτ k.
Here pk,lb is defined by the generating function
(2.5) e t− 1 t −322 et(k+2) et+ 1 = ∞ X l=0 b pk,ltl.
Our next object of interest is the variance VN,τN of the number NτN of real
eigenvalues in the almost-Hermitian regime. Theorem 2.3. Let τN = 1 − αN2. Then we have
lim N →∞ VN,τN EN,τN = r(α) := 2 − 2 e−α2/2I0(α 2) + I 1(α2) I0(α22) + I1(α22).
Note that the behavior (1.7) of r(α) can be easily checked using the well-known asymptotic Iν(x) ∼ ((x/2)ν Γ(ν+1) as x → 0, ex √ 2πx as x → ∞, see e.g., [31, Eq.(10.30.1), (10.30.4)].
As an immediate consequence of Theorems 2.1 and 2.3, we obtain the conver-gence of the random variables NτN/N in probability as follows.
Corollary 2.4. Let τN = 1 −α 2 N. Then we have NτN N → c(α) as N → ∞, in probability.
Remark 2.5. The functions al in Proposition 2.2 for the first few values of l are given as follows:
a1(τ ) := 8(1−τ )τ −3 , a2(τ ) := 5τ128(1−τ )2−14τ −32 ,
a3(τ ) := −17τ31024(1−τ )+73τ2−203τ +273 , a4(τ ) :=
−541τ4+2684τ3−6846τ2−4196τ +499
32768(1−τ )4 .
Note that the asymptotic expansion (2.4) for τ = 0 recovers (1.10).
We also remark that the functions al can be written as al(τ ) = Pl(τ −1τ ), where Pl is a polynomial of degree l given by
Pl(x) := (2l − 3)!! 2l l X k=0 (−1)k+1(2k − 1)!! 2kk! pk,l−kx k.
Remark 2.6. In general, the functions cl’s are of the form cl(α) = e−α 2/2 [Pl,0(α) I0(α 2 2 ) + Pl,1(α) I1( α2 2 )],
where Pl,1, Pl,2 are some even polynomials of degree 4l + 2. For example, we have P1,0(α) = −α 4(3α2−8) 48 , P1,1(α) = α2(3α4−8α2−2) 48 and P2,0(α) = α 4(α6−8α4+11α2+1) 96 , P2,1(α) = − α2(α8−7α6+6α4+3α2+4) 96 .
Remark 2.7. To see the equivalence of the definitions of c(α), recall that the error function has the power series expansion (see [31, Eq.(7.6.1)])
erf(z) = √2 π ∞ X n=0 (−1)n n! (2n + 1)z 2n+1.
Then the expression (2.2) can be obtained from (1.5) by straightforward computa-tions using Z 1 0 (1 − s2)n+12 ds = √ π 2 Γ(n +32) (n + 1)! .
We now discuss the density ρN ≡ ρN,τN of real eigenvalues. In the
almost-Hermitian regime, we obtain the following theorem, which features a one-parameter family of probability distributions ρwα interpolating between the Wigner semicircle law in (1.3) and the uniform distribution in (1.8) (i.e., the elliptic law restricted on the real axis).
Theorem 2.8. Let τN = 1 − αN2. Then as N → ∞, (2.6) ρN,τN(x) → ρ w α(x) :=1[−2,2](x) · 1 c(α) 1 2α√πerf( α 2 p 4 − x2)
uniformly on compact subsets of (−2, 2). Here c(α) is a normalization constant given by (1.5), which turns ρwα into a probability density function.
(a) α = 0 (b) α = 1 (c) α = 2 (d) α = 4
3. Expected number of real eigenvalues
In this section, we prove Theorem 2.1 and Proposition 2.2. Our proof is based on the following representation of EN,τN shown in [17]: for any τN < 1,
EN,τN = 2 π 1 + τN 1 − τN 12N/2−1X k=0 Γ(2k + 12) (2k)! 2F1( 1 2, 1 2; −2k + 1 2; − τN 1−τN), (3.1)
where2F1 is the hypergeometric function defined by the Gauss series (3.2) 2F1(a, b; c; z) := Γ(c) Γ(a)Γ(b) ∞ X s=0 Γ(a + s)Γ(b + s) Γ(c + s)s! z s, (|z| < 1)
and by analytic continuation elsewhere.
Our strategy for the proof of Theorem 2.1 is summarized as follows:
• we obtain a contour integral representation of EN,τN, which holds for any τN < 1 (Lemma 3.1);
• we treat the integrand in the previous step as a function of variables N and α, and compute its power series expansion;
• we derive the large-N expansion of EN,τN by the residue calculus and express its coefficients in terms of the modified Bessel functions.
To analyze the right-hand side of the identity (3.1), we begin with the following lemma, which provides a contour integral representation of EN,τN.
Lemma 3.1. For any N > 1 and τN ∈ [0, 1), we have EN,τN = 2 π 1 + τN 1 − τN 1 2 gN(− τN 1−τN), (3.3) where gN : R− → R+ is defined by (3.4) gN(x) :=√π Res ζ=1 hζ− 3 2(2 − ζ)−1(1 − ζx)− 1 2 (ζ − 1)N −1 i .
Proof. We first analyze the summand in (3.1). For | arg(1−z)| < π and b, 1−c, c−b 6∈ N, the hypergeometric function2F1(a, b; c; z) has an integral representation
2F1(a, b; c; z) = − Γ(c) Γ(b)Γ(c − b) e−iπc 4 sin(πb) sin(π(c − b)) × I P(0,1) ζb−1(1 − ζ)c−b−1(1 − ζz)−adζ, (3.5)
see e.g., [31, Eq.(15.6.5)]. Here P(0, 1) is a Pochhammer contour entwining 0 and 1. It follows from the reflection formula of Gamma function
which has a removable singularity at each κ ∈ Z. Combining the equations above, for x < 0 we have Γ(2k + 12) (2k)! 2F1( 1 2, 1 2; −2k + 1 2; x) = i 4√π I P(0,1) ζ−12(1 − ζ)−2k−1(1 − ζx)− 1 2 dζ = −√π Res ζ=1 h ζ−12(1 − ζ)−2k−1(1 − ζx)− 1 2 i . Here the second identity follows from −2k − 1 ∈ Z and the standard deformation of the Pochhammer contour.
Taking the sum of the above, we observe that only the second term of the right-hand side below
N/2−1 X k=0 (1 − ζ)−2k−1= 1 − ζ ζ(ζ − 2)− 1 (1 − ζ)N −1ζ(ζ − 2), contributes to the residue. Thus we have
N/2−1 X k=0 Γ(2k + 12) (2k)! 2F1( 1 2, 1 2; −2k + 1 2; x) = gN(x).
Combining this with the expression (3.1), the proof is complete. Remark 3.2. When τN ≡ 0, it follows from 2F1(a, b; c; 0) = 1 and the duplication formula of Gamma function that the expression (3.1) is simplified to
EN,0= √ 2 N/2−1 X k=0 (4k − 1)!! (4k)!! = 1 2 + r 2 π Γ(N +12) (N − 1)! 2F1(1, − 1 2; N ; 1 2). (3.7)
The formula (3.7) also appears in [12, Corollary 5.1, 5.3]. For τN ≡ 0, one can recognize the right-hand side of (3.3) in terms of a hypergeometric function using (3.5), namely, we have gN(0) = Γ(N −12) (N − 2)! 2F1(1, − 1 2; −N + 3 2; 1 2).
Note that the regularized hypergeometric function2F1(a, b; c; z) := Γ(c) 21 F1(a, b; c; z) satisfies the linear transform
sin(π(c − b)) π 2F1(1, b; c; z) = 1 Γ(b)Γ(c − b)(1 − z) c−1−bz1−c − 1 Γ(c − 1)Γ(c − b)2F1(1, b; b − c + 2; 1 − z), (3.8)
see [31, Eq.(15.4.6), (15.8.6)]. Using this, one can observe that Lemma 3.1 for τN ≡ 0 is equivalent to (3.7).
It is instructive first to present the proof of Proposition 2.2, which includes essential ideas for Theorem 2.1 but requires fewer computations.
we write gN in (3.4) as gN(x) = r π 1 − x ∞ X k=0 (−1)k(2k − 1)!! 2kk! Resζ=1 hζ− 3 2(2 − ζ)−1 (ζ − 1)N −k−1 i x x − 1 k .
Moreover, by (3.5) and (3.8), the residue in the right-hand side of this identity is computed as Res ζ=1 hζ− 3 2(2 − ζ)−1 (ζ − 1)N −k−1 i = 1 2√2 + √ π Γ(12 − N + k)2F1(1, − 1 2; N − k; 1 2). Combining above equations with the identity
∞ X k=0 (−1)k(2k − 1)!! k! x x − 1 k =r 1 − x 1 − 2x, (x < 0), we obtain that for x < 0,
gN(x) = √ π 2√2 1 √ 1 − 2x +√ π 1 − x ∞ X k=0 (2k − 1)!! 2kk! (−1)k Γ(12 − N + k)2F1(1, − 1 2; N − k; 1 2) x x − 1 k . Now let us recall that as λ → ∞ (λ ∈ R)
(3.9) 2F1(a, b; c + λ; z) = 1 Γ(c − b + λ) m−1 X s=0 qs(z) Γ(b + s) Γ(b) λ −s−b+ O(λ−m−b),
where m is any positive integer, see [31, Eq.(15.12.3)]. Here q0(z) = 1 and qs(z) when s = 1, 2, . . . are defined by the generating function
et− 1 t b−1 et(1−c)(1 − z + ze−t)−a= ∞ X s=0 qs(z) ts. Using (3.9), we have 2F1(1, −12; N − k;12) = √ N Γ(N − k + 12) m−1X s=0 b pk,sΓ(− 1 2 + s) Γ(−12) N −s + O(N−m) , wherepk,sb is defined by (2.5). Then by (3.6), we obtain
(−1)k Γ(12 − N + k)2F1(1, − 1 2; N − k; 1 2) = − √ N π m−1X s=0 b pk,s (2s − 3)!! 2sNs + O( 1 Nm) , which leads to gN(x) = √ π 2√2 1 √ 1 − 2x − r N 1 − x ∞ X k=0 (2k − 1)!! 2kk! pk,sb x x − 1 km−1X s=0 (2s − 3)!! 2sNs + O( 1 Nm) .
Now we begin to prove Theorem 2.1. For each k = 0, 1, . . . , and N > 1, let (3.10) aN,k(ζ) := 2 Nk+1 ζ−k−2(2 − ζ)−1 (ζ − 1)N −k−1 . We will need the following evaluation.
Lemma 3.3. For N even and k = 0, 1, . . . , N − 2, we have Res ζ=1 aN,k(ζ) = (−1) k k X s=0 qk,s (k + 1 − s)! (−1)s Ns , where qk,s is defined by (2.3).
Proof. To compute the residue of aN,k(ζ) at ζ = 1, we first expand ζ−k−2 around ζ = 1 as follows: for |ζ − 1| < 1, ζ−k−2= ∞ X l=0 (−1)l(k + l + 1)! (k + 1)! l! (ζ − 1) l.
Combining this expansion with the definition (3.2) of2F1, we obtain Res ζ=1 aN,k(ζ) = 1 (k + 1)! 2 Nk+1 N −k−2 X l=0 (−1)l(k + l + 1)! l! = (−1) k (k + 1)! h (−1)k(k + 1)! (2N )k+1 + 2 Nk (N − 1)! (N − k − 1)!2F1(1, N + 1; N − k; −1) i = (−1) k (k + 1)! h (−1)k(k + 1)! (2N )k+1 + 1 Nk (N − 1)! (N − k − 1)!2F1(1, −k − 1; N − k; 1 2) i . Here the last identity follows from Pfaff’s transformation
(3.11) 2F1(a, b; c; z) = (1 − z)−a2F1(a, c − b; c;z−1z ). Moreover, it follows from (3.9) and
Γ(−k − 1 + s)
Γ(−k − 1) = (−1)
s (k + 1)! (k + 1 − s)!
(where we treat the case k ∈ N in the left-hand side as a removable singularity) that 1 Nk (N − 1)! (N − k − 1)!2F1(1, −k − 1; N − k; 1 2) = k+1 X s=0 qk,s (k + 1)! (k + 1 − s)! (−1)s Ns . Therefore we obtain Res ζ=1 aN,k(ζ) = 1 (2N )k+1 + (−1) k k+1 X s=0 qk,s (k + 1 − s)! (−1)s Ns . Finally, using the definition (2.3), we compute qk,k+1:
qk,k+1= Res z=0 h ez ez− 1 k+2 2 1 + ez i = 2−k−1.
Let us write ds(α) := (−1) s 2 ∞ X k=s qk,s (−1) k (k + 1 − s)! (2k − 1)!! k! α2 2 k . (3.12)
Then we have the following. Lemma 3.4. We have d0(α) = 12e−α 2/2 [I0(α 2 2 ) + I1( α2 2 )], d1(α) = 14 +18e−α2/2[(α2− 2)I0(α22) − α2I1(α22)]. Proof. Using (2.3), we first compute
qk,0 = 1, qk,1= k + 1 2 . By (2.1), we have e−α2/2I0(α22) = ∞ X k=0 (2k − 1)!! (k!)2 (−1) kα2 2 k , (3.13) e−α2/2I1(α22) = ∞ X k=0 (2k − 1)!! (k − 1)!(k + 1)!(−1) k+1α2 2 k . (3.14)
Then the lemma follows immediately from (3.13) and (3.14). We are now ready to prove Theorem 2.1.
Proof of Theorem 2.1. By Lemma 3.1, we have
(3.15) EN,τN = N q 4 −2αN2 1 α√π 1 √ N gN(1 − N α2) and g√N(x) N = r π N Resζ=1 hζ− 3 2(2 − ζ)−1(1 − ζx)− 1 2 (ζ − 1)N −1 i . Let us compute the power series expansion of √1
NgN(1 − N
α2). For this
computa-tion, we first expand (1 − ζx)−12 around ζ = 1 using the binomial theorem. More
precisely, for x = 1 −αN2, we have
(1 − ζx)−12 = 2 ∞ X k=0 (ζ − 1)k(ζN )−k−12(2k)! (k!)2 α 2 2k+1 , (|ζ − 1| < |ζ|N α2). Therefore we obtain 1 √ N gN(1 − N α2) = √ π ∞ X k=0 Res ζ=1 aN,k(ζ) (2k)! (k!)2 α 2 2k+1 , where aN,k is given by (3.10).
Rearranging the terms, for any positive integer m ≥ 2, 1 α√π 1 √ N gN(1 − N α2) = m−1 X s=0 ds(α) Ns + O( 1 Nm),
where ds(α) is given by (3.12). Now it follows from (3.15) and the binomial expan-sion q 4 −2αN2 = 2 − m−1 X s=1 (2s − 3)!! α2s 22s−1s! 1 Ns + O( 1 Nm) that EN,τN = N c(α) + c0(α) + 1 2+ m−1 X l=1 cl(α) Nl + O( 1 Nm). Here c(α) = 2d0(α) and cl(α)’s are given by
c0(α) := 2d1(α) − α2 2 d0(α) − 1 2 and for l ≥ 1, cl(α) = 2dl+1(α) − α l X k=0 (2k − 1)!! (k + 1)! α 2 2k+1 dl−k(α). Now Lemma 3.4 completes the proof.
4. Distributions of real eigenvalues
This section is devoted to proving Theorem 2.8.
It was obtained in [17] that the density ρN ≡ ρN,τN of real eigenvalues can be
expressed in terms of the Hermite polynomial Hk(x) := (−1)kex2dxdkke
−x2 as ρN(x) = ρ1N(x) + ρ2N(x), ρ j N = 1 EN,τN RjN(x), (j = 1, 2) where R1N(x) := r N 2πe − N 1+τNx 2N −2X k=0 (τN/2)k k! Hk( q N 2τNx) 2, (4.1) R2N(x) := √1 2π (τN/2)N −32 1 + τN N (N − 2)!e − N 2(1+τN )x 2 HN −1( q N 2τNx) × Z x 0 e− N 2(1+τN )u 2 HN −2( q N 2τNu) du. (4.2)
Here we use a different normalization so that the limiting empirical distribution has a compact support, cf. (1.9).
The overall strategy to derive the large-N limit (2.6) of ρN is as follows: • we first compute the large-N limit of ρN(0) (Lemma 4.1) by virtue of some
basic properties of hypergeometric functions;
• we derive the large-N limit of the integral representation using the Plancherel-Rotach asymptotic formula for Hermite polynomials (4.8) and some asymp-totic analysis on the associated oscillatory integrals (Lemma 4.4).
We begin with the following lemma, which gives Theorem 2.8 for the specific value x = 0. Lemma 4.1. We have lim N →∞ρN(0) = 1 c(α) 1 2α√πerf(α). Proof. Using Hermite numbers
Hk(0) = √ π Γ(1−k2 )2 k and (3.2), we have ρN(0) = 1 EN,τN N 2π 12h (1 − τN2)−12 − τN N Γ(N +12 ) √ π 2F1(1, N +1 2 ; N 2 + 1; τ 2 N) i . By (3.11), we have 2F1(1,N +12 ;N2 + 1; τN2) = (1 − τN2)−12F1(1,12;N2 + 1; τ 2 N τ2 N−1 ). This leads to ρN(0) = aN − bN, where
aN = 1 EN,τN N 2π(1 − τ2 N) 1 2 , bN = 1 EN,τN N 2π 12 τN N 1 − τ2 N Γ(N +12 ) √ π 2F1(1, 1 2; N 2 + 1; τN2 τ2 N−1 ). Note here that by Theorem 2.1, we have
lim N →∞aN = 1 c(α) 1 2α√π. Therefore it suffices to show that
lim N →∞bN = 1 c(α) 1 2α√πerfc(α). Notice also that Theorem 2.1 gives rise to
bN ∼ 1 c(α) 1 2α√π N 2π 12 Γ(N +12 )e −α2 α 2F1(1, 1 2; N 2 + 1; τN2 τ2 N−1 ). Thus we need to show
lim N →∞ N 2π 12 Γ(N +12 )2F1(1,21;N2 + 1; −2αN2) = α eα 2 erfc(α). It follows from [31, (15.4.6), (15.8.2)] that
Then by Stirling’s formula, we have lim N →∞ N 2π 1 2 Γ(N +12 )2F1(1,12;N2 +1; −2αN2) = α e α2 −α2 lim N →∞2F1(1− N 2, 1; 3 2; − 2α2 N ). Using the Euler integral formula (see e.g. [31, Eq.(15.6.1)]): for c > b > 0,
2F1(a, b, c, z) = 1 Γ(b)Γ(c − b) Z 1 0 tb−1(1 − t)c−b−1 (1 − zt)a dt, we have lim N →∞2F1(1 − N 2, 1; 3 2; − 2α2 N ) = limN →∞ 1 √ π Z 1 0 1 √ 1 − t 1 +2α 2 N t N2−1 dt = √1 π Z 1 0 eα2t √ 1 − tdt = eα2 α erf(α).
This completes the proof.
We shall use the following version of the Christoffel–Darboux identity for Her-mite polynomials, see [6, Lemma 4.1] and [28, Proposition 2.3].
Lemma 4.2. For any τ ∈ (0, 1], let FN(x) := N −2 X k=0 (τ /2)k k! Hk(x) 2. (4.3)
Then for any N ≥ 2, we have FN0 (x) = 4τ x 1 + τFN(x) − 4(τ /2)N −1 1 + τ HN −2(x)HN −1(x) (N − 2)! . (4.4)
For the reader’s convenience, let us present the proof of Lemma 4.2 here. Proof of Lemma 4.2. For N = 2, it follows from H0(x) = 1, H1(x) = 2x that the identity (4.4) trivially holds. By the differentiation rule
HN −10 (x) = 2(N − 1)HN −2(x) and the three-term recurrence relation
HN(x) = 2xHN −1(x) − HN −10 (x) of the Hermite polynomials, we have
τ xHN −1(x) + (N − 1)HN −2(x) − 1 + τ 2 H 0 N −1(x) = τ 2HN(x). Using this, the induction argument gives
FN +10 (x) = FN0 (x) + (τ /2) N −1 (N − 1)! HN −1(x)2 0 = 4τ x 1 + τFN +1(x) − 4(τ /2)N 1 + τ HN −1(x)HN(x) (N − 1)! ,
which completes the proof.
Lemma 4.3. For any τN ∈ (0, 1], we have ρ1N(x) = ρ1N(0) − 1 EN,τN r 2 π (τN/2)N − 3 2 1 + τN N (N − 2)! × Z x 0 e− N 1+τNu 2 HN −2( q N 2τNu)HN −1( q N 2τNu) du.
Proof. By (4.1), the function R1N is expressed in terms of the function FN in (4.3) as R1N(x) = r N 2πe − N 1+τNx 2 FN( q N 2τNx).
Differentiating the above and using Lemma 4.2, we obtain (R1N)0(x) = − r 2 π (τN/2)N −32 1 + τN N (N − 2)!e − N 1+τNx 2 HN −2( q N 2τNx)HN −1( q N 2τNx).
Integrating the above, we have R1N(x) = R1N(0) − r 2 π (τN/2)N −32 1 + τN N (N − 2)! × Z x 0 e− N 1+τNu 2 HN −2( q N 2τNu)HN −1( q N 2τNu) du,
which completes the proof.
We will need the following lemma on the boundedness of certain oscillatory integrals. Lemma 4.4. As N → ∞, we have (4.5) Z x 0 eα2u2/8 (4 − u2)14 cos n N +α2 4 u p 4 − u2− N arccos(u 2) − 3 2arcsin( u 2) o du = O( 1 N) and (4.6) Z x 0 eα2u2/4 √ 4 − u2sin n N +α2 2 u p 4 − u2− 2N arccos(u 2) − 2 arcsin( u 2) o du = O( 1 N) uniformly on compact subsets of (−2, 2).
Proof. We present the proof of the first assertion (4.5) as the other one (4.6) follows from similar computations. Let us write
φ(u) := u √ 4 − u2 4 − arccos( u 2), a(u) := e α2u2/8 (4 − u2)14 expni(α42up4 − u2−3 2arcsin( u 2)) o . Then the desired asymptotic (4.5) is equivalent to
(4.7) Re
Z x 0
a(u)eiN φ(u)du = O(1 N),
where the O(N1) term is uniform on compact subsets of (−2, 2). Since
φ0(u) = √
4 − u2
the function φ(u) has critical points only at u = ±2. Thus we have that for x ∈ (0, 2), Z x 0 a(u)eiN φ(u)du = 1 iN Z x 0 a(u) φ0(u) d due iN φ(u)du = 1 iN a(u) φ0(u)e iN φ(u) u=x u=0 − Z x 0 d du a(u) φ0(u) eiN φ(u)du since φ has no critical point on [0, x]. Therefore we obtain
Z x 0 a(u)eiN φ(u)du ≤ 1 N a φ0 L∞[0,x]+ a φ0 0 L1[0,x] ,
which leads to (4.7). One can treat the other case x ∈ (−2, 0) in the same way. Let us recall the Plancherel-Rotach asymptotic formula (see e.g., [10, Chapter 7] or [11, Theorem 5]): for θ ∈ (−π/2, π/2), (4.8) HN( √ 2N sin θ) ∼ q 2 cos θ(2N ) N 2e−( 1 2−sin 2θ)N cosnN [−π2+ θ +12sin 2θ] +θ2o. We are now ready to prove Theorem 2.8.
Proof of Theorem 2.8. We prove the theorem by using the following steps: • for any x ∈ (−2, 2), (4.9) ρ2N(x) → 0 as N → ∞; • for any x ∈ (−2, 2), ρ1N(x) → 1 c(α) 1 2α√πerf( α 2 p 4 − x2) as N → ∞. (4.10) Combining (4.9) and (4.10), as N → ∞, ρN(x) → ρwα(x), for |x| < 2.
Since both ρN and ρwα are probability density functions, we have lim
N →∞ρN(x) = 0, for |x| ≥ 2,
which proves Theorem 2.8. Therefore it suffices to show (4.9) and (4.10). Let us first show (4.9). By Theorem 2.1, we have
(4.11) 1 EN,τN r 2 π (τN/2)N − 3 2 1 + τN N (N − 2)! ∼ 1 c(α) 2−N +1 √ π e−α2 (N − 2)!. Then by (4.2), ρ2N(x) ∼ e −α2 c(α) 2−N √ π e− N 2(1+τN )x 2 (N − 2)! HN −1( q N 2τNx) Z x 0 e− N 2(1+τN )u 2 HN −2( q N 2τNu) du.
and HN −2( q N 2τNu) ∼ − 2 (4 − u2)14 (2N )N −22 e N 2(1+τN )u 2 e−N2+ α2u2 8 × cosnN +α2 4 u p 4 − u2− N arccos(u 2) − 3 2arcsin( u 2) o . (4.13)
Combining (4.12) and (4.13) with Stirling’s formula, we obtain ρ2N(x) ∼ e −α2 c(α) 1 π eα2x2/8 (4 − x2)14 sin{N +α4 2xp4 − x2− N arccos(x 2) − 1 2arcsin( x 2) o × Z x 0 eα2u2/8 (4 − u2)14 cosnN +α4 2up4 − u2− N arccos(u 2) − 3 2arcsin( u 2) o du. Now the claim (4.9) follows from the first assertion (4.5) of Lemma 4.4.
Next, we show (4.10). For x ∈ (−2, 2), let us write hN(x) := 2 −N (N − 2)! Z x 0 e− N 1+τNu 2 HN −2( q N 2τNu)HN −1( q N 2τNu) du and h(x) := 1 4αe α2 erfc(α2p4 − x2) − erfc(α).
Combining Lemma 4.3 with (4.11), the claim (4.10) is equivalent to the convergence hN(x) → h(x) as N → ∞.
(4.14)
To show this, we first investigate the asymptotic behavior of h0N(x)/h0(x) as N → ∞. By differentiation, h0N(x) = 2 −N (N − 2)!e − N 1+τNx 2 HN −2( q N 2τNx)HN −1( q N 2τNx) and h0(x) = 1 4√π x √ 4 − x2e α2x2/4. Again we use (4.12) and (4.13) to derive
h0N(x) h0(x) ∼ 1 + 2 xsin n N +α2 2 x p 4 − x2− 2N arccos(x 2) − 2 arcsin( x 2) o .
Then (4.14) follows from the second assertion (4.6) of Lemma 4.4. We finish the
proof.
5. Variance of the number of real eigenvalues In this section, we prove Theorem 2.3. Let us define
where SN1(x, y) := √1 2πe − x2+y2 2(1+τN ) N −2 X k=0 (τN/2)k k! Hk( x √ 2τN)Hk( y √ 2τN), (5.1) SN2(x, y) := √1 2π (τN/2)N −32 1 + τN 1 (N − 2)!e − y2 2(1+τN )HN −1(√y 2τN) × Z x 0 e− u2 2(1+τN )HN −2(√u 2τN) du. (5.2)
The function SN is used to form 2×2 matrix-valued kernel of the associated Pfaffian point process, see [17].
By definition, we have SN(x, x) = EN,τ√ N N ρN( x √ N), EN,τN = Z R SN(x, x) dx.
The variance VN,τN is expressed in terms of one- and two-point correlation functions
of the real eigenvalues, which in turn VN,τN = 2EN,τN − 2
Z R2
SN(x, y)SN(y, x) dx dy, (5.3)
see [16].
By Theorem 2.1, we have EN,τN ∼ N c(α). Observe also that the functions r(α) and c(α) are related as
r(α) = 2 − 2c( √
2α) c(α) . Then by (5.3), it suffices to show that
lim N →∞ 1 N Z R2 SN(x, y)SN(y, x) dx dy = c( √ 2α). (5.4)
Notice that the integral in (5.2) is the same as the one in (4.2). Thus we can use (4.12), (4.13), and Lemma 4.4 to obtain that for any x, y ∈ (−2√N , 2√N ),
SN2(x, y) = o( √
N ), SN2(y, x) = o( √
N ).
Therefore the term SN2 does not contribute to the leading order asymptotic of (5.4), namely 1 N Z R2 SN(x, y)SN(y, x) dx dy ∼ 1 N Z R2 SN1 (x, y)2dx dy. By (2.1) and (2.2), all we need to show is the convergence
(5.5) lim N →∞ 1 N Z R2 SN1(x, y)2dx dy = ∞ X k=0 (−1)k(2k − 1)!! k!(k + 1)!α 2k.
The overall strategy of the proof of (5.5) is similar to that in Section 3 albeit the computations are fairly more complicated. For the reader’s convenience, let us summarize the steps of the proof as follows:
• we first obtain an expression of 1 N
R R2S
1
• we decompose the double summation in the previous step into finite num-ber of single summations (see (5.10), (5.11)) and obtain a double contour integral representation of each of the single summation (Lemma 5.3); • we compute the power series expansion of each of the single summation by
the residue calculus (Lemma 5.4);
• using a combinatorial identity (Lemma 5.5) we compile all the contributions from each of the single summation in the large-N limit.
See also Remark 5.2 below for a motivation of this approach using the residue calculus.
We begin with the following lemma. Lemma 5.1. We have 1 N Z R2 S1N(x, y)2dx dy = IN(α) + IIN(α), where IN(α) := 1 N π 2 1 + τN 1 − τN N/2−1 X l,m=0 2F1(l − m + 12, m − l + 12; −l − m +12; −1−ττNN)2 (2l)!(2m)! , IIN(α) := 1 N π 2 1 + τN 1 − τN N/2−1 X l,m=1 2F1(l − m + 12, m − l + 12; −l − m +32; −1−ττNN)2 (2l − 1)!(2m − 1)! . Proof. By (5.1), we have SN,1(x, y)2 = 1 2πe −x2+y2 1+τN N −2 X j,k=0 (τN/2)j+k j!k! Hj( x √ 2τN)Hk( x √ 2τN)Hj( y √ 2τN)Hk( y √ 2τN).
Observe here that for j + k odd, we have Z R e− x2 1+τNHj(√x 2τN)Hk( x √ 2τN) dx = 0.
For j + k even, we use the formula (7.374-5) in [25] to derive Z R e− x2 1+τNHj(√x 2τN)Hk( x √ 2τN) dx = √ 2τN Z R e−1+τN2τN u 2 Hj(u)Hk(u) du =√2τN2j+k−12 ( τN 1+τN) −j+k+1 2 (1−τN 1+τN) j+k 2 Γ(j+k+1 2 )2F1(−j, −k; 1−j−k 2 ; − τN 1−τN) = (1+τN 1−τN) 1 2(τN 2 ) −j+k2 Γ(j+k+1 2 )2F1( j−k+1 2 , k−j+1 2 ; 1−j−k 2 ; − τN 1−τN).
Here the last identity follows from Euler’s transformation (see e.g., [31, Eq.(15.8.1)]) 2F1(a, b; c; z) = (1 − z)c−a−b2F1(c − a, c − b; c;z−1z ). Then by (3.6), we obtain (5.6) Z R2 SN,1(x, y)2dx dy = π 2 1 + τN 1 − τN X j+k:even 0≤j,k≤N −2 2F1(j−k+12 ,k−j+12 ;1−j−k2 ; −1−ττNN)2 j!k! ,
Remark 5.2. Let us pause here to briefly explain the reason we derive the asymp-totics of (5.6) using the residue calculus rather than direct computations. For this, note that (5.7) 1 N Z R2 SN,1(x, y)2dx dy ∼ π α2 X j+k:even 0≤j,k≤N −2 2F1(j−k+12 ,k−j+12 ;1−j−k2 ; − τN 1−τN) 2 j!k! .
As a function of α, the right-hand side of the equation (5.7) is indeed an even polynomial of degree 4N − 8. More precisely, we have
(5.8) π α2 N −2 X j,k=0 2F1(j−k+12 ,k−j+12 ;1−j−k2 ; −1−ττN N) 2 j!k! = 2N −4 X l=0 bN,lα2l, where (5.9) bN,l= (−1) l πNl+1 X j+k:even 0≤j,k≤N −2 X n+m=l 0≤n≤j 0≤m≤k Γ(k−j+12 + n)Γ(j−k+12 + m) Γ(k − j + 1 + n)Γ(j − k + 1 + m) j n k m .
The identity (5.8) follows from well-known properties of hypergeometric function which include Pfaff’s transform (3.11), a linear transform [31, Eq.(15.8.7)] and an evaluation in terms of polynomials [31, Eq.(15.2.4)] as well as basic properties of Gamma function such as the reflection formula (3.6). We leave this verification to interested readers. Using (5.8), one may prove Theorem 2.3 by analyzing the large-N limit of (5.9). large-Nevertheless, it requires some non-trivial combinatorial identities to evaluate the multiple summations. On the other hand, the residue calculus we will perform plays a role in simplifying the multiple summations in (5.9), which makes the evaluation easier. The meaning of this will become clear below.
We shall now focus on the asymptotic analysis for IN as the other case follows along the same line. By (1.4), we have
IN(α) ∼ π α2 N/2−1 X l,m=0 2F1(l − m + 12, m − l +12; −l − m +12; −αN2 + 1)2 (2l)!(2m)! .
For each non-negative integer n, let us write (5.10) IN,n(α) := π α2 N/2−1 X l=n 2F1(n +12, −n + 12; −2l + n +12; −αN2 + 1)2 (2l)!(2l − 2n)! .
Then by letting l = m − n, one can see that IN can be asymptotically decomposed as follows: (5.11) IN(α) ∼ IN,0(α) + 2 N/2−1 X n=1 IN,n(α). In the sequel, we shall use the shorthand notation
Res
ζ,η=1[f (ζ, η)] := Resη=1[Resζ=1[f (ζ, η)]].
Lemma 5.3. We have IN,n(α) = 1 2 ∞ X k=0 anN,kα2k, where anN,k= (−1) n Nk+12k−1 k X m=0 (2n + 2m − 1)!! (−1)k−m m! (k − m)! (2n − 2k + 2m − 1)!! × Res ζ,η=1 h ζ−m−2n−1η−k+m−1+2n (ζ − 1)N −1−m−2n(η − 1)N −1−k+m 1 1 − (ζ − 1)2(η − 1)2 i . (5.12)
Proof. We first express each summand in (5.10) in terms of the residue of an elemen-tary function. By the integral representation (3.5) of the hypergeometric function, for x < 0, we have 2F1(l − m +12, m − l +12; −l − m + 12; x) (2m)! = − 1 Γ(m−l+12)Resζ=1 h ζm−l−12(1 − ζ)−2m−1(1 − ζx)m−l− 1 2 i . This identity together with (3.6) leads to
2F1(n +12, −n +12; −2l + n +12; x)2 (2l)!(2l − 2n)! = (−1)π n Res ζ,η=1 h ζ−n−12ηn− 1 2(1 − ζ)−2l+2n−1(1 − η)−2l−1(1 − ζx)−n− 1 2(1 − ηx)n− 1 2 i . We now simplify the sum of (ζ − 1)−2l+2n−1(η − 1)−2l−1 and expand the factor (1 − ζx)−n−12(1 − ηx)n− 1 2 around α = 0 (x = 1 − N α2). As a rational function of ζ and η, N/2−1 X l=n (ζ − 1)−2l+2n−1(η − 1)−2l−1 simplifies to (ζ − 1)2n−N +1(η − 1)−N +1− (ζ − 1)(η − 1)1−2n 1 − (ζ − 1)2(η − 1)2 . Also for x = 1 −αN2, the binomial expansions of (1 − ζx)
−n−1 2 and (1 − ηx)n− 1 2 give that (1 − ζx)−n−12(1 − ηx)n− 1 2 = ∞ X k=0 α2k+2 Nk+12k k X m=0 (ζ − 1)m ζm+12+n (η − 1)k−m ηk−m+12−n (2n + 2m − 1)!! (−1)k−m m! (k − m)! (2n − 2k + 2m − 1)!! for |ζ − 1| < |ζ|αN2 and |η − 1| < |η| N
α2. Combining all of the above equations with
(5.10), the proof is complete.
Lemma 5.4. We have anN,k= (−1) k 2k−1 k X m=0 (2n + 2m − 1)!! (2k − 2m − 1 − 2n)!! m! (k − m)! (m + 2n)! (k − m − 2n)! × 1 Nk+1 N0 X l=0 (N − 2 − 2l)!(N − 2 − 2l − 2n)! (N − 2 − 2l − m − 2n)!(N − 2 − 2l − k + m)!, (5.13) where N0 := bN −m2 c − n − 1. Proof. Using the expansions
ζ−m−2n−1 = ∞ X l=0 (−1)l(m + 2n + l)! (m + 2n)! l! (ζ − 1) l, 1 1 − (ζ − 1)2(η − 1)2 = ∞ X l=0 (ζ − 1)2l(η − 1)2l around ζ = 1 and η = 1, we have
Res ζ=1 h ζ−m−2n−1 (ζ − 1)N −1−m−2n 1 1 − (ζ − 1)2(η − 1)2 i = (−1) m (m + 2n)! N0 X l=0 (N − 2 − 2l)! (N − 2 − m − 2n − 2l)!(η − 1) 2l.
Therefore the residue in (5.12) is computed as Res ζ,η=1 h ζ−m−2n−1η−k+m−1+2n (ζ − 1)N −1−m−2n(η − 1)N −1−k+m 1 1 − (ζ − 1)2(η − 1)2 i = (−1) m (m + 2n)! N0 X l=0 (N − 2 − 2l)! (N − 2 − m − 2n − 2l)!Resη=1 h η−k+m−1+2n (η − 1)N −1−k+m−2l i . = (−1) k (m + 2n)!(k − m − 2n)! N0 X l=0 (N − 2 − 2l)!(N − 2 − 2l − 2n)! (N − 2 − 2l − m − 2n)!(N − 2 − 2l − k + m)!,
which completes the proof.
To combine each of the residues in (5.11), we will need the following combina-torial identity.
Lemma 5.5. For any non-negative integer k, we have (5.14) 2k k = k X m=0 k m bk/2c X n=−bk/2c (2n + 2m − 1)!! (2k − 2m − 2n − 1)!! (m + 2n)! (k − m − 2n)! . Proof. Note that the inner summation of (5.14) can be written as
where the summationP0nis taken over all n such that m+2n ≥ 0 and k−m−2n ≥ 0. Then (5.14) is equivalent to 2k2k k = k X m=0 X0 n k m + n 2m + 2n m 2k − 2m − 2n k − m .
This identity easily follows from the elementary combinatorics using the double-counting method. To be more precise, the left-hand side corresponds to the number of cases where k out of 2k balls are chosen, and each is painted black or red (say). On the other hand, the right-hand side can be interpreted as the total number of cases in which m + n pairs are first selected from the k pairs of 2 balls each, and m balls are selected out of the selected m + n pairs of balls and painted black, while k − m balls are selected out of the rest k − m − n pairs with 2k − 2m − 2n balls and painted red. This completes the proof.
Now we are ready to prove Theorem 2.3.
Proof of Theorem 2.3. Recall that we aim to prove (5.5). By Lemma 5.1, it is enough to show that
(5.15) lim N →∞IN(α) = limN →∞IIN(α) = 1 2 ∞ X k=0 akα2k, ak= (−1)k (2k − 1)!! k!(k + 1)!. We shall present the proof of (5.15) for IN. The other one for IIN is left to the reader as an exercise.
Due to Lemma 5.3 and the decomposition (5.11), the convergence (5.15) is equiv-alent to (5.16) ak= a0k+ 2 ∞ X n=1 ank, ank := lim N →∞a n N,k. To show (5.16), we first claim that
(5.17) ank = (−1) k 2k 1 k + 1 k X m=0 (2n + 2m − 1)!! (2k − 2m − 1 − 2n)!! m! (k − m)! (m + 2n)! (k − m − 2n)!.
This follows from Lemma 5.4 and Riemann sum approximation. More precisely, as N → ∞, the last factor in (5.13) has the following asymptotic behavior
1 Nk+1 N0 X l=0 (N − 2l − 2)!(N − 2l − 2n − 2)! (N − 2l − m − 2n − 2)!(N − 2l − k + m − 2)! = 1 N N0 X l=0 1 − 2l N + O 1 N k ∼ 1 2 Z 1 0 (1 − t)kdt = 1 2(k + 1), which leads to (5.17).
Now observe that by (5.13), we have
Then it follows from (5.17) and Lemma 5.5 that a0k+ 2 ∞ X n=1 ank = a0k+ 2 bk/2c X n=1 ank = (−1)k(2k − 1)!! k!(k + 1)!.
This completes the proof.
References
[1] G. Akemann, S.-S. Byun, and N.-G. Kang. A non-Hermitian generalisation of the Marchenko-Pastur distribution: From the circular law to multi-criticality. Ann. Henri Poincar´e, 22(4):1035–1068, 2021.
[2] G. Akemann, M. Cikovic, and M. Venker. Universality at weak and strong non-Hermiticity beyond the elliptic Ginibre ensemble. Comm. Math. Phys., 362(3):1111–1141, 2018.
[3] G. Akemann, M. Kieburg, and M. J. Phillips. Skew-orthogonal Laguerre polynomials for chiral real asymmetric random matrices. J. Phys. A, 43(37):375207, 24, 2010.
[4] G. Akemann, M. J. Phillips, and H.-J. Sommers. The chiral Gaussian two-matrix ensemble of real asymmetric matrices. J. Phys. A, 43(8):085211, 29, 2010.
[5] J. Alt and T. Kr¨uger. Local elliptic law. preprint arXiv:2102.03335, 2021.
[6] Y. Ameur and S.-S. Byun. Almost-Hermitian random matrices and bandlimited point pro-cesses. preprint arXiv:2101.03832, 2021.
[7] J. Baik and T. Bothner. The largest real eigenvalue in the real Ginibre ensemble and its relation to the Zakharov-Shabat system. Ann. Appl. Probab., 30(1):460–501, 2020.
[8] A. Borodin and C. D. Sinclair. The Ginibre ensemble of real random matrices and its scaling limits. Comm. Math. Phys., 291(1):177–224, 2009.
[9] P. Bourgade, H.-T. Yau, and J. Yin. Local circular law for random matrices. Probab. Theory Related Fields, 159(3-4):545–595, 2014.
[10] P. A. Deift. Orthogonal polynomials and random matrices: a Riemann-Hilbert approach, vol-ume 3 of Courant Lecture Notes in Mathematics. New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 1999. [11] D. Dominici. Asymptotic analysis of the Hermite polynomials from their differential-difference
equation. J. Difference Equ. Appl., 13(12):1115–1128, 2007.
[12] A. Edelman, E. Kostlan, and M. Shub. How many eigenvalues of a random matrix are real? J. Amer. Math. Soc., 7(1):247–267, 1994.
[13] K. B. Efetov. Directed quantum chaos. Phys. Rev. Lett., 79(3):491, 1997.
[14] P. J. Forrester, J. R. Ipsen, and S. Kumar. How many eigenvalues of a product of truncated orthogonal matrices are real? Exp. Math., 29(3):276–290, 2020.
[15] P. J. Forrester and A. Mays. A method to calculate correlation functions for β = 1 random matrices of odd size. J. Stat. Phys., 134(3):443–462, 2009.
[16] P. J. Forrester and T. Nagao. Eigenvalue statistics of the real Ginibre ensemble. Phys. Rev. Lett., 99(5):050603, 2007.
[17] P. J. Forrester and T. Nagao. Skew orthogonal polynomials and the partly symmetric real Ginibre ensemble. J. Phys. A, 41(37):375003, 19, 2008.
[18] Y. V. Fyodorov, B. A. Khoruzhenko, and H.-J. Sommers. Almost Hermitian random matrices: crossover from Wigner-Dyson to Ginibre eigenvalue statistics. Phys. Rev. Lett., 79(4):557–560, 1997.
[19] Y. V. Fyodorov, B. A. Khoruzhenko, and H.-J. Sommers. Almost-Hermitian random matrices: eigenvalue density in the complex plane. Phys. Lett. A, 226(1-2):46–52, 1997.
[20] Y. V. Fyodorov, H.-J. Sommers, and B. A. Khoruzhenko. Universality in the random ma-trix spectra in the regime of weak non-Hermiticity. Ann. Inst. H. Poincar´e Phys. Th´eor., 68(4):449–489, 1998.
[21] Y. V. Fyodorov and W. Tarnowski. Condition numbers for real eigenvalues in the real elliptic Gaussian ensemble. Ann. Henri Poincar´e, 22(1):309–330, 2021.
[22] J. Ginibre. Statistical ensembles of complex, quaternion, and real matrices. J. Math. Phys., 6(3):440–449, 1965.
[24] F. G¨otze and A. Tikhomirov. The circular law for random matrices. Ann. Probab., 38(4):1444– 1491, 2010.
[25] I. S. Gradshteyn and I. M. Ryzhik. Table of integrals, series, and products. Academic press, 2014.
[26] E. Kanzieper and G. Akemann. Statistics of real eigenvalues in Ginibre’s ensemble of random real matrices. Phys. Rev. Lett., 95(23):230201, 4, 2005.
[27] B. A. Khoruzhenko, H.-J. Sommers, and K. ˙Zyczkowski. Truncations of random orthogonal matrices. Phys. Rev. E (3), 82(4):040106, 4, 2010.
[28] S.-Y. Lee and R. Riser. Fine asymptotic behavior for eigenvalues of random normal matrices: Ellipse case. J. Math. Phys., 57(2):023302, 2016.
[29] A. Little, F. Mezzadri, and N. Simm. On the number of real eigenvalues of a product of truncated orthogonal random matrices. preprint arXiv:2102.08842, 2021.
[30] H. H. Nguyen and S. O’Rourke. The elliptic law. Int. Math. Res. Not. IMRN, 2015(17):7620– 7689, 2015.
[31] F. W. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark (Editors). NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge, 2010.
[32] M. Poplavskyi, R. Tribe, and O. Zaboronski. On the distribution of the largest real eigenvalue for the real Ginibre ensemble. Ann. Appl. Probab., 27(3):1395–1413, 2017.
[33] N. Simm. On the real spectrum of a product of Gaussian matrices. Electron. Commun. Probab., 22:Paper No. 41, 11, 2017.
[34] C. D. Sinclair. Averages over Ginibre’s ensemble of random real matrices. Int. Math. Res. Not. IMRN, (5):Art. ID rnm015, 15, 2007.
[35] H.-J. Sommers. Symplectic structure of the real Ginibre ensemble. J. Phys. A, 40(29):F671– F676, 2007.
[36] H.-J. Sommers, A. Crisanti, H. Sompolinsky, and Y. Stein. Spectrum of large random asym-metric matrices. Phys. Rev. Lett., 60(19):1895–1898, 1988.
[37] T. Tao and V. Vu. Random matrices: universality of ESDs and the circular law. Ann. Probab., 38(5):2023–2065, 2010. With an appendix by Manjunath Krishnapur.
[38] T. Tao and V. Vu. Random matrices: universality of local spectral statistics of non-Hermitian matrices. Ann. Probab., 43(2):782–874, 2015.
Department of Mathematical Sciences, Seoul National University, Seoul, 08826, Republic of Korea
Email address: [email protected]
School of Mathematics, Korea Institute for Advanced Study, Seoul, 02455, Re-public of Korea
Email address: [email protected]
Department of Mathematical Sciences, Korea Advanced Institute of Science and Technology, Daejeon, 34141, and School of Mathematics, Korea Institute for Ad-vanced Study, Seoul, 02455, Republic of Korea
Email address: [email protected]
Mathematics Institute, Ludwig-Maximilian University of Munich, Theresienstrasse 39, Munich, 80333, Germany
