Betti numbers in multidimensional persistent homology are stable functions
نویسندگان
چکیده
Multidimensional persistence mostly studies topological features of shapes by analyzing the lower level sets of vector-valued functions, called filtering functions. As is well known, in the case of scalar-valued filtering functions, persistent homology groups can be studied through their persistent Betti numbers, i.e. the dimensions of the images of the homomorphisms induced by the inclusions of lower level sets into each other. Whenever such inclusions exist for lower level sets of vector-valued filtering functions, we can consider the multidimensional analogue of persistent Betti numbers. Varying the lower level sets, we get that persistent Betti numbers can be seen as functions taking pairs of vectors to the set of non-negative integers. In this paper we prove stability of multidimensional persistent Betti numbers. More precisely, we prove that small changes of the vector-valued filtering functions imply only small changes of persistent Betti numbers functions. This result can be obtained by assuming the filtering functions to be just continuous. Multidimensional stability opens the way to a stable shape comparison methodology based on multidimensional persistence. In order to obtain our stability theorem, some other new results are proved for continuous filtering functions. They concern the finiteness of persistent Betti numbers for vector-valued filtering functions, and the representation via persistence diagrams of persistent Betti numbers, as well as their stability, in the case of scalarvalued filtering functions. Finally, from the stability of multidimensional persistent Betti numbers we obtain a lower bound for the natural pseudo-distance.
منابع مشابه
The Coherent Matching Distance in 2D Persistent Homology
Comparison between multidimensional persistent Betti numbers is often based on the multidimensional matching distance. While this metric is rather simple to define and compute by considering a suitable family of filtering functions associated with lines having a positive slope, it has two main drawbacks. First, it forgets the natural link between the homological properties of filtrations associ...
متن کاملEstimating Multidimensional Persistent Homology Through a Finite Sampling
An exact computation of the persistent Betti numbers of a submanifold X of a Euclidean space is possible only in a theoretical setting. In practical situations, only a finite sample of X is available. We show 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...
متن کاملInvariance properties of the multidimensional matching distance in Persistent Topology and Homology
Persistent Topology studies topological features of shapes by analyzing the lower level sets of suitable functions, called filtering functions, and encoding the arising information in a parameterized version of the Betti numbers, i.e. the ranks of persistent homology groups. Initially introduced by considering real-valued filtering functions, Persistent Topology has been subsequently generalize...
متن کاملNecessary conditions for discontinuities of multidimensional persistent Betti numbers
Topological persistence has proven to be a promising framework for dealing with problems concerning the analysis of data. In this context, it was originally introduced by taking into account 1-dimensional properties of data, modeled by real-valued functions. More recently, topological persistence has been generalized to consider multidimensional properties of data, coded by vector-valued functi...
متن کاملFiniteness of rank invariants of multidimensional persistent homology groups
Rank invariants are a parametrized version of Betti numbers of a space multi-filtered by a continuous vector-valued function. In this note we give a sufficient condition for their finiteness. This condition is sharp for spaces embeddable in Rn.
متن کامل