The Multi-Cover Persistence of Euclidean Balls

• DOI: 10.1007/s00454-021-00281-9
• Publication Date: 2021-03-31T15:03:00Z
• Authors: Herbert Edelsbrunner; Georg Osang
• Keywords: 000 Computer science, knowledge, general works; 516; hyperplane arrangements; Computer Science; ddc:004; zigzag modules; discrete Morse theory; Delaunay mosaics; persistent homology; Article; 004

AbstractGiven a locally finite $$X \subseteq {{{\mathbb {R}}}}^d$$

X ⊆

R

d

and a radius $$r \ge 0$$

r ≥ 0

, the k-fold cover of X and r consists of all points in $${{{\mathbb {R}}}}^d$$

R

d

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 $${{{\mathbb {R}}}}^{d+1}$$

R

d + 1

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.