[論文レビュー] Collapsibility and vanishing of top homology in random simplicial complexes

Lior Aronshtam, Nathan Linial+2 more|arXiv (Cornell University)|Oct 7, 2010

Topological and Geometric Data Analysis参考文献 2被引用数 11

ひとこと要約

本稿では、$(n-1)$-単体上に構築されたランダムな$d$次元単体的複体における、収縮可能性および上位ホモロジーの消滅の閾値を研究する。$c < \gamma_d = \Theta(\log d)$ のとき、このような複体は概ね確実に$(d-1)$次元複体に収縮するか、$\partial\Delta_{d+1}$ を含む。一方、$c > c_d = d+1 - \Theta(d/e^d)$ のとき、上位ホモロジー $H_d(Y;\mathbb{F})$ は概ね確実に非自明である。$\gamma_d$ は収縮可能性の鋭鋭閾値であると予想されている。

ABSTRACT

Let Y be a random d-dimensional subcomplex of the (n-1)-dimensional simplex S obtained by starting with the full (d-1)-dimensional skeleton of S and then adding each d-simplex independently with probability p=c/n. We compute an explicit constant gamma_d=Theta(log d) so that for c &lt; gamma_d such a random simplicial complex either collapses to a (d-1)-dimensional subcomplex or it contains the boundary of a (d+1)-simplex. We conjecture this bound to be sharp. In addition we show that there exists a constant gamma_d&lt; c_d c_d and a fixed field F, asymptotically almost surely H_d(Y;F) eq 0.

研究の動機と目的

• ランダムな$d$次元単体的複体が$\Delta_{n-1}$ 上に構築されたとき、$p = c/n$ の確率閾値を特定し、$d$-収縮可能から非収縮可能な状態への遷移を特定する。
• 非$\partial\Delta_{d+1}$ の下で、$d$-収縮可能性の鋭鋭閾値$\gamma_d = \Theta(\log d)$を確立し、これがタイトであると予想される。
• 非自明な上位ホモロジー $H_d(Y;\mathbb{F})$ の閾値に対する上界を改善し、$c > c_d = d+1 - \Theta(d/e^d)$ のとき、そのホモロジーが依然として非自明であることを示す。
• 最小非$d$-収縮可能複体の構造を分析し、収縮閾値を特定する役割を解明する。
• $d$-収縮可能性と非自明な$H_d$の閾値を比較し、それらが異なる可能性があることを示唆する。

提案手法

• 方程式$u_d(\gamma, x) = \exp(-\gamma(1-x)^d) - x = 0$が$1$未満の解$x$を持つような$\gamma$の下界$\gamma_d$を定義し、$\gamma_d = \log d + O(\log \log d)$ を得る。
• ランダムな$d$-木プロセスとクルスカル＝カトナの定理を用いて、$d$-収縮後に残存する$d$-単体の数を評価する。
• 二項分布の大偏差不等式を用い、$Y \in \mathcal{F}_{n,d}$ の条件下で$c < \gamma_d$ のとき、過剰に多くの$d$-単体が残存する確率を制御する。
• オイラー＝ポワンカレの関係式とホモロジー代数を用いて、$f_d(Y)$, $h_d(Y)$、および複体の構造の関係を関連付ける。
• マルコフの不等式と、すべての小さな部分集合$\mathcal{G}$に対する和集合の不等式を用い、収縮後に残存する$d$-単体の数を制御する。
• 非$d$-収縮可能で$d$-単体が少ない複体は、必ず$\partial\Delta_{d+1}$ を含むことを証明し、条件付き収縮結果を得る。

実験結果

リサーチクエスチョン

• RQ1 非$\partial\Delta_{d+1}$ を避けるランダムな$d$次元複体において、$\gamma_d = \Theta(\log d)$ が$d$-収縮可能性の鋭鋭閾値であるか？
• RQ2 非自明な$H_d(Y;\mathbb{F})$ のための閾値$c_d = d+1 - \Theta(d/e^d)$ が真の閾値を表しているのか、それとも改善可能か？
• RQ3 $d$-収縮可能性と非自明な上位ホモロジーの閾値は異なるものか？もしそうなら、それらはどの程度離れているか？
• RQ4 $H_d(Y;\mathbb{F}) \neq 0$ の閾値は、体$\mathbb{F}$の選択に依存するか？
• RQ5 ホモロジー$H_d$が自明なランダムな複体が、$d$-収縮可能でないことが一般的であることを示せるか？（$d$-収縮可能$\Rightarrow H_d = 0$ であるが、逆は成り立たない。）

主な発見

• $c < \gamma_d = \Theta(\log d)$ のとき、ランダムな$d$次元複体$Y \in Y_d(n, c/n)$ は、$\partial\Delta_{d+1}$ を避ける条件下で概ね確実に$d$-収縮可能である。$\gamma_2 \approx 2.455$, $\gamma_3 \approx 3.089$, $\gamma_{100} \approx 7.555$ である。
• 閾値$\gamma_d$ は、$d$-収縮可能性の鋭鋭閾値であると予想されており、$d=2$ についてのシミュレーションがその妥当性を支持している。
• $c > c_d = d+1 - \Theta(d/e^d)$ のとき、上位ホモロジー$H_d(Y;\mathbb{F})$ は概ね確実に非自明である。これは、コズロフの結果における上界を改善したものである。
• $Y$が$\partial\Delta_{d+1}$ を避ける確率は$\exp(-c^{d+2}/(d+2)!)$ であり、$c$が増加するにつれて急速に減少する。
• $(d-1)$-単体が$O(n^d)$個の$d$-単体を持つ非$d$-収縮可能複体は、必ず$\partial\Delta_{d+1}$ を含む。これは重要な構造的制約である。
• 結果から、$d$-収縮可能性と非自明な$H_d$には異なる閾値があることが示唆され、$d$-収縮可能性は非自明な上位ホモロジーを含むより強い条件であると判明する。