On $C^0$-persistent homology and trees

Daniel Perez (1, 2, 3)

1 LMO - Laboratoire de Mathématiques d'Orsay
2 DMA - Département de Mathématiques et Applications - ENS Paris
3 DATASHAPE - Understanding the Shape of Data

In this paper we give a metric construction of a tree which correctly identifies connected components of superlevel sets of continuous functions $f: X \to \R$ and show that it is possible to retrieve the $H_0$-persistence diagram from this tree. We revisit the notion of homological dimension previously introduced by Schweinhart and give some bounds for the latter in terms of the upper-box dimension of $X$, thereby partially answering a question of the same author. We prove a quantitative version of the Wasserstein stability theorem valid for regular enough $X$ and $\alpha$-Hölder functions and discuss some applications of this theory to random fields and the topology of their superlevel sets.

Domaines: Mathématiques [math]; Topologie algébrique [math.AT]; Informatique [cs]; Géométrie algorithmique [cs.CG]

Daniel Perez. On $C^0$-persistent homology and trees. 2022. ⟨hal-03040819v3⟩