Poisson–Delaunay Mosaics of Order k

Abstract

The order-k Voronoi tessellation of a locally finite set $X\subseteq {\mathbb{R}}^n$ decomposes ${\mathbb{R}}^n$ into convex domains whose points have the same k nearest neighbors in X. Assuming X is a stationary Poisson point process, we give explicit formulas for the expected number and total area of faces of a given dimension per unit volume of space. We also develop a relaxed version of discrete Morse theory and generalize by counting only faces, for which the k nearest points in X are within a given distance threshold.

Introduction

Let $X\subseteq {\mathbb{R}}^n$ be locally finite. The Voronoi domain of a subset $Q\subseteq X$, denoted $\mathrm{dom}(Q)$, is the set of points $p\in {\mathbb{R}}^n$ for which $\Vert p-x\Vert \le \Vert p-y\Vert$ for all $x\in Q$ and all $y\in X\backslash Q$. The order of the domain is the cardinality of Q. For any integer $k\ge 1$, the order-k Voronoi tessellation of X is the collection of order-k Voronoi domains; that is: domains of sets $Q\subseteq X$ with $|Q|=k$; see [7, 11, 13]. Figure 1 illustrates this concept by superimposing two tessellations of a finite set in the plane. For $k=1$, we get what is usually called the Voronoi diagram or Voronoi tessellation [3], which is generically primitive (or normal). This means that the common intersection of $\ell +1$ domains is either empty or has dimension $n-\ell$. As we will explain in Sect. 3, this is also true for Voronoi tessellations of order k in dimension 2 but not for Voronoi tessellations of order $k\ge 2$ in dimension $n\ge 3$.

Fig. 1.

The dotted edges decompose the plane into the order-1 Voronoi domains, while the solid edges decompose it into order-2 Voronoi domains. Observe that the two tessellations share some of their vertices but not all

We follow the construction in [2] to dualize the order-k Voronoi tessellations. For any $Q\subseteq X$, let $x_Q={\sum }_{x\in Q}x/|Q|$ be the average point with weight $w_Q=\Vert x_Q{\Vert }^2-{\sum }_{x\in Q}{\Vert x\Vert }^2/|Q|$. The corresponding power function, ${\pi }_Q:{\mathbb{R}}^n\to \mathbb{R}$, is defined by ${\pi }_Q(p)={\Vert p-x_Q\Vert }^2-w_Q$ and generalizes the squared Euclidean distance from p to $x_Q$. Let now $X_k$ be the collection of subsets $Q\subseteq X$ with $|Q|=k$. The weighted Voronoi domain of $Q\in X_k$ contains all points $p\in {\mathbb{R}}^n$ for which ${\pi }_Q(p)\le {\pi }_P(p)$ for all $P\in X_k$, and the (order-1) weighted Voronoi tessellation is the collection of non-empty such domains. It can be proven that $p\in \mathrm{dom}(Q)$ iff ${\pi }_Q(p)\le {\pi }_P(p)$ for all $P\in X_k$. In other words, the order-k Voronoi tessellation of X is equal to the order-1 weighted Voronoi tessellation of $X_k$. For the latter, there is a well-defined dual whose vertices are the points $x_Q$ that have non-empty weighted domains. It can be obtained as a projection of the lower convex hull of a special lifting of points to ${\mathbb{R}}^{n+1}$; see [1]. We call this dual the order-k Delaunay mosaic of X, denoted ${\mathrm{Del}}_k(X)$. Figure 2 illustrates this construction by showing the dual mosaics of the two Voronoi tessellations in Fig. 1.

Fig. 2.

The order-1 Delaunay mosaic on the left and the order-2 Delaunay mosaic on the right, both superimposed on their corresponding Voronoi tessellations

We study ${\mathrm{Vor}}_k(X)$ and ${\mathrm{Del}}_k(X)$ when X is a stationary Poisson point process [10] with density $\rho >0$ in ${\mathbb{R}}^n$. With probability 1, such a set X is locally finite and in general position: no $j+2$ points lie on a common $j$-plane and no $j+3$ points line on a common $j$-sphere in ${\mathbb{R}}^n$, for $0\le j<n$. The first result of this paper concerns the expected area of the $\ell$-skeleton of an order-k Poisson–Voronoi tessellation. By definition, this is the $\ell$-dimensional Lebesgue measure of the union of all $\ell$-dimensional faces of order-k Voronoi domains. Since this area is infinite, we normalize by letting ${\eta }_{\ell }^{k,n}$ be the area of the $\ell$-skeleton within a unit volume of space.

Theorem 1.1

(Expected area) Let X be a stationary Poisson point process with density $\rho >0$ in ${\mathbb{R}}^n$, let $k\ge 1$ and $0\le \ell <n$. The expected area of the $\ell$-skeleton of the order-k Voronoi tessellation of X per unit volume of space is

$$\begin{array}{cc}\hfill \mathbb{E}[{\eta }_{\ell }^{k,n}]& ={\rho }^{\frac{n-\ell }{n}}\sum _{i=i_0}^{k-1}\frac{2^{n-\ell +1}{\pi }^{\frac{n-\ell }{2}}}{i!n(n-\ell +1)!}\frac{\mathrm{\Gamma }\left(\frac{n^2-n\ell +\ell +1}{2}\right)\mathrm{\Gamma }(1+\frac{n}{2}{)}^{n-\ell +\frac{\ell }{n}}\mathrm{\Gamma }\left(n-\ell +i+\frac{\ell }{n}\right)}{\mathrm{\Gamma }\left(\frac{n^2-n\ell +\ell }{2}\right)\mathrm{\Gamma }{\left(\frac{n+1}{2}\right)}^{n-\ell }\mathrm{\Gamma }\left(\frac{\ell +1}{2}\right)},\hfill \end{array}$$

in which $i_0=max\{0,k+\ell -n\}$. For $\ell =n$, we have $\mathbb{E}[{\eta }_n^{k,n}]={\eta }_n^{k,n}=1$.

