We introduce the persistent homotopy type distance d_HT to compare two real-valued functions dened on possibly different homotopy equivalent topological spaces. The underlying idea in the denition of d_HT 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 homotopy equivalent. This distance is interesting in connection with persistent homology. Indeed, our main result states that d_HT 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 d_NP. From a different standpoint, we prove that d_HT extends the L^\infty distance and d_NP in two ways. First, we show that, appropriately restricting the category of objects to which d_HT applies, it can be made to coincide with the other two distances. Finally, we show that d_HT has an interpretation in terms of interleavings that naturally places it in the family of distances used in persistence theory.

The persistent homotopy type distance / Frosini, Patrizio; Landi, Claudia; Mémoli, Facundo. - In: HOMOLOGY, HOMOTOPY AND APPLICATIONS. - ISSN 1532-0073. - 21:2(2019), pp. 231-259. [10.4310/HHA.2019.v21.n2.a13]

The persistent homotopy type distance

Landi, Claudia;
2019

Abstract

We introduce the persistent homotopy type distance d_HT to compare two real-valued functions dened on possibly different homotopy equivalent topological spaces. The underlying idea in the denition of d_HT 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 homotopy equivalent. This distance is interesting in connection with persistent homology. Indeed, our main result states that d_HT 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 d_NP. From a different standpoint, we prove that d_HT extends the L^\infty distance and d_NP in two ways. First, we show that, appropriately restricting the category of objects to which d_HT applies, it can be made to coincide with the other two distances. Finally, we show that d_HT has an interpretation in terms of interleavings that naturally places it in the family of distances used in persistence theory.
2019
21
2
231
259
The persistent homotopy type distance / Frosini, Patrizio; Landi, Claudia; Mémoli, Facundo. - In: HOMOLOGY, HOMOTOPY AND APPLICATIONS. - ISSN 1532-0073. - 21:2(2019), pp. 231-259. [10.4310/HHA.2019.v21.n2.a13]
Frosini, Patrizio; Landi, Claudia; Mémoli, Facundo
File in questo prodotto:
File Dimensione Formato  
HHA-PersistentHomotopyTypeDistance-published-version.pdf

Accesso riservato

Tipologia: Versione pubblicata dall'editore
Dimensione 608.14 kB
Formato Adobe PDF
608.14 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1172830
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 5
social impact