Zeros of the i.i.d. Gaussian Laurent Series on an Annulus: Weighted Szegő Kernels and Permanental-Determinantal Point Processes

Abstract

AbstractOn an annulus $${{\mathbb {A}}}_q :=\{z \in {{\mathbb {C}}}: q< |z| < 1\}$$ A q : = { z ∈ C : q < | z | < 1 } with a fixed $$q \in (0, 1)$$ q ∈ ( 0 , 1 ) , we study a Gaussian analytic function (GAF) and its zero set which defines a point process on $${{\mathbb {A}}}_q$$ A q called the zero point process of the GAF. The GAF is defined by the i.i.d. Gaussian Laurent series such that the covariance kernel parameterized by $$r >0$$ r > 0 is identified with the weighted Szegő kernel of $${{\mathbb {A}}}_q$$ A q with the weight parameter r studied by McCullough and Shen. The GAF and the zero point process are rotationally invariant and have a symmetry associated with the q-inversion of coordinate $$z \leftrightarrow q/z$$ z ↔ q / z and the parameter change $$r \leftrightarrow q^2/r$$ r ↔ q 2 / r . When $$r=q$$ r = q they are invariant under conformal transformations which preserve $${{\mathbb {A}}}_q$$ A q . Conditioning the GAF by adding zeros, new GAFs are induced such that the covariance kernels are also given by the weighted Szegő kernel of McCullough and Shen but the weight parameter r is changed depending on the added zeros. We also prove that the zero point process of the GAF provides a permanental-determinantal point process (PDPP) in which each correlation function is expressed by a permanent multiplied by a determinant. Dependence on r of the unfolded 2-correlation function of the PDPP is studied. If we take the limit $$q \rightarrow 0$$ q → 0 , a simpler but still non-trivial PDPP is obtained on the unit disk $${\mathbb {D}}$$ D . We observe that the limit PDPP indexed by $$r \in (0, \infty )$$ r ∈ ( 0 , ∞ ) can be regarded as an interpolation between the determinantal point process (DPP) on $${{\mathbb {D}}}$$ D studied by Peres and Virág ($$r \rightarrow 0$$ r → 0 ) and that DPP of Peres and Virág with a deterministic zero added at the origin ($$r \rightarrow \infty $$ r → ∞ ).