Our second result counts the cells in an order-k Poisson–Delaunay mosaic. Letting G be a $j$-dimensional such cell, we note that it uniquely determines the smallest sphere centered at a point of the dual order-k Voronoi polyhedron such that at least k points of X lie inside or on the sphere; see Sect. 4 for details. We call the center and the radius of this sphere the center and the radius of G. To count, we specify a dimension $0\le j\le n$, a Borel region $\mathrm{\Omega }\subseteq {\mathbb{R}}^n$, and a radius $r_0\ge 0$, and we write $d_j^{k,n}(r_0)$ for the number of $j$-cells in ${\mathrm{Del}}_k(X)$ whose center belongs to $\mathrm{\Omega }$ and whose radius is at most $r_0$. We give an explicit formula for the expectation of $d_j^{k,n}(r_0)$ using the constants $C_{p,q}^n$ defined in [5]; see also Appendix A.

Theorem 1.2

(Expected number of cells) Let X be a stationary Poisson point process with density $\rho >0$ in ${\mathbb{R}}^n$, let $k\ge 1$ and $0<j\le n$. The expected number of $j$-cells in ${\mathrm{Del}}_k(X)$ with center in a Borel region $\mathrm{\Omega }$ and radius at most $r_0$ satisfies

$$\begin{array}{c}\hfill \frac{\mathbb{E}[d_j^{k,n}(r_0)]}{\rho \Vert \mathrm{\Omega }\Vert }=\sum _{u=j}^n\sum _{v=1}^u{C}_{v,u}^n\sum _{g=1}^{g_1}\frac{\gamma \left(u+k-g,;,,\rho {\nu }_n{r}_0^n\right)}{\mathrm{\Gamma }\left(k-g+1\right)\mathrm{\Gamma }\left(u\right)}\sum _{t=t_0}^{t_1}\left(\begin{array}{c}v+1\\ t\end{array}\right)\left(\begin{array}{c}u-v\\ t+j-v\end{array}\right),\end{array}$$

in which $g_1=min\{k,u\}$, $t_0=max\{0,v-j,g-j\}$, and $t_1=min\{v+1,u-j,g-1\}$. Further, for $j=0$ and $k\ge 2$ we have

$$\begin{array}{cc}\hfill \frac{\mathbb{E}[d_0^{k,n}(r_0)]}{\rho \Vert \mathrm{\Omega }\Vert }& =\sum _{u=1}^n\sum _{v=1}^u{C}_{v,u}^n\frac{\gamma \left(u+k-v-1,;,,\rho {\nu }_n{r}_0^n\right)}{\mathrm{\Gamma }\left(k-v\right)\mathrm{\Gamma }\left(u\right)}.\hfill \end{array}$$

Setting $r_0=\infty$, we obtain the expected total number of $j$-cells in ${\mathrm{Del}}_k(X)$ with center in $\mathrm{\Omega }$. It is easy to verify that Theorem 1.2 agrees with [5] for $k=1$. The case $j=0$ is slightly different from the other dimensions; and for $k=1$ it is trivial because all points of X are vertices of ${\mathrm{Del}}_1(X)$. Theorem 1.2 implies that the radius of a typical$j$-cell in ${\mathrm{Del}}_k(X)$ follows a mixed Gamma distribution; see [5], where the details of this correspondence are spelled out for the case $k=1$.

Theorem 1.2 is derived as a corollary of the main technical achievement of this paper: the development of a discrete Morse theory for order-k Delaunay mosaics, and explicit formulas that count the intervals in this theory. Rather than presenting this result here, we refer to Sect. 5 for its precise statement.

Outline. Section 2 describes the order-k Voronoi tessellations in detail, including a local characterization of their polyhedra and a proof of Theorem 1.1. Section 3 describes the order-k Delaunay mosaics in detail, including a complete classification of their cells. Section 4 generalizes the discrete Morse theory of Delaunay mosaics in [4] from order-1 to order-k. Section 5 counts the generalized intervals in the order-k Delaunay mosaic, which leads to a proof of Theorem 1.2. Section 6 concludes the paper.

Voronoi Polyhedra

Any face of an order-k Voronoi domain is a convex polyhedron that is shared by a positive number of these domains. Assuming its dimension is $\ell$, for some $0\le \ell \le n$, we call this face an order-kVoronoi$\ell$-polyhedron. We begin with a geometric result about points on a sphere, then use this result to prove a local characterization of the order-k Voronoi polyhedra, and finally prove Theorem 1.1.

Delaunay spheres. Let $X\subseteq {\mathbb{R}}^n$ be locally finite. For a point $p\in {\mathbb{R}}^n$ and a positive integer k, the order-kDelaunay sphere of p, denoted ${\mathrm{\Sigma }}_k(p)$, is the smallest sphere centered at $p\in {\mathbb{R}}^n$ such that the number of points of X that lie inside or on the sphere is at least k. To avoid possible ambiguities, we say a point lies inside a sphere if it belongs to the open ball bounded by the sphere. It will be convenient to have short notation for these points as well as their numbers. Observing that $\mathrm{int}\mathrm{conv}{\mathrm{\Sigma }}_k(p)$ is the open ball with boundary ${\mathrm{\Sigma }}_k(p)$, we define

$$\begin{array}{cc}\hfill \mathrm{In}(p)=X\cap \mathrm{int}\mathrm{conv}{\mathrm{\Sigma }}_k(p)& \text{and}\mathrm{in}(p)=|\mathrm{In}(p)|,\hfill \\ \hfill \mathrm{On}(p)=X\cap {\mathrm{\Sigma }}_k(p)& \text{and}\mathrm{on}(p)=|\mathrm{On}(p)|.\hfill \end{array}$$

By definition, $\mathrm{in}(p)+\mathrm{on}(p)\ge k$, and by minimality of the radius, $\mathrm{on}(p)\ge 1$ and $\mathrm{in}(p)\le k-1$. The $\mathrm{in}(p)$ points in $\mathrm{In}(p)$ are the unique $\mathrm{in}(p)$ nearest points to p, the $\mathrm{on}(p)$ points in $\mathrm{On}(p)$ are all at the same distance from p, and all other points of X are further from p. With these notions, we get the following characterization of the order-k Voronoi domains:

Lemma 2.1

(Incident voronoi domains) Let $X\subseteq {\mathbb{R}}^n$ be locally finite and in general position, and let $Q\subseteq X$ with $|Q|=k$. A point $p\in {\mathbb{R}}^n$ belongs to $\mathrm{dom}(Q)$ iff $\mathrm{In}(p)\subseteq Q\subseteq \mathrm{In}(p)\cup \mathrm{On}(p)$.

