[論文レビュー] Topology of random clique complexes

Matthew Kahle|arXiv (Cornell University)|May 19, 2006

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

ひとこと要約

本稿は、ランダムクリーク複体 $X(G(n,p))$ における高次ホモロジー群の消滅および非消滅に関する最初の鋭い閾値を確立し、$p = n^\alpha$ のとき、$k$ 番目のホモロジー群は $\alpha < -1/k$ または $\alpha > -1/(2k+1)$ で消滅し、$-1/k < \alpha < -1/(k+1)$ で非消滅することを示している。これは、エレドシュ＝レニーの連結性閾値を高次元トポロジーへ一般化するものである。

ABSTRACT

In a seminal paper, Erdos and Renyi identified the threshold for connectivity of the random graph G(n,p). In particular, they showed that if p &gt;&gt; log(n)/n then G(n,p) is almost always connected, and if p &lt;&lt; log(n)/n then G(n,p) is almost always disconnected, as n goes to infinity. The clique complex X(H) of a graph H is the simplicial complex with all complete subgraphs of H as its faces. In contrast to the zeroth homology group of X(H), which measures the number of connected components of H, the higher dimensional homology groups of X(H) do not correspond to monotone graph properties. There are nevertheless higher dimensional analogues of the Erdos-Renyi Theorem. We study here the higher homology groups of X(G(n,p)). For k &gt; 0 we show the following. If p = n^alpha, with alpha &lt; -1/k or alpha &gt; - 1/(2k+1), then the kth homology group of X(G(n,p)) is almost always vanishing, and if -1/k &lt; alpha &lt; -1/(k+1), then it is almost always nonvanishing. We also give estimates for the expected rank of homology, and exhibit explicit nontrivial classes in the nonvanishing regime. These estimates suggest that almost all d-dimensional clique complexes have only one nonvanishing dimension of homology, and we cannot rule out the possibility that they are homotopy equivalent to wedges of spheres.

研究の動機と目的

• ランダムクリーク複体における高次元トポロジー的不変量へのエレドシュ＝レニーのランダムグラフ連結性閾値の拡張を図ること。
• モノトニックでないグラフ的性質に対応しない高次ホモロジー群の非単調な挙動を理解すること。
• ランダムクリーク複体 $X(G(n,p))$ の $k$ 番目のホモロジー群が消滅または非消滅する正確な閾値領域を特定すること。
• ホモロジーの期待ランクを推定し、ランダムクリーク複体が輪状の球面のホモトピー型に同値であるかどうかを調査すること。
• ランダム $d$ 次元クリーク複体におけるホモロジーが、特に $\lfloor d/2 \rfloor$ の周辺で非常に狭い次元範囲に集中しているという証拠を提供すること。

提案手法

• グラフ $G$ のクリーク複体 $X(G)$ を、$G$ のすべての完全部分グラフを単体とする単体的複体として定義する。
• $n \to \infty$ のときの $k$ 番目の減少ホモロジー群 $\widetilde{H}_k(X(n,p), \mathbb{Z})$ の漸近的挙動を分析する。ここで $p = n^\alpha$ である。
• 一階および二階のモーメント法を用いて、$k$ 次元ホモロジー類の期待数を推定し、特に $K_{k+1}$ 部分グラフによって形成される $k$ サイクルに注目する。
• セルラーホモロジーと普遍係数定理を用いてベッチ数を評価し、ホモロジーにおける torsion を制御する。
• $k$ 個の頂点で交わる $K_{k+1}$ 部分グラフのペアの数を推定し、潜在的な $k$ サイクルの数を制限する。
• $\beta_k \leq d$（$d$ はこのような交差ペアの数）であることに着目し、$E(d) \to 0$ のときホモロジーが消滅することを示す。

実験結果

リサーチクエスチョン

• RQ1 ランダムクリーク複体 $X(G(n,p))$ における $k$ 番目のホモロジー群の消滅および非消滅に関する鋭い閾値は何か？
• RQ2 $p = n^\alpha$ の関数として、$\widetilde{H}_k(X(n,p))$ の期待ランクはどのように振る舞うか？
• RQ3 $k$ 番目のホモロジー群がほとんど常に非自明になる領域は何か？また、明示的な非自明なホモロジー類を構成可能か？
• RQ4 ランダム $d$ 次元クリーク複体が、ホモロジーが $\lfloor d/2 \rfloor$ 次元に集中している場合、特にこの次元で輪状の $k$-球面とホモトピー同値である可能性はあるか？
• RQ5 $X(G(n,p))$ のトポロジーは、リンメイシャル＝メシュゥラムやプリンペル＝シュライヒが定義する他のランダム単体的複体とどのように比較できるか？

主な発見

• $p = n^\alpha$ のとき、$k$ 番目のホモロジー群 $\widetilde{H}_k(X(n,p), \mathbb{Z})$ は $\alpha < -1/k$ または $\alpha > -1/(2k+1)$ でほとんど常に消滅する。
• $-1/k < \alpha < -1/(k+1)$ のとき、$k$ 番目のホモロジー群はほとんど常に非消滅し、$p$ に関してユニモーダルな挙動を示す。
• $\widetilde{H}_k(X(n,p))$ の期待ランクが推定され、$-1/k < \alpha < -1/(k+1)$ の範囲に集中していることが示された。また、明示的な非自明なクラスが構成された。
• $d$ 次元クリーク複体において、ホモロジーはほとんど常に次元 $\lfloor d/2 \rfloor$ よりも高い次元および $\lfloor d/4 \rfloor$ よりも低い次元で自明であり、非自明なホモロジーは $\lfloor d/2 \rfloor$ の周辺に集中している。
• オイラー標跡は $\lfloor d/2 \rfloor$ 次元のベッチ数に支配され、これは典型的な場合にこの次元のみが非自明なホモロジーを持つことを示唆している。
• $-1/k < \alpha < -1/(k+1)$ のとき、$X(n,p)$ がほとんど常に $k$-連結であり、かつホモロジーが torsion-free であると仮定すれば、$k$-球面の輪状のホモトピー型に同値であると本稿は予想している。