[論文レビュー] Fundamental Groups of Random Clique Complexes

Eric Babson|arXiv (Cornell University)|Jul 20, 2012

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

ひとこと要約

本稿は、エッジ確率 $ p_n $ が $ n^{-1/3} $ から $ n^{-1/2} $ の間にある場合、エッジ確率が $ n^{-1/3} $ から $ n^{-1/2} $ の間にあるエッジ確率の Erdős-Rényi ランダムグラフのクリーク複体の基本群が、漸近的にほとんど確実に非自明で、双曲的であることを確立する。新規の 3-適応ウェブ枠組みとホモトピー型解析を用いて、このような複体が、円、球面、実射影平面のワッペンのホモトピー型を持つことを証明し、すべての部分複体において頂点数とエッジ数の比が 1/3 を超える場合に、基本群が非自明であることを示している。

ABSTRACT

Clique complexes of Erdős-Rényi random graphs with edge probability between $n^{-{1\over 3}}$ and $n^{-{1\over 2}}$ are shown to be aas not simply connected. This entails showing that a connected two dimensional simplicial complex for which every subcomplex has fewer than three times as many edges as vertices must have the homotopy type of a wedge of circles, two spheres and real projective planes. Note that $n^{-{1\over 3}}$ is a threshold for simple connectivity and $n^{-{1\over 2}}$ is one for vanishing first $\F_2$ homology.

研究の動機と目的

• Erdős-Rényi グラフのランダムクリーク複体における非自明基本群の閾値を特定すること。
• すべての部分複体において頂点対エッジ比が 1/3 を超える複体が、円、球面、実射影平面のワッペンのホモトピー型を持つことの確立。
• 従来の 2-適応条件を置き換えるために、適応ウェブ枠組みを 3-適応複体へと拡張すること。
• $ p_n \in [n^{-1/3 - \epsilon}, n^{-1/2 + \epsilon}] $ の場合、基本群がほとんど確実に非自明で双曲的であることを示すこと。

提案手法

• すべての部分複体 $ Y $ に対して $ f^0Y / f^1Y > 1/3 $ を満たす 3-適応 2次元ウェブを導入し、これにより、円、球面、実射影平面のワッペンのホモトピー型へのホモトピー同値が保証される。
• ホモトピー型の主張に対する最小反例を同定するために、ウェブに辞書式部分順序を導入する。
• 正規化およびジッピング写像を用いて、非正規または非 2-正規のウェブを簡約し、適応性を保ちつつ複雑さを低下させる。
• モノゴンおよびジゴンに対する崩壊操作を適用して、複雑なウェブを適応性を維持しながら面数を減らす。
• 構造的不変量を追跡するために、局所的適応和 $ (L + 3\chi)W = \sum_v K_v + \sum_c K_c + \sum_m K_m $ を用いる。
• Kahle および Żuk を通じたスペクトルギャップおよび Garland 型の議論を用いて、より高いエッジ確率における $ \pi_1 $ の非自明性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 どのエッジ確率 $ p_n $ に対して、クリーク複体 $ K(n,p_n) $ の基本群が漸近的にほとんど確実に非自明になるか。
• RQ2 すべての部分複体が $ f^0Y / f^1Y > 1/3 $ を満たす 2 次元単体的複体は、どのようなホモトピー型を持つか。
• RQ3 3-適応ウェブ枠組みは、ランダムクリーク複体の解析において 2-適応アプローチをどのように改善するか。
• RQ4 $ p_n \geq n^{-1/2 + \epsilon} $ の場合、頂点リンクのスペクトルギャップが基本群の構造に果たす役割は何か。

主な発見

• $ p_n \in [n^{-1/3 - \epsilon}, n^{-1/2 + \epsilon}] $ の場合、基本群 $ \pi_1(K(n,p_n)) $ はほとんど確実に非自明で双曲的である。
• すべての部分複体 $ Y $ に対して $ f^0Y / f^1Y > 1/3 $ を満たす有限連結 2 複体は、円、2 個の球面、および実射影平面のワッペンのホモトピー型を持つ。
• ホモトピー型定理の最小反例は、$ \delta(W) \geq 3 $ かつ 2-正規でなければならないため、非連結またはカットポイントを持つリンクは除外される。
• モノゴンおよびジゴンは最小反例に存在できない。なぜなら、それらの崩壊によりより小さい適応複体が得られるからである。
• $ \gamma(2i) = i $（$ i=1,2,3 $）を満たす 6 サイクル $ \gamma $ は、$ p_n \geq n^{-1/2 + \epsilon} $ の場合、$ K(n,p_n) $ でほとんど確実に非可縮的であり、これにより $ \pi_1 $ が非自明であることが示される。
• $ p_n \geq n^{-1/2 + \epsilon} $ の場合、$ \pi_1(K(n,p_n)) $ はほとんど確実にカジダンの性質 T を有し、強い剛性を示している。