Abstract
Given a locally finite set and an integer , we consider the function on the dual of the order-k Voronoi tessellation, whose sublevel sets generalize the notion of alpha shapes from order-1 to order-k (Edelsbrunner et al. in IEEE Trans Inf Theory IT-29:551–559, 1983; Krasnoshchekov and Polishchuk in Inf Process Lett 114:76–83, 2014). While this function is not necessarily generalized discrete Morse, in the sense of Forman (Adv Math 134:90–145, 1998) and Freij (Discrete Math 309:3821–3829, 2009), we prove that it satisfies similar properties so that its increments can be meaningfully classified into critical and non-critical steps. This result extends to the case of weighted points and sheds light on k-fold covers with balls in Euclidean space.
Keywords: Discrete Morse theory, Order-k Voronoi tessellations, Hyperplane arrangements, Order-k Delaunay mosaics, Rhomboid tilings, Weighted points, Power distance
Introduction
Given a locally finite set and non-negative integer k, the order-k Voronoi tessellation decomposes into closed convex domains in which the k nearest points in X are the same [9, 14]. In other words, knowing the domain that contains a point is equivalent to knowing which k points of X are nearest to x. This motivates the use of the tessellation as a data structure for the k-nearest neighbor problem [3]. Similar to the ordinary (order-1) Voronoi tessellation, the order-k Voronoi tessellation has a natural dual [1], which we refer to as the order-k Delaunay mosaic, denoted . Its cells represent collections of domains with non-empty common intersection. We are interested in the function that maps each cell to the minimum radius, r, such that the corresponding intersection of domains contains a point at distance at most r from each one of its k nearest neighbors. The sublevel sets of generalize the notion of alpha shapes from to orders [5, 13]. Recently, the stochastic properties of have been studied [6] and algorithms for computing the persistence have been presented [7]. We shed additional light on these results by establishing that behaves similar to a discrete Morse function. We hasten to mention that neither satisfies the requirements of a discrete Morse function [10] nor the slightly weaker requirements of a generalized discrete Morse function [11]. Nevertheless, we can classify the increments in the sublevel sets into critical and non-critical steps with predictable impact on the homotopy type. To state the result, we note that each cell of the order-k Delaunay mosaic is spanned by several size-k subsets of X, and we shall determine how to characterize incremental steps of in terms of such subsets. Specifically, taking any set of points in X, there is the unique smallest sphere that passes through these points. Assuming general position, the convex hull of these points is an -simplex. Some of the size-k subsets of the points defining the sphere together with the points of X inside the sphere form cells of the Delaunay mosaic, and some of these cells constitute the unique step of corresponding to this sphere; see Sect. 2. Our main result is the following classification of the topology types of the steps:
We call the configuration that defines a step self-centered if the center of the corresponding sphere is contained in the simplex spanned by the points on the sphere. Adding the cells in the step changes the Euler characteristic of the sublevel set, which implies that it also changes the homotopy type, so we refer to it as a critical step of .
We call the configuration altruistic if the center of the corresponding sphere is not contained in the simplex spanned by the points on the sphere. Adding the cells in the step preserves the homotopy type, so we refer to it as a non-critical step of .
With minor adjustments, this classification extends to the case in which the points have real weights and the squared Euclidean distance is replaced by the power distance. This is most transparent when we view the Voronoi tessellations in as projections of the levels in a hyperplane arrangement in ; see e.g. [8]. Correspondingly, we view the Delaunay mosaics as horizontal slices of a rhomboid tiling in ; see [7] for the construction in the unweighted case, which readily extends to points with weights.
Outline Section 2 introduces background on weighted Voronoi tessellations and hyperplane arrangements, their dual Delaunay mosaics and rhomboid tilings, and discrete Morse functions. Section 3 gives the proof of the main result, thus extending the framework of discrete Morse theory to include squared radius functions on order-k Delaunay mosaics. Section 4 concludes the paper.
Background
It will be useful to see Voronoi tessellations as levels in hyperplane arrangements and Delaunay mosaics as slices of rhomboid tilings. We note that the different terminology for the tilings, mosaics and tessellations has roots in the different origins of the established terms, and we take advantage of it to simplify the distinction between the studied objects. In general, all these three notions refer to cell complexes whose cells are (possibly unbounded) convex polyhedra. To avoid redundancies, we explain everything for the more general, weighted case.
Hyperplane arrangements Let X be a locally finite set of points with real weights in , and let J be the corresponding index set. The power distance of a point from a weighted point is . For , the corresponding (weighted) Voronoi domain is the set of points that satisfy for all and . For each non-negative integer k, the (weighted) order-k Voronoi tessellation, denoted , is the collection of Voronoi domains for sets I that satisfy . Setting for all indices j, we get the unweighted situation as a special case.
To illuminate the structure of the order-k Voronoi tessellation, let be defined by mapping to and to . The graph of is a paraboloid in , and the graph of is the hyperplane that touches the shifted paraboloid defined by in the point . We refer to the collection of hyperplanes as the arrangement of X. Let now be the -dimensional sphere with center and squared radius . For this is an ordinary sphere, for it is a point, and for it is what we call an imaginary sphere. There are different ways of visualizing the latter concept, but singularly important in this paper is that its squared radius is negative, giving the correct power distance if plugged into the formula given above. In either case, S partitions the index set into three subsets:
1 |
2 |
3 |
In the unweighted case, when for all indices j, the three sets correspond to the points inside, on, and outside the sphere. In the weighted case, the condition in (2) can be rewritten as , which we geometrically interpret as having two spheres, S(x, w) and , that intersect at a right angle. It is easy to see that iff is positive, zero, negative or, equivalently, iff the point in lies below, on, above the graph of . This motivates us to consider the decomposition of defined by the hyperplanes. For each partition of J into three sets, we consider the corresponding partition of the set of the hyperplanes in , and define the corresponding cell to consist of points that at the same time are on or under the hyperplanes in the first set, on the hyperplanes in the second set, and on or above the hyperplanes in the third set. Important for us is the case when the three-partition is defined by a fixed sphere S. Then the corresponding cell consists of points that satisfy if , if , and if . Assuming general position, this cell has dimension . We refer to the -dimensional cells as -cells and to the -cells as chambers. We write for the set of all cells. The sphere defines a chamber if , and in this case we call the depth of the chamber, because there are precisely k hyperplanes above it. The relation between the chambers and the Voronoi domains should be clear.
Proposition 2.1
(Chambers and Domains [8]) Let X be a locally finite set of points with real weights in . For every non-negative integer k, there is a bijection between the domains of and the chambers at depth k of such that every Voronoi domain is the vertical projection of its corresponding chamber to .
Rhomboid tiling To dualize the Voronoi tessellations, we generalize the construction of [1] to the unweighted case. Specifically, we map every domain of to the sum of the corresponding k points, for the moment ignoring the weights. For every non-empty common intersection of domains, we collect the images of the domains that contain this intersection, and we add the convex hull of these points as a cell to the dual, which we refer to as the order-k Delaunay mosaic of X, denoted . Note that this definition is not coordinate invariant, but it can be made so by substituting the average for the sum, which is just a rescaling. We refrain from doing this to simplify the notation.
We give an alternate description of these mosaics after dualizing the hyperplane arrangement. To this end, we write , for every , and , for every . The -st coordinate of is , and we call the depth of the point. For every sphere S in — which we recall may be a point or imaginary — we let be the rhomboid of S. It is anchored at the vertex with least depth, which is , and it is spanned by the vectors with . We say X is in general position if for every collection of spheres S there are at most weighted points that belong to all sets . For such a set X, the dimension of the rhomboid defined by a sphere S is the number of vectors that span it, which is . he rhomboid tiling of X, denoted , is the collection of all rhomboids defined by spheres in ; see Fig. 1. As argued for the unweighted case in [7], is a polytopal complex in , which means its cells are convex polytopes with disjoint interiors such that the boundary of every polytope is the union of other polytopes in the complex [15]. Indeed, we claim the following properties:
Proposition 2.2
(Rhomboid Tiling) Let X be a locally finite set of points with real weights in general position in . Then
is dual to ;
is a polytopal complex of rhomboids;
the horizontal slice at integer depth is the order-k Delaunay mosaic of X.
We refer to the proof of the corresponding result for unweighted points in [7] and note that it readily generalizes to the weighted case. We explain Property 1 of Proposition 2.2 because it is repeatedly used. The duality is established by a bijection in which is a -dimensional rhomboid in and is a -cell in such that iff . The points inside, on, and outside the sphere that defines correspond to the hyperplanes above, containing, under the cell . Note also that the vertical partial order of the cells in the arrangement agrees with the same order on the rhomboids in the tiling.
Discrete Morse theory Next we assign to each rhomboid in the tiling a real value. Before doing so, we give a few definitions. Let K be a polytopal complex. Its Hasse diagram is a directed graph whose nodes are the cells in K and whose arcs are the pairs of cells with . A function is monotonic if whenever . The level set for a value is the set of cells . It is a set of nodes in the Hasse diagram. A step of f is a maximal subset of a level set whose induced subgraph in the Hasse diagram is connected. We note that the steps of f partition K. An interval of K is given by cells and consists of all faces of that share as a face, denoted . We call the lower bound and the upper bound of . The interval is singular if . A monotonic function is generalized discrete Morse if every step is an interval; see [11]. For comparison, f is discrete Morse if every step is an interval of size 1 or 2; see [10] but note that the original definition is in-essentially more general by allowing for pairs in a step.
We are interested in the case in which and f is the squared radius function, which we now define. Recall that each rhomboid has a dual cell . For each point , we set , and we define the squared radius function, , by mapping to . To develop a geometric intuition for this function, we sweep the hyperplane arrangement from top to bottom with a paraboloid. Specifically, for , the paraboloid is the graph of . Then is the minimum such that the corresponding paraboloid has a non-empty intersection with . Assuming general position, the sequence in which the paraboloid encounters the cells in follows a few simple rules. For example, when the paraboloid encounters a vertex in , then it has already encountered of the chambers incident to the vertex, and it touches the unique last incident chamber for the first time, as well as all faces of this chamber that share the vertex. More generally, when the paraboloid touches the intersection of hyperplanes for the first time, this happens at an interior point of a -cell contained in this intersection. At the same time the paraboloid touches a unique chamber together with all faces of this chamber that share the -cell as a common face. We therefore have the following result.
Proposition 2.3
(Squared Radius Function) Let X be a locally finite set of points with real weights in general position in . Then is a generalized discrete Morse function. Furthermore, every step of has a vertex as a lower bound, and there is only one singular interval, namely the vertex at the origin, which corresponds to the empty index set.
The same claim restricted to the unweighted case can be found in [7]. Its proof extends with obvious modifications to the proof in the weighted case, which we therefore omit. This proposition says that the paraboloid always enters a chamber together with a subset of its faces while sweeping, thus defining a shelling of (see [4]). This chamber corresponds to the vertex of a rhomboid and the faces of the chamber correspond to the faces of the rhomboid that share this vertex. As we will see shortly, the vertex is not necessarily the lowest vertex of the rhomboid. Note that is rather special because it has a limited collection of interval types. This is best seen by constructing one step at a time. After starting with the vertex at the origin, each step glues a new rhomboid of dimension at least 1 together with all missing faces to the complex. Such a step preserves the homotopy type, which implies that every non-empty sublevel set of is contractible.
Horizontal integer slices Let be the horizontal hyperplane at integer depth k in . By Proposition 2.2, the intersection of with gives the (weighted) order-k Delaunay mosaic. We aim at associating each cell in with the rhomboid in such that the cell is the intersection of with the rhomboid, but there is an ambiguity for the vertices of , which belong to several intersections. We will associate them to the vertices of , but to avoid special cases, we formulate the definitions for the rhomboids without their boundary. Note that the (relative) interiors of the rhomboids partition the union of the rhomboids. Accordingly, each cell is the closure of the intersection of with the interior of a unique rhomboid . Writing , we have if , and if . Similarly, we get the squared radius function of from that of : . We are interested in the partition of into the steps of . To this end, let and be two cells in and note that iff . It follows that each step of is the horizontal slice of a step of .
Letting , we write and for the vertices with minimum and maximum depth, and we write for the vertex with maximum value of . Proposition 2.3 implies that for every interval of . For some rhomboids, we have , but not necessarily for all. Depending on the shape of the rhomboid, can indeed be any vertex of other than . We formally state this as a lemma:
Lemma 2.4
(Last not Top Vertex) Let X be a locally finite set of points with real weights in general position in . Then for every non-singular interval of .
Indeed, the chamber in that is dual to lies above . Since is an upper bound, the point at which the paraboloid first touches during the sweep is an interior point. Hence, has a lower value of and therefore does not belong to the interval.
Topology of a step
This section proves our main result: that critical and non-critical steps of can be distinguished by whether is equal to or different from , with the smallest rhomboid in that contains the corresponding step of . The addition of a critical step changes the homotopy type of the sublevel set and the addition of a non-critical step preserves it. We begin with an enumeration of the types.
Step types By Proposition 2.3, every step of is an interval in which is the maximum rhomboid that satisfies . The interval consists of all faces of that share . Assuming , the rhomboid has vertices at depth values, and letting k be the depth value of , these values are for . By Lemma 2.4, can assume only of these depth values. If , then has a non-empty intersection with the interior of at least one rhomboid in the interval for , and if , then there is one more, namely for . In total, we count possible types of slices; see Fig. 2 for an illustration of the types for . Some of these types are symmetric. We refer to the slices in case as self-centered and the other slices as altruistic. The terminology is motivated by the fact that iff the convex hull of the points whose indices are in contain the center of S. There is an ambivalent case, when the center lies on the boundary of the convex hull, but this can be prevented by slightly strengthening the general position assumption to forbid this situation.
Topology type Letting be a step of , we write for the corresponding step of . The Euler characteristic of A is . Since A is necessarily an interval, its Euler characteristic vanishes, unless , in which case it is 1. The Euler characteristic of the slice is , which may or may not be zero. We write |A| for the union of interiors of the rhomboids in A, and for its slice at depth k. Let be the set of points with non-negative first coordinate, and note that for all . Two topological spaces have the same topology type if there is a homeomorphism between them, and in this case they have the same Euler characteristic. For example, the half-open interval, [0, 1), has the same topology type as , which we denote as . We represent [0, 1) by an edge together with one of its endpoints, so the Euler characteristic, which is the alternating sum of cells vanishes. We will see that every altruistic configuration has the topology type of , for some value of p, while every self-centered configuration has non-zero Euler characteristic.
Theorem 3.1
(Topology of a Step) Let X be a locally finite set of points with real weights in general position in , let be a step of , set , write k for the depth of , and recall that is a step of .
If , then for .
If , then and therefore for .
All other horizontal integer slices of A are empty.
Proof We first consider the self-centered configurations, when . For , the hyperplane contains and avoids the interiors of all other rhomboids in . The Euler characteristic of this slice is one and therefore non-zero, as claimed. For , has non-empty intersections with the interiors of the rhomboids of dimension larger than g and empty intersections with the interiors of all other rhomboids in the interval; see the left panel of Fig. 2 for the three cases that occur for , and see Fig. 3 for three of the four cases that occur for . Therefore, , in which the binomial coefficient is the number of q-dimensional faces of a -dimensional rhomboid that share a common vertex, namely . This sum evaluates to , which is non-zero, as claimed.
We second consider the altruistic configurations, when . Let be the vertex of opposite to , and project orthogonally to the hyperplane normal to . The projection is a p-dimensional convex polytope. Call the preimage of its (relative) boundary the silhouette of , and note that it is a -dimensional topological sphere that contains all vertices of other than and ; see Fig. 2. None of the rhomboids in the silhouette belong to . In fact, the silhouette separates the boundary rhomboids of that are in this interval from the boundary rhomboids that are not in the interval. Since and belong to the silhouette, and both have empty intersection with the interiors of all rhomboids in , as claimed.
We thus assume for the remainder of this proof. At depth , the horizontal hyperplane intersects in a convex polytope of dimension p, and it intersects the boundary of on both sides of the silhouette. To go from one side to the other along the boundary of intersected with , we have to cross the intersection of with the silhouette, which we will prove is a topological -sphere. We conclude that an open -ball of the boundary belongs to , and the complementary closed -ball does not belong to . It follows that the slice of the interval has the topology type of , as claimed. The middle and right panels of Fig. 2 illustrate the four altruistic configurations for , and Fig. 4 illustrates the nine altruistic configurations for . Reading the eight outer cases in a circle around the center case, we note that each is symmetric to the diagonally opposite type. In other words, there are really only five altruistic types for .
We return to the intersection of with the silhouette and the claim that this intersection is a topological sphere of dimension . For , is a convex quadrangle, its silhouette consists of two vertices, and , and passes through the other two vertices thus intersecting the silhouette in the empty set—the -sphere—as claimed. Assuming , we denote the silhouette by , we recall that it is a -sphere, and we write for the depth function on the silhouette. Its extreme values are and , and . To prove that this level set is a -sphere, it suffices to show that e has only two critical points, namely the minimum at and the maximum at . The case is easy. Here we have a 3-rhomboid whose silhouette is a hexagon. The difference between the depths of the endpoints of any edge is 1. We thus need three edges to go from at depth k to at depth and another three edges to go back. It follows that meets the silhouette in two points—a 0-sphere—as claimed.
The argument for is different. Recall that e is a continuous function on a -sphere, this sphere is decomposed into -rhomboids, and e is affine on each of these rhomboids. If e has a critical point (in piecewise-linear sense) in addition to the minimum at and the maximum at , then it also has a saddle, and this saddle must be a vertex of some of the rhomboids. To contradict the existence of a saddle, note that the -rhomboids meet in groups of p at a common vertex. Let be such a shared vertex and cut each incident -rhomboid with the -dimensional plane that passes through the vertices adjacent to . We thus get p -simplices, which can be seen are the facets of a p-simplex. It follows that can be a minimum, a maximum, or a regular point, but it cannot be a saddle of e. Hence, every horizontal slice at depth strictly between and k is a -sphere, as required.
Consequences Our main technical result is Theorem 3.1, which we now turn into a statement about the filtration of order-k Delaunay mosaics. Let be the sorted values of and write for every . Assuming X is in general position, the difference between any two contiguous mosaics is a collection of steps, and by slightly strengthening the notion of general position, we may assume that each difference is a single step: . For example, all vertices of the order-1 Delaunay mosaic of unweighted points share the function value, 0, and we can perturb the set by assigning small weights. While it is not necessary, we simplify the following statement by using this stronger notion of general position.
Corollary 3.2
(Filtration of Order-k Delaunay Mosaics) Let X be a locally finite set of points with real weights in general position in , and let and be integers.
If exactly one of the steps of is critical, then and have different Euler characteristics and therefore different homotopy types.
If are all non-critical steps of , then and have the same homotopy type.
This corollary of Theorem 3.1 is a direct extension of a theorem about discrete Morse functions in [10]. Other results in this theory can be similarly extended.
Discussion
The main result of this paper is a topological characterization of the incremental steps of the squared radius function on the order-k Delaunay mosaic of a locally finite set of possibly weighted points in Euclidean space. With this insight, we gain a topological interpretation of the probabilistic analysis of this function for a stationary Poisson point process [6]. While the critical steps do not determine the topology of the sublevel sets, they provide bounds on the ranks of their homology groups. In contrast to the order-1 case studied in [2], the squared radius function in the order-k case is neither discrete Morse nor generalized discrete Morse [10, 11]. Since the function nevertheless behaves similar to a Morse function, it may be considered a geometrically motivated further extension of the framework; see also [12, Chapter 11] for algebraically motivated extensions of discrete Morse theory.
In conclusion, we mention that our result requires the given points be in general position. While this assumption does not imply that the Delaunay mosaics are simplicial, it simplifies the analysis by guaranteeing that the dual of the corresponding hyperplane arrangement is a complex of rhomboids. It would be interesting to generalize the theory to locally finite sets that are not necessarily in general position.
Funding
Open access funding provided by Institute of Science and Technology (IST Austria).
Declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Footnotes
This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 78818 Alpha), and by the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, through Grant No. I02979-N35 of the Austrian Science Fund (FWF).
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Contributor Information
Herbert Edelsbrunner, Email: edels@ist.ac.at.
Anton Nikitenko, Email: anton.nikitenko@ist.ac.at.
Georg Osang, Email: georg.osang@ist.ac.at.
References
- 1.Aurenhammer, F.: A new duality result concerning Voronoi diagrams. Discrete Comput. Geom. 5, 243–254 (1990)
- 2.Bauer, U., Edelsbrunner, H.: The Morse theory of Čech and Delaunay complexes. Trans. Am. Math. Soc. 369, 3741–3762 (2017)
- 3.Bhatia, N., Vandana: Survey of nearest neighbor techniques. Int. J. Comput. Sci. Inf. Sec. 8, 302–305 (2010)
- 4.Björner, A., Wachs, M.L.: Shellable nonpure complexes and posets. I. Trans. Am. Math. Soc. 348, 1299–1327 (1996)
- 5.Edelsbrunner, H., Kirkpatrick, D.G., Seidel, R.: On the shape of a set of points in the plane. IEEE Trans. Inf. Theory IT–29, 551–559 (1983)
- 6.Edelsbrunner, H., Nikitenko, A.: Poisson-Delaunay mosaics of order . Manuscript, IST Austria, Klosterneuburg, Austria (2017) [DOI] [PMC free article] [PubMed]
- 7.Edelsbrunner, H., Osang, G.: The multi-cover persistence of Euclidean balls. In: Proceedings of the 34th Annual Symposium on Computational Geometry, 2018, 34:1–34:14 (2018) [DOI] [PMC free article] [PubMed]
- 8.Edelsbrunner, H., Seidel, R.: Voronoi diagrams and arrangements. Discrete Comput. Geom. 1, 25–44 (1986)
- 9.Fejes Toth, G.: Multiple packing and covering of the plane with circles. Acta Math. Acad. Sci. Hung. 27, 135–140 (1976)
- 10.Forman, R.: Morse theory for cell complexes. Adv. Math. 134, 90–145 (1998)
- 11.Freij, R.: Equivariant discrete Morse theory. Discrete Math. 309, 3821–3829 (2009)
- 12.Koslov D. Combinatorial Algebraic Topology. Berlin: Springer; 2008. [Google Scholar]
- 13.Krasnoshchekov, D., Polishchuk, V.: Order-k alpha hulls and alpha shapes. Inf. Process. Lett. 114, 76–83 (2014)
- 14.Shamos, M.I., Hoey, D.J.: Closest-point problems. In: Proceedings of the 16th Annual IEEE Symposium on Foundations of Computer Science 1975, 151–162 (1975)
- 15.Ziegler GM. Lectures on Polytopes. New York, NY: Springer; 1995. [Google Scholar]