Partial isometries, duality, and determinantal point processes

Abstract

A determinantal point process (DPP) is an ensemble of random nonnegative-integer-valued Radon measures [Formula: see text] on a space [Formula: see text] with measure [Formula: see text], whose correlation functions are all given by determinants specified by an integral kernel [Formula: see text] called the correlation kernel. We consider a pair of Hilbert spaces, [Formula: see text], which are assumed to be realized as [Formula: see text]-spaces, [Formula: see text], [Formula: see text], and introduce a bounded linear operator [Formula: see text] and its adjoint [Formula: see text]. We show that if [Formula: see text] is a partial isometry of locally Hilbert–Schmidt class, then we have a unique DPP [Formula: see text] associated with [Formula: see text]. In addition, if [Formula: see text] is also of locally Hilbert–Schmidt class, then we have a unique pair of DPPs, [Formula: see text], [Formula: see text]. We also give a practical framework which makes [Formula: see text] and [Formula: see text] satisfy the above conditions. Our framework to construct pairs of DPPs implies useful duality relations between DPPs making pairs. For a correlation kernel of a given DPP our formula can provide plural different expressions, which reveal different aspects of the DPP. In order to demonstrate these advantages of our framework as well as to show that the class of DPPs obtained by this method is large enough to study universal structures in a variety of DPPs, we report plenty of examples of DPPs in one-, two- and higher-dimensional spaces [Formula: see text], where several types of weak convergence from finite DPPs to infinite DPPs are given. One-parameter ([Formula: see text]) series of infinite DPPs on [Formula: see text] and [Formula: see text] are discussed, which we call the Euclidean and the Heisenberg families of DPPs, respectively, following the terminologies of Zelditch.