Metrics for Generalized Persistence Modules

@article{Bubenik2015MetricsFG,
  title={Metrics for Generalized Persistence Modules},
  author={Peter Bubenik and Vin de Silva and Jonathan A. Scott},
  journal={Foundations of Computational Mathematics},
  year={2015},
  volume={15},
  pages={1501-1531}
}
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
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
TLDR
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
TLDR
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.
Higher Interpolation and Extension for Persistence Modules
TLDR
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
Erosion distance for generalized persistence modules
The persistence diagram of Cohen-Steiner, Edelsbrunner, and Harer was recently generalized by Patel to the case of constructible persistence modules with values in a symmetric monoidal category with
Categorification of Persistent Homology
TLDR
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 representation theorem of persistence revisited and generalized
TLDR
This work gives a more accurate statement of the original Representation Theorem and provides a complete and self-contained proof and generalizes the statement from the case of linear sequences of R- modules to R-modules indexed over more general monoids.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 37 REFERENCES
Categorification of Persistent Homology
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
Zigzag persistent homology and real-valued functions
TLDR
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
TLDR
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.
Topological persistence and simplification
TLDR
A notion of topological simplification is formalized within the framework of a filtration, which is the history of a growing complex, and a topological change that happens during growth is classified as either a feature or noise, depending on its life-time or persistence within the filTration.
...
1
2
3
4
...