Uniqueness of models in persistent homology: the case of curves

DOI10.1088/0266-5611/27/12/124005zbMATH Open1242.55001arXiv1012.5783OpenAlexW1580575187WikidataQ59442817 ScholiaQ59442817MaRDI QIDQ3111101FDOQ3111101

Authors: Patrizio Frosini, C. Landi 

Publication date: 17 January 2012

Published in: Inverse Problems (Search for Journal in Brave)

Abstract: We consider generic curves in R^2, i.e. generic C^1 functions f from S^1 to R^2. We analyze these curves through the persistent homology groups of a filtration induced on S^1 by f. In particular, we consider the question whether these persistent homology groups uniquely characterize f, at least up to re-parameterizations of S^1. We give a partially positive answer to this question. More precisely, we prove that f=goh, where h:S^1-> S^1 is a C^1-diffeomorphism, if and only if the persistent homology groups of sof and sog coincide, for every s belonging to the group Sigma_2 generated by reflections in the coordinate axes. Moreover, for a smaller set of generic functions, we show that f and g are close to each other in the max-norm (up to re-parameterizations) if and only if, for every s belonging to Sigma_2, the persistent Betti numbers functions of sof and sog are close to each other, with respect to a suitable distance.

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

Recommendations

• Stable comparison of multidimensional persistent homology groups with torsion
• Combining persistent homology and invariance groups for shape comparison
• Proximity of persistence modules and their diagrams
• Stability of persistence diagrams
• Stability of persistence diagrams

zbMATH Keywords

persistent homologypersistent Betti numbersmatching distance

Mathematics Subject Classification ID

Other homology theories in algebraic topology (55N35) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Curves in Euclidean and related spaces (53A04)

Cited In (4)

• Combining persistent homology and invariance groups for shape comparison
• Filtrations induced by continuous functions
• Necessary conditions for discontinuities of multidimensional persistent Betti numbers
• On the set of optimal homeomorphisms for the natural pseudo-distance associated with the Lie group \(S^{1}\)

This page was built for publication: Uniqueness of models in persistent homology: the case of curves

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