Abstract
Given a locally finite and a radius , the k-fold cover of X and r consists of all points in that have k or more points of X within distance r. We consider two filtrations—one in scale obtained by fixing k and increasing r, and the other in depth obtained by fixing r and decreasing k—and we compute the persistence diagrams of both. While standard methods suffice for the filtration in scale, we need novel geometric and topological concepts for the filtration in depth. In particular, we introduce a rhomboid tiling in whose horizontal integer slices are the order-k Delaunay mosaics of X, and construct a zigzag module of Delaunay mosaics that is isomorphic to the persistence module of the multi-covers.
Keywords: Delaunay mosaics, Hyperplane arrangements, Discrete Morse theory, Zigzag modules, Persistent homology
Introduction
The work in this paper is motivated by density fluctuations in point configurations. These fluctuations can be large—and the task may be the identification of regions with a prescribed density profile—or they can be small—and the goal may be to pick up subtle variations. For example, we may want to quantify local defects in lattice configurations or describe long-range differences between similar configurations, such as the face-centered cubic (FCC) lattice and the hexagonal close-packed (HCP) configuration in . While both give densest sphere packings in , physical particle systems prefer to settle in the FCC configuration. The reason for this preference is not well understood. Our quantification of the long-range effects of density differences discriminates between the two configurations and this way sheds light on this phenomenon.
Using standard methods from computational geometry and topology, we describe mathematical and computational tools to quantify density fluctuations. Our work is closely related to the distance to a measure introduced in [6]. As demonstrated in a follow-up paper [14], this distance can be approximated using the order-k Voronoi tessellation of the configuration, a concept introduced in the early days of computational geometry [20], but see also [11, 16]. Order-k Voronoi tessellations are also at the core of our work:
Given a locally finite set , we introduce a rhomboid tiling in whose horizontal slices at integer depths are the geometric duals of the order-k Voronoi tessellations.
We call these duals the order-k Delaunay mosaics of X. The tiling clarifies the structure of individual mosaics and the relationship between them. Restricting the order-k Voronoi tessellation to the k-fold cover of the balls with radius centered at the points in X, we get a subcomplex of the order-k Delaunay mosaic; see [15] for the introduction of this concept for statistical purposes in two dimensions. Our second result makes use of the family of such subcomplexes obtained by varying the scale:
-
2.
Fixing k and varying r, we compute the persistence diagram of the density fluctuations from the filtration of order-k Delaunay mosaics of X.
The ingredients for our second result are standard, but to get the actual results, we needed an implementation of the order-k Delaunay mosaic algorithm, which we developed based on the rhomboid tiling. In contrast to [2, 19], this gives a simple implementation, which we will describe elsewhere. Using this software in , we find that the FCC and HCP configurations have the same persistence diagram for but different persistence diagrams for . Our third result is an algorithm for the persistence of the multi-covers obtained by varying the depth:
-
3.
Fixing r and varying k, we compute the persistence diagram of the filtration of multi-covers from the rhomboid tiling of X.
Several innovative adaptations of the standard approach to persistence are needed to get our third result. The main challenge is the combinatorial difference of the Delaunay mosaics from one value of k to the next. Here we use the rhomboid tiling to establish a zigzag module whose persistence diagram is the same as that of the filtration of multi-covers. We get the persistence diagram using the algorithm in [4, 5]. Our work is also related to the study of multi-covers based on Čech complexes in [21]. While the relation between the different Čech complexes is simpler than that between the Delaunay mosaics, their explosive growth for increasing radius leads to algorithms with prohibitively long running time.
Outline Section 2 describes the rhomboid tiling in that encodes the Delaunay mosaics of all orders of a locally finite set in . Section 3 relates the k-fold covers with the order-k Delaunay mosaics and introduces radius functions on the rhomboid tiling and the mosaics. Section 4 introduces slices of a tiling at half-integer depths and explains how they are used to compute the persistence diagram in depth. Section 5 concludes the paper.
Rhomboid Tiling
Given a locally finite set in , we are interested in the collection of Delaunay mosaics of all orders. Assuming the set is in general position, there exists a rhomboid tiling in such that the Delaunay mosaics are horizontal slices of the tiling. This section introduces the tiling and proves the relation to the Delaunay mosaics.
Rhomboid tiling Let be locally finite and in general position. Every -dimensional sphere, S, in partitions X into the points inside, on, and outside S. We call this the ordered three-partition of X defined by S, and denote it as . By the assumption of general position, we have , but there are no a priori upper bounds on the sizes of the other two sets.
We map each ordered three-partition defined by a -sphere, S, to a parallelepiped in , which we call the rhomboid of S, denoted . To define it, we write , for every , and for every . The -st coordinate of is therefore , and we call the depth of the point. With this notation, . Equivalently, is the rhomboid spanned by the vectors , with , and translated along . Its dimension is the number of spanning vectors, . Observe that every face of is again the rhomboid defined by a sphere. To see this, we note that for every ordered partition of the points on S into three sets, , there is a sphere with , , and . There are such ordered partitions, and each corresponds to a face of .
By definition, the rhomboid tiling of X, denoted , is the collection of all rhomboids defined by spheres; see Fig. 1. As suggested by the figure, the ordered three-partition is mapped to the origin of . We claim the following properties.
Theorem 2.1
(rhomboid tiling) Let be locally finite and in general position. Then
- (i)
is dual to an arrangement of hyperplanes in ;
- (ii)
is the projection of the boundary of a zonotope in ;
- (iii)
the horizontal slice of at depth k is the order-k Delaunay mosaic of X.
Note that claim (ii) in Theorem 2.1 implies that the rhomboid tiling is a geometric realization of the dual of the arrangement in , that is: its rhomboids intersect in common faces but not otherwise. The remainder of this section proves the three claims. To keep the proofs self-contained, we will define hyperplane arrangements and order-k Delaunay mosaics before we use them. We refer to [7] for additional information on their relation to point configurations.
Proof of (i): hyperplane arrangement For each point , write for the affine map defined by . The graph of is a hyperplane in that is tangent to the paraboloid consisting of the points that satisfy . The collection of such hyperplanes decomposes into convex cells, which we call the hyperplane arrangement of X, denoted ; see Fig. 2. The cells in the arrangement are intersections of hyperplanes and closed half-spaces. More formally, for each cell there is an ordered three-partition such that the cell consists of all points that satisfy
1 |
2 |
3 |
Since X is assumed to be in general position, the dimension of the cell is . Turning the non-strict into strict inequalities, we get the interiors of the cells, which partition . We refer to the i-dimensional cells as i-cells and to the -cells as chambers.
Importantly, there is a bijection between the cells of and the rhomboids in . To see this, map a point (p, z) in the interior of a cell to the sphere S with center p and squared radius . Using the definition of , we observe that , , and . We can reverse the map, and while this will not reach the points with , these points all belong to the chamber of the ordered three-partition . This establishes the bijection between the cells and the rhomboids. This bijection reverses dimensions and preserves incidences, which justifies that we call it a duality between the rhomboid tiling and the hyperplane arrangement. This completes the proof of (i) in Theorem 2.1.
Proof of (ii) We recall that a zonotope is a special convex polyhedron, namely one obtained by taking the Minkowski sum of finitely many line segments. The zonotope of interest is constructed from the line segments that connect the origin to the points , with . Note that these line segments project to the vectors used to build the rhomboid tiling. By construction, is normal to the graph of , which is the zero set of defined by ; see Fig. 2. Adding a -nd coordinate, w, we introduce defined by . Its zero-set is normal to , the restriction of to is the zero-set of , and . In other words, if we identify with the hyperplane in , then the zero-sets of the intersect in and they all pass through the origin in .
By construction, the thus defined zonotope is dual to the arrangement of hyperplanes for . Therefore, the antipodal face pairs of the zonotope correspond dually to the cells of , provided we interpret the arrangement projectively, which means we combine antipodal pairs of unbounded cells; see also [7, Sect. 1.7]. We get a more direct dual correspondence by projecting the lower part of the boundary of the zonotope to . By choice of the line segments, the vertices on this side project vertically to the vertices of , and since both are dual to , we conclude that is the projection of this side of the zonotope. This completes the proof of (ii).
Proof of (iii): Delaunay mosaics We begin with some definitions. The Voronoi domain of is . Its order is . For each Voronoi domain, there is a chamber in that projects vertically to the domain. Indeed, the chamber is defined by the ordered three-partition with , , and . For each positive integer k, the order-k Voronoi tessellation is . We can construct it by projecting all chambers whose ordered three-partitions satisfy and ; see [7, Chap. 13] or [10]. These chambers correspond to the vertices of the rhomboid tiling at depth k. Since is dual to , we get the dual of the Voronoi tessellation by taking the slice of . However, the dual of the order-k Voronoi tessellation is precisely the order-k Delaunay mosaic [1]. This completes the proof of (iii).
We see that the cells of are special slices of the rhomboids. Combinatorially, they are equivalent to slices of the unit cube that are orthogonal to the main diagonal and pass through non-empty subsets of the vertices. For the -cube, there are such slices, which we index from 0 to . The j-th slice passes through vertices, so we have a vertex for and a d-simplex for . To describe these slices in general, let be the unit coordinate vectors. The j-th slice is the convex hull of the points with , in which the empty sum is , by convention. To get an intuition, it might be easier to divide the sums by j, in which case the j-th slice is the convex hull of the barycenters of the -faces of the standard d-simplex; see Fig. 3.
Multi-Covers
In this section, we exploit the rhomboid tiling to shed light on the filtration of multi-covers we get by varying the radius. The main new insight is that the discrete function on the Delaunay mosaic that encodes this filtration is a relaxation of a standard discrete Morse function. We begin with a formal introduction of the multi-covers.
k-fold cover Let be locally finite. Given a radius , the k-fold cover of X and r consists of all points for which there are k or more points with , or in other words, the points that are covered by at least k of the balls of radius r around the points . Denoting this set by , we have
4 |
5 |
whenever and . We are interested in computing the persistent homology of the multi-covers, both in the direction of increasing radius and in the direction of decreasing order. To do so, we represent the covers by complexes, namely by subcomplexes of the Delaunay mosaics. Varying the radius, we get a nested sequence of subcomplexes of the order-k Delaunay mosaic, and the persistent homology can be computed with standard methods; see e.g. [8, Chap. VII]. Varying the order, on the other hand, we get subcomplexes of different Delaunay mosaics, and we need a novel algorithm to compute persistent homology.
Before we discuss this algorithm in Sect. 4, we note that the order-k Voronoi tessellation decomposes the k-fold cover into convex sets. To see this, let and define , which is an intersection of convex sets and therefore convex. We write for the collection of domains with , and since , we refer to this as the Voronoi decomposition of . Since , the dual of this decomposition is a subcomplex of the order-k Delaunay mosaic, which we denote . See Figs. 4 and 6 for example. Modulo a technicality caused by the mosaic not necessarily being simplicial, the Nerve Theorem [17] implies that the cover and the mosaic have the same homotopy type. We shall state and prove this fact more formally now.
Lemma 3.1
(Almost Nerve) Let be locally finite and in general position. For every integer and real , and have the same homotopy type.
Proof
Recall that the sets with form a convex cover of . The nerve of this collection consists of all sub-collections with non-empty common intersections. By the classic Nerve Theorem [17], this nerve has the same homotopy type as , but this does not complete the proof because is not always isomorphic to the nerve of the . In particular, if an i-dimensional Voronoi polyhedron belongs to domains, then it maps to an m-simplex in the nerve and to an -cell in the Delaunay mosaic. To make up for the difference, we establish a continuous surjection from the m-simplex to the -cell that extends to a continuous surjection from the nerve to . To describe this surjection, we note that the vertices of the nerve are the , while the vertices of are the points . We map each to and extend this map linearly to the simplices in the nerve. The resulting map is continuous by construction. To see that it is surjective, we observe that every cell in corresponds to a simplex whose vertices map to all vertices of the cell.
The radius function on the rhomboid tiling To shed additional light on the subcomplexes of the Delaunay mosaics, we introduce a discrete function on the collection of rhomboids discussed in Sect. 2. Calling it the radius function, , we define it by remembering that each j-dimensional rhomboid, , corresponds to a -dimensional cell, . Decomposing a point of the cell into its first d coordinates and its -st coordinate, we write , and we define . With this notation, we define the radius function by mapping to the minimum value of any point in its dual cell:
By convention, the value of the vertex that corresponds to the ordered three-partition is . To obtain a geometric interpretation of this construction, consider the paraboloid defined by the equation in and introduce defined by . The graph of is the original paraboloid dropped vertically down by a distance t/2. With this notation, is the minimum t such that the graph of has a non-empty intersection with .
Clearly, is monotonic, that is: if is a face of . Indeed, if is a face of , then is a face of , which implies that the paraboloid touches at the same time or before it touches when dropped. It follows that the sublevel sets of the radius function are subcomplexes of the rhomboid tiling. For X in general position, the radius function satisfies the stronger requirement of a generalized discrete Morse function; see [12, 13]. To explain what this means, let and for each consider the Hasse diagram, defined as the graph whose nodes are the rhomboids in , with an arc connecting two nodes if one rhomboid is a co-dimension 1 face of the other. The steps of f are the components of the graphs representing the level sets of f. Note that the steps partition . We call f a generalized discrete Morse function if each step is an interval, meaning there are rhomboids such that the step consists of all rhomboids that are faces of and contain as a face. It is useful to distinguish between singular intervals, when , and non-singular intervals, when is a proper face of . Indeed, consider two contiguous sublevel sets that differ by a level set: . If this difference is a non-singular interval, then the two sublevel sets have the same homotopy type, while if the difference is a singular interval, then they have different homotopy types. We prove that the radius function is a generalized discrete Morse function with the additional property that every sublevel set is contractible. This is an interesting fact by itself, and it is useful in constructing the radius function on the rhomboid tiling.
Lemma 3.2
(generalized discrete Morse) Let be locally finite and in general position. Then is a generalized discrete Morse function. Furthermore, all intervals in the implied partition have a vertex as a lower bound, and there is only one singular interval, which contains the vertex at the origin.
Proof
The vertex at the origin corresponds to the three-partition , has radius , and forms a singular interval. Every other interval is defined by a point at which the dropping paraboloid first touches a cell of the arrangement. There is one such point on every plane that is the common intersection of hyperplanes forming the arrangement. By general position, all these points are different. Let q belong to an i-plane, which is common to hyperplanes. It belongs to the interior of an i-cell, which is common to chambers. Exactly one of these chambers has not already been touched before the i-cell. The paraboloid touches this chamber at the same point q and, similarly, every cell that is a face of this chamber and contains the i-cell as a face. The corresponding rhomboids form an interval of the radius function, with an upper bound of dimension j and a lower bound of dimension 0. We have , which implies that the interval is not singular.
To show that is a generalized discrete Morse function, we still need to make sure that intervals in the same level set are separated, by which we mean that no simplex of one interval is a face of a simplex in the other interval. By the assumption of general position, there is only one level set that contains more than one interval, namely . All its intervals are of the form , in which x is a point in X, the origin corresponds to the three-partition , and is the edge that connects 0 with . While these edges all share 0, no two also share the other endpoint. It follows that these intervals are components of the Hasse diagram of the level set, as required.
The radius function on a Delaunay mosaic Recall that the order-k Delaunay mosaic of X is the horizontal slice of the rhomboid tiling at depth k . In other words, every cell of is the horizontal slice of a rhomboid. More formally, for every there is a unique lowest-dimensional rhomboid such that , in which is the horizontal d-plane defined by . For vertices we have , and for all higher-dimensional cells we have . The radius function on the order-k Delaunay mosaic, , is simply the restriction of to the horizontal slice: . Importantly, this definition is consistent with the subcomplexes used to represent the k-fold cover of X and r, but this needs a proof.
Lemma 3.3
(Delaunay radius function) Let be locally finite and in general position. For every integer and every real r, we have .
Proof
Recall that is defined by . The graph of is a paraboloid that intersects in the sphere with squared radius t. More generally, the paraboloid intersects every d-plane tangent to the graph of in an ellipsoid whose vertical projection to is a sphere with squared radius t. Dropping the paraboloid vertically thus translates into growing balls simultaneously and uniformly centered at the points in X. By definition, is the value of t for which the paraboloid touches the dual cell, , for the first time. More formally, the set of points that lie on or above the graph of is empty for all and non-empty for all .
Let be the vertical projection of to , and assume it is a polyhedron in some Voronoi tessellation of X. It belongs to iff its dual cell, , belongs to or, equivalently, if is defined. Assuming the latter, is empty for all and non-empty for all , in which . By definition, belongs to iff this intersection is non-empty, which implies for all , as required.
These results facilitate the computation of the persistence of the k-fold covers for varying radii. Lemma 3.1 asserts that we can use as a proxy for . Lemma 3.3 provides the recipe for computing the radii of the cells of , and thus the sublevel set filtration of , whose persistence module is isomorphic to the persistence of for varying radius r. Finally, the persistence diagram is obtained from the filtration via the boundary matrix reduction algorithm [8, Chap. VII].
Assuming is locally finite and in general position, the radius function of the order-1 Delaunay mosaic is known to be a generalized discrete Morse function [3]. This property does not generalize to higher order. For an example consider the triangle in the middle of Fig. 6, whose step consists of the triangle and its three edges but not of the three vertices. This step is not an interval. Nevertheless, we can still classify the steps of into critical and non-critical types so that each critical step changes the homotopy type of the sublevel set in a predictable manner, and every non-critical step maintains the homotopy type of the sublevel set. The proof of this claim together with an enumeration of the types of steps can be found in [9].
Persistence in Depth
In this section, we develop an algorithm that computes the persistence of the nested sequence of multi-covers (5). We follow the usual strategy of substituting a complex for each cover, but there are some complications. Specifically, we represent by and we introduce additional complexes between contiguous Delaunay mosaics to realize the inclusion between the covers.
Half-integer slices There are generally no convenient maps connecting with . To finesse this difficulty, we use the horizontal half-integer slice of the rhomboid tiling at depth :
for . Similarly to the Delaunay mosaic, the half-integer slice is a polyhedral and not necessarily simplicial complex in ; see the hexahedral regions in Fig. 5. Not surprisingly, there is a well-known dual, namely the degree-k Voronoi tessellation [10], which we denote . It refines the order-k Voronoi tessellation by decomposing its domains into maximal regions in which every point has the same k-th nearest point in X. Similarly, the degree-k tessellation refines the order- tessellation, and indeed is the superposition of and ; see Fig. 5. It can be constructed by projecting the k-th level in to . Without going into further details, we observe that this level contains every cell of the arrangement whose corresponding ordered three-partition, , satisfies and . We refer to the decomposition of by as .
Returning to the mosaics, there are natural piecewise linear maps from to and to . Specifically, we get by mapping the vertices dual to the regions decomposing to the vertex dual to . Symmetrically, we get . However, because such maps lead to complications in the persistence algorithm, we instead use the horizontal slabs of the rhomboid tiling to connect the mosaics via inclusions. To formally define them, write for the points in that lie on or between and . We define slab mosaics as intersections of such slabs with the rhomboid tiling. Analogously to , we also define radius-dependent subcomplexes of these slab mosaics, as well as of half-integer mosaics:
To simplify the notation, we fix r and write , , etc. The half-integer Delaunay mosaic includes in both slab mosaics, includes in the first and the second one; see Fig. 7.
We note an important difference between the two slabs: and are different convex subdivisions of the same space, , which implies that and have the same homotopy type. Indeed, this is also the homotopy type of , and there are natural deformation retractions to and . In contrast, and have generally different homotopy types, and there is a deformation retraction from to but not necessarily to ; see again Fig. 7. To remedy this deficiency, we introduce mosaics that contain and as subcomplexes. To construct them, we recall that is a convex refinement of , which implies that the polyhedra of intersect in convex sets. We let be the dual of this convex decomposition of the -fold cover. Since , we indeed have ; see Fig. 5. Furthermore, we let be the maximal subcomplex of whose boundary complexes at depths and are and . Clearly, is a subcomplex of , and because and are deformation retracts of , these three mosaics have the same homotopy type. We will use these relations shortly in the computation of the persistence diagram of the filtration of multi-covers (5).
Connecting the spaces To prepare the construction of the persistence and zigzag modules, we connect the multi-covers and the corresponding Delaunay mosaics with maps. Fixing and setting , as before, we consider the following diagram in which identities and homotopy equivalences are marked as such:
The top row stretches out the filtration by writing each multi-cover five times and connecting the copies with the identity. The remaining maps in this row are inclusions. The bottom row contains the slice mosaics at integer and half-integer depths, and connects them with inclusions, using slab mosaics as intermediaries. As argued above, the first five mosaics all have the same homotopy type, and the inclusion maps between them are homotopy equivalences.
To get the vertical map from to , we first construct the barycentric subdivision, , which is a simplicial complex. Each vertex represents a j-cell in , which is dual to a -dimensional Voronoi polyhedron, and we map u to the center of mass of the intersection of this polyhedron with the k-fold cover. By construction, this intersection is non-empty and convex, so it contains the center of mass in its interior. After mapping all vertices, we map the other simplices of by piecewise linear interpolation; see Fig. 8. The resulting map is injective, and since and have the same homotopy type, the map is a homotopy equivalence. Recall that is dual to , which is another convex decomposition of the k-fold cover. We therefore get the vertical map from to the same way, first constructing and second mapping the vertices to centers of mass. This is again a homotopy equivalence. Similarly, is dual to the convex decomposition of with . As before, we get the vertical map by sending the vertices of to centers of mass, but we distinguish between two cases. If a polyhedron of has a non-empty intersection with , we send the corresponding vertex of to the center of mass of this intersection. If, however, the intersection with is empty but the intersection with is non-empty, then we send the vertex to the center of mass of the latter. This ensures that the geometric embedding of is contained in the geometric embedding of .
To finally map the slab mosaics, we first deformation retract them to slice mosaics and then map them reusing the barycentric subdivisions. Here we make arbitrary choices, mapping to to and mapping to to . Note that all vertical maps are homotopy equivalences, as marked in the above diagram. We note that not all squares in the diagram of spaces commute. As we will see shortly, however, all squares commute after applying the homology functor, which suffices for our purposes.
Modules Applying the homology functor for a fixed coefficient field, we map all multi-covers and mosaics to vector spaces and all maps to homomorphisms (linear maps) between them. The top row of vector spaces with homomorphisms from left to right is referred to as a persistence module, and we denote it . The bottom row of vector spaces are connected by homomorphisms going from left to right or from right to left. This kind of structure is referred to as a zigzag module, and we denote it . The advantage of the zigzag over the persistence module is that its maps are induced by inclusions between complexes, which lend themselves to computations. Our goal, however, is to compute the persistence diagram of , and we do this by using as a proxy. The following result is therefore essential.
Lemma 4.1
(isomorphism of modules) Let be locally finite and in general position. Then the persistence diagrams of and of are the same for every .
Proof
Write for the vector spaces obtained by applying the homology functor to , etc. The goal is to show that the diagram of multi-covers and mosaics maps to a diagram of vector spaces in which all squares commute and most maps are isomorphisms:
To prove commutativity, we consider the five squares shown in the above diagram. The first square commutes already before applying the homology functor, and so does the third square. Similarly, the fifth square commutes because the image of in includes in the image of in .
The second and fourth squares do not commute before applying the homology functor, but we argue they do after applying the functor. The two cases are similar, so we focus on the fourth square. Recall that and are two convex decompositions of the same space, which is , and that is a refinement of . and are dual to these decompositions, with one or more vertices of corresponding to every one vertex of . When we map to to , the full subcomplex with these vertices is first contracted to the single vertex by the deformation retraction from to , and second it is mapped to the center of mass of the corresponding domain in . In contrast, when we map to directly, all these vertices map to different points in , but all these points lie in the interior of the same domain in . Indeed, the full subcomplex with these vertices is dual to a convex decomposition of this domain and therefore contractible. It follows that the fourth square of homomorphisms commutes. Similarly, the second square commutes, and therefore all squares commute.
Isomorphisms are reversible, so we can draw them from left to right in the bottom row of the diagram. The result are two parallel persistence modules whose vector spaces are connected by isomorphisms. The Persistence Equivalence Theorem of persistent homology [8, p. 159] implies that the two modules have the same persistence diagram.
Algorithm and running time We compute the persistence diagram of the filtration of multi-covers (5) using the zigzag algorithm generically described in [4] and explained in detail for inclusion maps in [5]. Its worst-case running time is cubic in the input size, which is the total number of cells in the mosaics. To count the cells, we assume a finite number of points in , . All cells are horizontal slices or horizontal slabs of rhomboids in . We therefore begin by counting the rhomboids or, equivalently, the cells in the dual hyperplane arrangement. These numbers are maximized when the n hyperplanes are in general position, and then they depend only on n and d. Observe first that for every , there are i-planes, each the common intersection of hyperplanes. There is one chamber for each plane, which implies that the number of chambers in the arrangement is
6 |
Indeed, the paraboloid used in the proof of Lemma 3.2 sweeps out the arrangement and encounters a new chamber whenever it first intersects one of the i-planes, for . The inequality on the right-hand side in (6) is easy to prove, by induction or otherwise. To count the i-cells in the arrangement, we observe that each i-plane carries an arrangement of -planes. We get the number of (i-dimensional) chambers in this arrangement from (6), and multiplying with the number of i-planes, we get the number of i-cells:
7 |
Writing , we get a -rhomboid in for every i-cell in the arrangement. In other words, (7) counts the -rhomboids in the rhomboid tiling. In particular, we have vertices in the tiling. For , the interior of every -rhomboid has a non-empty intersection with hyperplanes , in which is an integer. The -rhomboid thus contributes j-cells to the Delaunay mosaics and -prisms to the slab mosaics. Taking the sum over all dimensions, we get the total number of cells in the mosaics used in the construction of the zigzag module:
Taking the third power, we get an upper bound for the worst-case running time of the algorithm and thus the main result of this section.
Theorem 4.2
(multi-cover persistence) Let X be a set of n points in general position in . For every radius , the persistence diagram of the filtration of multi-covers with radius r can be computed in worst-case time .
Discussion
The main contribution of this paper is the introduction of the -dimensional rhomboid tiling of a locally finite set of points in . It is the underlying framework that facilitates the study of multi-covers with Euclidean balls and the computation of the persistence as we increase the radius or we decrease the depth of the coverage. The latter requires novel adaptations of the standard approach to persistence, which for n points in lead to an algorithm with worst-case running time . This compares favorably to naive solutions and the approach using Čech complexes [21], but it is not practical unless n and d are small. While the time-complexity is too high for the density analysis of large data sets, we see potential applications in the study of regular or semi-regular configurations that arise in the design and investigation of materials. With some modifications, our results extend to balls with different radii (points with weights), see [9], but the implied loss of intuitive appeal prevents us from discussing this generalization. In particular, Theorem 2.1 extends, and Theorem 4.2 holds without change, in this more general setting. There are a number of challenging questions raised by the work reported in this paper.
Instead of computing the persistence in scale and depth separately, it might be interesting to combine both to a concrete setting for 2-parameter persistence [18].
A set of n points in has some constant times ordered three-partitions defined by spheres. We cannot improve the worst-case time of our persistence in depth algorithm unless we avoid the enumeration of these partitions. Can this be done?
As proved in [1], for every locally finite , there is a locally finite with real weights such that the (order-1) weighted Voronoi tessellation of Y is the order-k Voronoi tessellation of X. However, growing balls uniformly with centers in X and growing them according to the weights with centers in Y gives different filtrations of the dual Delaunay mosaic. It would be interesting to quantify this difference by bounding the distance between the two persistence diagrams.
Funding
Open Access funding provided by the Institute of Science and Technology (IST Austria).
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.
Georg Osang, Email: gosang@ist.ac.at.
References
- 1.Aurenhammer F. A new duality result concerning Voronoi diagrams. Discrete Comput. Geom. 1990;5(3):243–254. doi: 10.1007/BF02187788. [DOI] [Google Scholar]
- 2.Aurenhammer F, Schwarzkopf O. A simple on-line randomized incremental algorithm for computing higher order Voronoi diagrams. Int. J. Comput. Geom. Appl. 1992;2(4):363–381. doi: 10.1142/S0218195992000214. [DOI] [Google Scholar]
- 3.Bauer U, Edelsbrunner H. The Morse theory of Čech and Delaunay complexes. Trans. Am. Math. Soc. 2017;369(5):3741–3762. doi: 10.1090/tran/6991. [DOI] [Google Scholar]
- 4.Carlsson G, de Silva V. Zigzag persistence. Found. Comput. Math. 2010;10(4):367–405. doi: 10.1007/s10208-010-9066-0. [DOI] [Google Scholar]
- 5.Carlsson, G., de Silva, V., Morozov, D.: Zigzag persistent homology and real-valued functions. In: 25th Annual Symposium on Computational Geometry (Aarhus 2009), pp. 247–256. ACM, New York (2009)
- 6.Chazal F, Cohen-Steiner D, Mérigot Q. Geometric inference for probability measures. Found. Comput. Math. 2011;11(6):733–751. doi: 10.1007/s10208-011-9098-0. [DOI] [Google Scholar]
- 7.Edelsbrunner H. Algorithms in Combinatorial Geometry. EATCS Monographs on Theoretical Computer Science. Berlin: Springer; 1987. [Google Scholar]
- 8.Edelsbrunner H, Harer JL. Computational Topology. An Introduction. Providence: American Mathematical Society; 2010. [Google Scholar]
- 9.Edelsbrunner, H., Nikitenko, A., Osang, G.: A step in the weighted Delaunay mosaic of order . J. Geom. (to appear) [DOI] [PMC free article] [PubMed]
- 10.Edelsbrunner H, Seidel R. Voronoi diagrams and arrangements. Discrete Comput. Geom. 1986;1(1):25–44. doi: 10.1007/BF02187681. [DOI] [Google Scholar]
- 11.Fejes Tóth G. Multiple packing and covering of the plane with circles. Acta Math. Acad. Sci. Hung. 1976;27(1–2):135–140. doi: 10.1007/BF01896768. [DOI] [Google Scholar]
- 12.Forman R. Morse theory for cell complexes. Adv. Math. 1998;134(1):90–145. doi: 10.1006/aima.1997.1650. [DOI] [Google Scholar]
- 13.Freij R. Equivariant discrete Morse theory. Discrete Math. 2009;309(12):3821–3829. doi: 10.1016/j.disc.2008.10.029. [DOI] [Google Scholar]
- 14.Guibas L, Morozov D, Mérigot Q. Witnessed -distance. Discrete Comput. Geom. 2013;49(1):22–45. doi: 10.1007/s00454-012-9465-x. [DOI] [Google Scholar]
- 15.Krasnoshchekov D, Polishchuk V. Order--hulls and -shapes. Inf. Process. Lett. 2014;114(1–2):76–83. doi: 10.1016/j.ipl.2013.07.023. [DOI] [Google Scholar]
- 16.Lee DT. On -nearest neighbor Voronoi diagrams in the plane. IEEE Trans. Comput. 1982;31(6):478–487. [Google Scholar]
- 17.Leray J. Sur la forme des espaces topologiques et sur les points fixes des représentations. J. Math. Pures Appl. 1945;24:95–167. [Google Scholar]
- 18.Lesnick, M., Wright, M.: Interactive visualization of 2-D persistence modules (2015). arXiv:1512.00180
- 19.Mulmuley, K.: Output sensitive construction of levels and Voronoi diagrams in of order to . In: 22nd Annual ACM Symposium on Theory of Computing (Baltimore 1990), pp. 322–330. ACM, New York (1990)
- 20.Shamos, M.I., Hoey, D.: Closest-point problems. In: 16th Annual Symposium on Foundations of Computer Science (Berkeley 1975), pp. 151–162. IEEE Computer Society, Long Beach (1975)
- 21.Sheehy, D.R.: A multi-cover nerve for geometric inference. In: 24th Canadian Conference on Computational Geometry (Charlottetown 2012), pp. 309–314. https://2012.cccg.ca/e-proceedings.pdf