[论文解读] Geometry of Compact Metric Space in Terms of Gromov-Hausdorff Distances to Regular Simplexes

Alexander Ivanov, Alexey Avgustinovich Tuzhilin|arXiv (Cornell University)|Jul 22, 2016

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

一句话总结

本文通過研究緊緻度量空間到正則單形（所有非零距離相等的有限度量空間）的 Gromov–Hausdorff 距離，探討其幾何性質。作者利用不可約最優對應關係與有限分劃，推導出不同大小單形的距離顯式公式，並發現這些距離無法區分某些非等距的有限度量空間，進而構造出一組不可數（連續）對彼此非等距的度量空間，其對所有單形的距離完全相同。

ABSTRACT

In the present paper we investigate geometric characteristics of compact metric spaces, which can be described in terms of Gromov-Hausdorff distances to simplexes, i.e., to finite metric spaces such that all their nonzero distances are equal to each other. It turns out that these Gromov-Hausdorff distances depend on some geometrical characteristics of finite partitions of the compact metric spaces; some of the characteristics can be considered as a natural analogue of the lengths of edges of minimum spanning trees. As a consequence, we constructed an unexpected example of a continuum family of pairwise non-isometric finite metric spaces with the same distances to all simplexes.

研究动机与目标

• 使用 Gromov–Hausdorff 距離表征緊緻度量空間的幾何結構，以正則單形為參考。
• 將先前關於有限度量空間中最小生成樹的結果推廣至任意緊緻度量空間。
• 探討所有單形距離集合是否為等距類的完整度量不變量。
• 為特定大小與直徑的單形推導 Gromov–Hausdorff 距離的顯式公式。
• 探討從至所有單形的距離重建度量空間時的非唯一性，特別是在有限情況下。

提出的方法

• 利用緊緻度量空間與單形之間的不可約最優對應關係，將 Gromov–Hausdorff 距離的計算簡化為空間的有限分劃。
• 應用扭曲公式：$ d_{GH}(X,Y) = \frac{1}{2} \inf_{R \in \mathcal{R}(X,Y)} \operatorname{dis} R $，其中 $ \operatorname{dis} R $ 為對應關係 $ R $ 的扭曲度。
• 透過分析分劃中特定距離組合的最大值，推導出 $ d_{GH}(t\Delta_n, X) $ 的顯式表達式。
• 採用基於分劃的優化技術，將空間 $ X $ 分割為 $ n $ 個互不相交的子集，對應單形的頂點。
• 利用性質：當 $ n \leq \#X $ 時，最優對應關係會誘導出 $ X $ 的分劃，進而實現距離的精確計算。
• 比較不同大小與直徑的單形（特別是 $ t\Delta_2 $、$ t\Delta_3 $、$ t\Delta_4 $、$ t\Delta_5 $）的距離，使用極小-極大表達式。

实验结果

研究问题

• RQ1 能否透過空間的有限分劃來計算緊緻度量空間至正則單形的 Gromov–Hausdorff 距離？
• RQ2 所有單形距離集合是否為有限度量空間等距類的完整不變量？
• RQ3 多個彼此非等距的有限度量空間是否可能對所有正則單形具有相同的 Gromov–Hausdorff 距離？
• RQ4 幾何不變量如譜 $ \sigma $、$ \Sigma $ 和 $ \delta_k(X) $ 在決定至單形的距離中扮演何種角色？
• RQ5 能否構造出一組不可數（連續）對彼此非等距的有限度量空間，使其對所有單形的距離完全相同？

主要发现

• 對於任意緊緻度量空間 $ X $，其至單形 $ t\Delta_n $（其中 $ n \leq \#X $）的 Gromov–Hausdorff 距離僅依賴於 $ X $ 對 $ n $ 個非空不相交子集的有限分劃。
• 推導出 $ d_{GH}(t\Delta_n, X) $ 的顯式公式，特別是針對 $ n=2,3,4,5 $，在四點空間情境下有 $ 2d_{GH}(t\Delta_2, X) = \max\{c, t-d, f-t\} $。
• 至所有單形的距離無法區分非等距的有限度量空間：兩個四點空間 $ X_1 $ 和 $ X_2 $，其距離 $ |x_1x_4| $ 與 $ |x_3x_4| $ 交換，但對所有單形的距離完全相同。
• 構造出一組不可數（連續）對彼此非等距的有限度量空間，所有空間對每個單形的 Gromov–Hausdorff 距離完全一致。
• 至所有單形的距離集合並非度量不變量，如存在非等距空間具有相同的距離輪廓所示。
• 值 $ \delta_2(X) $（2-團數）在 $ t\Delta_2 $ 的距離公式中扮演關鍵幾何參數角色，顯示其無法僅從譜中恢復。