Abstract
We consider a two-dimensional determinantal point process arising in the random normal matrix model and which is a two-parameter generalization of the complex Ginibre point process. In this paper, we prove that the probability that no points lie on any number of annuli centered at 0 satisfies large n asymptotics of the form
where n is the number of points of the process. We determine the constants \(C_{1},\ldots ,C_{6}\) explicitly, as well as the oscillatory term \({\mathcal {F}}_{n}\) which is of order 1. We also allow one annulus to be a disk, and one annulus to be unbounded. For the complex Ginibre point process, we improve on the best known results: (i) when the hole region is a disk, only \(C_{1},\ldots ,C_{4}\) were previously known, (ii) when the hole region is an unbounded annulus, only \(C_{1},C_{2},C_{3}\) were previously known, and (iii) when the hole region is a regular annulus in the bulk, only \(C_{1}\) was previously known. For general values of our parameters, even \(C_{1}\) is new. A main discovery of this work is that \({\mathcal {F}}_{n}\) is given in terms of the Jacobi theta function. As far as we know this is the first time this function appears in a large gap problem of a two-dimensional point process.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of results
Consider the probability density function
where \(z_{1},\ldots ,z_{n} \in \mathbb {C}\) and \(Z_{n}\) is the normalization constant. We are interested in the gap probability
where \(0 \le r_{1}< r_{2}< \cdots < r_{2g} \le +\infty \). Thus \({\mathcal {P}}_{n}\) is the probability that no points lie on g annuli centered at 0 and whose radii are given by \(r_{1},\ldots ,r_{2g}\). One annulus is a disk if \(r_{1}=0\), and one annulus is unbounded if \(r_{2g}=+\infty \). In this paper we obtain the large n asymptotics of \({\mathcal {P}}_{n}\), up to and including the term of order 1.
The particular case \(b=1\) and \(\alpha =0\) of (1.1) is known as the complex Ginibre point process [40] (or simply Ginibre process, for short) and is the most well-studied two-dimensional determinantal point process of the theory of random matrices. It describes the distribution of the eigenvalues of an \(n \times n\) random matrix whose entries are independent complex centered Gaussian random variables with variance \(\frac{1}{n}\). For general values of \(b>0\) and \(\alpha >-1\), (1.1) is the joint eigenvalue density of a normal matrix M taken with respect to the probability measure [58]
Here dM denotes the measure induced by the flat Euclidian metric of \(\mathbb {C}^{n\times n}\) on the set of normal \(n \times n\) matrices (see e.g. [20, 32] for details), \(M^{*}\) is the conjugate transpose of M, “\(\text{ tr }\)" denotes the trace, and \({\mathcal {Z}}_{n}\) is the normalization constant.
The limiting mean density (with respect to \(d^{2}z\)) as \(n \rightarrow + \infty \) of the points \(z_{1},\ldots ,z_{n}\) is given by [17, 67]
and is supported on the disk centered at 0 and of radius \(b^{-\frac{1}{2b}}\). In particular, for \(b=1\), the limiting density is uniform over the unit disk; this is a well-known result of Ginibre [40]. Since the points accumulate on a compact set as \(n \rightarrow + \infty \), this means that for large n, \({\mathcal {P}}_{n}\) is the probability of a rare event, namely that there are g “large gaps/holes” in the form of annuli.
The probability to observe a hole on a disk centered at 0 and of radius \(r<1\) in the Ginibre process was first studied by Forrester, who obtained [37, eq. (27)]
where
and \(\textrm{erfc}\) is the complementary error function defined by
The constant \(C_{1}\) was also given independently by Jancovici, Lebowitz and Manificat in [48, Eq. (2.7)]. As noticed in [37, Eq. (13)], \(C_{1}\) and \(C_{2}\) also follow from the asymptotic expansion obtained in an equivalent problem considered in the earlier work [44]. The constants \(C_{1},C_{2},C_{3}\) have also been obtained in the more recent work [4] using a different method; see also [52, Eq. (49)] for another derivation of \(C_{1}\). Although Forrester’s result (1.5) is 30 years old, as far as we know it is the most precise result available in the literature prior to this work.
When the hole region is an unbounded annulus centered at 0 and of inner radius \(r<1\), the following third order asymptotics for \({\mathcal {P}}_{n}\) were obtained by Cunden, Mezzadri and Vivo in [23, Eq. (51)] for the Ginibre process:
where \(C_{1} = \frac{r^{4}}{4}-r^{2}+\frac{3}{4}+\log r\), \( C_{2} = \frac{r^{2}-1}{2}\), \(C_{3} = (1-r^{2}) \Big ( 1 - \log \frac{\sqrt{2\pi }(1-r^{2})}{r} \Big )\).
Hole probabilities of more general domains have been considered in [2] for the Ginibre process. In particular, for a large class of open sets U lying in the unit disk, Adhikari and Reddy in [1] proved that
where the constant \(C_{1}=C_{1}(U)\) is given in terms of a certain equilibrium measure related to a problem of potential theory. When U is either a disk, an annulus, an ellipse, a cardioid, an equilateral triangle or a half-disk, \(C_{1}\) has been computed explicitly. Some of these results have then been generalized for a wide class of point processes by Adhikari in [1]. For the point process (1.1) (with arbitrary \(b>0\) but \(\alpha =0\)), he obtained
as \(n \rightarrow + \infty \) with \(0<r_{1}<r_{2}<b^{-\frac{1}{2b}}\) and \(r \in (0,b^{-\frac{1}{2b}})\) fixed, see [1, Theorem 1.2 and eqs (3.5)–(3.6)].
These are the only works which we are aware of and which fall exactly in our setting. There are however several other works that fall just outside. In [69], Shirai considered the infinite Ginibre process, which, as its name suggests, is the limiting point process arising in the bulk of the (finite) Ginibre process. He proved, among other things, that the probability of the hole event \(\#\big \{z_{j}:|z_{j}| \le r \big \}=0\) behaves as \(\exp \Big ( \frac{-r^{4}}{4} + o(r^{4}) \Big )\) as \(r \rightarrow + \infty \) (see also [47, Proposition 7.2.1] for a different proof). This result can be seen as a less precise analogue of (1.5) for the infinite Ginibre process, and was later generalized for more general shapes of holes in [2] and then for more general point processes in [1]. Hole probabilities for product random matrices have been investigated in [3, 5]. The existing literature on large gap problems in dimension \(\ge 2\) goes beyond random matrix theory. The random zeros of the hyperbolic analytic function \(\sum _{k=0}^{+\infty }\xi _{k} z^{k}\) — here the \(\xi _{k}\)’s are independent standard complex Gaussians — form a determinantal point process [63], and the associated large gap problem on a centered disk has been solved in [63, Corollary 3 (i)]. Another well studied two-dimensional point process is the random zeros of the standard Gaussian entire function. This function is given by \(\sum _{k=0}^{+\infty }\xi _{k} \frac{z^{k}}{\sqrt{k!}}\), where the \(\xi _{k}\)’s are independent standard complex Gaussians. In [70], the probability for this function to have no zeros in a centered disk of radius r was shown to be, for all sufficiently large r, bounded from below by \(\exp (-Cr^{4})\) and bounded from above by \(\exp (-cr^{4})\) for some positive constants c and C. This result was later improved by Nishry in [59], who proved that this probability is \(\exp (-\frac{e^{2}}{4}r^{4}+o(r^{4}))\) as \(r \rightarrow + \infty \). A similar result as in [70] was obtained in [46] for a different kind of random functions with diffusing coefficients. Also, for a d-dimensional process of noninteracting fermions, it is shown in [43] that the hole probability on a spherical domain of radius r behaves as \(\exp (-cr^{d+1}+o(r^{3}))\) as \(r \rightarrow + \infty \), and an explicit expression for \(c>0\) is also given.
In its full generality, the random normal matrix model is associated with a given confining potential \(Q:\mathbb {C}\rightarrow \mathbb {R}\cup \{+\infty \}\) and is defined by a probability measure proportional to \(e^{-n\textrm{tr}Q(M)}dM\), where dM is as in (1.3). The random normal matrix model has been extensively studied over the years, see e.g. [20, 32] for early works, [7, 38, 53, 66] for smooth linear statistics, [9, 17, 30, 36, 65, 74] for non-smooth linear statistics, and [6, 11, 45, 54, 55] for recent investigations on planar orthogonal polynomials. Despite such progress, the problem of determining large gap asymptotics in this model has remained an outstanding problem. In this work we focus on \(Q(z) = |z|^{2b}+\frac{2\alpha }{n} \log |z|\), which is a generalization of the Gaussian potential \(|z|^{2}\) known as the Mittag–Leffler potential [8].
Let us now explain our results in more detail. We obtain the large n asymptotics of \({\mathcal {P}}_{n}\) for general values of \(b>0\) and \(\alpha > -1\) in four different cases:
-
1.
The case \(0< r_{1}< \cdots< r_{2g} < b^{-\frac{1}{2b}}\) is stated in Theorem 1.1,
-
2.
The case \(0< r_{1}< \cdots< r_{2\,g-1}< b^{-\frac{1}{2b}} < r_{2\,g}=+\infty \) is stated in Theorem 1.4,
-
3.
The case \(0 = r_{1}< r_{2}< \cdots< r_{2\,g} < b^{-\frac{1}{2b}}\) is stated in Theorem 1.7,
-
4.
The case \(0 = r_{1}< r_{2}< \cdots< r_{2\,g-1}< b^{-\frac{1}{2b}} < r_{2\,g}=+\infty \) is stated in Theorem 1.9.
In other words, we cover the situations where the hole region consists of
-
1.
g annuli inside the disk of radius \(b^{-\frac{1}{2b}}\) (“the bulk"),
-
2.
\(g-1\) annuli in the bulk and one unbounded annulus (\(g \ge 1\)),
-
3.
\(g-1\) annuli in the bulk and one disk (\(g \ge 1\)),
-
4.
\(g-2\) annuli in the bulk, one unbounded annulus, and one disk (\(g \ge 2\)).
For each of these four cases, we prove that
as \(n \rightarrow + \infty \), and we give explicit expressions for the constants \(C_{1},\ldots ,C_{6}\).
The quantity \({\mathcal {F}}_{n}\) fluctuates around 0 as n increases, is of order 1, and is given in terms of the Jacobi theta function (see e.g. [61, Chapter 20])
Note that \(\theta (z|\tau )=\theta (z+1|\tau )\) for all \(z \in \mathbb {C}\) and \(\tau \in i(0,+\infty )\); in particular \(\mathbb {R}\ni x\mapsto \theta (x|\tau )\) is periodic of period 1. To our knowledge, this is the first time the Jacobi theta function appears in a large gap problem of a two-dimensional point process.
The presence of oscillations in these asymptotics can be explained by the following heuristics. It is easy to see (using Bayes’ formula) that \({\mathcal {P}}_{n}\) is also equal to the partition function (= normalization constant) of the point process (1.1) conditioned on the event that \(\#\{z_{j}:|z_{j}|\in [r_{1},r_{2}]\cup [r_{3},r_{4}]\cup ... \cup [r_{2\,g-1},r_{2\,g}] \}=0\). As is typically the case in the asymptotic analysis of partition functions, an important role is played by the n-tuples \((z_{1},\ldots ,z_{n})\) which maximize the density of this conditional process. One is then left to understand the configurations of such n-tuples when n is large. To be more concrete, suppose for example that \(g=1\) and \(0<r_{1}<r_{2}<b^{-\frac{1}{2b}}\). Since the support of (1.4) is the centered disk of radius \(b^{-\frac{1}{2b}}\), it is natural to expect that the points in the conditional process will accumulate as \(n \rightarrow + \infty \) on two separated components (namely the centered disk of radius \(r_{1}\), and an annulus whose small radius is \(r_{2}\)). The n-tuples \((z_{1},\ldots ,z_{n})\) maximizing the conditional density may differ from each other by the number of \(z_{j}\)’s lying on a given component. This, in turn, produces some oscillations in the behavior of \({\mathcal {P}}_{n}\). More generally, if the points in the conditional process accumulate on several components (“the multi-component regime"), then one expects some oscillations in the asymptotics of \({\mathcal {P}}_{n}\). (There exist several interesting studies on conditional processes in dimension two, see e.g. [42, 60, 68].) In the setting of this paper, there are three cases for which there is no oscillation (i.e. \({\mathcal {F}}_{n}=0\)): when the hole region consists of only one disk (the case \(g=1\) of Theorem 1.4), only one unbounded annulus (the case \(g=1\) of Theorem 1.7), or one disk and one unbounded annulus (the case \(g=2\) of Theorem 1.9). This is consistent with our above discussion since in each of these three cases the points of the conditional process will accumulate on a single connected component.
It has already been observed that the Jacobi theta function (and more generally, the Riemann theta function) typically describes the oscillations in the large gap asymptotics of one-dimensional point processes in “the multi-cut regime”. Indeed, Widom in [76] discovered that the large gap asymptotics of the one-dimensional sine process, when the gaps consist of several intervals, contain oscillations of order 1 given in terms of the solution to a Jacobi inversion problem. These oscillations were then substantially simplified by Deift, Its and Zhou in [26], who expressed them in terms of the Riemann theta function. Since then, there has been other works of this vein, see [16] for \(\beta \)-ensembles, [21] for partition functions of random matrix models, [35] for the sine process, [12, 13, 51] for the Airy process, and [14] for the Bessel process. In all these works, the Riemann theta function describes the fluctuations in the asymptotics, thereby suggesting that this function is a universal object related to the multi-cut regime of one-dimensional point processes. Our results show that, perhaps surprisingly, the universality of the Jacobi theta function goes beyond dimension 1.
Another function that plays a predominant role in the description of the large n asymptotics of \({\mathcal {P}}_{n}\) is the complementary error function (defined in (1.6)). This function already emerges in the constant \(C_{4}|_{(b=1,\alpha =0)}\) of Forrester, see (1.5). Interestingly, the constant \(C_{4}\) of Theorem 1.1 involves the same integrals (which are independent of b and \(\alpha \)), namely
and the constants \(C_{6}\) of Theorems 1.4 and 1.7 involve
Using the well-known large y asymptotics of \(\textrm{erfc}(y)\) [61, 7.12.1]
and \(\textrm{erfc}(-y) = 2-\textrm{erfc}(y)\), it is easy to check that the integrals in (1.11), (1.12) and (1.13) are finite, as it must.
We expect that the estimate \(\mathcal {O}\Big (n^{-\frac{1}{12}}\Big )\) for the error term in (1.9) is not optimal and could be reduced to \(\mathcal {O}\Big (n^{-\frac{1}{2}}\Big )\). However, proving this is a very technical task, and we will not pursue that here. We now state our main results, and discuss our method of proof afterwards.
Theorem 1.1
(g annuli in the bulk) Let
be fixed parameters. As \(n \rightarrow + \infty \), we have
where
\(\theta \) is given by (1.10), and for \(k \in \{1,\ldots ,g\}\)
Remark 1.2
By setting \(\alpha =0\) and \(g=1\) in Theorem 1.1, we obtain \(C_{1} = \frac{(r_{2}^{2b}-r_{1}^{2b})^{2}}{4 \log (\frac{r_{2}}{r_{1}})} - \frac{b}{4}(r_{2}^{4b}-r_{1}^{4b})\), which agrees with (1.8).
Remark 1.3
The constant \(C_{5}=0\) has been included in (1.15) to ease the comparison with Theorems 1.4, 1.7 and 1.9 below.
Theorem 1.4
(\(g-1\) annuli in the bulk and one unbounded annulus) Let
be fixed parameters. As \(n \rightarrow + \infty \), we have
where
\(\theta \) is given by (1.10), and \(t_{2k}\) is given by (1.16) for \(k \in \{1,\ldots ,g-1\}\).
Remark 1.5
It is easy to check that the constants \(C_{1}, C_{2}, C_{3}\) of Theorem 1.4, when specialized to \(b=1\), \(\alpha =0\) and \(g=1\), are the same as the constants of Cunden, Mezzadri and Vivo in (1.7).
The constants \(C_{6}\) appearing in Theorems 1.7 and 1.9 below are notably different than in the previous two theorems, because they involve a new quantity \({\mathcal {G}}(b,\alpha )\) which is defined by
where \(\Gamma (z)=\int _{0}^{\infty } t^{z-1}e^{-t}dt\) is the Gamma function. Interestingly, this same object \({\mathcal {G}}(b,\alpha )\) also appears in the large gap asymptotics at the hard edge of the Muttalib-Borodin ensemble, see [18, Theorem 1.1] (\({\mathcal {G}}(b,\alpha )\) here corresponds to \(d(\frac{1}{b},\frac{\alpha }{b}-1)\) in [18]). It was also shown in [18] that if b is a rational, then \({\mathcal {G}}(b,\alpha )\) can be expressed in terms of the Riemann \(\zeta \)-function and Barnes’ G function, two well-known special functions (see e.g. [61, Chapters 5 and 25]). More precisely, we have the following.
Proposition 1.6
(Taken from [18, Proposition 1.4]) If \(b = \frac{n_{1}}{n_{2}}\) for some positive integers \(n_{1},n_{2}\), then \({\mathcal {G}}(b,\alpha )\) is explicitly given by
We now state our next theorem.
Theorem 1.7
(\(g-1\) annuli in the bulk and one disk)
Let
be fixed parameters. As \(n \rightarrow + \infty \), we have
where
\(\theta \) is given by (1.10), \(t_{2k}\) is given by (1.16) for \(k \in \{2,\ldots ,g\}\), and \({\mathcal {G}}(b,\alpha )\) is given by (1.18).
Remark 1.8
It is easy to check that the constants \(C_{1}, C_{2}, C_{3}, C_{4}\) of Theorem 1.7, when specialized to \(b=1\), \(\alpha =0\) and \(g=1\), are the same as Forrester’s constants in (1.5).
Theorem 1.9
(\(g-2\) annuli in the bulk, one unbounded annulus, and one disk) Let
be fixed parameters. As \(n \rightarrow + \infty \), we have
where
\(\theta \) is given by (1.10), \(t_{2k}\) is given by (1.16) for \(k \in \{2,\ldots ,g-1\}\), and \({\mathcal {G}}(b,\alpha )\) is given by (1.18).
Method of proof. The problem of determining large gap asymptotics is a notoriously difficult problem in random matrix theory with a long history [39, 41, 50]. There have been several methods that have proven successful to solve large gap problems of one-dimensional point processes, among which: the Deift–Zhou [25] steepest descent method for Riemann–Hilbert problems [10, 18, 19, 22, 24, 27,28,29, 49], operator theoretical methods [33, 34, 75], the “loop equations" [15, 16, 56, 57], and the Brownian carousel [31, 64, 72, 73].
Our method of proof shows similarities with the method of Forrester in [37]. It relies on the fact that (1.1) is determinantal, rotation-invariant, and combines the uniform asymptotics of the incomplete gamma function with some precise Riemann sum approximations. Our method is less robust with respect to the shape of the hole region than the one of Adhikari and Reddy [1, 2], but allows to give precise asymptotics. We also recently used this method of Riemann sum approximations in [17] to obtain precise asymptotics for the moment generating function of the disk counting statistics of (1.1). However, the problem considered here is more challenging and of a completely different nature than the one considered in [17]; most of the difficulties that we have to overcome here are not present in [17]. These differences will be discussed in more detail in Sect. 3.
2 Preliminaries
By definition of \(Z_{n}\) and \({\mathcal {P}}_{n}\) (see (1.1) and (1.2)), we have
where the weight w is defined by
We will use the following well-known formula to rewrite \(Z_{n}\) and \({\mathcal {P}}_{n}\) in terms of one-fold integrals.
Lemma 2.1
If \(\textsf{w}:\mathbb {C}\rightarrow [0,+\infty )\) is rotation invariant (i.e. \(\textsf{w}(z)=\textsf{w}(|z|)\)) and satisfies
then
The proof of Lemma 2.1 is standard and we omit it, see e.g. [74, 17, Lemma 1.9] and the references therein. The argument relies on the fact that the point process on \(z_{1},\ldots ,z_{n}\in \mathbb {C}\) with density proportional to \(\prod _{1 \le j < k \le n} |z_{k} -z_{j}|^{2} \prod _{j=1}^{n}\textsf{w}(z_{j})\) is determinantal and rotation-invariant.
Using twice Lemma 2.1, with \(\textsf{w}(z) = |z|^{2\alpha }e^{-n|z|^{2b}}\) and \(\textsf{w}(x)=w(x)\), we obtain
where \(r_{0}:=0\), \(r_{2\,g+1}:=+\infty \), we recall that \(\Gamma (a)=\int _{0}^{\infty } t^{a-1}e^{-t}dt\) is the Gamma function, and \(\gamma (a,z)\) is the incomplete gamma function
By combining (2.3) with (2.4), we obtain
This exact formula is the starting point of the proofs of our four theorems. To analyze the large n behavior of \(\log {\mathcal {P}}_{n}\), we will use the asymptotics of \(\gamma (a,z)\) in various regimes of the parameters a and z. These asymptotics are available in the literature and are summarized in the following lemmas.
Lemma 2.2
[61, formula 8.11.2]. Let \(a>0\) be fixed. As \(z \rightarrow +\infty \),
Lemma 2.3
[71, Section 11.2.4]. The following hold:
where \(\textrm{erfc}\) is given by (1.6), \(g(u):= \frac{dt}{du}\frac{1}{\lambda -t}+\frac{1}{u+i\eta }\),
and the principal branch is used for the roots. In particular, \(\eta \in \mathbb {R}\) for \(\lambda >0\), while \(t \in {\mathcal {L}}:=\{\frac{\theta }{\sin \theta }e^{i\theta }:-\pi<\theta <\pi \}\) for \(u\in \mathbb {R}\). Moreover, as \(a \rightarrow + \infty \), uniformly for \(z \in [0,\infty )\),
All coefficients \(c_{j}(\eta )\) are bounded functions of \(\eta \in \mathbb {R}\) (i.e. bounded for \(\lambda \in (0,\infty )\)), and
By combining Lemma 2.3 with the large z asymptotics of \(\textrm{erfc}(z)\) given in (1.14), we get the following.
Lemma 2.4
-
(i)
Let \(\delta >0\) be fixed. As \(a \rightarrow +\infty \), uniformly for \(\lambda \ge 1+\delta \),
$$\begin{aligned} \frac{\gamma (a,\lambda a)}{\Gamma (a)} = 1 + \frac{e^{-\frac{a\eta ^{2}}{2}}}{\sqrt{2\pi }} \Bigg ( \frac{-1}{\lambda -1}\frac{1}{\sqrt{a}}+\frac{1+10\lambda +\lambda ^{2}}{12(\lambda -1)^{3}} \frac{1}{a^{3/2}} + \mathcal {O}(a^{-5/2}) \Bigg ), \end{aligned}$$where \(\eta \) is as in (2.7) (in particular \(e^{-\frac{a\eta ^{2}}{2}} = e^{a-z}\frac{z^{a}}{a^{a}}\)).
-
(ii)
As \(a \rightarrow +\infty \), uniformly for \(\lambda \) in compact subsets of (0, 1),
$$\begin{aligned} \frac{\gamma (a,\lambda a)}{\Gamma (a)} = \frac{e^{-\frac{a\eta ^{2}}{2}}}{\sqrt{2\pi }} \Bigg ( \frac{-1}{\lambda -1}\frac{1}{\sqrt{a}}+\frac{1+10\lambda +\lambda ^{2}}{12(\lambda -1)^{3}} \frac{1}{a^{3/2}} + \mathcal {O}(a^{-5/2}) \Bigg ), \end{aligned}$$where \(\eta \) is as in (2.7) (in particular \(e^{-\frac{a\eta ^{2}}{2}} = e^{a-z}\frac{z^{a}}{a^{a}}\)).
3 Proof of Theorem 1.1: the case \(r_{1}>0\) and \(r_{2\,g}<b^{-\frac{1}{2b}}\)
In this paper, \(\log \) always denotes the principal branch of the logarithm. Recall from (2.5) that
To analyze asymptotically as \(n \rightarrow + \infty \) the sum on the right-hand side, we will split it into several smaller sums, which need to be handled in different ways.
For \(j=1,\ldots ,n\) and \(\ell =1,\ldots ,2\,g\), we define
Let \(M'\) be a large integer independent of n, and let \(\epsilon > 0\) be a small constant independent of n. Define
where \(\lceil x \rceil \) denotes the smallest integer \(\ge x\), and \(\lfloor x \rfloor \) denotes the largest integer \(\le x\). We take \(\epsilon \) sufficiently small such that
A natural quantity that will appear in our analysis is
It is easy to check that for each \(k\in \{1,\ldots ,g\}\), \(t_{2k}\) lies in the interval \((br_{2k-1}^{2b},br_{2k}^{2b})\). For reasons that will be apparent below, we also choose \(\epsilon >0\) sufficiently small such that
Using (2.4) and (3.4), we split the j-sum in (3.1) into \(4g+2\) sums
with
We first show that the sums \(S_{0}\) and \(S_{1},S_{5},S_{9},\ldots ,S_{4g+1}\) are exponentially small as \(n \rightarrow + \infty \).
Lemma 3.1
There exists \(c>0\) such that \(S_{0} = \mathcal {O}(e^{-cn})\) as \(n \rightarrow + \infty \).
Proof
Since \(M'\) is fixed, by (3.8) and Lemma 2.2, as \(n \rightarrow +\infty \) we have
\(\square \)
Lemma 3.2
Let \(k \in \{1,3,5,\ldots ,2g+1\}\). There exists \(c>0\) such that \(S_{2k-1} = \mathcal {O}(e^{-cn})\) as \(n \rightarrow + \infty \).
Proof
The proof is similar to [17, Lemma 2.2]. Let us consider first the case \(k \in \{3,5,\ldots ,2g+1\}\). By (3.2) and (3.3), for \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\) and \(\ell \in \{1,\ldots ,2\,g\}\) we have
For \(k=2g+1\), the left-hand side in (3.11) must be replaced by \(\frac{r_{\ell }^{2b}}{b^{-1}+\frac{\alpha }{bn}}\). Since \(\epsilon >0\) is fixed, \(\lambda _{j,\ell }\) remains in a compact subset of (0, 1) as \(n \rightarrow + \infty \) with \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\) and \(\ell \in \{1,\ldots ,k-1\}\), while \(\lambda _{j,\ell }\) remains in a compact subset of \((1,\infty )\) as \(n \rightarrow + \infty \) with \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\) and \(\ell \in \{k,\ldots ,2\,g\}\). Thus we can use Lemma 2.4 (i)–(ii) with a and \(\lambda \) replaced by \(a_{j}\) and \(\lambda _{j,\ell }\) respectively, where \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\) and \(\ell \in \{1,\ldots ,2\,g\}\). This yields
as \(n \rightarrow + \infty \). By (3.2) and (3.11), there exist constants \(\{c_{j},c_{j}'\}_{j=1}^{3}\) such that \(c_{1} n \le a_{j} \le c_{1}'n\), \(0<c_{1}\), \(0<c_{2} \le |\lambda _{j,\ell }-1| \le c_{2}'\) and \(0<c_{3} \le \eta _{j,\ell }^{2} \le c_{3}'\) hold for all large enough n, all \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\) and all \(\ell \in \{1,\ldots ,2\,g\}\). Thus \(S_{2k-1}=\mathcal {O}(e^{-\frac{c_{1}c_{3}}{4}n})\) as \(n \rightarrow + \infty \), which finishes the proof for \(k=3,5,\ldots ,2g+1\). Let us now consider the case \(k=1\), which requires a slightly different argument. We infer from Lemma 2.4 (i) that for any \(\epsilon '>0\) there exist \(A=A(\epsilon '),C=C(\epsilon ')>0\) such that \(|\frac{\gamma (a,\lambda a)}{\Gamma (a)}-1| \le Ce^{-\frac{a\eta ^{2}}{2}}\) for all \(a \ge A\) and all \(\lambda \in [1+\epsilon ',+\infty ]\), where \(\eta \) is given by (2.7). Let us choose \(\epsilon '=\frac{\epsilon }{2}\) and \(M'\) sufficiently large such that \(a_{j} = \frac{j+\alpha }{b} \ge A(\frac{\epsilon }{2})\) holds for all \(j \in \{M'+1,\ldots ,j_{1,-}-1\}\). In a similar way as in (3.12), we obtain
For each \(\ell \in \{1,2,\ldots ,2\,g\}\), \(a_{j}\eta _{j,\ell }^{2}\) is decreasing as j increases from \(M'+1\) to \(j_{1,-}-1\), and therefore
for a small enough constant \(c>0\). It follows that \(S_{1} = \mathcal {O}(e^{-cn})\) as \(n \rightarrow + \infty \), which finishes the proof for \(k=1\). \(\square \)
Now, we analyze \(S_{3},S_{7},\ldots ,S_{4g-1}\). As it turns out, these are the sums responsible for the oscillations in the large n asymptotics of \(\log {\mathcal {P}}_{n}\). There is no such sums in [17], so the analysis done here for \(S_{3},S_{7},\ldots ,S_{4g-1}\) is new.
The next lemma makes apparent the terms that are not exponentially small.
Lemma 3.3
Let \(k \in \{2,4,\ldots ,2g\}\). There exists \(c>0\) such that
where
and
where \(t_{k}\) is defined in (3.5).
Proof
Note that (3.11) also holds for \(k \in \{2,4,\ldots ,2g\}\), which implies in particular that for each \(\ell \in \{1,\ldots ,2g\}\), \(|\lambda _{j,\ell }-1|\) remains bounded away from 0 as \(n \rightarrow + \infty \) and simultaneously \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\). Thus we can use Lemma 2.4 (i)–(ii) with a and \(\lambda \) replaced by \(a_{j}\) and \(\lambda _{j,\ell }\) respectively, where \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\) and \(\ell \in \{1,\ldots ,2\,g\}\), and this gives
as \(n \rightarrow + \infty \) uniformly for \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\). In a similar way as (3.11), we derive
for all \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\) and \(\ell \in \{2,\ldots ,2\,g\}\), which implies by (3.2) that
is positive and remains bounded away from 0 for all n sufficiently large and for all \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\). In particular,
as \(n \rightarrow + \infty \) uniformly for \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\), which implies
and the claim follows after splitting the above sum into two parts. \(\square \)
The reason why we have split the sum in (3.15) into two parts (denoted \(S_{2k-1}^{(1)}\) and \(S_{2k-1}^{(2)}\)) around the value \(j=\lfloor j_{k,\star } \rfloor \) is the following. As can be seen from the proof of Lemma 3.3, we have
as \(n \rightarrow + \infty \) uniformly for \(j \in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\). The two above right-hand sides are exponentially small. To analyze their sum, it is relevant to know whether \(\eta _{j,k-1}^{2}\ge \eta _{j,k}^{2}\) or \(\eta _{j,k-1}^{2}< \eta _{j,k}^{2}\) holds. It is easy to check that the function \(j \mapsto \eta _{j,k}^{2}-\eta _{j,k-1}^{2}\), when viewed as an analytic function of \(j \in [j_{k-1,+}+1,j_{k,-}-1]\), has a simple zero at \(j=j_{k,\star }\). In fact, we have
which implies in particular that \(\eta _{j,k}^{2}-\eta _{j,k-1}^{2}\) is positive for \(j\in \{j_{k-1,+}+1,\ldots ,\lfloor j_{k,\star } \rfloor \}\) and negative for \(j \in \{\lfloor j_{k,\star } \rfloor +1,\ldots ,j_{k,-}-1\}\). Note that \(j_{k,\star }\) lies well within the interval \([j_{k-1,+}+1,j_{k,-}-1]\) for all sufficiently large n by (3.3), (3.5) and (3.6), which implies that the number of terms in each of the sums \(S_{2k-1}^{(1)}\) and \(S_{2k-1}^{(2)}\) is of order n. When j is close to \(\lfloor j_{k,\star } \rfloor \), the two terms (3.16) and (3.17) are of the same order, and this will produce the oscillations in the asymptotics of \(\log {\mathcal {P}}_{n}\). We will evaluate \(S_{2k-1}^{(1)}\) and \(S_{2k-1}^{(2)}\) separately using some precise Riemann sum approximations. We first state a general lemma.
Lemma 3.4
Let \(A,a_{0}\), \(B,b_{0}\) be bounded function of \(n \in \{1,2,\ldots \}\), such that
are integers. Assume also that \(B-A\) is positive and remains bounded away from 0. Let f be a function independent of n, and which is \(C^{4}([\min \{\frac{a_{n}}{n},A\},\max \{\frac{b_{n}}{n},B\}])\) for all \(n\in \{1,2,\ldots \}\). Then as \(n \rightarrow + \infty \), we have
where, for a given function g continuous on \([\min \{\frac{a_{n}}{n},A\},\max \{\frac{b_{n}}{n},B\}]\),
and for \(j \in \{a_{n},\ldots ,b_{n}-1\}\), \(\mathfrak {m}_{j,n}(g):= \max _{x \in [\frac{j}{n},\frac{j+1}{n}]}|g(x)|\).
Remark 3.5
To analyze the sums \(S_{2k-1}^{(1)}\) and \(S_{2k-1}^{(2)}\), we will use Lemma 3.4 only with A and B fixed. However, we will also deal with other sums (denoted \(\smash {S_{2k}^{(1)}}\) and \(\smash {S_{2k}^{(3)}}\) in Lemma 3.19 below) that require the use of Lemma 3.4 with varying A and B. So it is worth to emphasize already here that the condition “\(f \in C^{4}([\min \{\frac{a_{n}}{n},A\},\max \{\frac{b_{n}}{n},B\}])\) for all \(n\in \{1,2,\ldots \}\)" allows to handle the situation where, for example, \(A \searrow 0\) as \(n \rightarrow + \infty \) and \(f \in C^{4}((0,\max \{\frac{b_{n}}{n},B\}])\) but \(f \notin C^{4}([0,\max \{\frac{b_{n}}{n},B\}])\).
Proof
By Taylor’s theorem,
for some \(\xi _{j,n}(x) \in [\frac{j}{n},x]\). Clearly,
Therefore, by isolating the sum \(\sum _{j=a_{n}}^{b_{n}-1}f(\tfrac{j}{n})\) in (3.20), we get
as \(n \rightarrow + \infty \). In the same way as (3.21), by replacing f successively by \(f'\), \(f''\) and \(f'''\), we also obtain
as \(n \rightarrow + \infty \). After substituting (3.22)–(3.24) in (3.21), we get
as \(n \rightarrow + \infty \). The integral on the right-hand side of (3.21) can be expanded using again Taylor’s theorem; this gives
for some \({\mathcal {E}}_{n}\) satisfying \(|{\mathcal {E}}_{n}| \le \frac{\mathfrak {m}_{A,n}(f''') +\mathfrak {m}_{B,n}(f''')}{n^{4}}\). The quantities \(f(\tfrac{b_{n}}{n})\), \(\int _{\frac{a_{n}}{n}}^{\frac{b_{n}}{n}}f'(x)dx\), \(\int _{\frac{a_{n}}{n}}^{\frac{b_{n}}{n}}f''(x)dx\) can be expanded in a similar way using Taylor’s Theorem. After substituting these expressions in (3.25) and using some elementary primitives, we find the claim. \(\square \)
We introduce here a number of quantities that will appear in the large n asymptotics of \(S_{2k-1}^{(1)}\) and \(S_{2k-1}^{(2)}\). For \(k=2,4,\ldots ,2g\), define
and for \(k=1,2,\ldots ,2g\), define
Lemma 3.6
Let \(k \in \{2,4,\ldots ,2g\}\). As \(n \rightarrow + \infty \), we have
where \(t_{k}\) is given in (3.5) and \(f_{1,k-1},f_{2,k-1},f_{3,k-1}, A_{k}, \theta _{k}, \theta _{k-1,+}^{(n,\epsilon )}\) are given in (3.26)–(3.29).
Proof
Recall from (3.11) that \(\lambda _{j,k-1}\) remains in a compact subset of (0, 1) as \(n \rightarrow + \infty \) uniformly for \(j\in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\), and that \(\lambda _{j,k}\) remains in a compact subset of \((1,+\infty )\) as \(n \rightarrow + \infty \) uniformly for \(j\in \{j_{k-1,+}+1,\ldots ,j_{k,-}-1\}\). Hence, by Lemma 2.4 (i)–(ii), as \(n \rightarrow + \infty \) we have
Since the number of terms in \(S_{2k-1}^{(1)}\), namely \(\#\{j_{k-1,+}+1,\ldots ,\lfloor j_{k,\star } \rfloor \}\), is of order n as \(n \rightarrow + \infty \), the above asymptotics can be rewritten as
where
where \(\widetilde{{\mathcal {E}}}_{n}=\mathcal {O}(n^{-1})\) and \({\mathcal {E}}_{n}=\mathcal {O}(n^{-1})\) as \(n \rightarrow + \infty \) uniformly for \(j \in \{j_{k-1,+}+1,\ldots ,\lfloor j_{k,\star } \rfloor \}\). The large n asymptotics of \(\textsf{S}_{n}^{(1)}\), \(\textsf{S}_{n}^{(2)}\), \(\textsf{S}_{n}^{(3)}\) and \(\textsf{S}_{n}^{(4)}\) can be obtained using Lemma 3.4 with
and with f replaced by \(f_{1,k-1}\), \(-\frac{1}{2}\), \(f_{2,k-1}\) and \(f_{3,k-1}\) respectively. Thus it only remains to obtain the asymptotics of \(\widetilde{\textsf{S}}_{n}\). We can estimate the \({\mathcal {E}}_{n}\)-part of \(\widetilde{\textsf{S}}_{n}\) using (3.18) as follows:
where we recall that \(M'\) is a large but fixed constant (independent of n). Thus we have \(\widetilde{\textsf{S}}_{n} = {\mathcal {S}}_{0} + \mathcal {O}( \frac{\log n}{n})\) as \(n \rightarrow + \infty \), where
By changing the index of summation in (3.32), and using again (3.18), we get
where the error term has been estimated in a similar way as in (3.31), and \(f_{0}(x):= \frac{-x +t_{k}-br_{k-1}^{2b}}{br_{k}^{2b}+x-t_{k}}\). To estimate the remaining sum in (3.33), we split it into two parts as follows
For the second part, we have
provided \(M'\) is chosen large enough. For the first part, since \(f_{0}\) is analytic in a neighborhood of 0, as \(n \rightarrow + \infty \) we have
Hence, we have just shown that
By substituting (3.34) and the large n asymptotics of \(\textsf{S}_{n}^{(1)}\), \(\textsf{S}_{n}^{(2)}\), \(\textsf{S}_{n}^{(3)}\) and \(\textsf{S}_{n}^{(4)}\) in (3.30), we obtain the claim. \(\square \)
The asymptotic analysis of the sums \(S_{2k-1}^{(2)}\), \(k=2,4,\ldots ,2g\) is similar to that of the sums \(S_{2k-1}^{(1)}\), \(k=2,4,\ldots ,2g\), so we omit the proof of the following lemma.
Lemma 3.7
Let \(k \in \{2,4,\ldots ,2g\}\). As \(n \rightarrow + \infty \), we have
where \(t_{k}\) is given in (3.5) and \(f_{1,k},f_{2,k},f_{3,k}, B_{k}, \theta _{k}, \theta _{k,-}^{(n,\epsilon )}\) are given in (3.26)–(3.29).
Substituting the asymptotics of Lemmas 3.6 and 3.7 in (3.13), and using the definitions (3.26)–(3.29), after a long computation we get the following result.
Lemma 3.8
Let \(k \in \{2,4,\ldots ,2g\}\). As \(n \rightarrow + \infty \), we have
where
and where \(t_{k}\) is given in (3.5) and \(\theta _{k}, \theta _{k,+}^{(n,\epsilon )}, \theta _{k,-}^{(n,\epsilon )}\) are given in (3.26)–(3.29).
We now turn our attention to the sums \(S_{2k}\), \(k=1,\ldots ,2\,g\). Their analysis is very different from the analysis of \(S_{2k-1}\). We first make apparent the terms that are not exponentially small.
Lemma 3.9
Let \(k \in \{1,3,\ldots ,2g-1\}\). There exists \(c>0\) such that
Let \(k \in \{2,4,\ldots ,2g\}\). There exists \(c>0\) such that
Proof
By definition of \(j_{k,-}\), \(j_{k,+}\) and \(\lambda _{j,\ell }\) (see (3.2) and (3.3)), for \(j \in \{j_{k,-},\ldots ,j_{k,+}\}\) we have
Since \(\epsilon >0\) is fixed, the second part of (3.37) implies that for each \(\ell \ne k\), \(\lambda _{j,\ell }-\lambda _{k,\ell }\) remains bounded away from 0 as \(n \rightarrow + \infty \) uniformly for \(j \in \{j_{k,-},\ldots ,j_{k,+}\}\), and the first part of (3.37) combined with (3.4) implies that for all \(j \in \{j_{k,-},\ldots ,j_{k,+}\}\) we have
Thus by (3.10) and Lemma 2.4 (i)–(ii), we have
as \(n \rightarrow + \infty \) for some constant \(c>0\), and the claim follows. \(\square \)
Let \(M=n^{\frac{1}{12}}\). We now split the sums on the right-hand sides of (3.35) and (3.36) into three parts \(S_{2k}^{(1)}\), \(S_{2k}^{(2)}\), \(S_{2k}^{(3)}\), which are defined as follows
where
With this notation, the asymptotics (3.35) and (3.36) can be rewritten as
Define also
so that (formally) we can write
The individual sums \(S_{2k}^{(1)}\), \(S_{2k}^{(2)}\) and \(S_{2k}^{(3)}\) depend on this new parameter M, but their sum \(S_{2k}^{(1)} + \smash {S_{2k}^{(2)}} + \smash {S_{2k}^{(3)}}\) does not. Note also that \(S_{2k}^{(2)}\) is independent of the other parameter \(\epsilon \), while \(S_{2k}^{(1)}\) and \(S_{2k}^{(3)}\) do depend on \(\epsilon \). The analysis of \(S_{2k}^{(2)}\) is very different from the one needed for \(S_{2k}^{(1)}\) and \(S_{2k}^{(3)}\). For \(S_{2k}^{(1)}\) and \(S_{2k}^{(3)}\), we will approximate several sums of the form \(\sum _{j} f(j/n)\) for some functions f, while for \(S_{2k}^{(2)}\), we will approximate several sums of the form \(\sum _{j} h(M_{j,k})\) for some functions h, where \(M_{j,k}:=\sqrt{n}(\lambda _{j,k}-1)\). As can be seen from (3.38) and (3.39), the sum \(S_{2k}^{(2)}\) involves the j’s for which
Let us briefly comment on our choice of M. An essential difficulty in analyzing \(S_{2k}^{(1)}\), \(S_{2k}^{(2)}\), \(S_{2k}^{(3)}\) is that all the functions f and h will blow up near certain points. To analyze \(\smash {S_{2k}^{(2)}}\), it would be simpler to define M as being, for example, of order \(\log n\), but in this case the sums \(\sum _{j} f(j/n)\) involve some j/n’s that are too close to the poles of f. On the other hand, if M would be of order \(\sqrt{n}\), then \(\smash {S_{2k}^{(1)}}\) and \(S_{2k}^{(3)}\) could be analyzed in essentially the same way as the sums \(S_{2k-1}^{(1)}\) and \(S_{2k-1}^{(2)}\) of Lemmas 3.6 and 3.7 above (and if \(M=\epsilon \sqrt{n}\), then the sums \(S_{2k}^{(1)}\) and \(S_{2k}^{(3)}\) are even empty sums), but in this case the sums \(\sum _{j} h(M_{j,k})\) involve some \(M_{j,k}\)’s that are too close to the poles of h. Thus we are tight up from both sides: M of order \(\log n\) is not large enough, and M of order \(\sqrt{n}\) is too large. The reason why we choose exactly \(M=\smash {n^{\frac{1}{12}}}\) is very technical and will be discussed later.
We also mention that sums of the form \(\sum _{j} h(M_{j,k})\) were already approximated in [17], so we will be able to recycle some results from there. However, even for these sums, our situation presents an important extra difficulty compared with [17], namely that in [17] the functions h are bounded, while in our case they blow up near either \(+ \infty \) or \(-\infty \).
We now introduce some new quantities that will appear in the large n asymptotics of \(S_{2k}^{(1)}\), \(S_{2k}^{(2)}\) and \(S_{2k}^{(3)}\). For \(k \in \{1,2,\ldots ,g\}\), define
Clearly, \(\theta _{k,-}^{(n,M)},\theta _{k,+}^{(n,M)} \in [0,1)\). For what follows, it is useful to note that \(M_{j,k}\) is decreasing as j increases, and that \(\sum _{j=g_{k,-}}^{g_{k,+}}1\) is of order \(\frac{M}{\sqrt{n}}\) as \(n \rightarrow + \infty \).
We start with a general lemma needed for the analysis of \(S_{2k}^{(2)}\).
Lemma 3.10
(Adapted from [17, Lemma 2.7]) Let \(h \in C^{3}(\mathbb {R})\) and \(k \in \{1,\ldots ,2\,g\}\). As \(n \rightarrow + \infty \), we have
where, for \(\tilde{h} \in C(\mathbb {R})\) and \(j \in \{g_{k,-}+1,\ldots ,g_{k,+}\}\), we define \(\tilde{\mathfrak {m}}_{j,n}(\tilde{h}):= \max _{x \in [M_{j,k},M_{j-1,k}]}|\tilde{h}(x)|\).
Remark 3.11
Note that \(\tilde{\mathfrak {m}}_{j,n}\) depends on k, although this is not indicated in the notation.
Remark 3.12
If \(|h|, |h'|, |h''|\) and \(|h'''|\) are bounded, then the error term simplifies to \(\mathcal {O}(M^{4}n^{-1})\), which agrees with [17, Lemma 2.7].
Proof
This lemma was proved in [17, Lemma 2.7] in the case where \(|h|, |h'|, |h''|\) and \(|h'''|\) are bounded. The more general case considered here only requires more careful estimates on the various error terms. \(\square \)
Lemma 3.13
Let \(k \in \{1,2,\ldots ,2g\}\). As \(n \rightarrow + \infty \), we have
where
and
In the above equation for \(h_{2,k}\), the first line reads for \(k \in \{1,3,5,\ldots ,2\,g-1\}\) and the second line reads for \(k \in \{2,4,6,\ldots ,2\,g\}\).
Remark 3.14
Note that the error term \(\mathcal {O}(M^{9}n^{-1})\) above is indeed small as \(n \rightarrow + \infty \), because \(M=n^{\frac{1}{12}}\).
Proof
We only do the proof for k odd (the case of k even is similar). For convenience, in this proof we will use \(\lambda _{j}\), \(\eta _{j}\) and \(M_{j}\) in place of \(\lambda _{j,k}\), \(\eta _{j,k}\) and \(M_{j,k}\). From (2.6), (3.38) and (3.41), we see that
Recall from (3.42) that for all \(j \in \{j:\lambda _{j}\in I_{2}\}\), we have
Hence, using (3.2) we obtain
as \(n \rightarrow + \infty \) uniformly for \(j \in \{j:\lambda _{j}\in I_{2}\}\). By Taylor’s theorem, for each \(j \in \{j:\lambda _{j}\in I_{2}\}\) we have
for a certain \(\xi _{j} \in [- \frac{M_{j} r_{k}^{b}}{\sqrt{2}},-\eta _{j} \sqrt{a_{j}/2}]\). Using (1.6), \(\textrm{erfc}'''(x) = \frac{4}{\sqrt{\pi }}(1-2x^{2})e^{-x^{2}}\) and (3.49), we infer that there exists a constant \(C>0\) such that
holds for all sufficiently large n and all \(j \in \{j:\lambda _{j}\in I_{2}\}\). Similarly, by Taylor’s theorem, for each \(j \in \{j:\lambda _{j}\in I_{2}\}\) we have
for some \(\tilde{\xi }_{j} \in [\eta _{j},\frac{M_{j}}{\sqrt{n}}]\). Furthermore, \(R_{a}(\eta )\) is analytic with respect to \(\lambda \) (see [71, p. 285]), in particular near \(\lambda = 1\) (or \(\eta =0\)), and the expansion (2.8) holds in fact uniformly for \(|\arg z | \le 2\pi -\epsilon '\) for any \(\epsilon '>0\) (see e.g. [62, p. 325]). It then follows from Cauchy’s formula that (2.8) can be differentiated with respect to \(\eta \) without increasing the error term. Thus, differentiating twice (2.8) we conclude that there exists \(C>0\) such that
holds for all sufficiently large n and all \(j \in \{j:\lambda _{j}\in I_{2}\}\). Combining (3.48), (3.49), (3.50), (3.51), (3.52) and (3.53) with (2.8) and (2.9), we obtain after a computation that
as \(n \rightarrow + \infty \). Each of these three sums can be expanded using Lemma 3.10. The errors in these expansions can be estimated as follows. First, note that the function \(e^{-\frac{x^{2}r_{k}^{2b}}{2}} \textrm{erfc}\Big (\frac{-x r_{k}^{b} }{\sqrt{2}}\Big )^{-1}\) is exponentially small as \(x \rightarrow + \infty \), and is bounded by a polynomial of degree 1 as \(x \rightarrow - \infty \). Hence, the functions \(h_{0,k}(x)\), \(h_{1,k}(x)\) and \(h_{2,k}(x)\) also tend to 0 exponentially fast as \(x \rightarrow + \infty \), while as \(x \rightarrow -\infty \) they are bounded by polynomials of degree 2, 3 and 6, respectively. The derivatives of \(h_{0,k}(x)\), \(h_{1,k}(x)\) and \(h_{2,k}(x)\) can be estimated similarly. Using Lemma 3.10, we then find that the fourth term in the large n asymptotics of \(\sum _{j=j_{k,-}}^{j_{k,+}} h_{0,k}(M_{j})\) is
Similarly, the third term in the asymptotics of \(\frac{1}{\sqrt{n}} \sum _{j=j_{k,-}}^{j_{k,+}} h_{1,k}(M_{j})\) is \(\mathcal {O}(\frac{M^{6}}{n})\), and the second term in the asymptotics of \(\frac{1}{n} \sum _{j=j_{k,-}}^{j_{k,+}} h_{2,k}(M_{j})\) is \(\mathcal {O}(\frac{M^{8}}{n})\). All these errors are, in particular, \(\mathcal {O}(M^{9}n^{-1})\). Hence, by substituting the asymptotics of these three sums in (3.54), we find the claim. \(\square \)
The quantities \(G_{4,k}^{(M)}\), \(G_{6,k}^{(M)}\) and \(G_{7,k}^{(M)}\) appearing in (3.44) depend quite complicatedly on M. The goal of the following lemma is to find more explicit asymptotics for \(S_{2k}^{(2)}\). We can do that at the cost of introducing a new type of error terms. Indeed, the error \(\mathcal {O}(M^{9}n^{-1})\) of (3.44) is an error that only restrict M to be “not too large”. In Lemma 3.15 below, there is another kind of error term that restrict M to be “not too small".
Lemma 3.15
Let \(k \in \{1,3,\ldots ,2g-1\}\). As \(n \rightarrow + \infty \), we have
where
Let \(k \in \{2,4,\ldots ,2g\}\). As \(n \rightarrow + \infty \), we have
where
Remark 3.16
With our choice \(M=n^{\frac{1}{12}}\), both errors \(\mathcal {O}\Big (\frac{M^{5}}{\sqrt{n}}\Big )\) and \(\mathcal {O}\Big (\frac{\sqrt{n}}{M^{7}}\Big )\) are of the same order:
So \(M=n^{\frac{1}{12}}\) is the choice that produces the best control of the total error. However this still does not really explain why we chose \(M=n^{\frac{1}{12}}\). Indeed, in the above asymptotics one could have easily computed the next term of order \(\frac{\sqrt{n}}{M^{7}}\) if this was needed. The real reason why we chose \(M=n^{\frac{1}{12}}\) is because the sums \(S_{2k}^{(1)}\) and \(S_{2k}^{(3)}\), which are analyzed below, also contain a term of order \(\frac{\sqrt{n}}{M^{7}}\) in their asymptotics, and this term is hard to compute explicitly.
Proof
We only do the proof for k odd. As already mentioned in the proof of Lemma 3.13, \(h_{0,k}(x)\), \(h_{1,k}(x)\) and \(h_{2,k}(x)\) are exponentially small as \(x \rightarrow + \infty \), and since \(M=n^{\frac{1}{12}}\), this implies that there exists \(c>0\) such that
On the other hand, as \(x \rightarrow -\infty \), we have
Using (3.55)–(3.57) and the definitions (3.45)–(3.47) of \(G_{4,k}^{(M)}\), \(G_{6,k}^{(M)}\), \(G_{7,k}^{(M)}\), we obtain that
as \(n \rightarrow + \infty \), and the claim follows. \(\square \)
Remark 3.17
From the above proof, we see that \(\frac{G_{7,k}^{(M)}}{\sqrt{n}} = \mathcal {O}\Big (\frac{M^{5}}{\sqrt{n}}\Big )\) as \(n \rightarrow + \infty \), and therefore \(\smash {G_{7,k}^{(M)}}\) will not contribute at all in our final answer. It was however very important to compute \(\smash {G_{7,k}^{(M)}}\) explicitly. Indeed, as can be seen from the statement of Lemma 3.13, \(h_{2,k}\) consists of two parts, and it is easy to check that each of these two parts is of order \(x^{6}\) as \(x \rightarrow -\infty \). Thus the fact that actually we have \(h_{2,k}(x)=\mathcal {O}(x^{4})\) (see (3.57)) means that there are great cancellations in the asymptotic behavior of these two parts, and this is not something one could have detected in advance without computing explicitly \(\smash {G_{7,k}^{(M)}}\) and \(h_{2,k}\).
Now we turn our attention to the sums \(S_{2k}^{(3)}\) and \(S_{2k}^{(1)}\). The analogue of these sums in [17] were relatively simple to analyze, see [17, Lemmas 2.5 and 2.6]. In this paper, the sums \(\{S_{2k}^{(3)}\}_{k \,\textrm{odd}}\) and \(\{S_{2k}^{(1)}\}_{k \,\textrm{even}}\) are straightforward to analyze (and even simpler than in [17, Lemmas 2.5 and 2.6]). However, the sums \(\{S_{2k}^{(1)}\}_{k \,\textrm{odd}}\) and \(\{S_{2k}^{(3)}\}_{k \,\textrm{even}}\) are challenging (their large n asymptotics depend on both \(\epsilon \) and M in a complicated way). We start with the sums \(\{S_{2k}^{(3)}\}_{k \,\textrm{odd}}\) and \(\{S_{2k}^{(1)}\}_{k \,\textrm{even}}\).
Lemma 3.18
Let \(k \in \{1,3,\ldots ,2g-1\}\). As \(n \rightarrow + \infty \), we have \(S_{2k}^{(3)}=\mathcal {O}(n^{-10})\).
Let \(k \in \{2,4,\ldots ,2g\}\). As \(n \rightarrow + \infty \), we have \(S_{2k}^{(1)}=\mathcal {O}(n^{-10})\).
Proof
Let \(k \in \{1,3,\ldots ,2g-1\}\). Recall from (3.38) that
and from (3.39) that \(I_{3} = (1+\tfrac{M}{\sqrt{n}},1+\epsilon ]\). We then infer, by (3.2), that there exists a constant \(c>0\) such that \(\sqrt{a_{j}}\eta _{j,k} \ge cM\) holds for all large n and \(j \in \{j:\lambda _{j,k}\in I_{3}\}\). By (2.6), (2.8), (1.14) and \(\textrm{erfc}(-y) = 2-\textrm{erfc}(y)\), this implies
uniformly for \(j \in \{j:\lambda _{j,k}\in I_{3}\}\). Since \(M=n^{\frac{1}{12}}\), the claim is proved for k odd. The proof for k even is similar and we omit it. \(\square \)
We now focus on \(\{S_{2k}^{(1)}\}_{k \,\textrm{odd}}\) and \(\{S_{2k}^{(3)}\}_{k \,\textrm{even}}\).
Lemma 3.19
Let \(k \in \{1,3,\ldots ,2g-1\}\). We have
where
and the last expansion holds as \(n \rightarrow + \infty \) uniformly for \(j \in \{g_{k,+}+1,\ldots ,j_{k,+}\}\). We recall that the functions \(c_{0}\) and \(c_{1}\) are defined in (2.9).
Let \(k \in \{2,4,\ldots ,2g\}\). We have
where
and the last expansion holds as \(n \rightarrow + \infty \) uniformly for \(j \in \{j_{k,-},\ldots ,g_{k,-}-1\}\).
Proof
This follows from a direct application of Lemma 2.3. \(\square \)
The asymptotic analysis of \(\{S_{2k}^{(1)}\}_{k \,\textrm{odd}}\) and \(\{S_{2k}^{(3)}\}_{k \,\textrm{even}}\) is challenging partly because, as can be seen from the statement of Lemma 3.19, there are four types of n-dependent parameters which vary at different speeds. Indeed, as \(n \rightarrow + \infty \) and \(j \in \{g_{k,+}+1,\ldots ,j_{k,+}\}\), the quantities \(\sqrt{a_{j}}\), \(\eta _{j,k}\), j/n and \(\alpha /n\) are of orders \(\sqrt{n}\), \(j/n-br_{k}^{2b}\), 1 and \(\frac{1}{n}\) respectively. In particular, for j close to \(g_{k,+}+1\), \(\eta _{j,k}\) is of order \(\frac{M}{\sqrt{n}}\), while for j close to \(j_{k,+}\), it is of order 1. In the next lemma, we obtain asymptotics for the right-hand sides of (3.58) and (3.61). These asymptotics will then be evaluated more explicitly using Lemma 3.4.
Lemma 3.20
Let \(k \in \{1,3,\ldots ,2g-1\}\). As \(n \rightarrow + \infty \), we have
where
Let \(k \in \{2,4,\ldots ,2g\}\). As \(n \rightarrow + \infty \), we have
where the functions \(\mathfrak {g}_{k,1},\ldots ,\mathfrak {g}_{k,6},\mathfrak {h}_{k,3}\) and \(\mathfrak {h}_{k,4}\) are as in (3.64)–(3.70).
Remark 3.21
Using that \(\mathfrak {g}_{4,k}\), \(\mathfrak {g}_{5,k}\), \(\mathfrak {g}_{6,k}\) and \(\mathfrak {h}_{k,4}\) each have a pole at \(x=br_{k}^{2b}\), of order 2, 4, 6 and 1 respectively, we can easily show that the sums
are, as \(n \rightarrow + \infty \), of order \(\frac{\sqrt{n}}{M}\), \(\frac{\sqrt{n}}{M^{3}}\), \(\frac{\sqrt{n}}{M^{5}}\) and \(\log n\), respectively. Since \(M=n^{\frac{1}{12}}\), each of these sums is thus of order greater than 1.
Proof
Let \(k \in \{1,3,\ldots ,2g-1\}\), and define \({\mathcal {F}}_{k}(\tilde{\alpha })={\mathcal {F}}_{k}(\tilde{\alpha };x)\) by
By (3.59) we have \({\mathcal {F}}_{k}(\frac{\alpha }{n};\frac{j}{n}) = -\frac{\eta _{j,k}\sqrt{a_{j}}}{\sqrt{2}\sqrt{n}}\) for all \(j \in \{g_{k,+}+1,\ldots ,j_{k,+}\}\). For each \(x \in [br_{k}^{2b},br_{k+1}^{2b}]\), using Taylor’s theorem, we obtain
for some \(\xi (\tilde{\alpha };x) \in (0,\tilde{\alpha })\) if \(\tilde{\alpha }>0\) and \(\xi (\tilde{\alpha };x) \in (\tilde{\alpha },0)\) if \(\tilde{\alpha }<0\). The functions \({\mathcal {F}}_{k}^{(1)},\ldots ,{\mathcal {F}}_{k}^{(5)}\) are explicitly computable, but since their expressions are rather long we do not write them down (we simply mention that \(x \mapsto {\mathcal {F}}_{k}(0;x)\) has a simple zero as \(x \searrow br_{k}^{2b}\), while the functions \(x \mapsto {\mathcal {F}}_{k}^{(\ell )}(0;x)\) for \(\ell \ge 1\) remain bounded as \(x \searrow br_{k}^{2b}\)). The function \({\mathcal {F}}_{k}^{(5)}\) satisfies the following: there exist \(C>0\) and \(\delta >0\) such that
We thus have
uniformly for \(j \in \{g_{k,+}+1,\ldots ,j_{k,+}\}\). These asymptotics can be rewritten as
as \(n \rightarrow + \infty \) uniformly for \(j \in \{g_{k,+}+1,\ldots ,j_{k,+}\}\). Since \(x\mapsto {\mathcal {F}}_{k}(0;x)\) has a simple zero at \(x=br_{k}^{2b}\), there exist constants \(c_{1},c_{2},c_{1}',c_{2}'>0\) such that
for all large enough n and all \(j \in \{g_{k,+}+1,\ldots ,j_{k,+}\}\). On the other hand, using (1.14) we obtain
as \(z \rightarrow +\infty \) uniformly for \(\beta _{1},\beta _{3},\ldots ,\beta _{9}\) in compact subsets of \(\mathbb {R}\). Combining (3.71), (3.72) and (3.73) (with \(z=\sqrt{n}{\mathcal {F}}_{k}(0;\tfrac{j}{n})\)), and using that
we find (3.62) after a long but straightforward computation. To prove (3.63), we first use (3.60) to find
as \(n \rightarrow + \infty \) uniformly for \(j \in \{g_{k,+}+1,\ldots ,j_{k,+}\}\). Using again (1.14), we obtain
uniformly for \(\beta _{1},\beta _{3},\ldots ,\beta _{9}\) in compact subsets of \(\mathbb {R}\). The first ratio on the right-hand side of (3.74) can then be expanded by combining (3.75) (with \(z=\sqrt{n}{\mathcal {F}}_{k}(0;\tfrac{j}{n})\)) and (3.71). For the second part in (3.74), since the coefficients \(c_{0}(\eta )\) and \(c_{1}(\eta )\) are analytic for \(\eta \in \mathbb {R}\) (the singularity at \(\eta =0\) in (2.9) is removable), we have
for some explicit \({\mathcal {G}}_{0}\), \({\mathcal {G}}_{1}\) (which we do not write down) such that \({\mathcal {G}}_{0}(\tfrac{j}{n})\) and \({\mathcal {G}}_{0}(\tfrac{j}{n})\) remain of order 1 as \(n \rightarrow + \infty \) uniformly for \(j \in \{g_{k,+}+1,\ldots ,j_{k,+}\}\). After a computation using (3.74), (3.75) and (3.76), we find
as \(n \rightarrow + \infty \). Since \(x \mapsto {\mathcal {F}}_{k}(0;x)\) has a simple zero at \(x=br_{k}^{2b}\), we have
and (3.63) follows. The proof for \(k \in \{2,4,\ldots ,2g\}\) is similar and we omit it. \(\square \)
By applying Lemma 3.4 with f replaced by \(\mathfrak {g}_{k,1},\ldots ,\mathfrak {g}_{k,6},\mathfrak {h}_{k,3}\) and \(\mathfrak {h}_{4,k}\), we can obtain the large n asymptotics of the various sums appearing in the above Lemma 3.20. Note that, as already mentioned in Remark 3.21, the functions \(\mathfrak {g}_{4,k}\), \(\mathfrak {g}_{5,k}\), \(\mathfrak {g}_{6,k}\) and \(\mathfrak {h}_{k,4}\) have poles at \(x=br_{k}^{2b}\). Nevertheless, we can still apply Lemma 3.4 to obtain precise large n asymptotics for
see in particular Remark 3.5. Substituting these asymptotics in Lemma 3.20 and then in Lemma 3.19, and simplifying, we obtain (after a long computation) the following explicit large n asymptotics of \(\{S_{2k}^{(1)}\}_{k \,\textrm{odd}}\) and \(\{S_{2k}^{(3)}\}_{k \,\textrm{even}}\) (see the arXiv version arXiv:2110.06908 for more details).
Lemma 3.22
Let \(k \in \{1,3,\ldots ,2g-1\}\). As \(n \rightarrow + \infty \), we have
Let \(k \in \{2,4,\ldots ,2g\}\). As \(n \rightarrow + \infty \), we have
Recall from (3.40) that
By combining Lemmas 3.15, 3.18 and 3.22 and simplifying, we finally obtain (after another long computation) the large n asymptotics of \(S_{2k}\).
Lemma 3.23
Let \(k \in \{1,2,\ldots ,2g\}\). As \(n \rightarrow + \infty \), we have
where, for \(k \in \{1,3,\ldots ,2g-1\}\), the coefficients \(E_{1,k}^{(\epsilon )}\), \(E_{2,k}^{(\epsilon )}\), \(E_{3,k}^{(n,\epsilon )}\), \(E_{4,k}\), \(E_{5,k}^{(n,\epsilon )}\), \(E_{6,k}^{(n,\epsilon )}\) are given by
while for \(k \in \{2,4,\ldots ,2g\}\), the coefficients \(E_{1,k}^{(\epsilon )}\), \(E_{2,k}^{(\epsilon )}\), \(E_{3,k}^{(n,\epsilon )}\), \(E_{5,k}^{(n,\epsilon )}\), \(E_{6,k}^{(n,\epsilon )}\) are given by
Remark 3.24
Recall that although \(S_{2k}^{(1)}\), \(S_{2k}^{(2)}\) and \(S_{2k}^{(3)}\) depend on M, the sum \(S_{2k}\) is independent of M. As can be seen from the above, all the coefficients \(E_{1,k}^{(\epsilon )}\), \(E_{2,k}^{(\epsilon )}\), \(E_{3,k}^{(n,\epsilon )}\), \(E_{5,k}^{(n,\epsilon )}\), \(E_{6,k}^{(n,\epsilon )}\) are independent of M, as it must.
For \(x \in \mathbb {R}\), \(\rho \in (0,1)\) and \(a>0\), define
By shifting the indices of summation, it can be checked that \(x \mapsto \Theta (x;\rho ,a)\) is periodic of period 1. To complete the proof of Theorem 1.1 we will need the following lemma.
Lemma 3.25
We have
where \(\theta \) is the Jacobi theta function given by (1.10).
Proof
The statement follows from two remarkable identities of the Jacobi theta function. First, using the Jacobi triple product formula (see e.g. [61, Eq 20.5.3])
we obtain
The claim then follows from a computation using the following Jacobi imaginary transformation (see e.g. [61, Eq (20.7.32)]): \((-i \tau )^{1/2}\theta (z|\tau ) = e^{i \pi \tau ' z^{2}}\theta (z \tau '|\tau ')\), where \(\tau ' = -\frac{1}{\tau }\). \(\square \)
We now finish the proof of Theorem 1.1.
Proof of Theorem 1.1
Combining (3.7) with Lemmas 3.1, 3.2, 3.8 and 3.23, we obtain
as \(n \rightarrow +\infty \), for a certain constant \(c>0\). Recall that \(M=n^{-\frac{1}{12}}\), so that \(\frac{M^{5}}{\sqrt{n}} = \frac{\sqrt{n}}{M^{7}} = n^{-\frac{1}{12}}\). Let \(C_{1},\ldots ,C_{6},{\mathcal {F}}_{n}\) be the quantities defined in the statement of Theorem 1.1. Using the formulas of Lemmas 3.8 and 3.23, we obtain after a long computation that
It is also readily checked that \(\sum _{k=1}^{2g} E_{4,k}=C_{4}\). From (3.79) and Lemma 3.8, we infer that
Furthermore, by Lemma 3.25, \(\theta _{k} = j_{k,\star }-\lfloor j_{k,\star } \rfloor \), and \(j_{k,\star } = n t_{k} -\alpha \),
where we have also used the fact that \(\theta (x+1|\tau )=\theta (x|\tau )\). Combining the above two equations yields
On the other hand, using Lemmas 3.8 and 3.23, we obtain (after a lot of cancellations)
By combining (3.80) and (3.81), we finally obtain
This finishes the proof of Theorem 1.1. \(\square \)
4 Proof of Theorem 1.4: the case \(r_{2g}=+\infty \)
As in Sect. 3, we start with (2.5), but now we split \(\log {\mathcal {P}}_{n}\) into 4g parts
with \(S_{0},\ldots ,S_{4g-2}\) as in (3.8)–(3.10), and
The sums \(S_{0},S_{1},\ldots ,S_{4g-2}\) can be analyzed exactly as in Sect. 3. For the large n asymptotics of these sums, see Lemma 3.1 for \(S_{0}\), Lemma 3.2 for \(S_{2k-1}\) with \(k \in \{1,3,\ldots ,2g-1\}\), Lemma 3.8 for \(S_{2k-1}\) with \(k \in \{2,4,\ldots ,2\,g-2\}\), and Lemma 3.23 for \(S_{2k}\) with \(k \in \{1,2,\ldots ,2g-1\}\). Thus it only remains to determine the large n asymptotics of \(S_{4g-1}\) in this section. These asymptotics are stated in the following lemma.
Lemma 4.1
Let \(k = 2g\). As \(n \rightarrow + \infty \), we have
where
Proof
In the same way as in Lemma 3.3, as \(n \rightarrow + \infty \) we find
The large n asymptotics of \(S_{2k-1}^{(1)}\) can be obtained in a similar (and simpler, because there is no theta functions) way than in Lemma 3.6 using Lemma 3.4. We omit further details. \(\square \)
By substituting the asymptotics of Lemmas 3.1, 3.2, 3.8, 3.23 and 4.1 in (4.1), and then simplifying, we obtain the statement of Theorem 1.4.
5 Proof of Theorem 1.7: the case \(r_{1}=0\)
We use again (2.5), but now we split \(\log {\mathcal {P}}_{n}\) into \(4g-1\) parts as follows
with \(S_{4},\ldots ,S_{4g+1}\) as in (3.8)–(3.10), and
The sums \(S_{4},S_{5},\ldots ,S_{4g+1}\) can be analyzed exactly as in Sect. 3. Their large n asymptotics is given by Lemma 3.2 for \(S_{2k-1}\) with \(k \in \{3,5,\ldots ,2\,g+1\}\), Lemma 3.8 for \(S_{2k-1}\) with \(k \in \{4,6,\ldots ,2g\}\), and Lemma 3.23 for \(S_{2k}\) with \(k \in \{2,3,\ldots ,2g\}\). Thus it only remains to analyze \(S_{3}\) in this section. This analysis is different than in the previous Sects. 3 and 4 and requires the asymptotics of \(\gamma (a,z)\) as \(z\rightarrow +\infty \) uniformly for \(\frac{a}{z} \in [0,\frac{1}{1+\epsilon /2}]\). These asymptotics are not covered by Lemma 2.3, but are also known in the literature, see e.g. [62].
Lemma 5.1
(Taken from [62, Sect. 4]) As \(z \rightarrow + \infty \) and simultaneously \(\frac{z-a}{\sqrt{z}} \rightarrow + \infty \), we have
We are now in a position to obtain the large n asymptotics of \(S_{3}\).
Lemma 5.2
Let \(k = 2\). As \(n \rightarrow + \infty \), we have
where
where \({\mathcal {G}}(b,\alpha )\) is defined in (1.18).
Proof
In a similar way as in Lemma 3.3, as \(n \rightarrow + \infty \) we find
Using Lemma 5.1, we conclude that as \(n \rightarrow + \infty \),
The second sum on the right-hand side of (5.2) can be expanded explicitly using Lemma 3.4. For the first sum, using \(\log \Gamma (z) = z \log z - z - \frac{\log z}{2} + \frac{\log 2\pi }{2} + \frac{1}{12 z} + \mathcal {O}(z^{-3})\) as \(z \rightarrow + \infty \), we obtain
This finishes the proof. \(\square \)
By combining the asymptotics of Lemmas 3.2, 3.8, 3.23 and 4.1 with (5.1), and then simplifying, we obtain the statement of Theorem 1.7.
6 Proof of Theorem 1.9: the case \(r_{2g}=+\infty \) and \(r_{1}=0\)
We split \(\log {\mathcal {P}}_{n}\) into \(4g-3\) parts
with \(S_{4},\ldots ,S_{4g-2}\) as in (3.8)–(3.10), and
The sums \(S_{4},S_{5},\ldots ,S_{4g-2}\) can be analyzed exactly as in Sect. 3, \(S_{4g-1}\) can be analyzed as in Sect. 4, and \(S_{3}\) as in Sect. 5. More precisely, their large n asymptotics are given by Lemma 3.2 for \(S_{2k-1}\) with \(k \in \{3,5,\ldots ,2g-1\}\), Lemma 3.8 for \(S_{2k-1}\) with \(k \in \{4,6,\ldots ,2g-2\}\), Lemma 3.23 for \(S_{2k}\) with \(k \in \{2,3,\ldots ,2\,g-1\}\), Lemma 4.1 for \(S_{4g-1}\), and Lemma 5.2 for \(S_{3}\). Substituting all these asymptotics in (6.1) and simplifying, we obtain the asymptotic formula of Theorem 1.9.
Data Availibility Statement
not applicable to this article as no datasets were generated.
References
Adhikari, K.: Hole probabilities for \(\beta \)-ensembles and determinantal point processes in the complex plane, Electron. J. Probab. 23, 21 pp (2018)
Adhikari, K., Reddy, N.K.: Hole probabilities for finite and infinite ginibre ensembles. Int. Math. Res. Not. IMRN 2017(21), 6694–6730 (2017)
Akemann, G., Strahov, E.: Hole probabilities and overcrowding estimates for products of complex Gaussian matrices. J. Stat. Phys. 151(6), 987–1003 (2013)
Akemann, G., Phillips, M.J., Shifrin, L.: Gap probabilities in non-Hermitian random matrix theory, J. Math. Phys. 50(6), 063504, 32 pp (2009)
Akemann, G., Ipsen, J.R., Strahov, E.: Permanental processes from products of complex and quaternionic induced Ginibre ensembles, Random Matrices Theory Appl. 3,(4), 1450014, 54 pp (2014)
Ameur, Y., Cronvall, J.: Szegö type asymptotics for the reproducing kernel in spaces of full-plane weighted polynomials. Commun. Math. Phys. (2002). https://doi.org/10.1007/s00220-022-04539-y
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.: On a problem for Ward’s equation with a Mittag–Leffler potential. Bull. Sci. Math. 137(7), 968–975 (2013)
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)
Baik, J., Buckingham, R., DiFranco, J.: Asymptotics of Tracy-Widom distributions and the total integral of a Painlevé II function. Comm. Math. Phys. 280, 463–497 (2008)
Balogh, F., Bertola, M., Lee, S.-Y., McLaughlin, K.T.-R.: Strong asymptotics of the orthogonal polynomials with respect to a measure supported on the plane. Comm. Pure Appl. Math. 68(1), 112–172 (2015)
Blackstone, E., Charlier, C., Lenells, J.: Oscillatory asymptotics for Airy kernel determinants on two intervals. Int. Math. Res. Not. IMRN 2022(4), 2636–2687 (2022)
Blackstone, E., Charlier, C., Lenells, J.: Gap probabilities in the bulk of the Airy process, Random Matrices Theory Appl. 11(2), Paper No. 2250022, 30 pp (2022)
Blackstone, E., Charlier, C., Lenells, J.: The Bessel kernel determinant on large intervals and Birkhoff’s ergodic theorem, to appear in Comm. Pure Appl. Math. arXiv:2101.09216
Borot, G., Guionnet, A.: Asymptotic expansion of \(\beta \)-matrix models in the one-cut regime. Comm. Math. Phys. 317(2), 447–483 (2013)
Borot, G., Guionnet, A.: Asymptotic expansion of beta matrix models in the multi-cut regime. arXiv:1303.1045
Charlier, C.: Asymptotics of determinants with a rotation-invariant weight and discontinuities along circles, Adv. Math. 408, Paper No. 108600 (2022)
Charlier, C., Lenells, J., Mauersberger, J.: Higher order large gap asymptotics at the hard edge for Muttalib–Borodin ensembles. Comm. Math. Phys. 384(2), 829–907 (2021)
Charlier, C., Lenells, J., Mauersberger, J.: Large gap asymptotics for the Meijer-\(G\) point process. Nonlinearity 34(5), 2837–2877 (2021)
Chau, L.-L., Zaboronsky, O.: On the structure of correlation functions in the normal matrix model. Comm. Math. Phys. 196(1), 203–247 (1998)
Claeys, T., Grava, T., McLaughlin, K.T.-R.: Asymptotics for the partition function in two-cut random matrix models. Comm. Math. Phys. 339(2), 513–587 (2015)
Claeys, T., Girotti, M., Stivigny, D.: Large gap asymptotics at the hard edge for product random matrices and Muttalib–Borodin ensembles. Int. Math. Res. Not. 2019, 2800–2847 (2019)
Cunden, F.D., Mezzadri, F., Vivo, P.: Large deviations of radial statistics in the two-dimensional one-component plasma. J. Stat. Phys. 164(5), 1062–1081 (2016)
Dai, D., Xu, S.-X., Zhang, L.: Asymptotics of Fredholm determinant associated with the Pearcey kernel. Comm. Math. Phys. 382(3), 1769–1809 (2021)
Deift, P., Zhou, X.: A steepest descent method for oscillatory Riemann-Hilbert problems. Asymptotics for the MKdV equation. Ann. Math. 137, 295–368 (1993)
Deift, P., Its, A., Zhou, X.: A Riemann-Hilbert approach to asymptotic problems arising in the theory of random matrix models, and also in the theory of integrable statistical mechanics. Ann. Math. (2) 146(1), 149–235 (1997)
Deift, P., Its, A., Krasovsky, I., Zhou, X.: The Widom–Dyson constant and related questions of the asymptotic analysis of Toeplitz determinants. J. Comput. Appl. Math. 202, 26–47 (2007)
Deift, P., Its, A., Krasovsky, I.: Asymptotics for the Airy-kernel determinant. Comm. Math. Phys. 278, 643–678 (2008)
Deift, P., Krasovsky, I., Vasilevska, J.: Asymptotics for a determinant with a confluent hypergeometric kernel. Int. Math. Res. Not. 9, 2117–2160 (2011)
Deaño, A., Simm, N.: Characteristic polynomials of complex random matrices and Painlevé transcendents. Int. Math. Res. Not. IMRN 2022(1), 210–264 (2022)
Dumaz, L., Virág, B.: The right tail exponent of the Tracy–Widom \(\beta \) distribution. Ann. Inst. Henri Poincaré Probab. Stat. 49, 915–933 (2013)
Elbau, P., Felder, G.: Density of eigenvalues of random normal matrices. Comm. Math. Phys. 259(2), 433–450 (2005)
Ehrhardt, T.: Dyson’s constant in the asymptotics of the Fredholm determinant of the sine kernel. Comm. Math. Phys. 262(2), 317–341 (2006)
Ehrhardt, T.: The asymptotics of a Bessel-kernel determinant which arises in random matrix theory. Adv. Math. 225(6), 3088–3133 (2010)
Fahs, B., Krasovsky, I.: Sine-kernel determinant on two large intervals. arXiv:2003.08136
Fenzl, M., Lambert, G.: Precise deviations for disk counting statistics of invariant determinantal processes. Int. Math. Res. Not. IMRN 2022(10), 7420–7494 (2022)
Forrester, P.J.: Some statistical properties of the eigenvalues of complex random matrices. Phys. Lett. A 169(1–2), 21–24 (1992)
Forrester, P.J.: Fluctuation formula for complex random matrices. J. Phys. A. 32, 159–163 (1999)
Forrester, P.J.: Asymptotics of spacing distributions 50 years later. MSRI Publ. 65, 199–222 (2014)
Ginibre, J.: Statistical ensembles of complex, quaternion, and real matrices. J. Math. Phys. 6, 440–449 (1965)
Ghosh, S., Nishry, A.: Point processes, hole events, and large deviations: random complex zeros and coulomb gases. Constr. Approx. 48(1), 101–136 (2018)
Ghosh, S., Nishry, A.: Gaussian complex zeros on the hole event: the emergence of a forbidden region. Comm. Pure Appl. Math. 72(1), 3–62 (2019)
Gouraud, G., Le Doussal, P., Schehr, G.: Hole probability for noninteracting fermions in a d-dimensional trap. arXiv:2104.08574
Grobe, R., Haake, F., Sommers, H.-J.: Quantum distinction of regular and chaotic dissipative motion. Phys. Rev. Lett. 61(17), 1899–1902 (1988)
Hedenmalm, H., Wennman, A.: Planar orthogonal polynomials and boundary universality in the random normal matrix model. Acta Math. 227(2), 309–406 (2021)
Hough, J.B.: Large deviations for the zero set of an analytic function with diffusing coefficients (2005). arXiv: 0510237
Hough, J.B., Krishnapur, M., Peres, Y., Virág, B.: Zeros of Gaussian analytic functions and determinantal point processes, University Lecture Series, vol. 51. American Mathematical Society, Providence (2009)
Jancovici, B., Lebowitz, J., Manificat, G.: Large charge fluctuations in classical Coulomb systems. J. Statist. Phys. 72(3–4), 773–787 (1993)
Krasovsky, I.: Gap probability in the spectrum of random matrices and asymptotics of polynomials orthogonal on an arc of the unit circle. Int. Math. Res. Not. 2004, 1249–1272 (2004)
Krasovsky, I.: Large gap asymptotics for random matrices, in New Trends in Mathematical Physics. XVth International Congress on Mathematical Physics, Springer, Dordrecht (2009)
Krasovsky, I., Maroudas, T.-H.: Airy-kernel determinant on two large intervals. arXiv:2108.04495
Lacroix-A-Chez-Toine, B., et al.: Intermediate deviation regime for the full eigenvalue statistics in the complex Ginibre ensemble. Phys. Rev. E 100, 012137 (2019)
Leblé, T., Serfaty, S.: Fluctuations of two dimensional Coulomb gases. Geom. Funct. Anal. 28(2), 443–508 (2018)
Lee, S.-Y., Yang, M.: Discontinuity in the asymptotic behavior of planar orthogonal polynomials under a perturbation of the Gaussian weight. Comm. Math. Phys. 355(1), 303–338 (2017)
Lee, S.-Y., Yang, M.: Strong Asymptotics of Planar Orthogonal Polynomials: Gaussian Weight Perturbed by Finite Number of Point Charges. arXiv:2003.04401
Marchal, O.: Asymptotic expansions of some Toeplitz determinants via the topological recursion. Lett. Math. Phys. 110(2), 211–258 (2020)
Marchal, O.: Asymptotic expansion of Toeplitz determinants of an indicator function with discrete rotational symmetry and powers of random unitary matrices. arXiv:2112.01306
Mehta, M.L.: Random matrices. Pure and Applied Mathematics (Amsterdam), Vol. 142, 3rd ed., Elsevier/Academic Press, Amsterdam (2004)
Nishry, A.: Asymptotics of the hole probability for zeros of random entire functions. Int. Math. Res. Not. 2010(15), 2925–2946 (2010)
Nishry, A., Wennman, A.: The forbidden region for random zeros: appearance of quadrature domains. arXiv:2009.08774
Olver, F.W.J., Olde Daalhuis, A.B., Lozier, D.W., Schneider, B.I., Boisvert, R.F., Clark, C.W., Miller, B.R., Saunders, B.V.: NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/. Release 1.0.13 of 2016-09-16
Paris, R.B.: A uniform asymptotic expansion for the incomplete gamma function. J. Comput. Appl. Math. 148(2), 323–339 (2002)
Peres, Y., Virág, B.: Zeros of the i.i.d. Gaussian power series: a conformally invariant determinantal process. Acta Math. 194(1), 1–35 (2005)
Ramírez, J.A., Rider, B., Zeitouni, O.: Hard edge tail asymptotics. Electron. Commun. Probab. 16, 741–752 (2011)
Rider, B.: Deviations from the circular law. Probab. Theory Related Fields 130(3), 337–367 (2004)
Rider, B., Virag, B.: The noise in the circular law and the Gaussian free field, Int. Math. Res. Not, 2 (2007)
Saff, E.B., Totik, V.: Logarithmic Potentials with External Fields. Grundlehren der Mathematischen Wissenschaften, Springer, Berlin (1997)
Seo, S.-M.: Edge behavior of two-dimensional Coulomb gases near a hard wall. Ann. Henri Poincaré 23(6), 2247–2275 (2022)
Shirai, T.: Large deviations for the fermion point process associated with the exponential kernel. J. Stat. Phys. 123, 615–629 (2006)
Sodin, M., Tsirelson, B.: Random complex zeroes, III, decay of the hole probability. Israel J. Math. 147(1), 371–379 (2005)
Temme, N.M.: Special functions: an introduction to the classical functions of mathematical physics, John Wiley & Sons (1996)
Valkó, B., Virág: Continuum limits of random matrices and the Brownian carousel, Invent. Math. 177(3), 463–508 (2009)
Valkó, B., Virág, B.: Large gaps between random eigenvalues. Ann. Probab. 38(3), 1263–1279 (2010)
Webb, C., Wong, M.D.: On the moments of the characteristic polynomial of a Ginibre random matrix. Proc. Lond. Math. Soc. (3) 118(5), 1017–1056 (2019)
Widom, H.: The strong Szegő limit theorem for circular arcs. Indiana Univ. Math. J. 21, 277–283 (1971)
Widom, H.: Asymptotics for the Fredholm determinant of the sine kernel on a union of intervals. Comm. Math. Phys. 171(1), 159–180 (1995)
Acknowledgements
The author is grateful to Oleg Lisovyy and Grégory Schehr for useful remarks. Support is acknowledged from the European Research Council, Grant Agreement No. 682537, the Ruth and Nils-Erik Stenbäck Foundation, and the Novo Nordisk Fonden Project Grant 0064428.
Funding
Open access funding provided by Lund University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Charlier, C. Large gap asymptotics on annuli in the random normal matrix model. Math. Ann. 388, 3529–3587 (2024). https://doi.org/10.1007/s00208-023-02603-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-023-02603-z