A persistence object of a category is a functor from a poset, often a Cartesian product of linear orders, to . This is a concept with an attitude: One calls such functors “persistence objects” when one is interested in determining their persistence diagrams or other measures of “persistence” as used in topological data analysis.
The main example in this context arises when is a category of vector spaces or more generally a category of modules, in which case one speaks of persistence modules as used in persistent homology. Alternatively, could be a category of groups, such as homotopy groups, or even of full homotopy types, which is the case of interest in persistent homotopy.
When the indexing poset is the poset of real numbers or, more generally, a product of copies of the poset of real numbers, the collection of persistent objects of a fixed category admits a distance called the interleaving distance, which, informally, measures how isomorphic any two persistence objects are.
The key property which one will typically demand of a good theory of persistence objects is a notion of persistence diagrams (measuring “how persistent” a given persistence object is) which is stable with respect to interleaving distance.
Let be a partially ordered set, seen as a category, and let be a category. A -persistent object of is a functor . The category of -persistent objects of is the functor category .
Let be the poset of real numbers with its standard order, and let be a fixed category. Let be a persistent object of , and let . The -shift of is the persistent object such that, for all we have , and for all , the structure morphism is equal to the structure morphism . The -shift construction gives a functor . Note that the structure morphisms of give a natural transformation .
An -interleaving between and consists of natural transformations and such that and .
As an example, note that a -interleaving is precisely an isomorphism in the category .
The interleaving distance between persistent objects is
Let denote the poset of real numbers with its standard order, and let denote the category of vector spaces over a fixed field . The -persistent objects of are known as persistence modules, and are a central object of study in topological data analysis.
Let be a natural number. Persistent objects of the form are known as multiparameter persistence modules.
Let denote the poset of non-negative real numbers with its standard order, and let denote the category of sets. The -persistent objects of are known as persistent sets.
The terminology “persistence object” is used for instance in
General category theoretic discussion of persistence objects (not using that terminology, though):
Peter Bubenik, Jonathan Scott Categorification of Persistent Homology, Discrete & Computational Geometry 51 (2014) 600-627 [doi:10.1007/s00454-014-9573-x]
Francesca Cagliari, Massimo Ferri & Paola Pozzi. Size Functions from a Categorical Viewpoint, Acta Applicandae Mathematica, 2001.
Original references on multiparameter persistent homotopy groups and multiparameter persistence modules:
P. Frosini, M. Mulazzani. Size homotopy groups for computation of natural size distances, Bulletin of the Belgian Mathematical Society Simon Stevin, 1999.
G. Carlsson, A. Zomorodian. The theory of multidimensional persistence, Discrete and Computational Geometry, 2009.
Survey on multiparameter persistent homology:
Last revised on July 17, 2022 at 05:30:16. See the history of this page for a list of all contributions to it.