[論文レビュー] 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に類似した距離の族を導入する。これらの距離が特定の超距離空間において多項式時間で計算可能であることを確立し、超距離空間の設定において、インタリーブ型距離と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に類似した距離の族を定義し、研究すること。
• すべてのコンパクトな距離空間の空間からの、標準的射影 $\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$ における強化された三角不等式は、理論的解析とアルゴリズム設計の両方を容易にする構造的簡素化を可能にする。