Multicover bifiltration explained

The multicover bifiltration is a two-parameter sequence of nested topological spaces derived from the covering of a finite set in a metric space by growing metric balls. It is a multidimensional extension of the offset filtration that captures density information about the underlying data set by filtering the points of the offsets at each index according to how many balls cover each point.^[1] The multicover bifiltration has been an object of study within multidimensional persistent homology and topological data analysis.^{[2] [3] [4] [5] [6] [7]}

Definition

Following the notation of Corbet et al. (2022), given a finite set

A\subset R ^{d} , the multicover bifiltration on A is a two-parameter filtration indexed by R x N ^{op} defined index-wise as \operatorname{Cov} _{r,k} : = \{b \in R ^{d} : ||b - a|| \leq r foratleast k points a\in A\} , where N denotes the non-negative integers.^[8] Note that when k =1 is fixed we recover the Offset Filtration.

Properties

The multicover bifiltration admits a topologically equivalent polytopal model of polynomial size, called the "rhomboid bifiltration." The rhomboid bifiltration is an extension of the rhomboid tiling introduced by Edelsbrunner and Osang in 2021 for computing the persistent homology of the multicover bifiltration along one axis of the indexing set. The rhomboid bifiltration on a set of

n points in a Euclidean space can be computed in polynomial time.

The multicover bifiltration is also topologically equivalent to a multicover nerve construction due to Sheehy called the subdivision-Čech bifiltration, which considers the barycentric subdivision on the nerve of the offsets.^[9] In particular, the subdivision-Čech and multicover bifiltrations are weakly equivalent, and hence have isomorphic homology modules in all dimensions. However, the subdivision-Čech bifiltration has an exponential number of simplices in the size of the data set, and hence is not amenable to efficient direct computations.

References

1. Botnan . Magnus Bakke . Lesnick . Michael . 2022 . An Introduction to Multiparameter Persistence . 26 . math.AT . 2203.14289.
2. Edelsbrunner . Herbert . Osang . Georg . 2021 . The Multi-Cover Persistence of Euclidean Balls . Discrete & Computational Geometry . en . 65 . 4 . 1296–1313 . 10.1007/s00454-021-00281-9 . 0179-5376 . 8550220 . 34720303.
3. Corbet . René . Kerber . Michael . Lesnick . Michael . Osang . Georg . 2023-02-20 . Computing the Multicover Bifiltration . Discrete & Computational Geometry . en . 10.1007/s00454-022-00476-8 . 0179-5376. 2103.07823 .
4. Blumberg . Andrew J. . Lesnick . Michael . 2022-10-17 . Stability of 2-Parameter Persistent Homology . Foundations of Computational Mathematics . en . 10.1007/s10208-022-09576-6 . 2010.09628 . 224705357 . 1615-3375.
5. Botnan . Magnus B. . Hirsch . Christian . 2022-12-22 . On the consistency and asymptotic normality of multiparameter persistent Betti numbers . Journal of Applied and Computational Topology . en . 10.1007/s41468-022-00110-9 . 2109.05513 . 237491663 . 2367-1726.
6. Kerber . Michael . 2022-07-29 . Multi-Parameter Persistent Homology is Practical (Extended Abstract) . en.
7. Corbet . Rene . 2020 . Improvements to the Pipeline of Multiparameter Persistence .
8. Corbet . René . Kerber . Michael . Lesnick . Michael . Osang . Georg . 2023-02-20 . Computing the Multicover Bifiltration . Discrete & Computational Geometry . en . 10.1007/s00454-022-00476-8 . 0179-5376. 2103.07823 .
9. D. R. Sheehy, “A multicover nerve for geometric inference,” in CCCG: Canadian conference in computational geometry, 2012.