We analyze Gaussian analytic functions (GAFs) defined as power series with coefficients modeled by discrete stationary Gaussian processes, utilizing their spectral measures. We revisit some limit theorems for random analytic functions and examine some examples of GAFs through numerical computations. Furthermore, we provide an integral representation of the n-point correlation functions of the zero sets of GAFs in terms of the spectral measures of the underlying coefficient Gaussian processes.
Let X=(X(z))_{z \in D} be a GAF with convariance K(z,w) = \mathbb{E}[X(z)\overline{X(w)}]. Then, the first intensity of zeros of X(z) is given by the formula
Let D\subset \mathbb{C} be a domain and \{X_n\}_{n=1}^{\infty} be a sequence of random analytic functions on D. If \sup_n \mathbb{E}[|X_n(z)|^p] is locally integrable on D for some p>0, then \{\mu_{X_n}\}_{n=1}^{\infty} is tight in \mathcal{P}(\mathcal{H}(D)). Moreover, if \{X_n\}_{n=1}^{\infty} converges to X in the sense of finite-dimensional distributions, then \{\mu_{X_n}\} converges weakly to \mu_X as n \to \infty, or equivalently, \{X_n\}_{n=1}^{\infty} converges to X in law.
A sequence of random analytic functions \{X_n\}_{n=1}^{\infty} converges in law to X. Then, the zero process \mathcal{Z}_{X_n} converges in law to \mathcal{Z}_X provided that X \not\equiv 0 almost surely.
Let F_n(dt), n=1,2,\dots and F(dt) be probability measures on \mathbb{T} and suppose that \{F_n(dt)\}_{n=1}^{\infty} converges weakly to F(dt). Then, X_{F_n} corresponding to F_n converges in law to X_F corresponding to F. Moreover, the zero process \mathcal{Z}_{X_{F_n}} converges in law to that of \mathcal{Z}_{X_F}.
The local integrability of \sup_n \mathbb{E}[|X_{F_n}(z)|^2] follows from the fact that \mathbb{E}[|X_{F_n}(z)|^2] = K_{F_n}(z,z) \le (1-|z|)^{-2} for every n. Since s(z,t) is bounded continuous in t for every z \in \mathbb{D}, by the weak convergence of \{F_n\}_{n=1}^{\infty} to F, K_{F_n}(z,w) converges to K_{F}(z,w) for every z,w \in \mathbb{D}. This implies that X_{F_n} converges to X_{F} in the sense of finite-dimensional distributions. Therefore, X_F converges in law to X by Proposition 2.2. The zero processes \mathcal{Z}_{F_n}, n=1,2,\dots converges in law to \mathcal{Z}_F Proposition 2.3 since X_F \not\equiv 0 almost surely.
The n-point correlation function of the zeros of GAF with covariance kernel K(z,w) is given by the formula
for distinct z_1,z_2,\dots,z_n \in D with \det (K(z_j,z_k))_{j,k=1}^n > 0, where \per A is the permanent of an n by n matrix A = (a_{jk})_{j,k=1}^n defined by
where \mathcal{S}_n is the symmetric group of order n.
For \mathbf{a}=(a_1,a_2,\dots,a_n) and \mathbf{t}=(t_1,t_2,\dots,t_n), we have
where
By (?) and the symmetrization of the variable \mathbf{t}, we see that
The assertion follows directly from the identity (?).
Let \mathcal{U}(n) denote the compact Lie group of n \times n unitary matrices and let P_n be the Haar measure on it. The pair (\mathcal{U}(n), P_n) is called the circular unitary ensemble CUE_n. The eigenvalues of CUE_n are known to form the n-point DPP on \mathbb{T} associated with the rank n projection kernel
where u(\theta) = e^{i (n-1)\theta/2} and with the background measure being the Lebesgue probability measure on \mathbb{T}. The probability measure on \mathbb{T}^n with density \mu_{\mathbf{a}}(\mathbf{t})/\mu_{\mathbf{a}}(\mathbb{T}^n) can be regarded as the n-point DPP associated with the correlation kernel k_n(\theta,\varphi) and the background measure
where a_j = r_j e^{i\varphi_j} and P(r,\theta) is the Poisson kernel in (?). We denote this n-point DPP on \mathbb{T} by \mathbb{P}_{\mathbf{a}}^{(n)}.
For \mathbf{a}=(a_1,a_2,\dots,a_n) and \tilde{\mathbf{t}} =(t_0,t_1,\dots,t_n),
where
and
where \mathbb{E}_{\mathbf{a}}^{(n+1)} is the expectation with respect to \mathbb{P}_{\mathbf{a}}^{(n+1)} defined as in Remark 4.3.
As in the previous calculation in the proof of Lemma 4.2, by (?), it follows that
Setting \tilde{\mathbf{a}} = (a_0,\mathbf{a}), by (?), we have
Hence, we obtain
This completes the proof.
For pairwise distinct \mathbf{a}=(a_1,a_2,\dots,a_n) \in \mathbb{D}^n,
By Lemma 4.4, we note that
Then, we see that
Here, we used (?) in the second equality. Therefore, by Lemma 4.2, we obtain
This is the desired formula.
Theorem 4.5 shows that the n-correlation function includes the factor of squared Vandermonde determinant |V(\mathbf{a})|^2. For \mathbf{a}=(a_1,\dots,a_n), we consider a monic polynomial p(z) = \prod_{k=1}^n (z-a_k) and suppose it has the coeffcients e_k, k=0,1,\dots, n-1, i.e., p(z) = \sum_{k=0}^{n} e_k z^k with e_n=1. Then the transformation T : \mathbb{C}^n \to \mathbb{C}^n defined by T(a_1,a_2,\dots, a_n) = (e_{n-1},e_{n-2}, \dots, e_0) has Jacobian determinant |V(\mathbf{a})|^2 (cf. [HKPV09]), which is reflected in the theorem. See also [NS12, GP17].
Let
Then, for an analytic function Q(\mathbf{z}) that is symmetric in its variables,
and for pairwise distinct \mathbf{a}=(a_1,\dots,a_n),
where C = \{z \in \mathbb{C} : |z|=1\} and \mathbf{a}^{(p)} = (a_1,\dots,a_{p-1}, a_{p+1},\dots, a_n).
Due to the presence of the Vandermonde term, the residue is zero unless the points (z_1, z_2, \dots, z_n) are all distinct and form a permutation of \{a_1, \dots, a_n\}. Since the integral is symmetric in (z_1, z_2, \dots, z_n), it suffices to consider the residue at (z_1,z_2,\dots,z_n) = (a_1,a_2,\dots,a_n) and multiply it by n!. The residue is given by \displaystyle V(\mathbf{a})^2 \prod_{k=1\atop{k\not=j}}^n (a_k-a_j)^{-1} Q(\mathbf{a}) and thus, using (?), we obtain (4.7).
Similarly, the residue is zero unless the points (z_1, z_2, \dots, z_n) are all distinct and form a permutation of \{0, a_1, \dots, a_n\} \setminus \{a_p\} for some p=1,2,\dots,n. Since the integral is symmetric in (z_1, z_2, \dots, z_n), it suffices to consider the residue at \mathbf{z}=\mathbf{a} or \mathbf{z} = (0,\mathbf{a}^{(p)}) for p=1,2,\dots,n and multiply it by n!. For \mathbf{z}=\mathbf{a}, the first term in (4.7) is obtained in the same manner as above with the extra term \prod_{k=1}^n 1/a_k. Since \displaystyle V(0,\mathbf{a}^{(p)}) = (\prod_{j=1 \atop{j\not= p}}^n a_j) V(\mathbf{a}^{(p)}), the residue at \mathbf{z} = (0,\mathbf{a}^{(p)}) is given by
Therefore, we obtain (4.7).
Suppose F(dt) = dt/(2\pi). Then,
By (4.2), the definition of \mu_{\mathbf{a}}, we see that
where we used \bar{z}_k = z_k^{-1} on C and the following identity:
Therefore, by (4.7), we have \mu_{\mathbf{a}}(\mathbb{T}^n) = S(\mathbf{a},\mathbf{a}).
Similarly as above, setting \tilde{\mathbf{z}} = (z_0,z_1,\dots,z_n) and \tilde{\mathbf{a}}_z=(z,\mathbf{a}) = (z,a_1,\dots,a_n) and using (4.7), we have
Hence, K_{\mathbf{a}}^{(n+1)}(z,w) = S(\tilde{\mathbf{a}}_z, \tilde{\mathbf{a}}_w)/\tilde{\mu}_{\mathbf{a}}(T^{n+1}). Since the left-hand side is 1 when z=w=0 by the definition of K_{\mathbf{a}}^{(n+1)}(z,w), we see that \tilde{\mu}_{\mathbf{a}}(\mathbb{T}^{n+1}) = S(\tilde{\mathbf{a}}_0,\tilde{\mathbf{a}}_0) = S(\mathbf{a},\mathbf{a}), and thus, K_{\mathbf{a}}^{(n+1)}(z,w) = S(z,w) S(z,\mathbf{a}) \overline{S(w,\mathbf{a})}.
The text on this page is from arXiv:2501.03704v1 by Tomoyuki Shirai, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2501/2501.03704.jsonl.