Abstract
We are concerned with zeros of random power series with coefficients being a stationary, centered, complex Gaussian process. We show that the expected number of zeros in every smooth domain in the disk of convergence is less than that of the hyperbolic Gaussian analytic function with i.i.d. coefficients. When coefficients are finitely dependent, i.e., the spectral density is a trigonometric polynomial, we derive precise asymptotics of the expected number of zeros inside the disk of radius r centered at the origin as r tends to the radius of convergence, in the proof of which we clarify that the negative contribution to the number of zeros stems from the zeros of the spectral density.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\{\zeta _k\}_{k=0}^{\infty }\) be independent, identically distributed (i.i.d.) standard complex Gaussian random variables. Peres and Virág studied the zeros of random power series \(f_{\textrm{PV}}(z)=\sum _{k=0}^\infty \zeta _k z^k\) and found that the zero point process \(\sum _{z \in {\mathbb {C}}: f_{\textrm{PV}}(z)=0}\delta _z\) becomes a determinantal point process associated with the Bergman kernel [15]. The studies around this Gaussian analytic function (GAF) have been developing in several directions (cf. [2, 5, 7, 8, 10,11,12,13, 16,17,18]); however, it seems that there are relatively few works on zeros of random power series with dependent Gaussian coefficients. Recently, Mukeru, Mulaudzi, Nazabanita and Mpanda studied the zeros of Gaussian random power series \(f_H(z)\) on the unit disk with coefficients \(\Xi ^{(H)} = \{\xi _k^{(H)}\}_{k=0}^{\infty }\) being a fractional Gaussian noise (fGn) with Hurst index \(0\le H<1\). They gave an estimate for the expected number of zeros of \(f_H(z)\) inside \({\mathbb {D}}(r):=\{z\in {\mathbb {C}}:|z|<r\}\) and show that it is smaller than that of \(f_{\textrm{PV}}(z)\) by \(O((1-r^2)^{-1/2})\) [14], whose proof was based on the maximum principle via an integral representation on \({\mathbb {D}}(r)\) of the expectation. In this paper, we will give a precise asymptotics as \(r \rightarrow 1_-\) of the expected number of zeros in \({\mathbb {D}}(r)\) of a random power series \(f_{\Xi }(z) = \sum _{k=0}^{\infty } \xi _k z^k\) when \(\Xi = \{\xi _k\}_{k=0}^{\infty }\) is a stationary, centered, finitely dependent complex Gaussian process, i.e., its spectral density is a trigonometric polynomial of degree n. As will be seen later, the essential idea of our proof is to represent the expected number of zeros as a contour integral on \(\partial {\mathbb {D}}(r)\) by using the Stokes theorem similar to [4, 11] and keep track of the poles of the integrand indexed by r, i.e., the zeros of a (scaled) spectral density for \(\Xi \), as \(r \rightarrow 1_-\). We found that the degeneracy of zeros of spectral density sensitively affects on the order of the difference between the expected number of zeros of \(f_{\Xi }(z)\) and that of \(f_{\textrm{PV}}(z)\).
Let \(\Xi = \{\xi _k\}_{k \in {\mathbb {Z}}}\) be a stationary, centered, complex Gaussian process with unit variance and covariance function
where \(\gamma (0)=1\) and \(\gamma (-k) = \overline{\gamma (k)}\). Throughout this paper, we always assume the variance to be 1. We consider the following random power series
For the sake of simplicity, in what follows, we often omit the subscript \(\Xi \) in \(f_{\Xi }\). The covariance matrix of the Gaussian analytic function (GAF) defined in (1.2) is given by
where
Since \(|\gamma (k)| \le \gamma (0)=1\) follows from positive definiteness, the convergence radius of G(z) is more than or equal to 1. The covariance function \(\gamma (k)\) can be represented as \(\gamma (k) = (2 \pi )^{-1} \int _0^{2\pi } e^{\sqrt{-1}k\theta } d\Delta (\theta )\), where \(\Delta (\theta )\) is called the spectral function of \(\Xi \). When \(\Delta (\theta )\) is absolutely continuous with respect to the Lebesgue measure, the density \(\Delta '(\theta ) = d\Delta (\theta )/d\theta \) is called the spectral density of \(\Xi \) (cf. [6]). We note that \(G_2(e^{\sqrt{-1}\theta }, e^{\sqrt{-1}\theta })\) gives the spectral density of the Gaussian process \(\Xi \) if G(z) is analytic in a neighborhood of \({\mathbb {D}}\). When \(\{\xi _k\}_{k \in {\mathbb {Z}}}\) are i.i.d., \(\gamma (k) = \delta _{0,k}\) (Kronecker’s delta) and \(K_f(z,w)\) is the Szegő kernel. As mentioned before, Peres-Virág showed that the zeros of \(f_{\textrm{PV}}(z)\) with i.i.d. Gaussian coefficients form the determinantal point process associated with the Bergman kernel [15]. In the present paper, we compare the expected number of zeros of f(z) with finitely dependent Gaussian coefficients with that of \(f_{\textrm{PV}}(z)\).
We first deal with the case of 2-dependent stationary Gaussian processes with covariance function
We easily verify that \(\{\gamma (k)\}_{k \in {\mathbb {Z}}}\) is positive definite if and only if (a, b) is in the region \({\mathcal {P}}= {\mathcal {P}}_1 \cup {\mathcal {P}}_2\) with
and
See Fig. 1. We consider the GAF \(f_{a,b}(z)\) associated with (1.5). Since we normalized the variance of \(\xi _k\) to be 1, the convergence radius of the power series \(f_{a,b}(z)\) is 1 a.s. for any \((a,b) \in {\mathcal {P}}\).
We denote the zeros of GAF f by \({\mathcal {Z}}_f\) and let
be the number of zeros within \({\mathbb {D}}(r)\), the disk of radius r centered at the origin. From now on, for simplicity, we write \(r \rightarrow 1\) instead of \(r\rightarrow 1_-\).
Theorem 1.1
Let \(f_{a,b}\) be the GAF defined in (1.2) with covariance function of the form (1.5) with \((a,b) \in {\mathcal {P}}\). Then, the asymptotic behavior of the expected number of zeros is as follows.
(I) If (a, b) satisfies \(a^2/8+(b-1/4)^2=1/16\) and \(1/6 < b \le 1/2\), then
(II) If (a, b) satisfies \(b=|a|-1/2\) and \(-1/2\le b<1/6\), then
(III) If \((a,b)=(\pm 2/3,1/6)\), then
(IV) If (a, b) is in the interior of \({\mathcal {P}}\), then there exists a nonnegative constant C(a, b) such that
The constant C(a, b) is positive except for \((a,b)=(0,0)\). The numbers (I)–(IV) in Theorem 1.1 correspond to those in Fig. 1.
The case of \((a,b)=(0,0)\) corresponds to the case of Peres-Virág, \(f_{\textrm{PV}}(z)\), and it is known that
Therefore, for all cases, the expected number of zeros is less than that of \(f_{\textrm{PV}}(z)\) at least in the limit as \(r \rightarrow 1\). In fact, we can show the following stronger result.
Theorem 1.2
Let f be a GAF defined in (1.2) with (1.3) and (1.4). Let \(D \subset {\mathbb {D}}\) be a domain with smooth boundaries and \(N_f(D)\) be the number of zeros of f inside D. Then, \({\textbf{E}}N_f(D)\) is always less than or equal to \({\textbf{E}}N_{f_{\textrm{PV}}}(D)\). Moreover, the equality holds for some (hence any) domain D if and only if f is equal to \(f_{\textrm{PV}}\) in law.
As was seen in the above, the asymptotic behavior at \((a,b) = (\pm 2/3, 1/6)\) corresponding to Case (III) is special since \(G_2(z,z)\) is the most degenerated in the sense that
for \(z \in \partial {\mathbb {D}}= \{z \in {\mathbb {C}}: |z| = 1\}\). The above \(G_2(z,z)\) has the degenerated zero at \(z=\mp 1\). The phenomena are the same in both cases and so we only deal with the \(+\) case below. Now, we focus on the n-dependent stationary Gaussian process \(\Xi \) with covariance function \(\{\gamma _n(k)\}_{k \in {\mathbb {Z}}}\) which is the most degenerated in the sense above, i.e.,
which is normalized as \(\gamma _n(0)=1\). It is easy to see that
for \(z \in \partial {\mathbb {D}}\) and \(z=-1\) is the zero of order 2n. We remark that for this Gaussian process \(\Xi \) we have the following moving-average representation:
where \(\{\zeta _j\}_{j \in {\mathbb {Z}}}\) is an i.i.d. standard complex Gaussian sequence. In this case, we have the following asymptotics, which include (1.8) as a special case of \(n=2\).
Theorem 1.3
Let \(\gamma _n(k)\) be defined as (1.11) and \(\Xi = \{\xi _k \}_{k \in {\mathbb {Z}}}\) be the stationary, centered, complex Gaussian process with covariance function \(\{\gamma _n(k)\}_{k \in {\mathbb {Z}}}\). The expected number of zeros of the power series f with coefficients \(\Xi \) within \({\mathbb {D}}(r)\) is given by
where
Remark 1.4
The term of order \((1-r^2)^{-\frac{2n-2}{2n}}\) in (1.13) vanishes by a cancellation. See the proof of Theorem 1.3 and Remark 4.4.
As will be seen in the proof of the theorems, the order of the second term in the asymptotic expansion comes from the behavior of the zeros of \(G_2(z,z)\) in the case of n-dependent Gaussian processes. If \(G_2(z,z)\) has a zero of multiplicity 2k on \(\partial {\mathbb {D}}\), i.e., so does the spectral density, then the term of order \((1-r^2)^{-(2k-1)/(2k)}\) appears in the asymptotics of \({\textbf{E}}N_f(r)\) as \(r \rightarrow 1\). Hence, the zeros of the spectral density with the most multiplicity determines the asymptotics of the second order term. Therefore, we obtain the following result for general finitely dependent cases.
Corollary 1.5
Let \(\Xi = \{\xi _k \}_{k \in {\mathbb {Z}}}\) be a stationary, centered, finitely dependent, complex Gaussian process. When the spectral density of \(\Xi \) has zeros \(\theta _j\) of multiplicity \(2k_j\) for \(j=1,2,\dots ,p\), we set \(\alpha = (2k-1)/(2k)\) with \(k = \max _{1\le j \le p} k_j\); \(\alpha =0\) otherwise. Then, there exists a positive constant \(C_{\Xi }\) such that the expected number of zeros of the GAF f with coefficients \(\Xi \) within \({\mathbb {D}}(r)\) is given by
For example, the Gaussian process \(\Xi \) with \(G_2(z,z) = (const.) \prod _{j=1}^p |z + a_j|^{2k_j}\) for \(z, a_1,\dots , a_p \in \partial {\mathbb {D}}\) and \(k_1, \dots , k_p \ge 1\) gives an example of the GAF described in Corollary 1.5.
This paper is organized as follows. In Sect. 2, we recall the Edelman–Kostlan formula and derive its variants for later use and prove Theorem 1.2. We also give some examples to give our idea for computation of the expected number of zeros. In Sect. 3 3, we prove Theorem 1.1. In Sect. 4, we briefly recall the method of Puiseux expansion and prove Theorem 1.3.
2 The Expected Number of Zeros: Examples
2.1 Expected Numbers of Zeros
To prove Theorems 1.1 and 1.3, we recall the Edelman–Kostlan formula for the expected number of zeros of GAF.
Proposition 2.1
Let \(D \subset {\mathbb {C}}\) be a domain with smooth boundaries, f be a GAF defined in a neighborhood of D, and \(N_f(D)\) be the number of zeros of f inside D. Then,
assuming that no singularity lies on \(\partial D\) for the second equality, where dm(z) is the Lebesgue measure on the complex plane \({\mathbb {C}}\) and \({\textbf{i}}=\sqrt{-1}\) is the imaginary unit.
For the proof of the first equality, see [8]. For the second equality, the Stokes theorem is used as in [4, 11]. In our setting, we have much simpler expressions for \({\textbf{E}}N_f(r)\).
Corollary 2.2
Let f be a GAF defined in (1.2) with (1.3) and (1.4). Let \(D \subset {\mathbb {D}}\) be a domain with smooth boundaries and \(N_f(D)\) be the number of zeros inside D. Then,
where \({\mathcal {J}}(D)\) has two expressions as follows:
and
In particular, when \(D = {\mathbb {D}}(r)\), (2.14) becomes
where we simply write \({\mathcal {J}}(r)\) for \({\mathcal {J}}({\mathbb {D}}(r))\).
Proof
The first expression (2.15) directly follows from (1.3), (1.4) and the second equality in Proposition 2.1. For the second expression (2.16), since \(\overline{\partial _z G(z)} = \partial _{{\overline{z}}} (\overline{G(z)})\), it is easy to see from the first equality in Proposition 2.1 that
This completes the proof. \(\square \)
The expression (2.16) essentially, but not explicitly, appeared in [14]. They derived a similar expression from one-point correlation and used to evaluate the expected number of zeros in the case of fractional Gaussian noise.
Remark 2.3
In our setting, G(z) is a polynomial. By the change of variables \(z \mapsto rz\) in (2.15) with \(D = {\mathbb {D}}(r)\), we have
where \(\Theta (r,z)\) is the rational function of z obtained from \(G_2(rz,rz)\) by putting \({\overline{z}}= z^{-1}\) on \(\partial {\mathbb {D}}\). In particular, when \(\gamma (k)\) is real for every \(k\in {\mathbb {Z}}\), we have
Note that \(\Theta (1,e^{i\theta })\) is the spectral density at least for finitely dependent Gaussian processes. Then, one can apply the residue theorem, and from this point of view, the behavior of zeros of \(\Theta (r,z)\) as \(r \rightarrow 1\) is essential for the order of \({\mathcal {J}}(r)\).
Theorem 1.2 is a direct consequence of the second expression (2.16) of \({\mathcal {J}}(D)\).
Proof of Theorem 1.2
The error term \({\mathcal {J}}(D)\) is clearly non-positive from (2.16). Moreover, the right-hand side of (2.16) is zero if and only if \(G'(z) = 0\) m-a.e. D. It follows from the uniqueness theorem that \(G'(z)\) is identically zero on \({\mathbb {D}}\), and thus so is G(z) since \(G(0)=0\). Therefore, f is equal to \(f_{\textrm{PV}}\) in law. \(\square \)
2.2 Examples
In this subsection, we show two examples to see how the expected number of zeros behaves as \(r \rightarrow 1\). Although all computations are rather straightforward, they are helpful for understanding of the situation.
Example 2.4
(Ornstein–Uhlenbeck process) Let \(\gamma (k) = \rho ^{|k|} \ (0< \rho < 1)\). The corresponding stationary Gaussian process is the (discrete time) Ornstein–Uhlenbeck process. In this case, we see that \(G(z) = \rho z (1-\rho z)^{-1}\) and
By using \({\overline{z}}= z^{-1}\) for \(z \in \partial {\mathbb {D}}\), we see that
We apply (2.18) to this case. The only zero \(z=0\) of \(\Theta (r,z)\), which does not move in r, contributes to the residue as the only pole. Hence, we have
In this case, G(z) is analytic in \({\mathbb {D}}(1/\rho )\) and \(\Theta (1,z)\), or equivalently \(G_2(z,z)\), does not vanish on \(\partial {\mathbb {D}}\).
Remark 2.5
As was seen in this example, the second term \({\mathcal {J}}(r)\) is O(1) as \(r \rightarrow 1\) whenever G(z) is analytic in a neighborhood of \({\overline{{\mathbb {D}}}}:= {\mathbb {D}}\cup \partial {\mathbb {D}}\) and \(\Theta (r,z)\) does not vanish on \(\partial {\mathbb {D}}\).
Example 2.6
For \(0<\rho <1\), let \(\zeta \) and \(\{\eta _k\}_{k \in {\mathbb {Z}}}\) be i.i.d. complex standard normal random variables and define the Gaussian process \(\Xi = \{\xi _k\}_{k \in {\mathbb {Z}}}\) by
Then, the corresponding GAF is equal in law to
and its covariance function is given by
In this case, \(G(z) = \rho z(1-z)^{-1}\) and
and hence
The zeros of \(\Theta (r,z)\) are \(\nu \) and \(\nu ^{-1}\), where \(\nu =\frac{\delta -\sqrt{\delta ^2-4}}{2}\) and \(\delta =\frac{1+(1-2\rho )r^2}{(1-\rho )r}\). Note that \(\nu \) (resp., \(\nu ^{-1}\)) is inside (resp., outside) \({\mathbb {D}}\). By using (2.18) and the residue theorem, we have
As \(r \rightarrow 1\), we have
Remark 2.7
(i) The convergence radius of G(z) is 1, and its singularity is located only at \(z=1\). The zeros of \(\Theta (r,z)\) are \(\nu \) and \(\nu ^{-1}\) given above, where \(\nu \) (resp., \(\nu ^{-1}\)) is inside (resp., outside) \({\mathbb {D}}(r)\). Both \(\nu \) and \(\nu ^{-1}\) converge to 1 as \(r \rightarrow 1\), and the second term of \(O((1-r^2)^{-1/2})\) comes from \((\nu -\nu ^{-1})^{-1}\) as the residue at \(z=\nu \).
(ii) From (2.19), we intuitively observe that near \(z=1\), the first term \(\zeta /(1-z)\) pushes up the absolute values of \(\sqrt{1-\rho } f_{\textrm{PV}}(z)\) and decreases the number of zeros.
We would like to emphasize that the behavior of zeros of \(\Theta (r,z)\) as \(r \rightarrow 1\) is essential for the asymptotic behavior of the error term \({\mathcal {J}}(r)\).
3 2-Dependent Cases
In this section, we prove Theorem 1.1.
3.1 Case (I)
First we show Case (I).
Proof of Case (I) in Theorem 1.1
First we note that \(G(z)=az+bz^2\) and then \(\Theta (r,z) = 1 + ar(z+z^{-1}) + br^2(z^2+z^{-2})\). From (2.18), we have
We suppose \((a,b) \in \partial {\mathcal {P}}_1 \cap \partial {\mathcal {P}}\), i.e., \(a = \pm 2 \sqrt{b(1-2b)}\) with \(1/6 \le b \le 1/2\). By the symmetry, it is enough to consider the case \(a>0\). Since the denominator is reciprocal, if \(\gamma \) is one of its roots, then the roots are given as \(\gamma , \gamma ^{-1}, {\bar{\gamma }}, {\bar{\gamma }}^{-1}\). Here, we suppose \(\gamma \in {\mathbb {D}}\) and in the upper-half plane. Thus, \(\gamma , {\bar{\gamma }}\) (resp., \(\gamma ^{-1}, {\bar{\gamma }}^{-1}\)) are inside (resp., outside) \({\mathbb {D}}\). By taking the residues at \(\gamma \) and \({\bar{\gamma }}\), we see that
Let \(X=z+z^{-1}\) and rewrite the denominator as \(br^2 X^2+arX+1-2br^2\), whose roots are distinct and given by \(X_{\pm }=(-a \pm {\textbf{i}}2 \sqrt{2}b\sqrt{1-r^2})/(2br)\). It is easy to see that
Here, we take the branch of \(\sqrt{z}\) such that \(\sqrt{1}=1\) and analytic in \({\mathbb {C}}\setminus (-\infty ,0]\). Note that
with \(\alpha =b-2b^2(r^2+2)\) and \(\beta =2b\sqrt{2(1-r^2)b(1-2b)}\). It is easy to see that
and hence
We note that \(\gamma =(X_{-} + \gamma - \gamma ^{-1})/2\). Substituting it to the numerator and expanding it by \(Y:= \gamma -\gamma ^{-1}\), we have
Here, we used the fact that \(X_-\) is a solution of the equation \(br^2 X^2 + arX + 1-2br^2=0\). Since \(\alpha = -b(6b-1) + O(1-r^2)\) and \(\beta = 2b\sqrt{2b(1-2b)}\sqrt{1-r^2}\), we see that
Hence, it follows from (3.22), (3.23) and (3.24) that
This completes the proof of Case (I). \(\square \)
3.2 Case (II)
Next we prove Case (II).
Proof of Case (II) in Theorem 1.1
By the symmetry, it is enough to consider the case \(b=a-1/2\) \((-1/2\le b\le 1/6)\). We divide the proof of Case (II) into two cases, i.e., (i) \(0<b\le 1/6\) and (ii) \(-1/2\le b\le 0\). In this subsection, we always consider the situation for r sufficiently close to 1 depending on b.
First we prove the case (i). The roots of \(br^2X^2+arX+1-2br^2=0\) are real and given by \(X_{\pm }=(-a \pm \lambda )/2br\in {\mathbb {R}}\) with \(\lambda = \sqrt{a^2-4b^2 + 8b^2r^2}\). Note that \(X_\pm ^2-4\ge 0\), and \(X_{+} \rightarrow -2\) and \(X_{-} \rightarrow (2b-1)/(2b)\) as \(r \rightarrow 1\) As in Case (I), by (3.20), since the denominator is reciprocal, if two real roots \(\gamma \) and \(\kappa \) lie inside \({\mathbb {D}}\) such that \(\gamma< \kappa < 0\), then all the roots are given as \(\gamma ,\gamma ^{-1},\kappa ,\kappa ^{-1}\). Here \(\gamma ,\kappa \) (resp. \(\gamma ^{-1},\kappa ^{-1}\)) are in \({\mathbb {D}}\cap {\mathbb {R}}\) (resp. in \({\mathbb {D}}^c\cap {\mathbb {R}}\)), which are given by
By (3.20) and the residue theorem, we see that
Here, we used
Since \((\kappa -\kappa ^{-1})^{-1}=O(1)\), it suffices to focus on the first term of (3.26). We again use the expansion in (3.23) and have
Therefore,
Next we prove the case (ii) of (II). Computation is almost the same as in the case (i) of (II), but we only need to change the roles of \(\gamma , \gamma ^{-1}, \kappa , \kappa ^{-1}\). Indeed, \(\gamma \) and \(\kappa ^{-1}\) (resp. \(\gamma ^{-1},\kappa \)) in (3.25) are in \({\mathbb {D}}\cap {\mathbb {R}}\) (resp. in \({\mathbb {D}}^c\cap {\mathbb {R}}\)). By (3.20), (3.25) and
we see that
This completes the proof of Case (II). \(\square \)
Remark 3.1
By the continuity, we have the same asymptotic in Case (II), but the behavior of roots \(\gamma ,\gamma ^{-1},\kappa ,\kappa ^{-1}\) in (II) is completely different from Case (I). Indeed, \(\gamma ,\gamma ^{-1}\rightarrow -1\) and \(\kappa ,\kappa ^{-1}\rightarrow (2b-1)/4b\pm \sqrt{(1-6b)(1+2b)}/2|b|\) as \(r\rightarrow 1\) in Case (II). That is, there is only one pair of roots toward the boundary \(\partial {\mathbb {D}}\) as \(r\rightarrow 1\) except \(b=-1/2\). This implies that the asymptotic order is affected by the degeneracy of roots of \(\Theta (1,z)\) located on the boundary \(\partial {\mathbb {D}}\).
3.3 Case (III)
We give a proof of Case (III).
Proof of Case (III) in Theorem 1.1
Suppose \((a,b) = (2/3, 1/6)\). Since \(\alpha =\frac{1}{18}(1-r^2)\) and \(\beta =\frac{1}{9}\sqrt{2(1-r^2)}\), by (3.21), we have
It easily follows from this expression that \(\Im Y = O\big ( (1-r^2)^{1/4} \big )\) and
Hence, from (3.22) and (3.23), we can conclude that
This completes the proof of Case (III). \(\square \)
3.4 Case (IV)
Finally, we give a sketch of the proof of Case (IV). Since all zeros of \(\Theta (r,z)\) stay away from \(\partial {\mathbb {D}}\) as \(r \rightarrow 1\) when (a, b) is in the interior of \({\mathcal {P}}\), any singularity contributing to the asymptotic behavior does not appear on the boundary \(\partial {\mathbb {D}}\), and hence, it suffices to consider as r equals to 1. Here we only consider the interior of \({\mathcal {P}}_1\) and \(a>0\). We use the same notations in the proof of Case (I). In this case, \(X_{\pm }=(-a\pm {\textbf{i}}\lambda (a,b))/(2b)\) with \(\lambda (a,b)=\sqrt{4b-8b^2-a^2}\) and we see that \((\gamma -{\overline{\gamma }})(\gamma -{\overline{\gamma }}^{-1}) = -\gamma b^{-1} \lambda (a,b) {\textbf{i}}\). Hence,
A little more computation shows that
where \(\mu (a,b)=\sqrt{(1+2b)^2-4a^2}\) and that \(C(a,b) > 0\) unless \((a,b)=(0,0)\). We omit the other cases since we obtain the results just by repeating the similar computation.
4 Degenerated Cases
In this section, we give a proof of Theorem 1.3. From (2.18), we have
where \(p_n(r,z) = z^n {2n \atopwithdelims ()n} G'(w)|_{w=rz}\) and
We note from (1.12) that
To see the asymptotic behavior of \({\textbf{E}}N_f(r)\) as \(r \rightarrow 1\), we need that of z(r) for \(q_n(r,z(r))=0\).
4.1 Behavior of the Root z(r) as \(r \rightarrow 1\)
We first note that \(q_n(1,-1)=0\) and \(\partial _z q_n(r,z)|_{(r,z)=(1,-1)}=0\). Hence, we cannot apply the implicit function theorem in the variable z to \(q_n(r,z)\). Alternatively, we follow a strategy of using Puiseux series expansion and Newton polygon method (cf. [19]).
First we note that
By shifting \((r,z)\rightarrow (1-r,z+1)\) in \(q_n(r,z)\), we consider
Note that \(Q_n(0,y)=y^{2n}\). Following [19], we denote by \({\mathbb {C}}\{x,y\}\) (resp., \({\mathbb {C}}\{x\}\)) the ring of convergent power series defined by two variables x, y (resp., one variable x). If \(f\in {\mathbb {C}}\{x,y\}\) satisfies \(f(0,y)=y^mA(y)\) with \(A(0)\ne 0\), then we say f is regular in y of order m [19, p.20]. In our setting, \(Q_n(x,y)\) is regular in y of order 2n. We can use the following theorem from [19, p.20, Theorem 2.2.6] to guarantee the existence of 2n distinct solutions to the equation \(Q_n(x,y)=0\) around \((x,y)=(0,0)\).
Theorem 4.1
[19] (i) Any equation \(f(x,y)=0\) where \(f\in {\mathbb {C}}\{x,y\}\) with \(f(0,0)=0\), \(f(0,y)\not \equiv 0 \) admits at least one solution of the form \(y=g(x^{1/m_1})\in {\mathbb {C}}\{x\}\).
(ii) If f is regular in y of order m, and we write \(f=UF\) with U a unit and F a monic polynomial of degree m in y, there are m such solutions \(g_j(x^{1/m_{j}})\), all distinct unless the discriminant of F vanishes identically, and \(F(y)\equiv \prod _{j=1}^m\left( y-g_j(x^{1/m_{j}})\right) \).
For our purpose, we need more explicit form of \(g_j\)’s so that we directly perform the Newton polygon method below.
The solution y(x) to \(Q_n(x,y)=0\) around the neighborhood of the origin (0, 0) is described by this theorem since \(Q_n(x,y)\) is a bivariate polynomial. Now, we will compute the asymptotic expansion of \(y=y(x)\) in \(Q_n(x,y(x))=0\) at the origin (0, 0) following the Newton polygon method [19, p.15, Theorem 2.1.1]. Here, we give a brief description of the algorithm following [19]. Firstly, given \(f(x,y)=0\), we plot a point (r, s) of exponents for each term \(c_{r,s}x^ry^s\) of f(x, y) on \({\mathbb {R}}^2\) if \(c_{r,s} \not = 0\) and then we have the convex hull containing all points plotted. Its boundary is made up of straight line segments which do not lie on the coordinate axes. It is called the Newton polygon. Secondly, we denote by \(m_1\) one of the reciprocal numbers of the negative of a slope among these segments. Then, we consider \(f(x,x^{m_1}(a_1+y_1))\) and solve \(a_1\) by focusing on the terms of the lowest degrees in x due to \(f(x,y)=0\). Thirdly, let \(f^{(1)}(x,y_1)=x^{-l} f(x,x^{m_1}(a_1+y_1)\) where l is the intersection of s-axes. Repeat the above process and then we can obtain the solution \(y=a_1x^{m_1}+a_2x^{m_1+m_2}+\cdots \) of \(f(x,y)=0\) for \(f\in {\mathbb {C}}\{x,y\}\). For \(Q_n(x,y)\), its Newton polygon joins (1, 0) and (0, 2n) as shown in Fig. 2 for \(n=4\).
Thus, it is guaranteed that \(Q_n(x,y)=0\) has the solution of the form
where \(y_1=x^{m_2}(a_2+y_2)\) with \(m_2 \in {\mathbb {Q}}\) being positive. Setting \(t = x^{1/(2n)}\) (equivalently \(x=t^{2n}\)) in (4.27) for simplicity, we have
and the left-hand side can be expanded as follows:
Since \(y_1=O(x^{m_2}) = O(t^{2n m_2})\) for positive \(m \in {\mathbb {Q}}\), the leading term is of order \(t^{2n}\) and its coefficient is given by
Thus, \(a_1\) is characterized by the solution of the equation
For this \(a_1\), the term of the lowest order \(t^{2n}\) in \(Q_n(t^{2n}, t(a_1+y_1))\) vanishes and we have
where
which implies \(y_1=O(t)\). Now, we repeat the same procedure for \(Q_n^{(1)}(t,y_1)\). We substitute \(y_1 = t(a_2 + y_2)\) in \(Q_n^{(1)}(t,y_1)\) and compare the term of order t to obtain
and hence
Putting \(y_1=t(a_2+y_2)\) in (4.29) and using (4.28) and (4.30) yields
where
which implies \(y_2=O(t)\). In summary, by taking (4.28), (4.30) and \(y = t \{a_1 + t (a_2 + O(t))\}\) into account, the solutions to the equation \(Q_n(x,y)=0\) around \(x=0\) are of the form
for \(j=0,1,\dots ,2n-1\), where \(\{b^{(n)}_j\}_{j=0}^{2n-1}\) are the solutions of (4.28).
Proposition 4.2
Let \(q_n(r,z)= z^n\sum _{k=-n}^n \left( {\begin{array}{c}2n\\ n+k\end{array}}\right) r^{|k|}z^k\). Then, the solutions \(z=z^{(n)}_j(r)\) to the equation \(q_n(r,z)=0\) are of the form
where
Proof
Since \(z_j^{(n)}(r) = -1 + y_j^{(n)}(1-r)\), putting \(x=1-r\) and \(y=z+1\) in (4.31) yields
as \(r \rightarrow 1\). We obtain the assertion. \(\square \)
4.2 Proof of Theorem 1.3
We first observe the following asymptotics.
Lemma 4.3
For \(k=0,1,\dots ,2n-1\), as \(r \rightarrow 1\),
where \(C_n\) is a constant depending only on n and
Proof
From Proposition 4.2, we have
Since \(\displaystyle \prod _{j=0}^{2n-1} (z - e^{\frac{j-k}{n} \pi {\textbf{i}}}) = z^{2n}-1\), by differentiating both sides and putting \(z=1\), we obtain \(\displaystyle \prod _{\begin{array}{c} j=0 \\ {j\not =k} \end{array}}^{2n-1} (1 - e^{\frac{j-k}{n} \pi {\textbf{i}}}) = 2n\) for every \(k =0,1,\dots , 2n-1\). Hence, we have
and thus, by (4.33),
Similarly,
Since \(1-r = \frac{1-r^2}{2} + O((1-r^2)^2)\), we obtain the assertion. \(\square \)
Now, we give a proof of Theorem 1.3. We appeal to (2.15) to obtain the asymptotic behavior of \({\mathcal {J}}(r)\). First we remark that the constant \(b^{(n)}_j\) in (4.33) lies in the right-half plane \(\{z\in {\mathbb {C}}: \Re z > 0\}\) for \(j=0,1,\dots ,n-1\) and the left-half plane \(\{z\in {\mathbb {C}}: \Re z < 0\}\) for \(j=n, n+1, \dots , 2n-1\). Thus, if r is sufficiently close to 1, \(z^{(n)}_j(r)\) for \(j=0,1,\dots ,n-1\) lie inside \({\mathbb {D}}\) and \(z^{(n)}_j(r)\) for \(j=n+1,n+2,\dots ,2n-1\) lie outside \({\mathbb {D}}\). Therefore, we have
Since \(p_n(1,-1) = (-1)^n {2(n-1) \atopwithdelims ()n-1}\), from Lemma 4.3 and
we have
where \(C_n'\) is a constant depending only on n. It is easy to see that
Therefore, from (4.35), we obtain
This completes the proof.
Remark 4.4
A naive computation gives only the error term \(O\big ( (1-r)^{-(n-1)/n} \big )\). Here, we saw the cancellation as the second equality in (4.36) to obtain \(O\big ( (1-r)^{-(2n-3)/(2n)} \big )\), which matches the direct computation in Case (III) for \(n=2\).
Remark 4.5
This method can be applied to all cases of finitely dependent Gaussian processes. Indeed, the zero of \(\Theta (1,e^{{\textbf{i}}\theta })\) of order 2k contributes to \({\mathcal {J}}(r)\) as constant multiple of \((1-r^2)^{-\frac{2k-1}{2k}}\).
References
Anderson, T.W., Takemura, A.: Why do noninvertible estimated moving averages occur? J. Time Ser. Anal. 7, 235–254 (1986). https://doi.org/10.1111/j.1467-9892.1986.tb00492.x
Bardenet, R., Hardy, A.: Time-frequency transforms of white noises and Gaussian analytic functions. Appl. Comput. Harmon. Anal. 50, 73–104 (2021). https://doi.org/10.1016/j.acha.2019.07.003
Box, G.E.P., Jenkins, G.M.: Time Series Analysis, Forecasting and Control. Calif, Holden-Day, San Francisco (1970)
Buckley, J.: Fluctuations in the zero set of the hyperbolic Gaussian analytic function. Int. Math. Res. Not. 6, 1666–1687 (2015). https://doi.org/10.1093/imrn/rnt269
Buckley, J., Nishry, A., Peled, R., Sodin, M.: Hole probability for zeros of Gaussian Taylor series with finite radii of convergence. Probab. Theory Relat. Field 171, 377–430 (2018). https://doi.org/10.1007/s00440-017-0782-0
Dym, H., McKean, H. P.: Gaussian process, function theory and the inverse spectral problem. In: Probability and Mathematical Statistics, vol. 31. Academic, New York (1976)
Ghosh, S., Nishry, A.: Point process, hole events, and large deviations: random complex zeros and Coulomb gases. Constr. Approx. 48(1), 101–136 (2018). https://doi.org/10.1007/s00365-018-9418-6
Hough, J. B., Krishnapur, M., Peres, Y., Virág, B.: Zeros of Gaussian analytic functions and determinantal point process, No. 51. University Lecture Series, 1st ed. Providence, Rhode Island:American Mathematical Society (2009)
Janson, S.: Gaussian Hilbert space. Cambridge tracts in mathematics, vol. 129, Cambridge University Press, Cambridge (1997)
Katori, M., Shirai, T.: Zeros of the i.i.d. Gaussian Laurent series on an annulus: weighted Szegő kernels and permanental-determinantal point process. Commun. Math. Phys. 392, 1099–1151 (2022). https://doi.org/10.1007/s00220-022-04365-2
Kiro, A., Nishry, A.: Fluctuations for zeros of Gaussian analytic Taylor series. J. Lond. Math. Soc. (2021). https://doi.org/10.1112/jlms.12457
Krishnapur, M.: From random matrices to random analytic functions. Ann. Probab. 37(1), 314–346 (2009). https://doi.org/10.1214/08-AOP404
Matsumoto, S., Shirai, T.: Correlation functions for zeros of a Gaussian power series and Pfaffians. Electron. J. Probab. 18(49), 1–18 (2013). https://doi.org/10.1214/EJP.v18-2545
Mukeru, S., Mulaudzi, M.P., Nzabanita, J., Mpanda, M.M.: Zeros of Gaussian power series with dependent random variables. Illinois J. Math. 64(4), 569–582 (2020). https://doi.org/10.1215/00192082-8720490
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). https://doi.org/10.1007/BF02392515
Shirai, T.: Limit theorems for random analytic functions and their zeros, Functions in number theory and their probabilistic aspects. RIMS Kôkyûroku Bessatsu. B34, 335–359 (2012)
Sodin, M.: Zeros of Gaussian analytic functions. Math. Res. Lett. 7(4), 371–381 (2000). https://doi.org/10.4310/MRL.2000.v7.n4.a2
Sodin, M., Tsirelson, B.: Random complex zeroes I. Asymptotic normality. Israel J. Math. 144, 125–149 (2004). https://doi.org/10.1007/BF02984409
Wall, C.T.C.: Singular points of plane curves. In: London Mathematical Society Student Texts, vol. 63, Cambridge University Press, Cambridge (2004)
Acknowledgements
The authors are grateful to Professor Akimichi Takemura for a discussion on positive-definiteness of the covariance kernel of the MA(2) model and pointing out the reference [1]. They would also like to thank the anonymous referee for the careful reading of the manuscript. This work was supported by Japan Society for the Promotion of Science (JSPS) KAKENHI [JP18H01124] and partially supported by KAKENHI [JP16H06338, JP20H00119, JP20K20884 to T.S.], and K.N. was supported by WISE program (MEXT) at Kyushu University.
Author information
Authors and Affiliations
Corresponding author
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
Noda, K., Shirai, T. Expected Number of Zeros of Random Power Series with Finitely Dependent Gaussian Coefficients. J Theor Probab 36, 1534–1554 (2023). https://doi.org/10.1007/s10959-022-01203-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-022-01203-y