[論文レビュー] Gromov--Hausdorff Distance, Irreducible Correspondences, Steiner Problem, and Minimal Fillings

Alexander Ivanov, Alexey Avgustinovich Tuzhilin|arXiv (Cornell University)|Apr 20, 2016

Geometric and Algebraic Topology参考文献 6被引用数 8

ひとこと要約

本稿では、有限距離空間間のGromov–Hausdorff距離を効率的に計算するために、非可約対応の概念を導入し、3点からなる距離空間がℝ³∞における多面体錐に等長埋め込み可能であることを証明している。また、Gromov–Hausdorff空間におけるSteiner最小木が最小充填を上回る可能性があることを示し、この空間のSteiner部分比が0.857未満であることを特定し、従来のSteiner最小木と最小充填が常に等しいという予想を反証した。

ABSTRACT

We introduce irreducible correspondences that enables us to calculate the Gromov--Hausdorff distances effectively. By means of these correspondences, we show that the set of all metric spaces each consisting of no more than $3$ points is isometric to a polyhedral cone in the space $R^3$ endowed with the maximum norm. We prove that for any $3$-point metric space such that all the triangle inequalities are strict in it, there exists a neighborhood such that the Steiner minimal trees (in Gromov-Hausdorff space) with boundaries from this neighborhood are minimal fillings, i.e., it is impossible to decrease the lengths of these trees by isometrically embedding their boundaries into any other ambient metric space. On the other hand, we construct an example of $3$-point boundary whose points are $3$-point metric spaces such that its Steiner minimal tree in the Gromov-Hausdorff space is not a minimal filling. The latter proves that the Steiner subratio of the Gromov-Hausdorff space is less than 1. The irreducible correspondences enabled us to create a quick algorithm for calculating the Gromov-Hausdorff distance between finite metric spaces. We carried out a numerical experiment and obtained more precise upper estimate on the Steiner subratio: we have shown that it is less than $0.857$.

研究の動機と目的

• 有限距離空間間のGromov–Hausdorff距離を効果的に計算するための手法を開発すること。
• Gromov–Hausdorff空間におけるSteiner最小木が、その境界の最小充填と常に一致するかどうかを調査すること。
• Gromov–Hausdorff空間のSteiner部分比の正確な値またはタイトな上界を特定すること。
• コンパクト距離空間の空間におけるSteiner最小木が常に最小充填であるという予想を解消すること。

提案手法

• Gromov–Hausdorff距離の計算を簡略化・高速化するために、非可約対応の概念を導入する。
• 非可約対応を用いて、3点からなる距離空間の空間が、最大ノルムを伴うℝ³∞における多面体錐に等長であることを証明する。
• 3つの3点距離空間を用いた反例を構築し、Gromov–Hausdorff空間におけるその境界のSteiner最小木が最小充填でないことを示す。
• 歪みに基づく対応法を用いて、有限距離空間間の最適対応を通じてGromov–Hausdorff距離を計算する。
• 数値実験を用いて、Gromov–Hausdorff空間のSteiner部分比の上界を精緻化する。
• 3点空間の最小充填に対する半周長公式を活用し、Steiner最小木の長さと比較する。

実験結果

リサーチクエスチョン

• RQ1 非可約対応は、従来の手法よりもGromov–Hausdorff距離の計算をより効率的に行うために利用可能か？
• RQ2 Gromov–Hausdorff空間におけるSteiner最小木は、常にその境界の最小充填と等しいか？
• RQ3 Gromov–Hausdorff空間におけるSteiner部分比の正確な値またはタイトな上界は何か？
• RQ4 3点距離空間とℝ³∞における多面体錐との等長性は、この設定においてSteiner最小木と最小充填が一致することを示唆するか？

主な発見

• すべての3点距離空間の空間は、最大ノルムを伴うℝ³∞における多面体錐に等長である。
• すべての三角不等式が厳密に成立する3点距離空間において、Gromov–Hausdorff空間におけるSteiner最小木は、その近傍で最小充填である。
• 反例が構築され、Gromov–Hausdorff空間における3点境界のSteiner最小木が最小充填よりも厳密に長い場合があることが示された。
• Gromov–Hausdorff空間のSteiner部分比は1未満であり、数値実験から0.857未満の上界が精緻化された。
• このような反例の存在は、Gromov–Hausdorff空間においてSteiner最小木が常に最小充填に等しいという予想を反証する。
• 非可約対応の手法により、有限距離空間間のGromov–Hausdorff距離を高速に計算するアルゴリズムが可能となった。