On the geometrical properties of the coherent matching distance in 2D persistent homology

DOI10.1007/S41468-019-00041-YMaRDI QIDQ2304010zbMATH OpenOpenAlexFDO

Authors Andrea Cerri, Marc Ethier, Patrizio Frosini

Publication date 6 March 2020

Published in Journal of Applied and Computational Topology (Search for Journal in Brave)

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

zbMATH Keywords

coherent transport of a matchingextended Pareto gridJacobi setmultidimensional persistencepersistent monodromy group

Mathematics Subject Classification ID

Persistent homology and applications, topological data analysis (55N31) Algebraic topology on manifolds and differential topology (57R19) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Abstract: In this paper we study a new metric for comparing Betti numbers functions in bidimensional persistent homology, based on coherent matchings, i.e. families of matchings that vary in a continuous way. We prove some new results about this metric, including its stability. In particular, we show that the computation of this distance is strongly related to suitable filtering functions associated with lines of slope 1, so underlining the key role of these lines in the study of bidimensional persistence. In order to prove these results, we introduce and study the concepts of extended Pareto grid for a normal filtering function as well as of transport of a matching. As a by-product, we obtain a theoretical framework for managing the phenomenon of monodromy in 2D persistent homology.

Review text

Persistent homology with a single parameter benefits from the fact that it has a computable complete invariant, and that several distances that one might define between 1-dimensional persistent homology modules coincide. With mutiparameter persistence, however invariants that are computable are not complete, and there are a wide variety of non-identical distances that one might define between multiparameter persistence modules. The paper focuses on a new notion of distance between 2-parameter persistence modules. Though the matching distance between 2-parameter persistence modules enjoys continuity properties, the optimal matching may change in a discontinuous way. This is remedied by the stable \textit{coherent matching distance}, which is introduced as the main topic of study in this paper. The coherent matching distance contains a monodromy effect around coinciding persistence diagram points, which is explained via a well-chosen example. The authors introduce the extended Pareto grid as one of their main tools. Many intriguing open questions remain on the relationship between the coherent matching distance and other notions of distance between multi-parameter persistence modules.

Recommendations

• The coherent matching distance in 2D persistent homology
• Exact computation of the matching distance on 2-parameter persistence modules
• Geometry in the space of persistence modules
• Algebraic homotopy interleaving distance
• The theory of the interleaving distance on multidimensional persistence modules

Cites work

• A new approximation algorithm for the matching distance in multidimensional persistence
• A study of monodromy in the computation of multidimensional persistence
• Algebraic stability of zigzag persistence modules
• Betti numbers in multidimensional persistent homology are stable functions
• Computational complexity of the interleaving distance
• Computing bottleneck distance for 2-D interval decomposable modules
• Computing multidimensional persistence
• Computing the interleaving distance is NP-hard
• Exact computation of the matching distance on 2-parameter persistence modules
• Hausdorff stability of persistence spaces
• Jacobi sets of multiple Morse functions
• Morse theory for two functions
• Natural pseudo-distance and optimal matching between reduced size functions
• Necessary conditions for discontinuities of multidimensional persistent Betti numbers
• One-dimensional reduction of multidimensional persistent homology
• Persistent homology: theory and practice
• Size functions and formal series
• Size homotopy groups for computation of natural size distances
• Stability of persistence diagrams
• The coherent matching distance in 2D persistent homology
• The theory of multidimensional persistence
• The theory of the interleaving distance on multidimensional persistence modules
• Topological persistence and simplification

Cited in

(12)

• A brief introduction to multidimensional persistent Betti numbers
• Local versus global distances for zigzag and multi-parameter persistence modules
• Generalized persistence algorithm for decomposing multiparameter persistence modules
• A new non-Archimedean metric on persistent homology
• The coherent matching distance in 2D persistent homology
• Exact computation of the matching distance on 2-parameter persistence modules
• Exact computation of the matching distance on 2-parameter persistence modules
• Singularities of Gaussian random maps into the plane
• Geometry of the matching distance for 2D filtering functions
• Bifiltrations and persistence paths for 2-Morse functions
• Analyzing multifiltering functions using multiparameter discrete Morse theory
• Matching distance via the extended Pareto grid

This page was built for publication: On the geometrical properties of the coherent matching distance in 2D persistent homology

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