[論文レビュー] A Geometric Perspective on Sparse Filtrations

Nicholas J. Cavanna, Mahmoodreza Jahanseir+1 more|arXiv (Cornell University)|Jun 11, 2015

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

ひとこと要約

この論文は、トポロジカルデータ解析におけるスパースフィルトレーションの幾何的枠組みを導入し、スパース複体が高次元の被覆の神経に自然に現れることを示している。凸幾何と辺の崩壊を活用することで、リプスおよびチェハフフィルトレーションの両方の正しさの証明をより単純かつ一般化された形で与え、頂点の基本的辺収縮による削除が恒久的ホモロジーを保存することを示している。

ABSTRACT

We present a geometric perspective on sparse filtrations used in topological data analysis. This new perspective leads to much simpler proofs, while also being more general, applying equally to Rips filtrations and Cech filtrations for any convex metric. We also give an algorithm for finding the simplices in such a filtration and prove that the vertex removal can be implemented as a sequence of elementary edge collapses.

研究の動機と目的

• スパースフィルトレーションのトポロジカルデータ解析における幾何的（組合せ的ではなく）な基礎を提供すること。
• 任意の凸距離空間に対して適用可能な、単一の幾何的枠組みによってリプスおよびチェハフフィルトレーションの取り扱いを統一すること。
• 明示的な単体写像の構成を避けることで、スパースフィルトレーションの正しさの証明を単純化すること。
• スパースフィルトレーションにおける頂点の削除が、位相を保存する基本的辺収縮によって達成できることを示すこと。
• 幾何的被覆とオフセットフィルトレーションの恒久的ホモロジーとの直接的な関係を確立すること。

提案手法

• 凸距離空間における点集合のオフセットから高次元の神経複体を構築する。
• 神経定理およびその恒久的バージョンを用いて、オフセット和集合の位相とスパース複体を関連付ける。
• 挿入半径に基づくグリーディ順序付けにより頂点を順序付け、フィルトレーション構築のガイドとする。
• 単体がその面より後にのみ出現することを示すことで、スパース複体が真のフィルトレーションであることを証明する。
• 幾何的被覆の議論を用いて、リンク条件を満たす辺の崩壊が恒久的ホモロジーを保存することを示す。
• k単体とその誕生時刻を計算するアルゴリズムを設計し、時間計算量はO(κ^{kρ}n)とする。ここでρは二重次元次元、κはεに依存する。

実験結果

リサーチクエスチョン

• RQ1 幾何的解釈は、スパースフィルトレーションの構築と正しさの証明を単純化できるか？
• RQ2 幾何的視点は、任意の凸距離空間においてリプスおよびチェハフフィルトレーションの両方へ一様に拡張可能か？
• RQ3 スパースフィルトレーションにおける頂点の削除は、位相的整合性を損なわずに基本的辺収縮によって達成可能か？
• RQ4 辺収縮が恒久的ホモロジーを保存することを保証する直接的な幾何的条件は存在するか？
• RQ5 スパースフィルトレーションからk単体とその誕生時刻を抽出する計算量はどの程度か？

主な発見

• スパースフィルトレーションが高次元被覆の神経に等しいことが示され、その正しさに幾何的根拠が与えられた。
• 組合せ的単体写像の代わりに幾何的被覆を直接扱うことで、正しさの証明が著しく単純化された。
• この手法はリプスおよびチェハフフィルトレーションの両方を含む任意の凸距離空間に一般化可能であり、別個の構成を必要としない。
• 頂点の削除はリンク条件を満たす辺の崩壊によって実装可能であり、位相的不変性が保証される。
• すべてのk単体とその誕生時刻を計算するアルゴリズムが提供され、計算量はO(κ^{kρ}n)である。ここでκ = (ε² + 3ε + 2)/ε、ρは二重次元次元である。
• グリーディ順序の最後の頂点においてリンク条件が満たされるため、安全かつ位相的に正しい辺の収縮が可能となる。