[論文レビュー] Persistent Betti numbers of random Čech complexes

Ulrich Bauer, Florian Pausinger|arXiv (Cornell University)|Jan 25, 2018

Topological and Geometric Data Analysis参考文献 6被引用数 5

ひとこと要約

本稿は、ポアソン点過程モデルを用いて、下臨界領域におけるランダムČech複体の期待k次の恒続的ベッチ数の漸近的順序を確立する。ペンローズのランダム幾何グラフに対する手法を一般化し、パンル理論を適用することで、期待恒続的ベッチ数が $\Theta(n^m r_n^{d(m-1)})$ にスケーリングすることを証明する。ここで $m = k+1$ であり、これはカーレの通常のベッチ数に関する結果を特別な場合として回復する。

ABSTRACT

We study the persistent homology of random Čech complexes. Generalizing a method of Penrose for studying random geometric graphs, we first describe an appropriate theoretical framework in which we can state and address our main questions. Then we define the kth persistent Betti number of a random Čech complex and determine its asymptotic order in the subcritical regime. This extends a result of Kahle on the asymptotic order of the ordinary kth Betti number of such complexes to the persistent setting.

研究の動機と目的

• ランダムČech複体における恒続的ホモロジー設定へのカーレの通常のベッチ数に関する結果の拡張。
• ランダム幾何複体における恒続的ホモロジーを分析する理論的枠組みを確立する。
• 下臨界領域における期待k次の恒続的ベッチ数の漸近的成長率を特定する。
• 恒続的ホモロジーをランダム点集合に特徴付けることで、トポロジカルデータ解析と確率的帰無モデルの間のギャップを埋める。
• 臨界および他のパrameter領域における恒続的ベッチ数を研究する基盤を提供する。

提案手法

• 有界な確率密度 $f$ を持つ $\mathbb{R}^d$ 上の強度 $nf(x)$ のポアソン点過程 $\mathcal{P}_n$ を用いてランダムČech複体をモデル化する。
• フィルトレーションにおけるČech複体の恒続的ホモロジーのランクとして、k番目の $\vartheta$-恒続的ベッチ数 $\beta_k^\vartheta(\mathcal{P}_n, r_n)$ を定義する。
• 期待値を計算するため、恒続的サイクルに関連する有限幾何的部分集合の性質の数え上げにパンル理論（定理1.1）を適用する。
• 非自明な $\vartheta$-恒続的 $k$-サイクルを支える最小頂点集合を特定するために、幾何的部分集合の性質 $\Upsilon_{r,p}^{\vartheta,k}$ を用いる。
• 組合せ的数え上げと $\operatorname{RelativeCount}(\Upsilon, \mathcal{P}_n)$ の漸近的解析により下界と上界を導出し、$\Theta(n^m r_n^{d(m-1)})$ スケーリングに至る。
• 下界（補題3.6）と上界（補題4.1）を組み合わせることで漸近的順序を確立し、$m = k+1$ とする。

実験結果

リサーチクエスチョン

• RQ1 下臨界領域におけるランダムČech複体の期待k次の恒続的ベッチ数の漸近的順序は何か？
• RQ2 点数 $n \to \infty$ かつ半径 $r_n$ が $r_n^d n \to 0$ とスケーリングする際、ランダム点集合の恒続的ホモロジーはどのように振る舞うか？
• RQ3 ペンローズのランダム幾何グラフに対する手法を、恒続的ホモロジーおよび幾何的部分集合の性質へ一般化できるか？
• RQ4 ランダムČech複体において、非自明な $\vartheta$-恒続的 $k$-サイクルを支えるために必要な最小の頂点数は何か？
• RQ5 下臨界領域において、期待恒続的ベッチ数は $n$ と $r_n$ に対してどのようにスケーリングするか？

主な発見

• 下臨界領域において、期待k次の $\vartheta$-恒続的ベッチ数 $E(\beta_k^\vartheta(\mathcal{P}_n, r_n))$ は $\Theta(n^m r_n^{d(m-1)})$ に属する。ここで $m = k+1$ である。
• 下界 $E(\beta_k^\vartheta(\mathcal{P}_n, r_n)) \in \Omega(n^m r_n^{d(m-1)})$ は、最小頂点集合に支持される恒続的サイクルの線形独立性から導出される。
• 上界 $E(\beta_k^\vartheta(\mathcal{P}_n, r_n)) \in \mathcal{O}(n^m r_n^{d(m-1)})$ は、組合せ的数え上げと漸近的解析により、このようなサイクルの数を上界で抑え込むことから得られる。
• この結果は、カーレの通常のベッチ数に関する漸近的結果を恒続的設定に一般化し、$\vartheta = 1$ の場合にそれを特別なケースとして回復する。
• 解析は、漸近的順序において $m$-頂点構成が支配的であることに依存しており、$c_{m,k}^\vartheta = 1$ が成立する可能性があるが、これはまだ予想のままである。
• この枠組みは、整数係数などの他の係数環へも拡張可能であり、適切に恒続的サイクルとベッチ数を再定義することで可能である。