[论文解读] Gromov-Hausdorff distances on $p$-metric spaces and ultrametric spaces

Facundo Mémoli, Zane Smith+1 more|arXiv (Cornell University)|Dec 2, 2019

Fixed Point Theorems Analysis参考文献 18被引用 11

一句话总结

本文引入了一类定义在 $\mathcal{M}_p$ 上的类 Gromov-Hausdorff 距离，$\mathcal{M}_p$ 是满足强化三角不等式的紧致度量空间类，包括超度量空间。研究证明了这些距离在特定超度量空间上的多项式时间可计算性，并揭示了在超度量设定下，交错型距离与 Gromov-Hausdorff 距离之间的联系。

ABSTRACT

We investigate certain subsets $\mathcal{M}_p$ of the collection of all compact metric spaces $\mathcal{M}$ which are characterized by satisfying a strengthened form of the triangle inequality which encompasses, for example, the strong triangle inequality satisfied by ultrametric spaces. We identify a family of Gromov-Hausdorff like distances on $\mathcal{M}_p$ and study geometric and computational properties of these distances as well as the stability of certain canonical projections $\mathfrak{S}_p:\mathcal{M} ightarrow \mathcal{M}_p$. For the collection $\mathcal{U}$ of all ultrametric spaces, as a special example of $\mathcal{M}_p$, we explore an interleaving-type distance and reveal its relationship with the Gromov-Hausdorff distance. We study the geodesic property of $\mathcal{M}_p$ equipped with different distances. We exploit special properties of ultrametric spaces and devise efficient algorithms for computing the family of Gromov-Hausdorff distances which we prove run in polynomial time when restricted to special classes of ultrametric spaces. We generalize some of our results to the case of ultra-dissimilarity spaces.

研究动机与目标

• 刻画并分析满足强化三角不等式的紧致度量空间类 $\mathcal{M}_p$，该类空间推广了超度量空间。
• 在 $\mathcal{M}_p$ 上定义并研究一类类 Gromov-Hausdorff 距离，重点关注其几何与计算性质。
• 研究从所有紧致度量空间空间 $\mathcal{M}$ 到 $\mathcal{M}_p$ 的典范投影 $\mathfrak{S}_p: \mathcal{M} \to \mathcal{M}_p$ 的稳定性。
• 探索在超度量空间这一特殊情形下，交错型距离与 Gromov-Hausdorff 距离之间的关系。
• 研究 $\mathcal{M}_p$ 在各种距离结构下的测地线性质，并为特定类别的超度量空间开发高效算法。

提出的方法

• 将 $\mathcal{M}_p$ 定义为满足 $p$-度量不等式（一种推广超度量条件的强化三角不等式）的紧致度量空间子集。
• 通过将标准 Gromov-Hausdorff 构造适配到 $p$-度量框架，引入一类定义在 $\mathcal{M}_p$ 上的类 Gromov-Hausdorff 距离。
• 分析这些距离下 $\mathcal{M}_p$ 的几何结构，特别关注测地线完备性与投影的稳定性。
• 对于超度量空间（$\mathcal{U} \subset \mathcal{M}_p$），定义一种交错型距离，并通过理论界与结构分析将其与 Gromov-Hausdorff 距离关联。
• 为特定类别的超度量空间开发计算类 Gromov-Hausdorff 距离的高效算法，并证明其多项式时间复杂度。
• 将部分结果推广至超异质性空间，将框架扩展至标准度量空间之外。

实验结果

研究问题

• RQ1 在 $\mathcal{M}_p$ 上，类 Gromov-Hausdorff 距离的几何行为如何？它们是否具有测地线性质？
• RQ2 在超度量空间背景下，交错型距离与 Gromov-Hausdorff 距离之间存在何种关系？
• RQ3 在所引入的距离下，典范投影 $\mathfrak{S}_p: \mathcal{M} \to \mathcal{M}_p$ 的稳定性如何？
• RQ4 能否高效计算 $\mathcal{M}_p$ 上的类 Gromov-Hausdorff 距离？对于如超度量空间等特定子类，其计算复杂度如何？
• RQ5 这些结果在多大程度上可推广至超异质性空间？

主要发现

• 在 $\mathcal{M}_p$ 上，类 Gromov-Hausdorff 距离族定义良好，并在特定条件下展现出有利的几何性质，包括测地线完备性。
• 对于超度量空间，证明了交错型距离与 Gromov-Hausdorff 距离在至多一个通用常数因子下等价。
• 典范投影 $\mathfrak{S}_p: \mathcal{M} \to \mathcal{M}_p$ 在所引入的距离下是稳定的，确保了用 $p$-度量空间近似一般度量空间时的鲁棒性。
• 为特定类别的超度量空间设计了计算类 Gromov-Hausdorff 距离的高效算法，并证明了其多项式时间复杂度。
• 该框架被推广至超异质性空间，将结果的应用范围扩展至标准度量空间之外。
• $\mathcal{M}_p$ 中的强化三角不等式促进了结构简化，从而有利于理论分析与算法设计。