Equivalence relation. We want to strengthen the previous lemma by including polyhedra other than the Voronoi domains. Recall that the interiors of the order-k Voronoi polyhedra partition ${\mathbb{R}}^n$. To reconstruct this partition, we say that $p,q\in {\mathbb{R}}^n$ are equivalent if their order-k Delaunay spheres identify the same subsets of X. More formally, we distinguish between the cases in which the Delaunay sphere encloses k or more than k points: two points p and q are equivalent if

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}\mathrm{In}(p)\cup \mathrm{On}(p)=\mathrm{In}(q)\cup \mathrm{On}(q)\hfill & \text{for}\mathrm{in}(p)+\mathrm{on}(p)=\mathrm{in}(q)+\mathrm{on}(q)=k,\hfill \\ \mathrm{In}(p)=\mathrm{In}(q),\mathrm{On}(p)=\mathrm{On}(q)\hfill & \text{for}\mathrm{in}(p)+\mathrm{on}(p)=\mathrm{in}(q)+\mathrm{on}(q)>k,\hfill \end{array}\right)\end{array}$$

and we write $p{\sim }_{X}q$ in this case. We claim that the equivalence classes of ${\sim }_X$ are precisely the (relative) interiors of the order-k Voronoi polyhedra.

Lemma 2.2

(Interiors of order-k voronoi polyhedra) Let $X\subseteq {\mathbb{R}}^n$ be locally finite and in general position. Then $p,q\in \mathrm{int}F$, for an order-k Voronoi polyhedron F, iff $p{\sim }_{X}q$.

Proof

We first show that $p{\sim }_{X}q$ implies that the two points belong to the interior of a common order-k Voronoi polyhedron. In the first case, when $\mathrm{in}(p)+\mathrm{on}(p)=\mathrm{in}(q)+\mathrm{on}(q)=k$, this is clear because $Q=\mathrm{In}(p)\cup \mathrm{On}(p)=\mathrm{In}(q)\cup \mathrm{On}(q)$ is the unique set of k nearest points in X, so $p,q\in \mathrm{int}\mathrm{dom}(Q)$, which is an order-k Voronoi n-polyhedron. In the second case, when $\mathrm{in}(p)+\mathrm{on}(p)=\mathrm{in}(q)+\mathrm{on}(q)>k$, we let $i=\mathrm{in}(p)=\mathrm{in}(q)$ and note that $i<k$. The points in $\mathrm{In}(p)=\mathrm{In}(q)$ are the unique i nearest points, and we can add any $k-i$ points from $\mathrm{On}(p)=\mathrm{On}(q)$ to get a complete set of k nearest points. There are $\left(\begin{array}{c}\mathrm{on}(p)\\ k-i\end{array}\right)=\left(\begin{array}{c}\mathrm{on}(q)\\ k-i\end{array}\right)$ such choices, and by Lemma 2.1 each gives an order-k Voronoi domain. These choices exhaust the domains that contain p or q on their boundaries. The set of points at equal distance from $\mathrm{on}(p)=\mathrm{on}(q)$ points of X is a plane of dimension $n+1-\mathrm{on}(p)=n+1-\mathrm{on}(q)$, which implies that this is also the dimension of the order-k Voronoi polyhedron whose interior contains p and q.

We second show that $p{\nsim }_{X}q$ implies that p and q belong to the interiors of different order-k Voronoi polyhedra. Assume the contrary. We note that the dimension of the order-k Voronoi polyhedron whose interior contains p is n, if $\mathrm{in}(p)+\mathrm{on}(p)=k$, and $n+1-\mathrm{on}(p)$, if $\mathrm{in}(p)+\mathrm{on}(p)>k$, and similar for q. In the first case, we would need $\mathrm{in}(q)+\mathrm{on}(q)=k$ to match the dimensions of the domains, but then $\mathrm{In}(p)\cup \mathrm{On}(p)\ne \mathrm{In}(q)\cup \mathrm{On}(q)$, so p and q belong to different domains. In the second case, we would need $\mathrm{on}(q)=\mathrm{on}(p)$ to have the same dimension of the polyhedra. Hence, $\mathrm{In}(p)\ne \mathrm{In}(q)$ or $\mathrm{In}(p)=\mathrm{In}(q)$ and $\mathrm{On}(p)\ne \mathrm{On}(q)$. In either case, we get a different collection of order-k Voronoi domains for p than for q. $\square$

Proof of Theorem 1.1

Recall that the proof of Lemma 2.2 determines the dimension of the order-k Voronoi polyhedron whose interior contains a point $p\in {\mathbb{R}}^n$ as n, if $\mathrm{in}(p)+\mathrm{on}(p)=k$, and as $n+1-\mathrm{on}(p)$, if $\mathrm{in}(p)+\mathrm{on}(p)>k$. Equivalently, p belongs to the interior of an order-k Voronoi $\ell$-polyhedron iff

$$\begin{array}{cc}\hfill \ell =n& \text{and}\mathrm{in}(p)+\mathrm{on}(p)=k\text{or}\hfill \end{array}$$ 1

$$\begin{array}{cc}\hfill 0\le \ell \le n-1& \text{and}\mathrm{on}(p)=n-\ell +1\text{and}k+\ell -n\le \mathrm{in}(p)\le k-1.\hfill \end{array}$$ 2

These relations suffice to extend the analysis in [12] from skeletons of order-1 to skeletons of order-k Voronoi tessellations. For $0\le \ell \le n-1$, they can be obtained as in [12, Th. 10.2.4], which is the special case $k=1$ of Theorem 1.1. The sole difference is that we use the probability that there are i points inside the sphere instead of 0, and sum over all admissible values of i, thus getting $\mathrm{\Gamma }\left(n-\ell +i+\frac{\ell }{n}\right)/i!$ instead of $\mathrm{\Gamma }\left(n-\ell +\frac{\ell }{n}\right)$ in the numerator. This is precisely the equation in the statement. For $\ell =0$ this gives the expected number of vertices in the order-k Poisson–Voronoi mosaic. Note that Theorem 10.2.4 in [12] has two statements, the second being a corollary of the first using the normality of order-1 Voronoi mosaics. The order-k mosaic is not normal in the sense of [12, p. 448], so we can only use the result on the area of the skeleton, and not the one on the densities of the face stars. For $\ell =n$ we trivially have $\mathbb{E}[{\eta }_n^{k,n}]={\eta }_n^{k,n}=1$. Theorem 1.1 is thus proved. $\square$

