Rigidity of determinantal point processes on the unit disc with sub-Bergman kernels (Q2066140)

The definition of number rigidity is due to [\textit{S. Ghosh}, Probab. Theory Relat. Fields 163, No. 3--4, 643--665 (2015; Zbl 1334.60083)], where the author showed that the sine-process is number rigid and [\textit{S. Ghosh} and \textit{Y. Peres}, Duke Math. J. 166, No. 10, 1789--1858 (2017; Zbl 1405.60067)], where the authors showed that the Ginibre process and the zero set of Gaussian analytic functions on the plane are number rigid. \textit{A. I. Bufetov} [Bull. Math. Sci. 6, No. 1, 163--172 (2016; Zbl 1335.60075)] proved that determinantal point processes with the Airy, the Bessel and the Gamma kernels are number rigid. For more results on the number rigidity of point processes, see [\textit{S. Ghosh} and \textit{J. L. Lebowitz}, Indian J. Pure Appl. Math. 48, No. 4, 609--631 (2017; Zbl 1390.60104)]. However, \textit{A. E. Holroyd} and \textit{T. Soo} [Electron. J. Probab. 18, Paper No. 74, 24 p. (2013; Zbl 1291.60101)] showed that the determinantal point process on the unit disc \(\mathcal D\) with the standard Bergman kernel (with respect to the normalized Lebesgue measure on the unit disc \(\mathcal{D}\): \(K_{\mathcal{D}}(z,\omega) = \frac{1}{(1- z \bar{\omega})^2} = \sum_{n=0}^{\infty}(n + 1)\, z^n \bar{\omega}^n\) is not number rigid. More generally, in [\textit{A. I. Bufetov} et al., Probab. Theory Relat. Fields 172, No. 1--2, 31--69 (2018; Zbl 1429.60047)] it is shown that for any domain \(U\) in the \(d\)-dimensional complex Euclidean space \(\mathbb{C}^d\) without Liouville property and any weight \(\omega: U \to\mathbb{R}^+\) locally uniformly away from zero, the determinantal point process associated with the reproducing kernel of the weighted Bergman space \(L_a^2(U,\omega)\) is not number rigid. These results lead to ask whether there exist natural number rigid determinantal point processes on a bounded domain of the complex plane (of course, any finite rank orthogonal projection yields a number rigid determinantal point process, so the authors of the present paper are only interested in infinite rank orthogonal projections). In the present paper, the authors answer affirmatively this question in both deterministic and probabilistic ways.