[論文レビュー] Rips Complexes of Planar Point Sets

Erin Wolf Chambers, Vin de Silva+2 more|ArXiv.org|Dec 3, 2007

Topological and Geometric Data Analysis参考文献 15被引用数 12

ひとこと要約

本稿では、平面点集合のリプス複体を平面に射影した際の『影』（shadow）が、ホモトピー型に関して基本群を保存することを確立している。つまり、射影写像は1-連結である。このことは、2次元においてリプス複体の基本群が自由群であることを意味するが、3次元以上では高次ホモトピー群や基本群の情報が保存されないことを示している。

ABSTRACT

Fix a finite set of points in Euclidean $n$-space $\euc^n$, thought of as a point-cloud sampling of a certain domain $D\subset\euc^n$. The Rips complex is a combinatorial simplicial complex based on proximity of neighbors that serves as an easily-computed but high-dimensional approximation to the homotopy type of $D$. There is a natural ``shadow'' projection map from the Rips complex to $\euc^n$ that has as its image a more accurate $n$-dimensional approximation to the homotopy type of $D$. We demonstrate that this projection map is 1-connected for the planar case $n=2$. That is, for planar domains, the Rips complex accurately captures connectivity and fundamental group data. This implies that the fundamental group of a Rips complex for a planar point set is a free group. We show that, in contrast, introducing even a small amount of uncertainty in proximity detection leads to `quasi'-Rips complexes with nearly arbitrary fundamental groups. This topological noise can be mitigated by examining a pair of quasi-Rips complexes and using ideas from persistent topology. Finally, we show that the projection map does not preserve higher-order topological data for planar sets, nor does it preserve fundamental group data for point sets in dimension larger than three.

研究の動機と目的

• 平面点群データのホモトピー型を近似する際のリプス複体のトポロジカル忠実性を調査すること。
• リプス複体の影への射影写像が、基本群のようなトポロジカル不変量をどのように保存するかを分析すること。
• リプス複体の高次元における限界および不確実性下での性質を理解すること。
• 近接性の不確実性に起因するトポロジカルノイズを、パーシステントトポロジーを用いてどのように軽減できるかを探索すること。
• リプス複体の影が、平面領域の下位トポロジーを正確に反映しているかどうかを特定すること。

提案手法

• ユークリッド空間内の有限点集合に対して、単位距離の辺を用いて単体を形成するフラッグ複体としてリプス複体を定義する。
• リプス複体から平面への標準的な影射影写像を導入し、各単体を頂点の凸包にアフィン写像で写す。
• 幾何的および凸性の議論を用いて、2次元における射影写像の1-連結性を証明し、それが基本群を保存することを示す。
• 1次元、2次元、4次元における反例を構成し、一般に高次ホモトピー群や基本群の情報が保存されないことを示す。
• 近接性に不確実性を含む準リプス複体を導入し、センサーネットワークのノイズをモデル化し、任意の基本群が出現しうることを示す。
• パーシステントトポロジーを用いて、2つの準リプス複体を比較し、恒久的な特徴を同定することで、トポロジカルノイズを軽減する。

実験結果

リサーチクエスチョン

• RQ1 平面点集合に対して、リプス複体からその影への射影写像は、基本群を保存するか？
• RQ2 近接性に不確実性を含む準リプス複体は、任意の基本群を生成しうるか。もしそうならば、そのノイズはどのように低減できるか？
• RQ3 2次元において、リプス複体の影は元の領域とホモトピー同値か。この性質は高次元へと拡張可能か？
• RQ4 1次元および2次元におけるリプス複体とČech複体の関係は何か。トポロジカル忠実性の観点から、両者の比較はいかがなものか？
• RQ5 平面リプス複体の高次ホモロジーに、体系的に除去または分類可能な局所的構造的パターンが存在するか？

主な発見

• 平面上の任意の有限点集合に対して、リプス複体からその影への射影写像は1-連結である。これは、基本群を保存することを意味する。
• その結果、平面点集合のリプス複体の基本群は常に自由群である。
• 1次元では、リプス複体とその影はホモトピー同値であり、両者とも有限個の点の集合とホモトピー同値である。
• 2次元では、リプス複体が2次元球面（S²）のホモトピー型を持つ例（例えば、対角線が欠落した正六角形）が存在するが、その影は収縮可能である。
• 4次元では、リプス複体が単連結であるが、その影の基本群がℤであるような構成が存在し、1-連結性の失敗が示された。
• 近接性に不確実性を含む準リプス複体は、ほぼ任意の基本群を有することがあり、顕著なトポロジカルノイズを示している。