[論文レビュー] Multidimensional Interleavings and Applications to Topological Inference

Michael Lesnick|arXiv (Cornell University)|Jun 6, 2012

Topological and Geometric Data Analysis参考文献 33被引用数 22

ひとこと要約

本稿は、多次元フィルトレーションおよびパーシステントモジュールにおける入れ子距離の定義と分析を通じて、多次元トポロジカルデータ解析の理論的基盤を確立する。1次元では入れ子距離がボトルネック距離に等しく、有限生成モジュール上で距離関数として成立し、2次方程式系への計算的還元が可能であることが示され、多次元設定における安定なトポロジカル推論が可能となる。

ABSTRACT

This work concerns the theoretical foundations of persistence-based topological data analysis. We develop theory of topological inference in the multidimensional persistence setting, and directly at the (topological) level of filtrations rather than only at the (algebraic) level of persistent homology modules. Our main mathematical objects of study are interleavings. These are tools for quantifying the similarity between two multidimensional filtrations or persistence modules. They were introduced for 1-D filtrations and persistence modules by Chazal, Cohen-Steiner, Glisse, Guibas, and Oudot. We introduce generalizations of the definitions of interleavings given by Chazal et al. and use these to define pseudometrics, called interleaving distances, on multidimensional filtrations and multidimensional persistence modules. We present an in-depth study of interleavings and interleaving distances. We then use them to formulate and prove several multidimensional analogues of a topological inference theorem of Chazal, Guibas, Oudot, and Skraba. These results hold directly at the level of filtrations; they yield as corollaries corresponding results at the module level.

研究の動機と目的

• 1次元と比較して工具が未発達な多次元パーシステントホモロジー設定における、トポロジカル推論のための強固な理論的枠組みを構築すること。
• 1次元の安定性結果を一般化するため、多次元フィルトレーションおよびパーシステントモジュールにおける入れ子距離の定義と分析を行うこと。
• 代数的パーシステントモジュールに依存せずに、フィルトレーションのレベルそのものに直接的にトポロジカル推論定理を定式化すること。
• 特に有理数体や素数位数の体上では、ある種の代数的条件下で入れ子距離が最適であることを確立すること。
• 2次方程式系への還元を通じて、入れ子距離の計算的手順を提供すること。

提案手法

• 1次元から多次元パーシステントモジュールへの入れ子の定義を一般化し、理論的分析のためのより広いクラスの入れ子を導入する。
• 入れ子距離を多次元フィルトレーションおよびパーシステントモジュール上の擬距離として定義し、ボトルネック距離と類似する4つの安定性性質を満たすことを証明する。
• ホモトピー理論における局所化を用いて弱い入れ子と弱い入れ子距離を導入し、フィルトレーション上でのホモトピー論的推論を可能にする。
• 有限生成 $B_n$-パーシステントモジュールの自由包と最小表示を用いてモジュール構造を分析し、生成子と関係式の上限を導出する。
• 2つの有限生成モジュール間の入れ子距離の計算を、$O(\log m)$ 個の $O(m^2)$ 個の多変数2次方程式系の可解性の確認に還元する。
• 入れ子モジュールの外的特徴づけを用いて、モジュール表示の観点から類似性を解釈し、推論結果の明確な代数的解釈を可能にする。

実験結果

リサーチクエスチョン

• RQ1 1次元パーシステントホモロジー設定において、入れ子距離はボトルネック距離に等しいか？
• RQ2 有限生成多次元パーシステントモジュールの空間上で、入れ子距離は距離関数を定めるか？
• RQ3 ある種の代数的条件下で、入れ子距離が擬距離のクラスの中で最適であることが示せるか？
• RQ4 トポロジカル推論定理は、パーシステントモジュールのレベルではなく、フィルトレーションのレベルそのものに直接定式化・証明できるか？
• RQ5 2つの有限生成多次元パーシステントモジュール間の入れ子距離を計算する際の計算複雑度は何か？

主な発見

• 1次元のたまパーシステントモジュールにおける入れ子距離はボトルネック距離に等しく、従来の理論と整合することを確認した。
• 有限生成多次元パーシステントモジュールに制限した入れ子距離は距離関数であることが示され、基礎的な問いに解決をもたらした。
• ボトルネック距離と類似する4つの安定性性質を満たすため、実用的推論への応用が支持される。
• 有理数体 $\mathbb{Q}$ や素数位数の体上では、ある種の代数的意味で、入れ子距離は擬距離のクラスの中で最適であることが示され、1次元の場合でさえ新規な結果である。
• 2つの有限生成多次元パーシステントモジュール間の入れ子距離の計算は、$O(\log m)$ 個の $O(m^2)$ 個の多変数2次方程式系の可解性の確認に還元される。
• 弱い入れ子距離はホモトピー論的推論を可能にし、サンプルサイズが増加する際、ランダムな Čech および Vietoris-Rips 双フィルトレーションが確率的にスーパー等高線オフセット双フィルトレーションに収束することを示した。