The Patterson-Sullivan reconstruction of pluriharmonic functions for determinantal point processes on complex hyperbolic spaces (Q2127878)

Let \(\mathbb{E}\) be a complete separable metric space, equipped with a \(\sigma\)-finite positive Radon measure. A configuration \(X\) on \(\mathbb{E}\) is a collection of points of \(\mathbb{E}\), possibly with finite multiplicities and considered without regard to order, such that any relatively compact subset \(B\subset \mathbb{E}\) contains only finitely many points. Let \(\mathrm{Conf}(\mathbb{E})\) denote the space of all configurations on \(\mathbb{E}\). A configuration \(X\in \mathrm{Conf}(\mathbb{E})\) may be identified with a purely atomic Radon measure \(\sum_{x\in X}\delta_x\), where \(\delta_x\) is the Dirac mass at the point \(x\), and the space \(\mathrm{Conf}(\mathbb{E})\) is a complete separable metric space with respect to the vague topology on the space of Radon measures on \(\mathbb{E}\). A Borel probability measure \(\mathbb{P}\) on \(\mathrm{Conf}(\mathbb{E})\) is called a point process on \(\mathbb{E}\). A configuration is called simple if all its points have multiplicity one. A point process \(\mathbb{P}\) is called simple, if \(\mathbb{P}\)-almost every configuration is simple, see [\textit{D. J. Daley} and \textit{D. Vere-Jones}, An introduction to the theory of point processes. Vol. I: Elementary theory and methods. 2nd ed. New York, NY: Springer (2003; Zbl 1026.60061)]. Consider the unit ball \(\mathbb{B}_d\) in the \(d\)-dimensional complex Euclidean space \(\mathbb{C}^d\). Recall that any bounded complex domain carries a natural Riemannian metric, the Bergman metric, defined in terms of the reproducing kernel of the space of square-integrable holomorphic functions on the bounded domain (see [\textit{S. G. Krantz}, Geometric analysis of the Bergman kernel and metric. New York, NY: Springer (2013; Zbl 1281.32004), Chapter 1]). The Bergman space \(A_2(\mathbb{B}_d)\) is the square Lebesgue integrable holomorphic functions on \(\mathbb{B}_d\). Almost any realization of the determinantal point process on \(\mathbb{B}_d\) induced by the Bergman kernel is a uniqueness set for \(A_2(\mathbb{B}_d)\). This paper is devoted to the explicit reconstruction of holomorphic, pluriharmonic and \(\mathcal{M}\)-harmonic functions on \(\mathbb{B}_d\) from their restrictions onto a typical subset of \(\mathbb{B}_d\) sampled with respect to the determinantal point process with the Bergman kernel. The authors consider the Patterson-Sullivan construction in their setting and obtain the following results: \begin{itemize} \item[1.] A necessary and sufficient condition for the reconstruction of a fixed pluriharmonic function on \(\mathbb{B}_d\). \item[2.] Simultaneous uniform reconstruction for weighted Bergman spaces and strong simultaneous uniform reconstruction for weighted harmonic Hardy spaces. \item[3.] The impossibility of the uniform simultaneous linear reconstruction for the Bergman space \(A_2(\mathbb{B}_d)\). \end{itemize} The reconstruction of Bergman functions from their restrictions onto a discrete sampling set has been extensively studied in the well-developed theory of interpolation and sampling in Bergman spaces, see [\textit{K. Seip}, Collect. Math. 64, No. 1, 61--72 (2013; Zbl 1266.30020)].