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]
![](http://up.wiki.x.io/wikipedia/commons/thumb/5/51/Example_of_the_Multicover_Bifiltration.webp/260px-Example_of_the_Multicover_Bifiltration.webp.png)
Definition
editFollowing the notation of Corbet et al. (2022), given a finite set , the multicover bifiltration on is a two-parameter filtration indexed by defined index-wise as , where denotes the non-negative integers.[8] Note that when is fixed we recover the Offset Filtration.
Properties
editThe multicover bifiltration admits a topologically equivalent polytopal model of polynomial size, called the "rhomboid bifiltration."[8] 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.[2] The rhomboid bifiltration on a set of points in a Euclidean space can be computed in polynomial time.[8]
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.[4] 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.[8]
References
edit- ^ Botnan, Magnus Bakke; Lesnick, Michael (2022). "An Introduction to Multiparameter Persistence". p. 26. arXiv:2203.14289 [math.AT].
- ^ a b Edelsbrunner, Herbert; Osang, Georg (2021). "The Multi-Cover Persistence of Euclidean Balls". Discrete & Computational Geometry. 65 (4): 1296–1313. doi:10.1007/s00454-021-00281-9. ISSN 0179-5376. PMC 8550220. PMID 34720303.
- ^ Corbet, René; Kerber, Michael; Lesnick, Michael; Osang, Georg (2023-02-20). "Computing the Multicover Bifiltration". Discrete & Computational Geometry. arXiv:2103.07823. doi:10.1007/s00454-022-00476-8. ISSN 0179-5376.
- ^ a b Blumberg, Andrew J.; Lesnick, Michael (2022-10-17). "Stability of 2-Parameter Persistent Homology". Foundations of Computational Mathematics. arXiv:2010.09628. doi:10.1007/s10208-022-09576-6. ISSN 1615-3375. S2CID 224705357.
- ^ 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. arXiv:2109.05513. doi:10.1007/s41468-022-00110-9. ISSN 2367-1726. S2CID 237491663.
- ^ Kerber, Michael (2022-07-29). "Multi-Parameter Persistent Homology is Practical (Extended Abstract)".
{{cite journal}}
: Cite journal requires|journal=
(help) - ^ Corbet, Rene (2020). "Improvements to the Pipeline of Multiparameter Persistence".
{{cite journal}}
: Cite journal requires|journal=
(help) - ^ a b c d Corbet, René; Kerber, Michael; Lesnick, Michael; Osang, Georg (2023-02-20). "Computing the Multicover Bifiltration". Discrete & Computational Geometry. arXiv:2103.07823. doi:10.1007/s00454-022-00476-8. ISSN 0179-5376.
- ^ D. R. Sheehy, “A multicover nerve for geometric inference,” in CCCG: Canadian conference in computational geometry, 2012.