Delaunay Cells

In this section, we are more specific about the dual of the order-k Voronoi tessellation. As mentioned in Sect. 1, each vertex of the order-k Delaunay mosaic is the average of the k points that generate a non-empty order-k Voronoi domain. Each $(n-j)$-polyhedron of ${\mathrm{Vor}}_k(X)$ is shared by a number of Voronoi domains, each domain corresponds to a vertex, and the polyhedron corresponds to the $j$-cell in ${\mathrm{Del}}_k(X)$ that is the convex hull of these vertices. Since ${\mathrm{Vor}}_k(X)$ is not necessarily primitive, ${\mathrm{Del}}_k(X)$ is not necessarily simplicial.

Barycenter polytopes. We introduce a class of convex polytopes that is slightly richer than the class of simplices. As we will see later, this class contains all polytopes we generically encounter in order-k Delaunay mosaics. Let ${\mathrm{\Delta }}^n$ be an n-dimensional simplex and recall that it has $\left(\begin{array}{c}n+1\\ g\end{array}\right)$ faces of dimension $g-1$, for $1\le g\le n+1$. The corresponding generation-gbarycenter polytope is the convex hull of the barycenters of all $(g-1)$-faces, denoted ${\mathrm{\Delta }}_g^n$. For $g=n+1$, the barycenter polytope is a single point, but for other values of g it is n-dimensional. For $g=1$ and $g=n$ the polytopes are n-simplices, namely the convex hull of the $n+1$ vertices, ${\mathrm{\Delta }}_1^n={\mathrm{\Delta }}^n$, and the convex hull of the barycenters of the $n+1$$(n-1)$-faces, ${\mathrm{\Delta }}_n^n$. For $2\le g\le n-1$, the barycenter polytope is not a simplex, and the first such case is ${\mathrm{\Delta }}_2^3$, which is an octahedron; see Fig. 3. A more detailed description of these polytopes is not needed, and we refer to [6] for additional information.

Fig. 3.

The three barycenter polytopes in ${\mathbb{R}}^3$: the generation-1 tetrahedron, the generation-2 octahedron, and the generation-3 tetrahedron

Characterization. If X is in general position, which we assume, then every cell of ${\mathrm{Del}}_k(X)$ is a barycenter polytope. To prove this, we consider a u-dimensional cell G of ${\mathrm{Del}}_k(X)$ and recall that all interior points of its dual $(n-u)$-dimensional polyhedron F of ${\mathrm{Vor}}_k(X)$ are equivalent. In other words, there are sets $I=\mathrm{In}(F)$ and $U=\mathrm{On}(F)$ that uniquely determine F as the polyhedron whose interior points p satisfy $I=\mathrm{In}(p)$ and $U=\mathrm{On}(p)$. We rewrite (1) and (2) to get constraints on the sizes of the two sets:

$$\begin{array}{cc}\hfill |I|+|U|=k& \text{if}u=0,\hfill \end{array}$$ 3

$$\begin{array}{cc}\hfill |U|=u+1\text{and}k-u\le |I|\le k-1& \text{if}u>0.\hfill \end{array}$$ 4

The vertices of ${\mathrm{Del}}_k(X)$ are governed by (3), while cells of higher dimensions are governed by (4). Focusing on the cells of dimension $0<u\le n$, we note that (4) allows for a range of u possible sizes of the set I. These correspond to the generations of the barycenter polytopes, as we now explain. Let $i=|I|$ and define $g=k-i$, noting that (4) implies $1\le g\le u$. By Lemma 2.2, F is the intersection of $\left(\begin{array}{c}u+1\\ g\end{array}\right)$ order-k Voronoi domains corresponding to $Q=I\cup U_{\mathrm{in}}$, in which $U_{\mathrm{in}}\subseteq U$ with $|U_{\mathrm{in}}|=g$. So its dual cell G is the convex hull of the averages $x_Q$ of these sets, as discussed in Sect. 1. Writing each average as

$$\begin{array}{cc}\hfill x_Q& =\frac{1}{k}\left[{\sum }_{x\in I},x,+,{\sum }_{x\in U_{\mathrm{in}}},x\right]=\frac{k-g}{k}{x}_I+\frac{g}{k}{x}_{U_{\mathrm{in}}},\hfill \end{array}$$ 5

we see that the convex hull of the $x_Q$ is a scaled and translated copy of a generation-g barycenter polytope, namely the convex hull of the points $x_{U_{\mathrm{in}}}$. Since $|U|=u+1$, this polytope is u-dimensional, as expected. To summarize, we have a complete description of the cells in an order-k Delaunay mosaic.

Lemma 3.1

(Order-k delaunay cells) Let $X\subseteq {\mathbb{R}}^n$ be locally finite and in general position, and let $I,U\subseteq X$ with $I\cap U=\mathrm{\varnothing }$. If $|I|+|U|=k$, then there is a point $p\in {\mathbb{R}}^n$ with $\mathrm{In}(p)\cup \mathrm{On}(p)=I\cup U$ iff $x_{I\cup U}$ is a vertex of ${\mathrm{Del}}_k(X)$. If $|I|+|U|\ge k+1$, then there is a point $p\in {\mathbb{R}}^n$ with $\mathrm{In}(p)=I$ and $\mathrm{On}(p)=U$ iff the u-dimensional generation-g barycenter polytope defined by I and U belongs to ${\mathrm{Del}}_k(X)$, in which $u=|U|-1$ and $g=k-|I|$.

Relaxed Discrete Morse Theory

To count Delaunay cells in a stochastic setting, we would estimate the probability that a given cell is defined by an order-k Delaunay sphere. For cells of intermediate dimension, there are pencils of possible such spheres, which presents a challenge to the local methods of probability theory. To circumvent this difficulty, we follow the approach of [5] and group the cells into intervals defined by a discrete Morse function; see [8] for an introduction to discrete Morse theory, and [9] for the generalization of the theory that fits the geometry of Delaunay mosaics [4]. As we will see shortly, order-k Delaunay mosaics pose new difficulties, which require a further relaxation of the theory.

