[论文解读] CONSTRUCTING GEODESICS ON THE SPACE OF COMPACT METRIC SPACES

Samir Chowdhury, M Facundo|arXiv (Cornell University)|Mar 8, 2016

Geometric Analysis and Curvature Flows参考文献 1被引用 15

一句话总结

本文在 Gromov-Hausdorff 距离下，于紧致度量空间的等距类空间中构造了显式的测地线，扩展了先前的工作，通过参数化度量空间族提供了一种生成此类测地线的具体方法。其关键贡献是一个构造性框架，确保了在 Gromov-Hausdorff 拓扑下的测地线连续性与稳定性。

ABSTRACT

We construct explicit geodesics on the collection of isometry classes of com- pact metric spaces endowed with the Gromov-Hausdorff metric, complementing a result in (INT15).

研究动机与目标

• 扩展在 Gromov-Hausdorff 距离下紧致度量空间空间中测地线路径的理论理解。
• 解决该度量空间中测地线缺乏显式构造的问题，补充现有的存在性结果。
• 提供一种系统化方法，用于生成在 Gromov-Hausdorff 拓扑下连续且稳定的测地线。
• 提供一个构造性框架，支持在形状比较、度量几何和拓扑数据分析中的应用。

提出的方法

• 该方法通过一个参数族的度量空间构造测地线，该族在两个给定的紧致度量空间之间插值。
• 采用类似扭曲积的构造方法，定义保持紧致性与等距不变性的中间度量。
• 利用广义 Gromov-Hausdorff 距离定义测地线路径，以确保连续性与路径最小性。
• 关键技术工具包括使用对应关系与畸变函数，以控制路径上度量行为。
• 证明该构造在等距下不变，从而确保在等距类上的良定义性。
• 该方法依赖极限论证，验证所构造的路径确实实现了端点之间的 Gromov-Hausdorff 距离。

实验结果

研究问题

• RQ1 能否在 Gromov-Hausdorff 距离下，于紧致度量空间的等距类空间中构造显式的测地线？
• RQ2 如何对这类测地线进行参数化，以确保在 Gromov-Hausdorff 距离下的连续性与最小性？
• RQ3 中间度量空间必须满足何种结构性质，才能构成一条测地线路径？
• RQ4 该测地线构造在输入空间的小扰动下具有多大程度的稳定性？
• RQ5 与抽象的存在性定理相比，该方法在实际可构造性方面有何优势？

主要发现

• 本文成功在 Gromov-Hausdorff 空间中为任意两个紧致度量空间构造了显式测地线，提供了路径最小性的具体实现。
• 所构造的测地线具有连续性且在等距下不变，确保了在等距类上的良定义性。
• 该方法保证了端点之间的 Gromov-Hausdorff 距离在路径上被实现，从而确认了测地线行为。
• 中间度量空间通过参数化畸变函数显式定义，支持算法实现。
• 该构造在输入空间的小扰动下具有稳定性，支持在应用中的鲁棒性。
• 该框架通过提供构造性且计算可及的路径，补充了 (INT15) 中的抽象存在性结果。