Metrics for Generalized Persistence Modules

  title={Metrics for Generalized Persistence Modules},
  author={Peter Bubenik and Vin de Silva and Jonathan A. Scott},
  journal={Foundations of Computational Mathematics},
We consider the question of defining interleaving metrics on generalized persistence modules over arbitrary preordered sets. Our constructions are functorial, which implies a form of stability for these metrics. We describe a large class of examples, inverse-image persistence modules, which occur whenever a topological space is mapped to a metric space. Several standard theories of persistence and their stability can be described in this framework. This includes the classical case of… 
An Isometry Theorem for Generalized Persistence Modules
In recent work, generalized persistence modules have proved useful in distinguishing noise from the legitimate topological features of a data set. Algebraically, generalized persistence modules can
Generalized persistence and graded structures
We investigate the correspondence between generalized persistence modules and graded modules in the case the indexing set has a monoid action. We introduce the notion of an action category over a
Multiparameter persistent homology via generalized Morse theory
We define a class of multiparameter persistence modules that arise from a one-parameter family of functions on a topological space and prove that these persistence modules are stable. We show that
Wasserstein distance for generalized persistence modules and abelian categories
In persistence theory and practice, measuring distances between modules is central. The Wasserstein distances are the standard family of L^p distances for persistence modules. They are defined in a
Homological Algebra for Persistence Modules
It is shown that the graded module point of view produces a closed symmetric monoidal category that is enriched over itself, and a Gabriel–Popescu theorem for persistence modules is given.
Topological spaces of persistence modules and their properties
This work considers various classes of persistence modules, including many of those that have been previously studied, and describes the relationships between them, and undertake a systematic study of the resulting topological spaces and their basic topological properties.
Diagrams of Persistence Modules Over Finite Posets
Starting with a persistence module – a functor M : P → Veck for some finite poset P – we seek to assign to M an invariant capturing meaningful information about the peristence module. This is often
Higher Interpolation and Extension for Persistence Modules
A coherence criterion is isolated which guarantees the extensibility of non-expansive maps into this space of persistence modules across embeddings of the domain to larger ambient metric spaces, allowing Kan extensions to provide the desired extensions.
A comparison framework for interleaved persistence modules
We present a generalization of the induced matching theorem of as reported by Bauer and Lesnick (in: Proceedings of the thirtieth annual symposium computational geometry 2014) and use it to prove a
Convolution of Persistence Modules
We conduct a study of real-valued multi-parameter persistence modules as sheaves and cosheaves. Using the recent work on the homological algebra for persistence modules, we define two different


Categorification of Persistent Homology
This work redevelops persistent homology (topological persistence) from a categorical point of view and gives a natural construction of a category of ε-interleavings of $\mathbf {(\mathbb {R},\leq)}$-indexed diagrams in some target category and shows that if the target category is abelian, so is this category of interleavments.
The theory of multidimensional persistence
This paper proposes the rank invariant, a discrete invariant for the robust estimation of Betti numbers in a multifiltration, and proves its completeness in one dimension.
Topological Persistence for Circle-Valued Maps
A finite collection of computable invariants are provided which answer the basic questions on persistence and in addition encode the topology of the source space and its relevant subspaces with these invariants.
The Structure and Stability of Persistence Modules
This book is a comprehensive treatment of the theory of persistence modules over the real line. It presents a set of mathematical tools to analyse the structure and to establish the stability of such
Proximity of persistence modules and their diagrams
This paper presents new stability results that do not suffer from the restrictions of existing stability results, and makes it possible to compare the persistence diagrams of functions defined over different spaces, thus enabling a variety of new applications of the concept of persistence.
Extending Persistence Using Poincaré and Lefschetz Duality
An algebraic formulation is given that extends persistence to essential homology for any filtered space, an algorithm is presented to calculate it, and how it aids the ability to recognize shape features for codimension 1 submanifolds of Euclidean space is described.
Stability of persistence diagrams
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the persistence diagram
Computing persistent homology
The homology of a filtered d-dimensional simplicial complex K is studied as a single algebraic entity and a correspondence is established that provides a simple description over fields that enables a natural algorithm for computing persistent homology over an arbitrary field in any dimension.
Zigzag persistent homology and real-valued functions
The algorithmic results provide a way to compute zigzag persistence for any sequence of homology groups, but combined with the structural results give a novel algorithm for computing extended persistence that is easily parallelizable and uses (asymptotically) less memory.
Persistent homology for kernels, images, and cokernels
The notion of persistent homology is extended to sequences of kernels, images, and cokernels of maps induced by inclusions in a filtration of pairs of spaces and it is proved that the persistence diagrams are stable.