Radius function. Recall that every $j$-cell $G\in {\mathrm{Del}}_k(X)$ corresponds to an $(n-j)$-polyhedron F of ${\mathrm{Vor}}_k(X)$. By Lemma 2.2, for any point $p\in \mathrm{int}F$, the Delaunay sphere ${\mathrm{\Sigma }}_k(p)$ passes through the same $j+1$ points $\mathrm{On}(p)=\mathrm{On}(F)$, and G is a scaled and translated copy of a barycenter polytope defined by $\mathrm{On}(p)$. Since this is the smallest sphere centered at p such that the number of points of X that lie inside or on the sphere is at least k, the sphere does not depend on F, and its radius, $r_k(p)$, is continuous as function of p. Noting that F is compact, we can therefore introduce $\mathcal{R}:{\mathrm{Del}}_k(X)\to \mathbb{R}$ defined by

$$\begin{array}{cc}\hfill \mathcal{R}(G)& =min\{r_k(p)\mid p\in F\text{and}F\text{dual}\text{to}G\},\hfill \end{array}$$

and call it the radius function of ${\mathrm{Del}}_k(X)$. We call the point $p\in F$ that attains the minimum the center of G. This agrees with the definitions preceding Theorem 1.2. Note that if the center p of G lies in the interior of a Voronoi face $F^{\prime }$, then $\mathcal{R}(G^{\prime })=r_k(p)$ is the radius of ${\mathrm{\Sigma }}_k(p)$, which determines the cell $G^{\prime }\in {\mathrm{Del}}_k(X)$ dual to $F^{\prime }$ in the sense of Lemma 2.2. An important observation is that $\mathrm{On}(F)\subseteq \mathrm{On}(p)=\mathrm{On}(F^{\prime })$ and $\mathrm{In}(F^{\prime })\subseteq \mathrm{In}(F)\subseteq \mathrm{In}(F^{\prime })\cup \mathrm{On}(F^{\prime })$, because all k-tuples of points of X, whose order-k Voronoi domains intersect in F, are involved in forming $F^{\prime }$. With this in mind, it is easy to determine which Voronoi polyhedra of any fixed dimension contain $F^{\prime }$.

The discrete Morse theory of [8] requires that level sets of the radius function are singletons and pairs, while the generalized discrete Morse theory of [9] allows intervals, which are maximal sets of faces of a cell that share a common face. The level sets of $\mathcal{R}$ are not necessarily of this type, as we now show. Let X consist of three points spanning an equilateral triangle with unit length edges in the plane. The order-2 Delaunay mosaic consists of the triangle spanned by the midpoints of the three edges, together with its edges and vertices. Observe that $r_0=1/2$ is the radius assigned to its three vertices, and $r_1=\sqrt{3}/3$ is assigned to the triangle together with its three edges; see Fig. 4. Indeed, the closed disks of radius r centered at the points in X have pairwise intersections iff $r\ge r_0$, and they have a non-empty common intersection iff $r\ge r_1$. Each vertex of ${\mathrm{Del}}_2(X)$ has its own center in the interior of the corresponding Voronoi 2-polyhedron, but the triangle and its three edges share the center at the circumcenter of the triangle. The triangle together with its edges is not an interval, so $\mathcal{R}$ is not a generalized discrete Morse function, and we refer to it as a relaxed discrete Morse function. A justification of this terminology can be found at the end of this section.

Fig. 4.

The radius function partitions the order-2 Delaunay mosaic of the three points into four relaxed intervals: three contain a vertex each, and the fourth relaxed interval contains the triangle together with its three edges

Relaxed intervals. The radius function $\mathcal{R}$ is monotonic, by which we mean that $\mathcal{R}(G)\le \mathcal{R}(G^{\prime })$ whenever G is a face of $G^{\prime }$. However, equality is possible, namely when the order-k Voronoi polyhedron $F^{\prime }$ dual to $G^{\prime }$ contains the center of G, which is in $F\backslash \mathrm{int}F$. By definition, a relaxed interval of $\mathcal{R}$ is a maximal collection of cells in ${\mathrm{Del}}_k(X)$ that share the center, and hence the function value. Thus, every level set of $\mathcal{R}$ is a disjoint union of relaxed intervals.

The previous example begs the question how much more general the relaxed intervals are compared to the intervals. Each relaxed interval has a unique upper bound, which is a cell $G\in {\mathrm{Del}}_k(X)$, whose dual Voronoi polyhedron, F, contains the center p of G in its interior. Write $U=\mathrm{On}(p)$ and $u=|U|-1$. The dimension of G is thus u, unless $\mathrm{in}(p)+\mathrm{on}(p)=k$, in which case it is 0. Considering any partition of U into three sets, $U=U_{\mathrm{in}}\cup U_{\mathrm{on}}\cup U_{\mathrm{out}}$ with $U_{\mathrm{on}}\ne U$, we can slightly perturb the sphere ${\mathrm{\Sigma }}_k(p)$ into a sphere $\mathrm{\Sigma }$ such that $U_{\mathrm{on}}$ and $\mathrm{In}(p)\cup U_{\mathrm{in}}$ are the points on and inside $\mathrm{\Sigma }$, respectively. If the sizes of these two sets satisfy the requirements for the order-k Delaunay sphere, they define a cell of ${\mathrm{Del}}_k(X)$, which is a face of G. On the other hand, every face of Ginduces such a partition. We therefore get a correspondence between such partitions of U and the faces of G, which is one-to-one unless $|U_{\mathrm{in}}\cup U_{\mathrm{on}}\cup \mathrm{In}(p)|=k$, in which case we get the same vertex for all partitions with the same $U_{\mathrm{out}}$.

We are particularly interested in distinguishing the faces that share the center, p, from the other faces of G. The crucial concept is the visibility of facets of $\mathrm{conv}U$ from p, which we now introduce. Recall that the center p of G lies in the interior of the dual Voronoi polyhedron by assumption. It follows that p lies in the affine hull of U. Equivalently, the u-sphere with center p that passes through the $u+1$ points of $U=\mathrm{On}(p)$ is a great-sphere of ${\mathrm{\Sigma }}_k(p)$. The convex hull of U is a u-simplex with $u+1$$(u-1)$-dimensional faces, which we call its facets. A facet is visible from p if the affine hull of the facet, which is a $(u-1)$-plane, separates p from $\mathrm{conv}U$ within the affine hull of U, which is a u-plane. Let v be the number of invisible facets minus 1 and observe that $v\ge 1$ because the $u+1$ points of U lie on a sphere around p. Let $V\subseteq U$ contain the points that belong to all visible facets, and observe that $|V|=v+1$ because a vertex belongs to V iff the facet opposite to the vertex is invisible. In particular, $V=U$ if there are no visible facets. With these notions, we can identify the partitions of U that correspond to faces of G in the relaxed interval with upper bound G.

