# The Persistent Homotopy Type Distance

@article{Frosini2019ThePH,
title={The Persistent Homotopy Type Distance},
author={Patrizio Frosini and Claudia Landi and Facundo M{\'e}moli},
journal={ArXiv},
year={2019},
volume={abs/1702.07893}
}
• Published 25 February 2017
• Mathematics
• ArXiv
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…
13 Citations

## Figures from this paper

Locally Persistent Categories And Metric Properties Of Interleaving Distances
This thesis presents a uniform treatment of different distances used in the applied topology literature. We introduce the notion of a locally persistent category, which is a category with a notion of
A Sheaf-Theoretic Construction of Shape Space
• Mathematics
ArXiv
• 2022
. We present a sheaf-theoretic construction of shape space—the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to
Correspondence modules and persistence sheaves: a unifying perspective on one-parameter persistent homology
• Mathematics
Japan Journal of Industrial and Applied Mathematics
• 2022
We develop a unifying framework for the treatment of various persistent homology architectures using the notion of correspondence modules. In this formulation, morphisms between vector spaces are
A topological study of functional data and Fréchet functions of metric measure spaces
• Mathematics
J. Appl. Comput. Topol.
• 2019
This work studies the persistent homology of both functional data on compact topological spaces and structural data presented as compact metric measure spaces and investigates the stability of these invariants using metrics that downplay regions where signals are weak.
Universality of the Homotopy Interleaving Distance
• Mathematics
ArXiv
• 2017
It is observed that any pseudometric satisfying natural stability and homotopy invariance axioms can be used to formulate lifts of several fundamental TDA theorems from the algebraic (homological) level to the level of filtered spaces.
Correspondence Modules and Persistence Sheaves: A Unifying Framework for One-Parameter Persistent Homology
• Mathematics
• 2020
We develop a unifying framework for the treatment of various persistent homology architectures using the notion of correspondence modules. In this formulation, morphisms between vector spaces are
Rectification of interleavings and a persistent Whitehead theorem
• Mathematics
• 2020
The homotopy interleaving distance, a distance between persistent spaces, was introduced by Blumberg and Lesnick and shown to be universal, in the sense that it is the largest homotopy-invariant
A T ] 9 M ar 2 02 0 INVARIANTS FOR TAME PARAMETRISED CHAIN COMPLEXES
• Mathematics
• 2020
We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a
On Vietoris – Rips complexes : the persistent homology of cyclic graphs
We give an O(n(k+logn)) algorithm for computing the k-dimensional persistent homology of a filtration of clique complexes of circular arc graphs on n vertices. This is nearly quadratic in the number
Decorated merge trees for persistent topology
• Computer Science
Journal of Applied and Computational Topology
• 2022
Computational frameworks for generating, visualizing and comparing decorated merge trees derived from synthetic and real data, and a novel use of Gromov-Wasserstein couplings to compute optimal merge tree alignments for a combinatorial version of the interleaving distance, are introduced.

## References

SHOWING 1-10 OF 39 REFERENCES
Proximity of persistence modules and their diagrams
• Mathematics, Computer Science
SCG '09
• 2009
This paper presents new stability results that do not suffer from the restrictions of existing stability results, and makes it possible to compare the persistence diagrams of functions defined over different spaces, thus enabling a variety of new applications of the concept of persistence.
G‐invariant persistent homology
The stability of G-invariant persistent homology with respect to the natural pseudo-distance d_G is proved, and it is shown how this idea could be used in applications concerning shape comparison.
Combining Persistent Homology and Invariance Groups for Shape Comparison
• Mathematics
Discret. Comput. Geom.
• 2016
A way to combine persistent homology with the use of G-invariant non-expansive operators defined on varPhi, where G is a group of self-homeomorphisms of X, is proposed.
Categorification of Persistent Homology
• Mathematics
Discret. Comput. Geom.
• 2014
This work redevelops persistent homology (topological persistence) from a categorical point of view and gives a natural construction of a category of ε-interleavings of $\mathbf {(\mathbb {R},\leq)}$-indexed diagrams in some target category and shows that if the target category is abelian, so is this category of interleavments.
Universality of the Homotopy Interleaving Distance
• Mathematics
ArXiv
• 2017
It is observed that any pseudometric satisfying natural stability and homotopy invariance axioms can be used to formulate lifts of several fundamental TDA theorems from the algebraic (homological) level to the level of filtered spaces.
Metrics for Generalized Persistence Modules
• Mathematics
Found. Comput. Math.
• 2015
This work considers the question of defining interleaving metrics on generalized persistence modules over arbitrary preordered sets, and introduces a distinction between ‘soft’ and ‘hard’ stability theorems.
The natural pseudo-distance as a quotient pseudo-metric, and applications
• Mathematics, Computer Science
• 2015
This paper shows that the natural pseudo-distance coincides with the quotient pseudo-metric on the space of continuous functions on a compact manifold, endowed with the uniform convergence metric, modulo self-homeomorphisms of the manifold.
Multidimensional Interleavings and Applications to Topological Inference
An in-depth study of interleavings and interleaving distances is presented and several multidimensional analogues of a topological inference theorem of Chazal, Guibas, Oudot, and Skraba are proved.
Natural pseudodistances between closed manifolds
• Mathematics
• 2004
Let us consider two closed homeomorphic manifolds M;N of class C 1 and two functions j : M ! R, c : N ! R of class C . The natural pseudodistance d between the pairs ðM; jÞ; ðN;cÞ is defined as the
Stability of Persistence Diagrams
• Mathematics
Discret. Comput. Geom.
• 2007
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the persistence diagram