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 dT that represents a possible solution to this problem. Indeed, dT 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 ℝn-valued filtering functions. Furthermore, we prove a result showing the relationship between dT 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.

[1]  Patrizio Frosini,et al.  Natural Pseudo-Distance and Optimal Matching between Reduced Size Functions , 2008, ArXiv.

[2]  David Cohen-Steiner,et al.  Stability of Persistence Diagrams , 2005, Discret. Comput. Geom..

[3]  Afra Zomorodian,et al.  The Theory of Multidimensional Persistence , 2007, SCG '07.

[4]  David Cohen-Steiner,et al.  Lipschitz Functions Have Lp-Stable Persistence , 2010, Found. Comput. Math..

[5]  R. Ghrist.  Barcodes: The persistent topology of data , 2007 .

[6]  Herbert Edelsbrunner,et al.  Topological Persistence and Simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[7]  Leonidas J. Guibas,et al.  Proximity of persistence modules and their diagrams , 2009, SCG '09.

[8]  H. Edelsbrunner,et al.  Persistent Homology — a Survey , 2022 .

[9]  Afra J. Zomorodian,et al.  Topology for Computing (Cambridge Monographs on Applied and Computational Mathematics) , 2005 .

[10]  Herbert Edelsbrunner,et al.  Computational Topology - an Introduction , 2009 .

[11]  Leonidas J. Guibas,et al.  Persistence barcodes for shapes , 2004, SGP '04.

[12]  Michael Farber,et al.  Invitation to Topological Robotics , 2008, Zurich Lectures in Advanced Mathematics.

[13]  Patrizio Frosini,et al.  On the use of size functions for shape analysis , 1993, [1993] Proceedings IEEE Workshop on Qualitative Vision.

[14]  P. Frosini,et al.  Size homotopy groups for computation of natural size distances , 1999 .

[15]  Afra Zomorodian,et al.  Computing Multidimensional Persistence , 2009, J. Comput. Geom..

[16]  Daniela Giorgi,et al.  Retrieval of trademark images by means of size functions , 2006, Graph. Model..

[17]  Claudia Landi,et al.  Finiteness of rank invariants of multidimensional persistent homology groups , 2011, Appl. Math. Lett..

[18]  Vin de Silva,et al.  Coverage in sensor networks via persistent homology , 2007 .

[19]  Andrea Cerri,et al.  Multidimensional persistent homology is stable , 2009 .

[20]  M. Ferri,et al.  One-dimensional reduction of multidimensional persistent homology , 2007, math/0702713.

[21]  Ovidio Salvetti,et al.  Multi-scale Representation and Persistency for Shape Description , 2008, MDA.

[22]  Pietro Donatini,et al.  Natural pseudo-distances between closed curves , 2009 .

[23]  Pietro Donatini,et al.  Natural pseudodistances between closed surfaces , 2007 .

[24]  Pietro Donatini,et al.  Natural pseudodistances between closed manifolds , 2004 .

[25]  Daniela Giorgi,et al.  Multidimensional Size Functions for Shape Comparison , 2008, Journal of Mathematical Imaging and Vision.