Lemma 4.1

(Visibility and relaxed intervals) Let $X\subseteq {\mathbb{R}}^n$ be locally finite and in general position. Let $G\in {\mathrm{Del}}_k(X)$ with corresponding order-k Delaunay sphere ${\mathrm{\Sigma }}_k(p)$ be the upper bound of a relaxed interval of the radius function. A face $G^{\prime }$ of G belongs to the same relaxed interval iff the partition $\mathrm{On}(p)=U_{\mathrm{in}}\cup U_{\mathrm{on}}\cup U_{\mathrm{out}}$ induced by $G^{\prime }$ satisfies $U_{\mathrm{in}}\subseteq V\subseteq U_{\mathrm{in}}\cup U_{\mathrm{on}}$.

Proof

Write $U=\mathrm{On}(p)$. Let q be the center of $G^{\prime }$, and recall that $G,G^{\prime }$ belong to the same relaxed interval iff $p=q$. We have $p\ne q$ unless the following two conditions hold:

• (i)If an invisible face of $\mathrm{conv}U$ contains $U_{\mathrm{on}}$, then the opposite vertex must be in $U_{\mathrm{in}}$.
• (ii)If a visible face of $\mathrm{conv}U$ contains $U_{\mathrm{on}}$, then the opposite vertex must be in $U_{\mathrm{out}}$.

To see (i), we would move the center, p, normal to and slightly toward the facet while adjusting the radius so the sphere keeps passing through all vertices of the facet. This generates a smaller sphere for the same partition of U, hence $p\ne q$. The symmetric argument proves (ii). Now (i) is equivalent to $U_{\mathrm{in}}\subseteq V$, and (ii) is equivalent to $U\backslash V\subseteq U_{\mathrm{out}}$. Hence $p=q$ implies $U_{\mathrm{in}}\subseteq V\subseteq U_{\mathrm{in}}\cup U_{\mathrm{on}}$. The converse is also true because the two conditions prohibit a smaller sphere in the normal directions of all facets. These directions span all directions in the affine hull of U. $\square$

The only case when the induced decomposition is not necessarily unique, is when $G^{\prime }$ is a vertex. In particular, if the upper bound G is a vertex itself, then we get $V=U$ as an additional requirement.

Critical and non-critical cases. We call a case critical if the defining simplex, $\mathrm{conv}U$, has no visible facets, and we call it non-critical otherwise. This classification is motivated by constructing ${\mathrm{Del}}_k(X)$ incrementally, adding one relaxed interval at a time in the order of the radius function. In the critical case, the effect of adding the cells in the relaxed interval changes the homotopy type of the current complex, while in the non-critical case the homotopy type remains unchanged. The proof of this claim is beyond the scope of this paper and can be found in [6]. Indeed, we are primarily interested in the number of cells per relaxed interval, but the mentioned topological fact justifies that we call $\mathcal{R}$ a relaxed discrete Morse function and not something much more general.

Counting

In this section, we count the cells in the relaxed intervals that arise in the partition of order-k Delaunay mosaics. We use the result to prove Theorem 1.2.

Cells in relaxed intervals. As explained in Sect. 4, every relaxed interval has a unique upper bound, which is a cell $G\in {\mathrm{Del}}_k(X)$ whose center, $p\in {\mathbb{R}}^n$, is contained in the interior of the dual Voronoi polyhedron. The order-k Delaunay sphere of this point, ${\mathrm{\Sigma }}_k(p)$, completely determines G; see (5). Ignoring the case in which G is a vertex, we assume that $\mathrm{in}(p)+\mathrm{on}(p)\ge k+1$, in which case $u=\mathrm{on}(p)-1\ge 1$ is the dimension of G and $g=k-\mathrm{in}(p)$ is its generation. As discussed above, different vertices of G correspond to different subsets $U_{\mathrm{out}}$ of $U=\mathrm{On}(p)$ with $|U_{\mathrm{out}}|=|U|-g$. To get the number of vertices, we therefore count the partitions $U=U_{\mathrm{in}}\cup U_{\mathrm{out}}$ with $|U_{\mathrm{in}}|=g$; compare with (3). To get the number of $j$-faces of G for $0<j\le u$, we count the partitions $U=U_{\mathrm{in}}\cup U_{\mathrm{on}}\cup U_{\mathrm{out}}$ that satisfy $|U_{\mathrm{on}}|=j+1$ and $g-j\le |U_{\mathrm{in}}|\le g-1$; compare with (4). To further limit the number to the cells in the relaxed interval of G, we use Lemma 4.1 and restrict to $U_{\mathrm{in}}\subseteq V\subseteq U_{\mathrm{in}}\cup U_{\mathrm{on}}$, in which $V\subseteq U$ with $|V|=v+1$ contains the vertices that belong to all visible facets of U.

For $j=0$, the last condition is equivalent to $U_{\mathrm{in}}=V$. Writing $N_{v,g}^u(j)$ for the number of faces in the relaxed interval with upper bound G, we therefore have $N_{v,g}^u(0)=1$ if $g=v+1$, and $N_{v,g}^u(0)=0$ otherwise. When $j>0$, the dimension requirement is that $|U_{\mathrm{on}}|=j+1$. Writing $t=|U_{\mathrm{in}}|$, we can formulate the question purely combinatorially, first choosing the union $U_{\mathrm{in}}\cup U_{\mathrm{on}}\subseteq U$ such that $V\subseteq U_{\mathrm{in}}\cup U_{\mathrm{on}}$ and second choosing $U_{\mathrm{in}}\subseteq V$: how many ways are there to pick$(t+j+1)-(v+1)$from$(u+1)-(v+1)$points and thentfrom$v+1$points? The answer gives the number of faces in the relaxed interval:

$$\begin{array}{cc}\hfill N_{v,g}^u(j)& =\sum _{t=t_0}^{t_1}\left(\begin{array}{c}u-v\\ t+j-v\end{array}\right)\left(\begin{array}{c}v+1\\ t\end{array}\right),\hfill \end{array}$$ 6

