Limit theory for geometric statistics of point processes having fast decay of correlations

Let P be a simple, stationary point process on Rᵈ having fast decay of correlations, that is, its correlation functions factorize up to an additive error decaying faster than any power of the separation distance. Let Pₙ:=P∩ Wₙ be its restriction to windows Wₙ:=[-1/2n1/d,1/2n1/d]ᵈᵈ. We consider the statistic Hₙξ:=∑_xₙξ(x,Pₙ) where ξ(x,Pₙ) denotes a score function representing the interaction of x with respect to Pₙ. When ξ depends on local data in the sense that its radius of stabilization has an exponential tail, we establish expectation asymptotics, variance asymptotics and central limit theorems for Hₙξ and, more generally, for statistics of the re-scaled, possibly signed, ξ-weighted point measures μₙξ:=∑_xₙξ(x,Pₙ)δ_n-1/dx, as Wₙᵈ. This gives the limit theory for nonlinear geometric statistics (such as clique counts, the number of Morse critical points, intrinsic volumes of the Boolean model and total edge length of the k-nearest neighbors graph) of α-determinantal point processes (for -1/α) having fast decreasing kernels, including the β-Ginibre ensembles, extending the Gaussian fluctuation results of Soshnikov [Ann. Probab. 30 (2002) 171–187] to nonlinear statistics. It also gives the limit theory for geometric U-statistics of α-permanental point processes (for 1/α) as well as the zero set of Gaussian entire functions, extending the central limit theorems of Nazarov and Sodin [Comm. Math. Phys. 310 (2012) 75–98] and Shirai and Takahashi [J. Funct. Anal. 205 (2003) 414–463], which are also confined to linear statistics. The proof of the central limit theorem relies on a factorial moment expansion originating in [Stochastic Process. Appl. 56 (1995) 321–335; Statist. Probab. Lett. 36 (1997) 299–306] to show the fast decay of the correlations of ξ-weighted point measures. The latter property is shown to imply a condition equivalent to Brillinger mixing, and consequently yields the asymptotic normality of μₙξ via an extension of the cumulant method.