[論文レビュー] Betti Numbers of Gaussian Excursions in the Sparse Regime

Gugan Thoppe, Sunder Ram Krishnan|arXiv (Cornell University)|Jul 29, 2018

Topological and Geometric Data Analysis参考文献 25被引用数 3

ひとこと要約

本稿は、スパarsity領域におけるガウス型場のエク cursio nセットにおけるベッチ数——連結成分と穴の数を定量化する位相的不変量——の、初めての包括的分析を提示する。エク cursio n を Čech 複体によってモデル化し、極値理論と組み合わせ論的位相幾何学を統合することで、ベッチ数の極限定理を導出する。これは、共分散構造に最小限の仮定を置いたもとで、段階的転移、ポアソン近似、臨界閾値付近の中心極限定理を含むものである。

ABSTRACT

Random field excursions is an increasingly vital topic within data analysis in medicine, cosmology, materials science, etc. This work is the first detailed study of their Betti numbers in the so-called `sparse' regime. Specifically, we consider a piecewise constant Gaussian field whose covariance function is positive and satisfies some local, boundedness, and decay rate conditions. We model its excursion set via a Cech complex. For Betti numbers of this complex, we then prove various limit theorems as the window size and the excursion level together grow to infinity. Our results include asymptotic mean and variance estimates, a vanishing to non-vanishing phase transition with a precise estimate of the transition threshold, and a weak law in the non-vanishing regime. We further obtain a Poisson approximation and a central limit theorem close to the transition threshold. Our proofs combine extreme value theory and combinatorial topology tools.

研究の動機と目的

• スパース領域におけるガウス型場のエク cursio n におけるベッチ数の、初めての詳細な研究を提供すること。
• Čech 複体によってモデル化されたエク cursio n セットのベッチ数の漸近的平均および分散の推定を確立すること。
• スパース領域において、ゼロから非ゼロのベッチ数への段階的転移の正確な閾値を特定すること。
• 臨界閾値付近におけるベッチ数の弱法則、ポアソン近似、中心極限定理を導出すること。
• 共分散の減衰に最小限の仮定を置くことで、スパースガウス型場への位相的データ解析のツールを拡張すること。

提案手法

• 離散格子上での区分的定数、平均ゼロ、stationary なガウス型場のエク cursio n セットを、Čech 複体によってモデル化する。
• 格子点上の局所統計量を用いて、複体のベッチ数を組み合わせ論的位相幾何学的手法で近似する。
• 稀な事象を制御するため、Stein-Chen 法を用いて極値の高い場の値に適用する。
• Slepian の補題と Savage の多次元ガウス型尾部推定を用いて、場の最大値の尾部確率を有界化する。
• 極値理論と共分散行列のスペクトルバウンドを組み合わせることで、ベッチ数分布の収束速度を確立する。
• 恒常的ホモロジーからの位相的安定性の議論を用いて、近似統計量から真のベッチ数へと結果を移行する。

実験結果

リサーチクエスチョン

• RQ1 ガウス型場の高レベルエク cursio n におけるスパース領域におけるベッチ数 βk の漸近的挙動は何か？
• RQ2 窓サイズとレベルが増大する際、k次元の穴の期待数がゼロから非ゼロに転移する閾値は何か？
• RQ3 臨界閾値付近でベッチ数はどのように振る舞うか——ポアソン分布や正規分布による近似は可能か？
• RQ4 非ゼロ領域におけるベッチ数の平均および分散の収束速度は、正確にどの程度か？
• RQ5 指数的減衰ではなく、可積分性などの弱い共分散関数の仮定のもとで、結果はどの程度得られるか？

主な発見

• 本稿は、共分散の減衰率と場のレベルに依存する、スパース領域におけるゼロから非ゼロへのベッチ数の段階的転移の正確な閾値を確立した。
• ベッチ数 βk の漸近的平均および分散の推定が得られ、適切なスケーリングのもとで非退化極限への収束が示された。
• 非ゼロ領域におけるベッチ数の弱法則大数の法則が証明され、極限平均への集中が確認された。
• 臨界閾値付近では、孤立成分（β0）の数に対するポアソン近似が確立され、稀イベントの挙動が示された。
• 段階的転移付近におけるベッチ数の中心極限定理が導出され、臨界ウィンドウ内でのガウス型フラクチュエーションが裏付けられた。
• 結果は最小限の仮定のもとで成立する：共分散関数は正値、局所的に有界、可積分であり、指数的減衰の要請はない。