in which $t_0=max\{0,v-j,g-j\}$ and $t_1=min\{v+1,u-j,g-1\}$ are obtained from $0\le t\le v+1$, $0\le j-v+t\le u-v$, and $g-j\le t\le g-1$. The first two conditions assert that the binomial coefficients make sense, while the last one is the geometric requirement for the number of points inside the sphere.

Determination of intervals. The analysis in the previous section suggests we use the order-k Delaunay spheres as intrinsic characterization of the relaxed intervals. Let $U\subseteq X\subseteq {\mathbb{R}}^n$ with $|U|=u+1\le n+1$ be a simplex, such that there are between $k-u-1$ and $k-1$ points inside the smallest circumscribed sphere $\mathrm{\Sigma }$ of U. Letting p be the center of this sphere, we notice that $\mathrm{\Sigma }={\mathrm{\Sigma }}_k(p)$ and $\mathrm{On}(p)=U$. If $\mathrm{on}(p)+\mathrm{in}(p)>k$, it defines a cell G of ${\mathrm{Del}}_k(X)$, namely a barycenter polytope of type ${\mathrm{\Delta }}_g^u$, for $g=k-\mathrm{in}(p)$. By Lemma 4.1, this cell is the upper bound of a relaxed interval of the radius function $\mathcal{R}$, which contains all cells that share p as their center. The lemma also asserts that the interval is fully described by the set of vertices of U that belong to all visible facets. Writing V for this set and $v=|V|-1$ for its dimension, we call (v, u, g) the type of the relaxed interval. It is fully defined by U.

If $\mathrm{on}(p)+\mathrm{in}(p)=k$, then p belongs to the interior of the order-k Voronoi domain of $\mathrm{On}(p)\cup \mathrm{In}(p)$. By Lemma 4.1 and the remark after it, p is the center of this domain iff it lies in the interior of $\mathrm{conv}U$. In this case, we get a critical vertex, with $V=U$ and $g=u+1$. The type of this interval is thus $(u,u,u+1)$. This should not be confusing because vertices with different relaxed interval types are really different kinds of vertices in the mosaic.

Proof of Theorem 1.2

We now apply the developed theory to prove our second main result. Let X be a stationary Poisson point process with density $\rho >0$ in ${\mathbb{R}}^n$. Using the intrinsic characterization, we want to compute the expected numbers of intervals of type (v, u, g), while restricting the radius from above. Write $s_{v,u,g}^{k,n}(r_0)$ for the number of tuples of $u+1$ points in X, whose smallest circumspheres have $k-g$ points inside, have their center in some region $\mathrm{\Omega }\subseteq {\mathbb{R}}^n$, and have radius at most $r_0$. As the previous discussion shows, it is the same as the number $c_{v,u,g}^{k,n}(r_0)$ of intervals of type (v, u, g) with center in $\mathrm{\Omega }$ and radius at most $r_0$, when $1\le g\le max\{u,k\}$ or $v=u=g-1$. Following the approach in [5], we focus on the non-trivial case $u>0$ and use the Slivnyak–Mecke formula to express the expectation of this number as

$$\begin{array}{cc}\hfill \mathbb{E}[s_{v,u,g}^{k,n}(r_0)]& =\frac{1}{(u+1)!}\underset{\mathbf{x}\in {({\mathbb{R}}^n)}^{u+1}}{\int }{\mathbf{1}}_{\mathrm{\Omega }}(\mathbf{x}){\mathbf{1}}_{r_0}(\mathbf{x}){\mathbf{1}}_{u-v}(\mathbf{x}){\mathbb{P}}_{k-g}[\mathbf{x}]{\rho }^{u+1}d\mathbf{x},\hfill \end{array}$$

in which ${\nu }_n$ is the volume of a unit n-ball, ${\mathbb{P}}_{k-g}[\mathbf{x}]={(\rho {\nu }_n{r}^n)}^{k-g}{e}^{-\rho {\nu }_n{r}^n}/(k-g)!$ is the probability that the smallest circumsphere of $\mathbf{x}$ has $k-g$ points of X inside, ${\mathbf{1}}_{\mathrm{\Omega }}(\mathbf{x})$ indicates whether the center of this sphere belongs to $\mathrm{\Omega }$, ${\mathbf{1}}_{r_0}(\mathbf{x})$ indicates whether its radius is at most $r_0$, and ${\mathbf{1}}_{u-v}(\mathbf{x})$ indicates whether $\mathbf{x}$ has $u-v$ visible facets. The notation we use mimics the one in [5], in particular, we write $\mathbf{x}$ for a sequence of $u+1$ points, which is better suited for integration than the set U of $u+1$ points. The only difference to equation (3.4) in [5] is the use of ${\mathbb{P}}_{k-g}[\mathbf{x}]$ instead of ${\mathbb{P}}_0[\mathbf{x}]={\mathbb{P}}_{\mathrm{\varnothing }}[\mathbf{x}]$. As explained in that article, we can use the spherical Blaschke–Petkantschin formula to compute this integral, and to avoid redundancy, we focus on the differences. Specifically, instead of ${\int }_{r_0}^{r=0}{r}^{nk-1}{e}^{-\rho r^n{\nu }_n}=\frac{\gamma \left(k,;,,\rho {\nu }_n{r}_0^n\right)}{n{(\rho {\nu }_n)}^k}$ in (3.6) of [5], we have

$$\begin{array}{cc}\hfill \underset{r=0}{\overset{r_0}{\int }}{r}^{nu-1}\frac{{(\rho r^n{\nu }_n)}^{k-g}}{(k-g)!}{e}^{-\rho r^n{\nu }_n}& =\frac{{(\rho {\nu }_n)}^{k-g}}{(k-g)!}\frac{\gamma \left(u+k-g,;,,\rho {\nu }_n{r}_0^n\right)}{n{(\rho {\nu }_n)}^{u+k-g}}\hfill \\ \hfill & =\frac{\gamma \left(u+k-g,;,,\rho {\nu }_n{r}_0^n\right)}{(k-g)!n{(\rho {\nu }_n)}^u}.\hfill \end{array}$$

Arguing exactly like in Lemma 3.1 in [5], we get

