[論文レビュー] Persistence Stability for Geometric complexes

Frédéric Chazal|arXiv (Cornell University)|Jul 17, 2012

Topological and Geometric Data Analysis参考文献 14被引用数 6

ひとこと要約

この論文は、完全有界距離空間上の幾何的複体—例えばビートリス–リップス、チェハ、ダウカー複体—における持続的ホモロジーの安定性を、グロモフ–ハウスドルフ距離に関して確立する。ε-単体的多価写像と持続的ホモロジー・モジュールにおけるε-相互にずらしを用いて、著者たちは、持続的図形間のボトルネック距離が、グロモフ–ハウスドルフ距離の2倍以下であることを証明する。これは、有限空間から完全有界空間への既存の結果の一般化であり、持続的ホモロジー・モジュールのなめらかさ（たんせい）を示している。

ABSTRACT

In this paper we study the properties of the homology of different geometric filtered complexes (such as Vietoris-Rips, Cech and witness complexes) built on top of precompact spaces. Using recent developments in the theory of topological persistence we provide simple and natural proofs of the stability of the persistent homology of such complexes with respect to the Gromov--Hausdorff distance. We also exhibit a few noteworthy properties of the homology of the Rips and Cech complexes built on top of compact spaces.

研究の動機と目的

• 有限距離空間から完全有界距離空間への持続的ホモロジーの安定性を拡張すること。
• このような空間上の幾何的複体に対して、持続的図形間のボトルネック距離が、グロモフ–ハウスドルフ距離の2倍以下であることを確立すること。
• 完全有界空間上のリップスおよびチェハ複体における持続的ホモロジー・モジュールのなめらかさを証明すること。
• コンパクトかつδ-ハイパボリックな距離空間におけるリップスおよびチェハ複体のホモロジーの構造的性質を分析すること。
• 安定性結果を、ダウカー複体を含むより広いクラスのフィルター付き幾何的複体へ一般化すること。

提案手法

• フィルター付き複体間のε-単体的多価写像を導入し、持続的ホモロジー・モジュールにおけるε-相互にずらしを誘導する。
• ε-相互にずらしの理論を、ε-近い距離空間の間の対応に適用し、それらの持続的ホモロジー・モジュールを結びつける。
• ホモロジーのファンクター性と持続的ホモロジー・モジュールの合成則を用いて、安定性の上限を導出する。
• 完全有界空間上に構築されたフィルター付き複体に対する持続的ホモロジー・モジュールのなめらかさを確立する。
• δ-ハイパボリック性の条件を用いて、リップス複体における2次元ホモロジーの構造を分析する。
• 中点および内接円の点を用いた三角形の幾何的分解を用いて、δ-ハイパボリック空間における辺の長さを推定する。

実験結果

リサーチクエスチョン

• RQ1 リップス複体における持続的ホモロジーの安定性は、有限距離空間から完全有界空間へ拡張可能か？
• RQ2 距離空間間のグロモフ–ハウスドルフ距離とそれらの持続的図形間のボトルネック距離との関係は何か？
• RQ3 コンパクトおよび完全有界距離空間上でのリップスおよびチェハ複体のホモロジー群はどのように振る舞うか？
• RQ4 δ-ハイパボリック性は、リップス複体の持続的図形にどのような構造的制約を課えるか？
• RQ5 安定性の上限は、ダウカー複体のような他のフィルター付き幾何的複体へ一般化可能か？

主な発見

• 完全有界距離空間上のリップス複体の持続的図形間のボトルネック距離は、グロモフ–ハウスドルフ距離の2倍以下であり、既知の有限空間における結果を一般化する。
• 完全有界空間上のリップスおよびチェハ複体の持続的ホモロジー・モジュールはなめらかであり、良好に振る舞う持続的図形を保証する。
• δ-ハイパボリック測地線空間では、H2の持続的図形は垂直帯 [0, 2δ] × [0, ∞) に閉じ込められ、2δを超えるスケールでは新たな2次元 torsion クラスは出現しない。
• q > 2δ のとき、δ-ハイパボリック空間において H2(Rips(X, 1/2 q + δ)) → H2(Rips(Z, q)) は全射である。これは、すべての2次元ホモロジーがスケール 1/2 q + δ で捉えられていることを示している。
• この全射性を繰り返し適用することで、すべての p > 2δ および q > p に対して H2(Rips(X, p)) → H2(Rips(X, q)) が全射であることが示され、持続的図形の閉じ込めが確認される。
• ε-単体的多価写像によるε-相互にずらしの理論は、さまざまなフィルター付き幾何的複体における安定性を証明する一般枠組みを提供する。