[論文レビュー] Limit theorems for process-level Betti numbers for sparse, critical, and Poisson regimes

Takashi Owada, Andrew M. Thomas|arXiv (Cornell University)|Sep 15, 2018

Topological and Geometric Data Analysis参考文献 18被引用数 4

ひとこと要約

本稿は、$[ d$次元ユークリッド空間内にポアソン分布する点から構築されたチェハフ複体のプロセスレベルのベッチ数に関する極限定理を確立する。スパarsely、臨界的、ポアソン的の三つのスケーリング領域を分析し、スパarselyおよび臨界的領域では中心極限定理（それぞれ時間変換されたブラウン運動およびガウス過程として表される極限過程を伴う）、ポアソン的領域ではポアソン極限定理を証明することで、確率的幾何複体における位相的複雑性の完全な漸近的特徴付けを提供する。

ABSTRACT

The objective of this study is to examine the asymptotic behavior of Betti numbers of Čech complexes treated as stochastic processes and formed from random points in the $d$-dimensional Euclidean space $\mathbb{R}^d$. We consider the case where the points of the Čech complex are generated by a Poisson process with intensity $nf$ for a probability density $f$. We look at the cases where the behavior of the connectivity radius of Čech complex causes simplices of dimension greater than $k+1$ to vanish in probability, the so-called sparse and Poisson regimes, as well when the connectivity radius is on the order of $n^{-1/d}$, the critical regime. We establish limit theorems in all of the aforementioned regimes, a central limit theorem for the sparse and critical regimes, and a Poisson limit theorem for the Poisson regime. When the connectivity radius of the Čech complex is $o(n^{-1/d})$, i.e., the sparse and Poisson regimes, we can decompose the limiting processes into a time-changed Brownian motion and a time-changed homogeneous Poisson process respectively. In the critical regime, the limiting process is a centered Gaussian process but has much more complicated representation, because the Čech complex becomes highly connected with many topological holes of any dimension.

研究の動機と目的

• 確率的幾何位相の分野において、ベッチ数の漸近的挙動を確率過程として分析すること。
• スパarsely、臨界的、ポアソン的の三つの異なるスケーリング領域におけるプロセスレベルのベッチ数の極限分布を特徴づけること。
• スパarselyおよび臨界的領域における中心極限定理、ポアソン的領域におけるポアソン極限定理を確立すること。
• 時間変換されたブラウン運動やガウス過程を含む、極限過程の明示的表現を導出すること。
• 強度 $nf$ のポアソン過程からなるチェハフ複体の位相的複雑性を理解すること。

提案手法

• 強度 $nf$ のポアソン点過程を用いてチェハフ複体をモデル化する。ここで $f$ は $[ d$ 上の確率密度関数である。
• 連結半径 $t$ に従ってインデックス付けられた確率過程としてベッチ数 $\beta_k$ を分析し、スケールをまたがる位相的特徴を追跡する。
• モーメント法および階乗モーメント測度を用いて、高次単体の挙動とそれらがベッチ数に与える寄与を制御する。
• 連続写像定理およびポアソン確率測度のラプラス関数を用いて、極限過程の弱収束を特徴づける。
• 変数変換および単体の交差を示す指示関数を含む積分のバウンドを用いて、分散項の消失を証明する。
• 漸近展開および複雑な接続性の確率に関するバウンドを用いて、期待値および2次のモーメントの収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 元の点過程が強度 $nf$ のポアソン過程であるとき、チェハフ複体のベッチ数は確率過程としてどのように振る舞うか？
• RQ2 スパarsely領域（連結半径が $o(n^{-1/d})$）において、$k$-番目のベッチ数プロセスの極限分布は何か？
• RQ3 臨界的領域（連結半径が $n^{-1/d}$ のオーダー）において、ベッチ数プロセスの極限挙動は何か？
• RQ4 ポアソン的領域における極限過程は、スパarselyおよび臨界的領域とどのように異なるか？
• RQ5 臨界的領域における極限過程は明示的に表現可能か？その幾何的性質に依存するか？

主な発見

• スパarsely領域では、ベッチ数の極限過程は時間変換されたブラウン運動である。これは位相的特徴の拡散的フラクチュエーションを反映している。
• 臨界的領域では、極限過程は中心化されたガウス過程であり、高次元の連結性とあらゆる次元の持続的位相的穴のため、複雑な表現を持つ。
• ポアソン的領域では、極限過程は弱収束して時間変換された定常ポアソン過程に一致し、これは希少で独立した位相的出来事であることを示している。
• $k$-番目のベッチ数プロセスの期待値は、$\mu_{k,\mathbb{R}^d}(t,t)$ に収束する。これは $k$-サイクルの期待数を捉えている。
• 高次元単体からの寄与を表す剰余項 $R_{k,n}(t)$ は $n \to \infty$ のとき期待値で消失し、主要項の収束を保証する。
• 有限次元分布の収束は、モーメント収束およびポアソン確率測度に連続写像定理を適用することで確立される。