[論文レビュー] 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 $に対して、$ n \leq \#X $である単体$ t\Delta_n $へのGromov–Hausdorff距離は、$ X $を$ n $個の空でない互いに素な部分集合に分割するものにのみ依存する。
• 特に$ n=2,3,4,5 $について、$ d_{GH}(t\Delta_n, X) $の明示的公式が導出された。4点空間の文脈では$ 2d_{GH}(t\Delta_2, X) = \max\{c, t-d, f-t\} $となる。
• すべての単体への距離は、非等長な有限距離空間を区別できない。4点空間$ X_1 $と$ X_2 $は、距離$ |x_1x_4| $と$ |x_3x_4| $が入れ替わっているが、すべての単体への距離が同一である。
• すべての単体への距離が同一であるが、互いに等長でない有限距離空間の連続体（非可算）族が構成された。
• すべての単体への距離の集合は、距離不変量ではない。非等長空間が同一の距離プロファイルを持つことから明らかである。
• $ \delta_2(X) $、すなわち2クライQUE数は、$ t\Delta_2 $への距離公式において重要な幾何的パラメータとして現れ、これはスペクトルからだけでは復元できないことが示された。