The persistent homotopy type distance

DOI10.4310/HHA.2019.V21.N2.A13MaRDI QIDQ2326314zbMATH OpenWikidataFDO

Authors Facundo Mémoli, Patrizio Frosini, C. Landi

Publication date 7 October 2019

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1702.07893

zbMATH Keywords

bottleneck distance between persistence diagramsinterleaving distancemerge treesnatural pseudo-distancestability

Mathematics Subject Classification ID

Natural morphisms, dinatural morphisms (18A23) Persistent homology and applications, topological data analysis (55N31) Homotopy equivalences in algebraic topology (55P10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Abstract: We introduce the persistent homotopy type distance dHT to compare real valued functions defined on possibly different homotopy equivalent topological spaces. The underlying idea in the definition of dHT is to measure the minimal shift that is necessary to apply to one of the two functions in order that the sublevel sets of the two functions become homotopically equivalent. This distance is interesting in connection with persistent homology. Indeed, our main result states that dHT still provides an upper bound for the bottleneck distance between the persistence diagrams of the intervening functions. Moreover, because homotopy equivalences are weaker than homeomorphisms, this implies a lifting of the standard stability results provided by the L-infty distance and the natural pseudo-distance dNP. From a different standpoint, we prove that dHT extends the L-infty distance and dNP in two ways. First, we show that, appropriately restricting the category of objects to which dHT applies, it can be made to coincide with the other two distances. Finally, we show that dHT has an interpretation in terms of interleavings that naturally places it in the family of distances used in persistence theory.

Recommendations

• Combining persistent homology and invariance groups for shape comparison
• Hausdorff stability of persistence spaces
• Metrics for generalized persistence modules
• Erosion distance for generalized persistence modules
• Categorification of persistent homology

Cited in

(15)

• Decorated merge trees for persistent topology
• Correspondence modules and persistence sheaves: a unifying perspective on one-parameter persistent homology
• \(p\)-cyclic persistent homology and Hofer distance
• Erosion distance for generalized persistence modules
• A topological study of functional data and Fréchet functions of metric measure spaces
• The theory of the interleaving distance on multidimensional persistence modules
• Combining persistent homology and invariance groups for shape comparison
• The Persistent Homology of Cyclic Graphs
• Universality of the homotopy interleaving distance
• Steady and ranging sets in graph persistence
• The persistent topology of optimal transport based metric thickenings
• Rectification of interleavings and a persistent Whitehead theorem
• Universal distances for extended persistence
• Unitary similarity comparison of persistent homology groups
• Stability and approximations for decorated Reeb spaces

This page was built for publication: The persistent homotopy type distance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2326314)