Hausdorff vs Gromov-Hausdorff distances

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Adams, Henry, Frick, Florian, Majhi, Sushovan, McBride, Nicholas
Natura: Preprint
Pubblicazione: 2023
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866929711125364736
author Adams, Henry
Frick, Florian
Majhi, Sushovan
McBride, Nicholas
author_facet Adams, Henry
Frick, Florian
Majhi, Sushovan
McBride, Nicholas
contents Let $M$ be a closed Riemannian manifold and let $X\subseteq M$. If the sample $X$ is sufficiently dense relative to the curvature of $M$, then the Gromov-Hausdorff distance between $X$ and $M$ is bounded from below by half their Hausdorff distance, namely $d_{GH}(X,M) \ge \frac{1}{2} d_H(X,M)$. The constant $\frac{1}{2}$ can be improved depending on the dimension and curvature of the manifold $M$, and obtains the optimal value $1$ in the case of the unit circle, meaning that if $X\subseteq S^1$ satisfies $d_{GH}(X,S^1)<\tfracπ{6}$, then $d_{GH}(X,S^1)=d_H(X,S^1)$. We also provide versions lower bounding the Gromov-Hausdorff distance $d_{GH}(X,Y)$ between two subsets $X,Y\subseteq M$. Our proofs convert discontinuous functions between metric spaces into simplicial maps between Čech or Vietoris-Rips complexes. We then produce topological obstructions to the existence of certain maps using the nerve lemma and the fundamental class of the manifold, thus lower bounding the Gromov-Hausdorff distance.
format Preprint
id arxiv_https___arxiv_org_abs_2309_16648
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Hausdorff vs Gromov-Hausdorff distances
Adams, Henry
Frick, Florian
Majhi, Sushovan
McBride, Nicholas
Metric Geometry
Algebraic Topology
Let $M$ be a closed Riemannian manifold and let $X\subseteq M$. If the sample $X$ is sufficiently dense relative to the curvature of $M$, then the Gromov-Hausdorff distance between $X$ and $M$ is bounded from below by half their Hausdorff distance, namely $d_{GH}(X,M) \ge \frac{1}{2} d_H(X,M)$. The constant $\frac{1}{2}$ can be improved depending on the dimension and curvature of the manifold $M$, and obtains the optimal value $1$ in the case of the unit circle, meaning that if $X\subseteq S^1$ satisfies $d_{GH}(X,S^1)<\tfracπ{6}$, then $d_{GH}(X,S^1)=d_H(X,S^1)$. We also provide versions lower bounding the Gromov-Hausdorff distance $d_{GH}(X,Y)$ between two subsets $X,Y\subseteq M$. Our proofs convert discontinuous functions between metric spaces into simplicial maps between Čech or Vietoris-Rips complexes. We then produce topological obstructions to the existence of certain maps using the nerve lemma and the fundamental class of the manifold, thus lower bounding the Gromov-Hausdorff distance.
title Hausdorff vs Gromov-Hausdorff distances
topic Metric Geometry
Algebraic Topology
url https://arxiv.org/abs/2309.16648