The Theory of the Interleaving Distance on Multidimensional Persistence Modules

Abstract

In 2009, Chazal et al. introduced $\epsilon$-interleavings of persistence modules. $\epsilon$-interleavings induce a pseudometric $d_I$ on (isomorphism classes of) persistence modules, the interleaving distance. The definitions of $\epsilon$-interleavings and $d_I$ generalize readily to multidimensional persistence modules. In this paper, we develop the theory of multidimensional interleavings, with a view towards applications to topological data analysis. We present four main results. First, we show that on 1-D persistence modules, $d_I$ is equal to the bottleneck distance $d_B$. This result, which first appeared in an earlier preprint of this paper, has since appeared in several other places, and is now known as the isometry theorem. Second, we present a characterization of the $\epsilon$-interleaving relation on multidimensional persistence modules. This expresses transparently the sense in which two $\epsilon$-interleaved modules are algebraically similar. Third, using this characterization, we show that when we define our persistence modules over a prime field, $d_I$ satisfies a universality property. This universality result is the central result of the paper. It says that $d_I$ satisfies a stability property generalizing one which $d_B$ is known to satisfy, and that in addition, if $d$ is any other pseudometric on multidimensional persistence modules satisfying the same stability property, then $d\le d_I$. We also show that a variant of this universality result holds for $d_B$, over arbitrary fields. Finally, we show that $d_I$ restricts to a metric on isomorphism classes of finitely presented multidimensional persistence modules.

Major revision; exposition improved throughout. To appear in Foundations of Computational Mathematics. 36 pages

References in corpus (5)

• Metrics for generalized persistence modules
• Sheaves, Cosheaves and Applications
• Categorification of persistent homology
• Multidimensional Interleavings and Applications to Topological Inference
• The structure and stability of persistence modules

Cited by in corpus (80)

• Metrics for generalized persistence modules
• Interactive Visualization of 2-D Persistence Modules
• Generalized Persistence Diagrams
• Algebraic Stability of Zigzag Persistence Modules
• The persistence landscape and some of its properties
• Generalized Persistence Diagrams for Persistence Modules over Posets
• Induced Matchings and the Algebraic Stability of Persistence Barcodes
• Multidimensional Persistence and Noise
• Spatio-temporal Persistent Homology for Dynamic Metric Spaces
• Approximating Continuous Functions on Persistence Diagrams Using Template Functions
• Ephemeral persistence modules and distance comparison
• Multidimensional Interleavings and Applications to Topological Inference
• Computing Bottleneck Distance for Multi-parameter Interval Decomposable Persistence Modules
• A Brief History of Persistence
• Persistence Diagrams as Diagrams: A Categorification of the Stability Theorem
• Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The Filling Radius
• Bottleneck Stability for Generalized Persistence Diagrams
• Topological spaces of persistence modules and their properties
• The Reeb Graph Edit Distance is Universal
• On the stability of multigraded Betti numbers and Hilbert functions
• Interleaving and Gromov-Hausdorff distance
• Homological Algebra for Persistence Modules
• Universality of persistence diagrams and the bottleneck and Wasserstein distances
• Persistent Magnitude
• Generalized Persistence Algorithm for Decomposing Multi-parameter Persistence Modules
• Higher interpolation and extension for persistence modules
• On the bottleneck stability of rank decompositions of multi-parameter persistence modules
• Computing Wasserstein Distance for Persistence Diagrams on a Quantum Computer
• Elder-Rule-Staircodes for Augmented Metric Spaces
• Exact weights, path metrics, and algebraic Wasserstein distances
• Capturing Dynamics of Time-Varying Data via Topology
• Positivity of Multiparameter Persistence Diagrams and Bottleneck Stability
• Stable Invariants for Multiparameter Persistence
• Essential graded algebra over polynomial rings with real exponents
• A family of metrics from the truncated smoothing of Reeb graphs
• A derived isometry theorem for constructible sheaves on $\mathbb{R}$
• Global dimension of real-exponent polynomial rings
• Primary decomposition over partially ordered groups
• Metric Geometry of Spaces of Persistence Diagrams
• The Persistent Topology of Optimal Transport Based Metric Thickenings
• Lifespan Functors and Natural Dualities in Persistent Homology
• Universal Distances for Extended Persistence
• Modules over posets: commutative and homological algebra
• Topological Persistence in Geometry and Analysis
• Sketches of a platypus: persistent homology and its algebraic foundations
• The Fiber of the Persistence Map for Functions on the Interval
• Metric Limits in Categories with a Flow
• A Primer on Persistent Homology of Finite Metric Spaces
• Landscapes of data sets and functoriality of persistent homology
• Rectification of interleavings and a persistent Whitehead theorem
• Stable Volumes for Persistent Homology
• Rectangular Approximation and Stability of $2$-parameter Persistence Modules
• Persistence modules, symplectic Banach-Mazur distance and Riemannian metrics
• $A_{\infty }$ persistent homology estimates the topology from pointcloud datasets
• Multi-Parameter Persistence Modules are Generically Indecomposable
• A property of the interleaving distance for sheaves
• The coherent matching distance in 2D persistent homology
• Stable resolutions of multi-parameter persistence modules
• Local Equivalence of Metrics for Multiparameter Persistence Modules
• On the complexity of zero-dimensional multiparameter persistence
• Geometry of the matching distance for 2D filtering functions
• Exact multi-parameter persistent homology of time-series data: Fast and variable topological inferences
• The Shift-Dimension of Multipersistence Modules
• A stability theorem for bigraded persistence barcodes
• Harder-Narasimhan Filtrations of Persistence Modules
• Stability for Inference with Persistent Homology Rank Functions
• Comparison of Persistent Homologies for Vector Functions: from continuous to discrete and back
• Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology
• ${\ell }^p$-Distances on Multiparameter Persistence Modules
• Reeb Graph Metrics from the Ground Up
• Multi-parameter Module Approximation: an efficient and interpretable invariant for multi-parameter persistence modules with guarantees
• Distributions of Matching Distances in Topological Data Analysis
• A Topological Study of Functional Data and Fréchet Functions of Metric Measure Spaces
• Bounding the Interleaving Distance for Mapper Graphs with a Loss Function
• Piecewise linear sheaves
• Stability and Extension of Steady and Ranging Persistence
• Biparametric persistence for smooth filtrations
• A Topological Approach to Inferring the Intrinsic Dimension of Convex Sensing Data
• Local Versus Global Distances for Zigzag Persistence Modules
• Tracking the variety of interleavings