Spectral representation of correlation functions for zeros of Gaussian power series with stationary coefficients

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.