[論文レビュー] Random simplicial complexes

Matthew Kahle|arXiv (Cornell University)|Jul 24, 2016

Topological and Geometric Data Analysis参考文献 53被引用数 7

ひとこと要約

本稿は、ランダム単体複体の位相的・幾何的性質に焦点を当て、$Y(n,p)$ や $X(n,p)$ のようなモデルにおける位相的相転移や閾値現象を調査する。ホモロジーの消滅、連結性、崩壊可能性に関する鋭い閾値を確立し、下臨界および熱力学的領域におけるベッチ数および持続的ホモロジーの精密な漸近的推定値を提供する。これにより、確率的位相幾何学および位相的データ解析の基盤的知見が得られる。

ABSTRACT

Random shapes arise naturally in many contexts. The topological and geometric structure of such objects is interesting for its own sake, and also for applications. In physics, for example, such objects arise naturally in quantum gravity, in material science, and in other settings. Stochastic topology may also be considered as a null hypothesis for topological data analysis. In this chapter we overview combinatorial aspects of stochastic topology. We focus on the topological and geometric properties of random simplicial complexes. We introduce a few of the fundamental models in Section 23.1. We review high-dimensional expander-like properties of random complexes in Section 23.2. We discuss threshold behavior and phase transitions in Section 23.3, and Betti numbers and persistent homology in Section 23.4.

研究の動機と目的

• ランダム単体複体における位相的相転移を特定すること、特に $Y(n,p)$ および $X(n,p)$ モデルにおいて。
• ホモロジーの消滅、連結性、崩壊可能性といった位相的性質の鋭い閾値および粗い閾値を特定すること。
• 下臨界および熱力学的領域におけるランダム幾何的複体のベッチ数の漸近的期待値および極限定理を導出すること。
• ランダム複体における持続的ホモロジーを分析し、最大持続時間に関する大数の法則および繰り返し対数法則を示すこと。
• 位相的データ解析および幾何確率の帰無仮説としての確率的位相幾何学の包括的概観を提供すること。

提案手法

• Erdős–Rényi のランダムグラフモデル $G(n,p)$ を出発点とし、各2単体が確率 $p$ で独立に含められるランダム2複体 $Y(n,p)$ を用いて高次元の単体複体に拡張する。
• 確率論的および組合せ論的技法を用いて頂点のリンク構造を分析し、$Y(n,p)$ における任意の頂点のリンクが $G(n-1,p)$ と同分布であることを示す。
• 実数および整数モジュラー係数を用いたホモロジー論を用いてベッチ数 $\beta_i$、特に $\beta_1$ および $\beta_2$ を研究し、その消滅閾値を分析する。
• 下臨界領域（$nr^d \to 0$）および熱力学的極限（$nr^d \to C$）におけるヴェトリス–ライプス複体およびチェハ複体を分析し、ベッチ数の漸近的期待値を導出する。
• 確率論の極限定理（大数の法則および中心極限定理）を用いて、下臨界および熱力学的領域におけるベッチ数の性質を分析する。
• サイクルの持続時間 $p(\sigma) = d(\sigma)/b(\sigma)$ を定義し、$VR(n,r)$ および $C(n,r)$ における最大持続時間に関する繰り返し対数法則を証明する。

実験結果

リサーチクエスチョン

• RQ1 ランダム2複体 $Y(n,p)$ におけるホモロジーの消滅、連結性、崩壊可能性の鋭い閾値は何か？
• RQ2 下臨界領域（$nr^d \to 0$）および熱力学的極限（$nr^d \to C$）におけるランダム幾何的複体のベッチ数 $\beta_k$ は漸近的にどのように振る舞うか？
• RQ3 下臨界および熱力学的領域におけるベッチ数の極限定理は何か？また、大数の法則が成り立つか？
• RQ4 ランダムヴェトリス–ライプス複体およびチェハ複体におけるサイクルの最大持続時間の漸近的挙動は何か？
• RQ5 マルチパラメータモデルにおいて、ランダム単体複体のホモロジーが特定の次数に支配される程度はどの程度か？

主な発見

• $Y(n,p)$ における $H_1(Y, \mathbb{Z}/\ell\mathbb{Z}) = 0$ の閾値は $2\log n / n$ であり、これは鋭い閾値である。
• ランダム2複体 $Y(n,p)$ において、$p \geq 2.753/n$ のとき、$H_2(Y, \mathbb{R}) \neq 0$ は概収率で成り立つ。この閾値は片側鋭いものである。
• 下臨界領域（$nr^d \to 0$）において、ヴェトリス–ライプス複体について $\mathbb{E}[\beta_k(VR(n,r))] \sim C_k n^{2k+2} r^{d(2k+1)}$ が成り立ち、$C_k$ は $k$、$d$、および密度 $f$ に依存する。
• 熱力学的極限（$nr^d \to C$）において、$1 \leq k \leq d-1$ に対して $\beta_k = \Theta(n)$ であり、$\beta_k / n \to C_k$ は概収率で成り立つ。これは強い大数の法則を確認する。
• VR(n,r) におけるサイクルの最大持続時間は、概収率で $\max p(\sigma) = \Theta\left( \left( \frac{\log n}{\log \log n} \right)^{1/i} \right)$ を満たす。
• 最大持続時間について $\max p(\sigma) / \left( \frac{\log n}{\log \log n} \right)^{1/i} \to C_{d,i}$ が確率的に成り立つという予想が提示され、最大持続時間に関する大数の法則の可能性を示唆する。