Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The Filling Radius

Abstract

In the applied algebraic topology community, the persistent homology induced by the Vietoris-Rips simplicial filtration is a standard method for capturing topological information from metric spaces. In this paper, we consider a different, more geometric way of generating persistent homology of metric spaces which arises by first embedding a given metric space into a larger space and then considering thickenings of the original space inside this ambient metric space. In the course of doing this, we construct an appropriate category for studying this notion of persistent homology and show that, in a category theoretic sense, the standard persistent homology of the Vietoris-Rips filtration is isomorphic to our geometric persistent homology provided that the ambient metric space satisfies a property called injectivity. As an application of this isomorphism result we are able to precisely characterize the type of intervals that appear in the persistence barcodes of the Vietoris-Rips filtration of any compact metric space and also to give succinct proofs of the characterization of the persistent homology of products and metric gluings of metric spaces. Our results also permit proving several bounds on the length of intervals in the Vietoris-Rips barcode by other metric invariants. Finally, as another application, we connect this geometric persistent homology to the notion of filling radius of manifolds introduced by Gromov \cite{G07} and show some consequences related to (1) the homotopy type of the Vietoris-Rips complexes of spheres which follow from work of M.~Katz and (2) characterization (rigidity) results for spheres in terms of their Vietoris-Rips persistence barcodes which follow from work of F.~Wilhelm.

arXiv commentWe added Remark 9.8

References in corpus (13)

• The Theory of the Interleaving Distance on Multidimensional Persistence Modules
• The Vietoris-Rips complexes of a circle
• 1-Dimensional Intrinsic Persistence of Geodesic Spaces
• Rips complexes as nerves and a Functorial Dowker-Nerve Diagram
• Continuation of Point Clouds via Persistence Diagrams
• On Vietoris-Rips complexes of ellipses
• Linear bounds for constants in Gromov's systolic inequality and related results
• The Gromov-Hausdorff distance between spheres
• Geometric Approaches on Persistent Homology
• Structure of semi-continuous q-tame persistence modules
• Metric Graph Approximations of Geodesic Spaces
• Topological representation of the geometry of metric spaces
• Operations on Metric Thickenings

Cited by in corpus (11)

• The Gromov-Hausdorff distance between spheres
• Footprints of geodesics in persistent homology
• Geometric Approaches on Persistent Homology
• Evaluating the Disentanglement of Deep Generative Models through Manifold Topology
• Approximate and discrete Euclidean vector bundles
• Persistent Homotopy Groups of Metric Spaces
• Generalized $\theta$-Parametric Metric Spaces: Fixed Point Theorems and Applications to Fractional Economic Models
• Exact multi-parameter persistent homology of time-series data: Fast and variable topological inferences
• Operations on Metric Thickenings
• Curvature bounds of subsets in dimension two
• Geometric Bounds for Persistence