$$\begin{array}{cc}\hfill \mathbb{E}[s_{v,u,g}^{k,n}(r_0)]& =\frac{\gamma \left(u+k-g,;,,\rho {\nu }_n{r}_0^n\right)}{(k-g)!\mathrm{\Gamma }\left(u\right)}{C}_{v,u}^n·\rho \Vert \mathrm{\Omega }\Vert ,\hfill \end{array}$$ 7

in which the constant $C_{v,u}^n$ is as defined in [5]. The case $u=0$ is exceptional, because the smallest circumscribed sphere of any single vertex has radius 0 and no points inside, so the only non-zero value is $\mathbb{E}[s_{0,0,1}^{1,n}(r_0)]=\rho \Vert \mathrm{\Omega }\Vert$ for all $r_0\ge 0$, independent of the radius. Returning to the number of relaxed intervals, we thus have $\mathbb{E}[c_{v,u,g}^{k,n}(r_0)]=\mathbb{E}[s_{v,u,g}^{k,n}(r_0)]$ for admissible values of parameters, i.e., for $1\le g\le min\{k,u\}$ or $v=u=g-1$, and 0 otherwise. The result agrees with [5] for $k=1$.

Now that we have expressions for the number of relaxed intervals of all types, it is not difficult to count the $j$-cells in the order-k Delaunay mosaic whose value under the radius function is at most $r_0$:

$$\begin{array}{cc}\hfill \mathbb{E}[d_j^{k,n}(r_0)]& =\sum _{u=j}^n\sum _{v=0}^u\sum _{g=1}^{min\{k,u+1\}}{N}_{v,g}^u(j)·\mathbb{E}[c_{v,u,g}^{k,n}(r_0)].\hfill \end{array}$$

For $j>0$, we can use (6) and (7) to get

$$\begin{array}{cc}\hfill \frac{\mathbb{E}[d_j^{k,n}(r_0)]}{\rho \Vert \mathrm{\Omega }\Vert }& =\sum _{u=j}^n\sum _{v=1}^u\sum _{g=1}^{g_1}\sum _{t=t_0}^{t_1}\left(\begin{array}{c}v+1\\ t\end{array}\right)\left(\begin{array}{c}u-v\\ t+j-v\end{array}\right)\frac{\gamma \left(u+k-g,;,,\rho {\nu }_n{r}_0^n\right)}{(k-g)!\mathrm{\Gamma }\left(u\right)}{C}_{v,u}^n,\hfill \end{array}$$

in which $g_1=min\{k,u\}$, $t_0=max\{0,v-j,g-j\}$, and $t_1=min\{v+1,u-j,g-1\}$, as before. For $j=0$ and $k\ge 2$, we take the sum of the numbers of relaxed intervals with $g=v+1$:

$$\begin{array}{cc}\hfill \frac{\mathbb{E}[d_0^{k,n}(r_0)]}{\rho \Vert \mathrm{\Omega }\Vert }& =\sum _{u=1}^n\sum _{v=1}^u\frac{\gamma \left(u+k-v-1,;,,\rho {\nu }_n{r}_0^n\right)}{(k-v-1)!\mathrm{\Gamma }\left(u\right)}{C}_{v,u}^n.\hfill \end{array}$$

This completes the proof of Theorem 1.2.$\square$

Discussion

This paper gives evidence of the power of the discrete Morse theory approach to questions in stochastic geometry. The first step is the relaxation of discrete Morse functions so they apply to order-k Delaunay mosaics. This relaxation is non-trivial and of independent interest. Here we provide a complete combinatorial analysis of the relaxed intervals that make up the discrete theory, and we use it to generalize the main stochastic relations in [5] from order-1 to order-k Delaunay mosaics.

While the results in this paper are predominantly combinatorial and probabilistic, there are connections to other areas of mathematics and to applications outside of mathematics. Results about the topological meaning of the relaxed Morse theory are under investigation in [6], including algorithms to compute the persistent homology of multi-covers with balls. We hope that the stochastic and the topological tools together give a novel approach to dealing with dense data and will lead to a refined understanding of medium- to long-range effects in locally finite configurations, as they arise for example during the emergence of order in particle arrangements.

Appendix A: Constants $C_{p,q}^n$

In this appendix, we give a short reminder on the constants $C_{p,q}^n$ used in the statement of Theorem 1.2. The complete definition and values for $n\le 4$ can be found in [5]; here we only provide a sketch. We first define auxiliary constants $E_{p,q}^n$, which we call the spherical expectations. Denote by $\mathbf{u}=(u_0,u_1,\dots ,u_q)$ a random simplex in ${\mathbb{R}}^q$, whose vertices are chosen according to the uniform distribution on the unit sphere, and write $\mathrm{Vol}(\mathbf{u})$ for its q-dimensional volume. We define $E_{p,q}^n=\mathbb{E}[\mathrm{Vol}{(\mathbf{u})}^{n-q+1}{\mathbf{1}}_{q-p}(\mathbf{u})]$, in which

$$\begin{array}{cc}\hfill {\mathbf{1}}_{q-p}(\mathbf{u})& =\left\{\begin{array}{cc}1\hfill & \text{if}q-p\text{of}\text{the}q+1\text{facets}\text{of}\mathbf{u}\text{are}\mathit{visible}\text{from}0,\hfill \\ 0\hfill & \text{otherwise}.\hfill \end{array}\right)\hfill \end{array}$$

Recall that a facet of a simplex is called visible from a point, if the hyperplane containing the facet separates the point from the simplex. Now we can define $C_{p,q}^n$ for $p\le q$ as

$$\begin{array}{cc}\hfill C_{p,q}^n& =\frac{{\sigma }_n·{\sigma }_{n-1}·\dots ·{\sigma }_{n-q+1}}{{\sigma }_1·{\sigma }_2·\dots ·{\sigma }_q}\frac{\mathrm{\Gamma }(q)n^{q-1}q{!}^{n-q}{\sigma }_q^{q+1}}{(q+1){\sigma }_n^q}{E}_{p,q}^n,\hfill \end{array}$$

in which $\mathrm{\Gamma }(q)=(q-1)!$ is the Gamma function and ${\sigma }_j=2{\pi }^{j/2}/\mathrm{\Gamma }(\frac{j}{2})$ is the $(j-1)$-dimensional area of the boundary of a j-dimensional ball. For $q=0$, we set $C_{0,0}^n=1$.