[论文解读] Metric Graph Approximations of Geodesic Spaces

Facundo Mémoli, Osman Berat Okutan+1 more|arXiv (Cornell University)|Sep 14, 2018

Topological and Geometric Data Analysis参考文献 14被引用 4

一句话总结

该论文证明了距离点函数的Reeb图在紧致测地空间上提供了最优的度量图近似，其近似误差与第一贝蒂数线性相关的乘性常数成比例。通过为Reeb图赋予源自距离函数的内在度量，作者证明了Gromov-Hausdorff稳定性，并表明这些Reeb度量图在给定贝蒂数约束下，其近似质量与最优有限度量图的差距在有界因子之内。

ABSTRACT

We study the question of approximating a compact geodesic metric space by metric graphs satisfying a uniform upper bound on their first Betti number. We prove that, up to a suitable multiplicative constant, Reeb graphs of distance functions to a point provide optimal approximation in the Gromov-Hausdsorff sense.

研究动机与目标

• 解决在第一贝蒂数有界条件下，用有限度量图近似紧致测地空间的挑战。
• 解决标准度量图近似可能导致高贝蒂数，从而造成拓扑复杂性的问题。
• 探究Reeb图（特别是1-Lipschitz函数，如距离点函数）是否可作为稳定且低复杂度的近似工具。
• 建立Reeb度量图中存在一个‘核心’有限度量图，其能保持基本的拓扑与几何结构。
• 量化Reeb度量图的近似质量，并与最优有限度量图或树进行比较。

提出的方法

• 将Reeb度量图定义为测地空间在1-Lipschitz函数的下水平集连通分支等价关系下的商空间，并赋予从实直线上拉回的内在度量。
• 证明Reeb度量图是‘良态’度量图：其包含一个等距嵌入的有限度量图核心，其余部分为可能无限的树。
• 证明在1-Lipschitz函数扰动下，Reeb度量图构造具有Gromov-Hausdorff稳定性，稳定性常数依赖于第一贝蒂数与函数的局部极小值数量。
• 引入合并度量树作为Reeb图的改进形式，通过收缩某些分量获得，并证明其Gromov-Hausdorff稳定性。
• 利用测地空间中的核心理论，证明任意有限度量图核心均可扩展以包含任意给定点，同时保持核心性质。
• 利用同调与拓扑工具（如同调的长正合列、欧拉公式）来界定最小核心中的边数，证明 $E(G_0) \leq 3b_1(G)$。

实验结果

研究问题

• RQ1 在紧致测地空间上，1-Lipschitz函数的Reeb图能否作为第一贝蒂数有界的低复杂度度量图近似？
• RQ2 紧致测地空间与其Reeb度量图之间的Gromov-Hausdorff距离是多少？与最优有限度量图近似相比如何？
• RQ3 Reeb度量图构造在输入函数的小扰动下是否稳定？
• RQ4 由Reeb图导出的合并度量树能否提供测地空间的最优树状近似？
• RQ5 Reeb度量图的近似误差如何随第一贝蒂数及二维空间中的面积等几何性质变化？

主要发现

• 距离点函数的Reeb度量图具有Gromov-Hausdorff稳定性，其稳定性常数与空间的第一贝蒂数及函数的局部极小值数量呈线性关系。
• 近似误差 $\rho_p(X) = d_{\mathrm{GH}}(X, \mathrm{R}_f)$ 满足 $\rho_p(X) \leq C(n,X) \cdot \delta_n(X)$，其中 $C(n,X)$ 关于 $n$ 和 $b_1(X)$ 为线性关系，表明Reeb图在乘性常数范围内是最优的。
• 对于Hausdorff维数为2的紧致测地空间，近似误差 $\rho_p(X)$ 可用空间面积有上界。
• 由距离点函数诱导的合并度量树实现了最优树近似：$d_{\mathrm{GH}}(X, T_f) \leq 13 \cdot \delta_0(X)$，即其在通用乘性常数范围内是最优的。
• Reeb度量图具有‘良态’性质：其包含一个等距嵌入的有限度量图核心，其余部分为树，从而确保了拓扑与几何的控制。
• 在紧致测地空间中，任意有限度量图核心均可扩展以包含任意给定点，同时保持核心性质，从而支持归纳构造。