[論文レビュー] On the asymptotic normality of persistent Betti numbers

Johannes Krebs, Wolfgang Polonik|arXiv (Cornell University)|Mar 8, 2019

Topological and Geometric Data Analysis被引用数 5

ひとこと要約

本稿は、臨界的領域におけるポアソン過程および二項過程のための持続的ベッチ数の多次元漸近正規性を確立し、これまでの点별結果を拡張する。著者らは、持続的ベッチ数に強い安定性性質を証明することで、正規化された持続的ベッチ数の連合分布が、すべてのパラメータ対 (r,s) において、グラフの透過的効果に依存せず、多次元正規分布に収束することを示している。

ABSTRACT

Persistent Betti numbers are a major tool in persistent homology, a subfield of topological data analysis. Many tools in persistent homology rely on the properties of persistent Betti numbers considered as a two-dimensional stochastic process $ (r,s) \mapsto n^{-1/2} (β^{r,s}_q ( \mathcal{K}(n^{1/d} \mathcal{X}_n))-\mathbb{E}[β^{r,s}_q ( \mathcal{K}( n^{1/d} \mathcal{X}_n))])$. So far, pointwise limit theorems have been established in different settings. In particular, the pointwise asymptotic normality of (persistent) Betti numbers has been established for stationary Poisson processes and binomial processes with constant intensity function in the so-called critical (or thermodynamic) regime, see Yogeshwaran et al. [2017] and Hiraoka et al. [2018]. In this contribution, we derive a strong stabilization property (in the spirit of Penrose and Yukich [2001] of persistent Betti numbers and generalize the existing results on the asymptotic normality to the multivariate case and to a broader class of underlying Poisson and binomial processes. Most importantly, we show that the multivariate asymptotic normality holds for all pairs $(r,s)$, $0\le r\le s<\infty$, and that it is not affected by percolation effects in the underlying random geometric graph.

研究の動機と目的

• すべての (r,s) 対において、点別漸近正規性を多次元ケースに一般化すること。
• 均一なポアソンおよび二項過程から非均一なポアソンおよび二項過程（有界密度を有する）への既存の中心極限定理の拡張。
• 持続的ベッチ数に強い安定性性質を確立し、Trinh (2019) の抽象的中心極限定理の適用を可能にする。
• 臨界領域における持続的ベッチ数の漸近正規性が、透過的効果に影響されないことを示すこと。
• 持続的ホモロジーを用いたトポロジカルデータ解析における統計的推論の厳密な基盤を提供すること。

提案手法

• 個々の点がベッチ数に与える影響を制限する幾何学的補題を用いて、持続的ベッチ数の強い安定性を証明する。
• 重み付き和として定義される持続的ベッチ数の関数に、Trinh (2019) の抽象的中心極限定理を適用する。
• 強度の上界が密度の上界 ||κ||∞ に等しいポアソン過程による確率的支配を用いて、ポアソンおよび二項過程の有界モーメント条件を確立する。
• 平行移動不変性と球内の点数のモーメントバウンドを用いて、追加1点コスト関数の4次モーメントを制御する。
• 漸近的分散を強度関数および点が持続的ベッチ数に与える局所的影響の関数として導出する。
• 単位強度過程における局所的微分関数の関数 α(λ^{1/d}(r,s)) の共分散構造を用いて、極限分散を表現する。

実験結果

リサーチクエスチョン

• RQ1 臨界領域におけるすべての (r,s) 対について、持続的ベッチ数の多次元漸近正規性が成り立つか、点別ではなく普遍的に成り立つか？
• RQ2 点別漸近正規性の結果を、有界密度を持つ均一でないポアソンおよび二項過程へ拡張できるか？
• RQ3 元のランダム幾何的複体の透過的効果が、持続的ベッチ数の漸近正規性に影響しないか？
• RQ4 多次元設定における複数の (r,s) 対について、極限共分散構造の正確な形は何か？
• RQ5 持続的ベッチ数の強い安定性性質が、抽象的中心極限定理の適用をどのように可能にするか？

主な発見

• すべての (r,s) について 0 ≤ r ≤ s < ∞ が成り立つ範囲で、持続的ベッチ数の多次元漸近正規性が成り立つ。これは、従来の点別結果を拡張するものである。
• 正規化された持続的ベッチ数の極限分布は多次元正規分布であり、極限分散は関数 α(λ^{1/d}(r,s)) を通じた点の局所的影響に依存する。
• 漸近的分散は、局所的微分関数の積の期待値から、それらの期待値の積を引いた共分散表現で与えられる。
• 強い安定性性質により、任意の一点が持続的ベッチ数に与える影響が距離とともに急速に減少することが保証され、混合型中心極限定理の適用が可能になる。
• 結果は透過的効果に対してロバストであり、収束がランダム幾何的複体のグローバルな連結性特性に依存しない。
• 中心極限定理に必要な有界モーメント条件は、||κ||∞ に上界を持つポアソン過程による確率的支配を用いて検証され、一般の有界密度への適用可能性が保証される。