[論文レビュー] Limit theorems for persistence diagrams

Trinh Khanh Duy, Yasuaki Hiraoka+1 more|arXiv (Cornell University)|Dec 26, 2016

Topological and Geometric Data Analysis参考文献 24被引用数 10

ひとこと要約

本稿は、$ℝ^N$ 上の定常点過程のための持久図の極限定理を確立し、観測窓が拡大する際のスケーリングされた持久図が強く大数の法則に従うことを証明する。さらに、極限図が全サポートを持つための十分条件を提示し、持続的ベッチ数の中心極限定理を確立することで、確率的位相的構造の理解を進める。

ABSTRACT

The persistent homology of a stationary point process on ${\bf R}^N$ is studied in this paper. As a generalization of continuum percolation theory, we study higher dimensional topological features of the point process such as loops, cavities, etc. in a multiscale way. The key ingredient is the persistence diagram, which is an expression of the persistent homology. We prove the strong law of large numbers for persistence diagrams as the window size tends to infinity and give a sufficient condition for the limiting persistence diagram to have the full support. We also discuss a central limit theorem for persistent Betti numbers.

研究の動機と目的

• 定常点過程 $ℝ^N$ 上で生成される持久図の漸近的挙動を研究すること。
• 連続媒体の確率的透過理論を、ループや空洞といった高次元の位相的特徴に拡張すること。
• 特に、大数の法則と中心極限定理を含む、持久図および持続的ベッチ数の極限定理を確立すること。
• 極限持久図が全サポートを持つための条件を提供し、極限における豊富な位相的構造を保証すること。
• マルチスケールの位相的特徴を持久図を用いて分析することで、確率的位相論と確率幾何学を橋渡しすること。

提案手法

• 著者たちは、拡大する窓 $λ_L = [-L/2, L/2)^N$ に制限された定常点過程 $φ_{λ_L}$ に基づくチェハチ複体を分析する。
• 彼らは、スケールパラメータ $r \geq 0$ を通じて、位相的特徴の誕生と消滅を追跡する、チェハチ複体の持続的ホモロジーのマルチスケール要約としての持久図を用いる。
• 大数の法則は、$φ$ に対する一様エルゴード性とモーメント条件の下で、スケーリングされた持久図が $L \to \infty$ の際にほとんど確実に確定的極限図に収束することを示すことによって証明される。
• 極限図が全サポートを持つための十分条件は、点過程の強度と相関構造に基づいて導出される。
• 中心極限定理のためには、平均周りの持続的ベッチ数 $\beta_q(C(\Phi_{\Lambda_L}, r))$ のフラクチュエーションを分析し、適切に正規化した後、正規分布への収束を示す。
• 特に、ボトルネック距離を用いた持久図の安定性結果を活用し、点配置の摂動に対する図の感度を制御する。

実験結果

リサーチクエスチョン

• RQ1 観測窓が無限大に拡大する際、定常点過程の持久図はほとんど確実に確定的極限に収束するか？
• RQ2 極限持久図が持久図空間において全サポートを持つための条件は何か？
• RQ3 定常点過程に対して、持続的ベッチ数 $\beta_q$ の期待値および分布としての漸近的挙動はどのように振る舞うか？
• RQ4 定常点過程上に構築されたランダムなチェハチ複体の持続的ベッチ数に対して、中心極限定理を確立できるか？
• RQ5 点過程の摂動に対する持久図の安定性は、極限図への収束とどのように関係するか？

主な発見

• 一様エルゴード性と有限モーメント条件の下で、窓サイズ $L \to \infty$ の際、定常点過程のスケーリングされた持久図はほとんど確実に確定的極限図に収束する。
• 極限持久図が全サポートを持つための十分条件が提示され、これは基礎となる点過程の強度と相関構造に依存する。
• 期待持続的ベッチ数 $\mathbb{E}[\beta_q(C(\Phi_{\Lambda_L}, r))]$ は $L^N$ に比例して線形に増加し、正規化された期待値は定数 $\hat{\beta}_q^r \geq 0$ に収束する。
• 単位強度の均一なポアソン点過程に対しては、$\beta_q(C(\Phi_{\Lambda_L}, r))$ の正規化されたフラクチュエーションが、$L^{N/2}$ でスケーリングした後、正規分布に分布収束する。
• ボトルネック距離が、点過程の小さな摂動に対して安定であることが示され、その境界はハウスドルフ距離とフィルトレーション関数の連続性に依存する。
• 連続性の結果が確立され、フィルトレーション関数がハウスドルフ距離に関してリプシッツ連続であれば、持久図間のボトルネック距離は、点集合間のハウスドルフ距離にリプシッツ定数を乗じたもので抑えられる。