[论文解读] Gromov-Hausdorff Distance Between Segment and Circle

Yibo Ji, Alexey Avgustinovich Tuzhilin|arXiv (Cornell University)|Jan 14, 2021

Geometric and Algebraic Topology参考文献 1被引用 4

一句话总结

本文计算了欧氏平面上长度为 λ 的线段与单位圆之间的精确 Gromov–Hausdorff 距离。作者引入了诸如圆度度量空间和非线性度等新概念，并推导出距离的分段公式：当 λ ≤ 2π/3 时为 π/2 − λ/4，当 2π/3 ≤ λ ≤ 5π/3 时为 π/3，当 λ ≥ 5π/3 时为 (λ − π)/2，从而解决了度量几何中长期存在的开放问题。

ABSTRACT

We calculate the Gromov--Hausdorff distance between a line segment and a circle in the Euclidean plane. To do that, we introduced a few new notions like round spaces and nonlinearity degree of a metric space.

研究动机与目标

• 确定欧氏平面上长度为 λ 的线段与圆之间的 Gromov–Hausdorff 距离的精确值。
• 解决对简单但非平凡度量空间计算显式 GH-距离这一长期挑战。
• 引入并利用诸如圆度空间和非线性度等新几何不变量，以分析度量畸变。
• 建立以线段长度 λ 为自变量的 GH-距离的完整分段公式。
• 展示基于对应关系的方法和几何覆盖论证在度量比较中的适用性。

提出的方法

• 作者定义了线段 Iλ 与圆 S¹ 之间的对应关系 R，该关系通过角度坐标和线性坐标参数化。
• 他们使用几何覆盖论证分析对应关系的畸变，特别关注参数空间中的线段如何映射到乘积空间中的区域。
• 证明采用了一种涉及旋转矩形和十字形区域的几何构造，以覆盖对应关系，确保畸变边界的控制。
• 关键不等式，如 |AC|、|CC′| 和 |BB′|，被用于验证覆盖效果和畸变控制。
• 该方法依赖于定理 5.1，该定理将畸变边界与特定分离子集的存在性联系起来，从而推导出下界。
• 作者利用 GH-距离与闭对应关系上畸变下确界的等价性，建立了紧致的边界。

实验结果

研究问题

• RQ1 在欧氏平面上，长度为 λ 的线段与单位圆之间的精确 Gromov–Hausdorff 距离是多少？
• RQ2 如何利用圆的非线性和几何结构来限制其与线段对应关系的畸变？
• RQ3 能否基于线段长度 λ 推导出 GH-距离的分段公式？
• RQ4 几何覆盖论证以及非线性度等度量不变量在计算 GH-距离中起到什么作用？
• RQ5 圆和线段的内在度量与拓扑性质如何影响最优对应关系的畸变？

主要发现

• 当 0 ≤ λ ≤ 2π/3 时，长度为 λ 的线段与单位圆之间的 Gromov–Hausdorff 距离为 π/2 − λ/4。
• 当 2π/3 ≤ λ ≤ 5π/3 时，距离稳定在 π/3，表明度量不相似性出现平台期。
• 当 λ ≥ 5π/3 时，距离以 (λ − π)/2 的线性速率增长，反映了线段长度的增加。
• 本文确立了最小畸变对应关系是通过精心构造的分段线性和角度映射实现的。
• 圆的非线性度被证明是防止更低畸变的关键因素，导致 π/3 的下界。
• 结果证实 GH-距离在 λ 上是连续且分段光滑的，具有对应于不同几何区域的显著阶段。