On certain optimal diffeomorphisms between closed curves

DOI10.1515/FORM.2011.172MaRDI QIDQ470226zbMATH OpenOpenAlexFDO

Authors Andrea Cerri, Barbara Di Fabio

Publication date 12 November 2014

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0906.4648, http://amsacta.unibo.it/3010/2/CerriDiFabioAmsActa.pdf

zbMATH Keywords

measuring functionMorse functionnatural pseudodistancesize pair

Mathematics Subject Classification ID

Real-valued functions in general topology (54C30) Topological properties of groups of homeomorphisms or diffeomorphisms (57S05) Compact groups of homeomorphisms (57S10) Real-valued functions on manifolds (58C05) Pattern recognition, speech recognition (68T10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Abstract: The concept of natural pseudo-distance has proven to be a powerful tool for measuring the dissimilarity between topological spaces endowed with continuous real-valued functions. Roughly speaking, the natural pseudo-distance is defined as the infimum of the change of the functions' values, when moving from one space to the other through homeomorphisms, if possible. In this paper, we prove the first available result about the existence of optimal homeomorphisms between closed curves, i.e. inducing a change of the function that equals the natural pseudo-distance.

Review text

In \textit{size theory}, the pattern recognition side of persistent homology, shape is formalized not as a space, but as a \textit{size pair} \((X, \varphi)\) of a topological space and a map defined on it, mostly (and here in particular) with \(\mathbb R\) as a range [\textit{S. Biasotti}, \textit{L. De Floriani}, \textit{B. Falcidieno}, \textit{P. Frosini}, \textit{D. Giorgi}, \textit{C. Landi}, \textit{L. Papaleo} and \textit{M. Spagnuolo}, Describing shapes by geometrical-topological properties of real functions, ACM Computing Surveys, 40(4), 12:1-12:87 (2008)].NEWLINENEWLINEA pseudodistance between size pairs \((X, \varphi)\), \((Y, \psi)\), where \(X\) and \(Y\) are homeomorphic, is defined as follows. For any homeomorphism \(f: X \to Y\) let \(\Theta(f) = max_{x\in X} |\varphi(x)-\psi(f(x))|\). Then the \textit{natural pseudodistance} \(\delta \big( (X, \varphi), (Y, \psi)\big)\) is defined as the infimum of \(\{\Theta(f)\}\) for \(f\) in the set of all such homeomorphisms \textit{P. Frosini} and \textit{M. Mulazzani} [Bull. Belg. Math. Soc. - Simon Stevin 6, No. 3, 455--464 (1999; Zbl 0937.55010)]. \(f: X \to Y\) is said to be an \textit{optimal} homeomorphism if \(\Theta(f) = \delta \big( (X, \varphi), (Y, \psi)\big)\).NEWLINENEWLINEDoes an optimal homeomorphism always exist? Yes, and it is of class \({\mathcal C}^2\), if the two spaces are curves, the two maps are Morse functions and the pseudodistance vanishes (Theorem 3.4). No, if any of these three conditions is missing, as the authors show by smart examples.

Recommendations

• Persistent homology -- a survey
• Stability of persistence diagrams
• Stability of persistence diagrams
• Persistent homology: theory and practice
• scientific article; zbMATH DE number 2111366
• Geometric Approaches to Persistent Homology
• Necessary conditions for discontinuities of multidimensional persistent Betti numbers
• Persistent homology transform for modeling shapes and surfaces
• One-dimensional reduction of multidimensional persistent homology

Cited in

(6)

• An introduction to the notion of natural pseudo-distance in topological data analysis
• On the set of optimal homeomorphisms for the natural pseudo-distance associated with the Lie group \(S^{1}\)
• Reeb graphs of curves are stable under function perturbations
• Natural pseudo-distances between closed curves
• Certain optimal correspondences between plane curves, II: Existence, local uniqueness, regularity, and other properties
• Natural pseudo-distance and optimal matching between reduced size functions

This page was built for publication: On certain optimal diffeomorphisms between closed curves

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