Gromov-Hausdorff versus Hausdorff distances for Euclidean submanifolds with positive reach
Abstract
This paper is about comparing the Gromov-Hausdorff distance between a pair of sets to the Hausdorff distance between the pair. Recent work on this problem has focused on two settings, Riemannian manifolds and metric graphs. Here, we focus on embedded submanifolds of Euclidean space endowed with the Euclidean metric. We prove that when ℳ⊂ℝn is a compact connected embedded submanifold without boundary, with positive reach, and A⊂ℳ is a subset that is sufficiently dense in ℳ with respect to the reach, the Gromov-Hausdorff distance between A and ℳ is bounded below by 1/2 of the Hausdorff distance between them. We extend this result in two ways. First, we show that the factor 1/2 can be improved using Jung's theorem. Second, we prove bounds on the Gromov-Hausdorff distance for pairs of subsets of ℳ. When 𝕊1 is equipped with the two-dimensional Euclidean metric, the Gromov-Hausdorff distance between 𝕊1 and any sufficiently dense subset of 𝕊1 can be expressed explicitly as a function of the Hausdorff distance between the two. We use interleavings between geometric simplicial complexes, nerve lemmas, properties of reach and the nearest-point projection map, and the fundamental class to produce the inequalities for general ℳ. We use the Borsuk-Ulam theorem for ℳ=𝕊1⊂ ℝ2.
Related
- Graph Distortion Distances, Gromov-Hausdorff and the Hardness of Gromov-Wasserstein
- Gromov--Hausdorff Distance Between Euclidean Unit Balls
- Gromov-Hausdorff Distances Between Spheres: Asymptotics and Vietoris-Rips Coindex Bounds
- Gromov-Hausdorff instability of the positive mass theorem for Kähler manifolds
- Steiner Minimal Trees in the Gromov--Hausdorff Space and in Gromov--Hausdorff Clouds
BibTeX
@misc{brahme2026gromovhausdorff,
title = {{Gromov-Hausdorff versus Hausdorff distances for Euclidean submanifolds with positive reach}},
author = {Prasanna Brahme and William Ott},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.40286},
eprint = {2610.40286},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.40286},
}
RIS
TY - UNPB
TI - Gromov-Hausdorff versus Hausdorff distances for Euclidean submanifolds with positive reach
AU - Prasanna Brahme
AU - William Ott
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.40286
UR - https://arxiv.org/abs/2610.40286
AB - This paper is about comparing the Gromov-Hausdorff distance between a pair of sets to the Hausdorff distance between the pair. Recent work on this problem has focused on two settings, Riemannian manifolds and metric graphs. Here, we focus on embedded submanifolds of Euclidean space endowed with the Euclidean metric. We prove that when ℳ⊂ℝ^n is a compact connected embedded submanifold without boundary, with positive reach, and A⊂ℳ is a subset that is sufficiently dense in ℳ with respect to the reach, the Gromov-Hausdorff distance between A and ℳ is bounded below by 1/2 of the Hausdorff distance between them. We extend this result in two ways. First, we show that the factor 1/2 can be improved using Jung's theorem. Second, we prove bounds on the Gromov-Hausdorff distance for pairs of subsets of ℳ. When 𝕊^1 is equipped with the two-dimensional Euclidean metric, the Gromov-Hausdorff distance between 𝕊^1 and any sufficiently dense subset of 𝕊^1 can be expressed explicitly as a function of the Hausdorff distance between the two. We use interleavings between geometric simplicial complexes, nerve lemmas, properties of reach and the nearest-point projection map, and the fundamental class to produce the inequalities for general ℳ. We use the Borsuk-Ulam theorem for ℳ=𝕊^1⊂ ℝ^2.
ER -