Algebraic Stability of Zigzag Persistence Modules

Abstract

The stability theorem for persistent homology is a central result in topological data analysis. While the original formulation of the result concerns the persistence barcodes of $\mathbb{R}$-valued functions, the result was later cast in a more general algebraic form, in the language of \emph{persistence modules} and \emph{interleavings}. In this paper, we establish an analogue of this algebraic stability theorem for zigzag persistence modules. To do so, we functorially extend each zigzag persistence module to a two-dimensional persistence module, and establish an algebraic stability theorem for these extensions. One part of our argument yields a stability result for free two-dimensional persistence modules. As an application of our main theorem, we strengthen a result of Bauer et al. on the stability of the persistent homology of Reeb graphs. Our main result also yields an alternative proof of the stability theorem for level set persistent homology of Carlsson et al.

Minor edits and added discussion of related work

References in corpus (3)

• Interactive Visualization of 2-D Persistence Modules
• Stability of higher-dimensional interval decomposable persistence modules
• The structure and stability of persistence modules

Cited by in corpus (22)

• Generalized Persistence Diagrams for Persistence Modules over Posets
• Spatio-temporal Persistent Homology for Dynamic Metric Spaces
• 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
• Topological spaces of persistence modules and their properties
• On the stability of multigraded Betti numbers and Hilbert functions
• Universality of persistence diagrams and the bottleneck and Wasserstein distances
• Generalized Persistence Algorithm for Decomposing Multi-parameter Persistence Modules
• Elder-Rule-Staircodes for Augmented Metric Spaces
• A family of metrics from the truncated smoothing of Reeb graphs
• A derived isometry theorem for constructible sheaves on $\mathbb{R}$
• Fock space representation of the circle quantum group
• Multi-Parameter Persistence Modules are Generically Indecomposable
• Rectangular Approximation and Stability of $2$-parameter Persistence Modules
• Towards the prediction of critical transitions in spatially extended populations with cubical homology
• Topological and metric properties of spaces of generalized persistence diagrams
• Local Equivalence of Metrics for Multiparameter Persistence Modules
• Reeb Graph Metrics from the Ground Up
• ${\ell }^p$-Distances on Multiparameter Persistence Modules
• Local Versus Global Distances for Zigzag Persistence Modules
• Multi-parameter Module Approximation: an efficient and interpretable invariant for multi-parameter persistence modules with guarantees