Multidimensional persistent homology is stable

  title={Multidimensional persistent homology is stable},
  author={Andrea Cerri and Barbara Di Fabio and Massimo Ferri and Patrizio Frosini and Claudia Landi},
  journal={arXiv: Algebraic Topology},
Multidimensional persistence studies topological features of shapes by analyzing the lower level sets of vector-valued functions. The rank invariant completely determines the multidimensional analogue of persistent homology groups. We prove that multidimensional rank invariants are stable with re- spect to function perturbations. More precisely, we construct a distance be- tween rank invariants such that small changes of the function imply only small changes of the rank invariant. This result… 

Figures from this paper

Invariance properties of the multidimensional matching distance in Persistent Topology and Homology

This paper shows that the multidimensional matching distance is actually invariant with respect to such a choice, and formally depends on a subset of $\R^n\times-valued filtering functions inducing a parameterization of these half-planes.

Finiteness of rank invariants of multidimensional persistent homology groups

Stable Comparison of Multidimensional Persistent Homology Groups with Torsion

A pseudo-distance dT is introduced that represents a possible solution to the present lack of a stable method to compare persistent homology groups with torsion, and the main theorem proves the stability of the new pseudo- distance with respect to the change of the filtering function.

Stability of multidimensional persistent homology with respect to domain perturbations

It is shown that by encoding sets using the distance function, the multidimensional matching distance between rank invariants of persistent homology groups is always upperly bounded by the Hausdorff distance between sets.

Biparametric persistence for smooth filtrations

The goal of this note is to define biparametric persistence diagrams for smooth generic mappings h = (f,g) : M → V ∼ = R for smooth compact manifoldM. Existing approaches to multivariate persistence

Estimating Multidimensional Persistent Homology Through a Finite Sampling

It is shown that, under suitable density conditions, it is possible to estimate the multidimensional persistent Betti numbers of X from the ones of a union of balls centered on the sample points; this even yields the exact value in restricted areas of the domain.

A new approximation Algorithm for the Matching Distance in Multidimensional Persistence

This paper proposes a new computational framework to deal with the multidimensional matching distance, by proving some new theoretical results and using them to formulate an algorithm for computing such a distance up to an arbitrary threshold error.

Persistence and Computation of the Cup Product

In this paper we discuss the computation of the cup product for the cohomology of a finite simplicial complex over a field. Working with the theory of persistent (co)homology, we study an algebraic

A Mayer–Vietoris Formula for Persistent Homology with an Application to Shape Recognition in the Presence of Occlusions

It is shown that persistence diagrams are able to recognize an occluded shape by showing a common subset of points and a Mayer–Vietoris formula involving the ranks of the persistent homology groups of X, A, B, and A∩B plus three extra terms is obtained.

Sketches of a platypus: persistent homology and its algebraic foundations

The various choices in use, and what they allow us to prove are examined, and the inherent differences between the choices people use are discussed, and potential directions of research are speculated on.



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.

One-dimensional reduction of multidimensional persistent homology

A recent result on size functions is extended to higher homology modules: the persistent homology based on a multidimensional measuring function is reduced to a 1-dimensional one. This leads to a

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

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.

Persistent Homology — a Survey

Persistent homology is an algebraic tool for measuring topological features of shapes and functions. It casts the multi-scale organization we frequently observe in nature into a mathematical

Persistence barcodes for shapes

This paper initiates a study of shape description and classification via the application of persistent homology to two tangential constructions on geometric objects, obtaining a shape descriptor, called a barcode, that is a finite union of intervals.

Multi-scale Representation and Persistency for Shape Description

An introduction to persistence theory is presented, which aims at analyzing multi-scale representations from a topological point of view and extends the ideas of persistency to a more general setting by defining a set of discrete invariants.

Topological Persistence and Simplification

Fast algorithms for computing persistence and experimental evidence for their speed and utility are given for topological simplification within the framework of a filtration, which is the history of a growing complex.

Čech Type Approach to Computing Homology of Maps

  • M. Mrozek
  • Mathematics, Computer Science
    Discret. Comput. Geom.
  • 2010
A new approach to algorithmic computation of the homology of spaces and maps is presented, based on a combinatorial variant of the Čech homology and the Nerve Theorem that may help in bypassing the problems with the complexity of the standard homology algorithms by reducing the size of necessary input.

Multidimensional Size Functions for Shape Comparison

It is proved that in Size Theory the comparison of multidimensional size functions can be reduced to the 1-dimensional case by a suitable change of variables, and the definition of a new distance between multiddimensional size functions is defined, and to the proof of their stability with respect to that distance.