nLab persistence object

Redirected from "persistence objects".
Contents

Contents

Idea

A persistence object of a category CC is a functor from a poset, often a Cartesian product of linear orders, to CC. 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 CC 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, CC 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 CC 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.

Definitions

Let PP be a partially ordered set, seen as a category, and let CC be a category. A PP-persistent object of CC is a functor PCP \to C. The category of PP-persistent objects of CC is the functor category C PC^P.

Let (,)(\mathbb{R}, \leq) be the poset of real numbers with its standard order, and let CC be a fixed category. Let X:CX : \mathbb{R} \to C be a persistent object of CC, and let ϵ0\epsilon \geq 0 \in \mathbb{R}. The ϵ\epsilon-shift of XX is the persistent object X[ϵ]:CX[\epsilon] : \mathbb{R} \to C such that, for all rr \in \mathbb{R} we have X[ϵ](r)=X(r+ϵ)X[\epsilon](r) = X(r+\epsilon), and for all rsr \leq s \in \mathbb{R}, the structure morphism X[ϵ](r)X[ϵ](s)X[\epsilon](r) \to X[\epsilon](s) is equal to the structure morphism X(r+ϵ)X(s+ϵ)X(r+\epsilon) \to X(s+\epsilon). The ϵ\epsilon-shift construction gives a functor ()[ϵ]:C C (-)[\epsilon] : C^\mathbb{R} \to C^\mathbb{R}. Note that the structure morphisms of XX give a natural transformation η ϵ X:XX[ϵ]\eta^X_\epsilon : X \to X[\epsilon].

An ϵ\epsilon-interleaving between XX and YY consists of natural transformations f:XY[ϵ]f : X \to Y[\epsilon] and g:YX[ϵ]g : Y \to X[\epsilon] such that g[ϵ]f=η 2ϵ Xg[\epsilon] \circ f = \eta^X_{2\epsilon} and f[ϵ]g=η 2ϵ Yf[\epsilon] \circ g = \eta^Y_{2\epsilon}.

As an example, note that a 00-interleaving is precisely an isomorphism in the category C C^\mathbb{R}.

The interleaving distance between persistent objects X,YC X, Y \in C^{\mathbb{R}} is

d I(X,Y)=inf({ϵ0:XandYareϵ-interleaved}{}). d_I(X,Y) = inf\; \big( \big\{\epsilon \geq 0 \;:\; X \;\text{and}\; Y\;\text{are}\; \epsilon\text{-interleaved}\;\big\} \cup \{ \infty \} \big).

Examples

Let (,)(\mathbb{R}, \leq) denote the poset of real numbers with its standard order, and let Vect kVect_k denote the category of vector spaces over a fixed field kk. The \mathbb{R}-persistent objects of Vect kVect_k are known as persistence modules, and are a central object of study in topological data analysis.

Let n2n \geq 2 be a natural number. Persistent objects of the form nVect k\mathbb{R}^n \to Vect_k are known as multiparameter persistence modules.

Let 0\mathbb{R}_{\geq 0} denote the poset of non-negative real numbers with its standard order, and let SetSet denote the category of sets. The 0\mathbb{R}_{\geq 0}-persistent objects of SetSet are known as persistent sets.

References

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:

  • Magnus Bakke Botnan, Michael Lesnick. An Introduction to Multiparameter Persistence. (arXiv:2203.14289)

Last revised on July 17, 2022 at 05:30:16. See the history of this page for a list of all contributions to it.