[論文レビュー] The self-similar evolution of stationary point processes via persistent homology

Daniel J. Spitz, Anna Wienhard|arXiv (Cornell University)|Dec 10, 2020

Topological and Geometric Data Analysis被引用数 7

ひとこと要約

本稿は、定常点過程の持続的ホモロジーを用いた持久的図の自己相似スケーリング枠組みを確立し、スケーリング指数のパッケージング関係を証明する。拡張されたパrameter区間の極限において、測度密度のスケーリング指数（$\eta_2$）は、持久的図座標のスケーリング指数（$\eta_1$）の $n$ 倍に等しくなる、すなわち $\eta_2 = n\eta_1$ である。この結果は、持久的ベッチ数の強大数法則を立方体平均からバランスの取れた凸平均列へ拡張し、確率的空間過程の位相的データ解析における自己相似スケーリングの厳密な基礎を提供する。

ABSTRACT

Persistent homology provides a robust methodology to infer topological structures from point cloud data. Here we explore the persistent homology of point clouds embedded into a probabilistic setting, exploiting the theory of point processes. We introduce measures on the space of persistence diagrams and the self-similar scaling of a one-parameter family of these. As the main result we prove a packing relation between the occurring scaling exponents.

研究の動機と目的

• 定常かつ混合点過程の文脈において、1パrameter族の持久的図期待測度の自己相似スケーリングを形式化すること。
• 立方体平均を超えて、バランスの取れた凸平均列への持久的ベッチ数の強大数法則の拡張すること。
• 量子物理学への応用を動機として、確率的空間構造の位相的データ解析における自己相似スケーリングの厳密な数学的枠組みを確立すること。
• スケーリング変換の下で持久的図測度の進化を支配するスケーリング指数 $\eta_1$ と $\eta_2$ の間の普遍的なパッケージング関係を証明すること。

提案手法

• 定常かつ混合点過程から導かれる、空間 $\Delta = \{(b,d) \in \mathbb{R}^2 \mid b < d\}$ 上のRadon測度としての持久的図期待測度を導入する。
• パrameter $t,t' \in (T_0,T_1)$ に対して、変換 $\mathfrak{p}(t,A)(B) = (t/t')^{-\eta_2} \mathfrak{p}(t',A)((t/t')^{-\eta_1}B)$ を用いて、こうした測度の1パrameter族の自己相似スケーリングを定義する。
• 有界な全持久性理論の結果 [CSEHM10] を適用し、スケーリング指数 $\eta_1$ と $\eta_2$ の間の位相的制約を導出する。
• 混合性と体積平均収束を用いて、立方体に限らない、バランスの取れた条件を満たす凸平均列への持久的ベッチ数の強大数法則を拡張する。
• 凸集合の立方体へのタイル張りと、領域間のベッチ数カウントの差の推定を用いて収束速度を制御する。
• 体積平均収束するベッチ数密度が、$\Delta$ 上の唯一のRadon極限へ持久的図測度の収束を示す。

実験結果

リサーチクエスチョン

• RQ1 定常かつ混合点過程に対して、持久的図期待測度が存在するための条件は何か？
• RQ2 $\mathbb{R}^n$ における基礎となる点過程の幾何的スケーリングと、持久的図測度の自己相似スケーリングとはどのように関係するか？
• RQ3 持久的ベッチ数の強大数法則は、立方体平均を超えて、他の凸平均列へ一般化可能か？
• RQ4 自己相似スケーリング族の持久的図測度のスケーリング指数 $\eta_1$ と $\eta_2$ の間に、普遍的な関係は存在するか？
• RQ5 拡張されたパrameter区間の極限において、スケーリング指数 $\eta_2$ が $n\eta_1$ に等しくなるのはどのような条件下か？

主な発見

• 自己相似スケーリングの下で、持久的図期待測度は普遍的なパッケージング関係を満たす：十分に拡張されたパrameter区間 $(T_0, T_1)$ に対して $\eta_2 = n\eta_1$ が成り立つ。
• 点過程の混合性と有限モーメント条件が満たされれば、持久的図期待測度の存在が保証される。
• 任意のバランスの取れた凸平均列に対して、持久的ベッチ数の強大数法則が成り立ち、従来の立方体に限った結果を拡張する。
• 体積平均収束するベッチ数密度が極限へ収束することは、関連する持久的図測度が $\Delta$ 上の唯一のRadon測度へ収束することを示す。
• バランスの取れた凸集合 $A_k$ に対して、正規化されたベッチ数カウント $\psi(A_k)/\lambda_n(A_k)$ が定数 $\hat{\beta}^{r,s}_\ell$ へ収束することが確立された。
• 証明は、対称差内の単体数の推定を用いて重複領域間のベッチ数カウントの差を制御し、混合性と体積スケーリングを活用する。