Metric Geometry of Spaces of Persistence Diagrams

MaRDI QIDQ6378973zbMATH OpenFDO

Authors Mauricio Che, Fernando Galaz-García, Luis Guijarro, Ingrid Membrillo-Solis

Publication date 29 September 2021

Mathematics Subject Classification ID

Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces (53C23) Dimension theory in general topology (54F45) Persistent homology and applications, topological data analysis (55N31)

Abstract: Persistence diagrams are objects that play a central role in topological data analysis. In the present article, we investigate the local and global geometric properties of spaces of persistence diagrams. In order to do this, we construct a family of functors $mathcal{D}_p$, $1leqpleqinfty$, that assign, to each metric pair $(X,A)$, a pointed metric space $mathcal{D}_p(X,A)$. Moreover, we show that $mathcal{D}_{infty}$ is sequentially continuous with respect to the Gromov--Hausdorff convergence of metric pairs, and we prove that $mathcal{D}_p$ preserves several useful metric properties, such as completeness and separability, for $pin[1,infty)$, and geodesicity and non-negative curvature in the sense of Alexandrov, for $p=2$. We also show that the Fr'echet mean set of a Borel probability measure on $mathcal{D}_p(X,A)$, $1leqpleqinfty$, with finite second moment and compact support is non-empty. As an application of our geometric framework, we prove that the space of Euclidean persistence diagrams, $mathcal{D}_2(mathbb{R}^{2n},Delt{a}_n)$, has infinite covering, Hausdorff, and asymptotic dimensions.

This page was built for publication: Metric Geometry of Spaces of Persistence Diagrams

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