25 research outputs found
Comparing persistence diagrams through complex vectors
The natural pseudo-distance of spaces endowed with filtering functions is
precious for shape classification and retrieval; its optimal estimate coming
from persistence diagrams is the bottleneck distance, which unfortunately
suffers from combinatorial explosion. A possible algebraic representation of
persistence diagrams is offered by complex polynomials; since far polynomials
represent far persistence diagrams, a fast comparison of the coefficient
vectors can reduce the size of the database to be classified by the bottleneck
distance. This article explores experimentally three transformations from
diagrams to polynomials and three distances between the complex vectors of
coefficients.Comment: 11 pages, 4 figures, 2 table
Stable comparison of multidimensional persistent homology groups with torsion
The present lack of a stable method to compare persistent homology groups with torsion is a relevant problem in current research about Persistent Homology and its applications in Pattern Recognition. In this paper we introduce a pseudo-distance d_T that represents a possible solution to this problem. Indeed, d_T is a pseudo-distance between multidimensional persistent homology groups with coefficients in an Abelian group, hence possibly having torsion. Our main theorem proves the stability of the new pseudo-distance with respect to the change of the filtering function, expressed both with respect to the max-norm and to the natural pseudo-distance between topological spaces endowed with vector-valued filtering functions. Furthermore, we prove a result showing the relationship between d_T and the matching distance in the 1-dimensional case, when the homology coefficients are taken in a field and hence the comparison can be made
Stable comparison of multidimensional persistent homology groups with torsion
The present lack of a stable method to compare persistent homology groups
with torsion is a relevant problem in current research about Persistent
Homology and its applications in Pattern Recognition. In this paper we
introduce a pseudo-distance d_T that represents a possible solution to this
problem. Indeed, d_T is a pseudo-distance between multidimensional persistent
homology groups with coefficients in an Abelian group, hence possibly having
torsion. Our main theorem proves the stability of the new pseudo-distance with
respect to the change of the filtering function, expressed both with respect to
the max-norm and to the natural pseudo-distance between topological spaces
endowed with vector-valued filtering functions. Furthermore, we prove a result
showing the relationship between d_T and the matching distance in the
1-dimensional case, when the homology coefficients are taken in a field and
hence the comparison can be made.Comment: 10 pages, 3 figure
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 generalized to a multidimensional setting, i.e. to the case of
-valued filtering functions, leading to studying the ranks of
multidimensional homology groups. In particular, a multidimensional matching
distance has been defined, in order to compare these ranks. The definition of
the multidimensional matching distance is based on foliating the domain of the
ranks of multidimensional homology groups by a collection of half-planes, and
hence it formally depends on a subset of inducing a
parameterization of these half-planes. It happens that it is possible to choose
this subset in an infinite number of different ways. In this paper we show that
the multidimensional matching distance is actually invariant with respect to
such a choice.Comment: 14 pages, 2 figure
Multidimensional persistent homology is stable
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 respect
to function perturbations. More precisely, we construct a distance between rank
invariants such that small changes of the function imply only small changes of
the rank invariant. This result can be obtained by assuming the function to be
just continuous. Multidimensional stability opens the way to a stable shape
comparison methodology based on multidimensional persistence.Comment: 14 pages, 3 figure