[論文レビュー] The fundamental group of random 2-complexes

Eric Babson, Christopher Hoffman+1 more|arXiv (Cornell University)|Oct 28, 2010

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

ひとこと要約

本稿は、ランダム2次複体における単純接続性の閾値を p = n^{-1/2} で特定し、最初のホモロジー群の消滅閾値 p = 2 log(n)/n とは明確に異なる急遷移を確立する。Gromovの局所から大域への不等式の原理の変種を用いて、p = O(n^{-1/2 - ε}) の場合、基本群はほとんど確実に語学的双曲的であることを示し、関連する等周不等式を用いたスパース2次複体のホモトピー型を分類する。

ABSTRACT

We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimetric inequalities to show that when p = O(n^{-1/2 -ε}) the fundamental group is word hyperbolic. Along the way we classify the homotopy types of sparse 2-dimensional simplicial complexes and establish isoperimetric inequalities for such complexes.

研究の動機と目的

• ランダム2次複体が単純接続状態に転じる正確な閾値確率 p を特定すること。
• この閾値を、最初のホモロジー群の消滅に既知の閾値 p = 2 log(n)/n と対比すること。
• スパースなランダム2次複体の基本群が語学的双曲的である条件を確立すること。
• スパースな2次元単体複体のホモトピー型を分類すること。
• 局所から大域への技術を用いて、このような複体に線形等周不等式を導出すること。

提案手法

• 線形等周不等式に関するGromovの局所から大域への定理の変種をランダム2次複体に適用すること。
• 確率論的手法を用いてランダム単体複体における基本群の構造を分析すること。
• スパースな2次複体をフレームワークとして、局所的な幾何的データから大域的な等周不等式を導出すること。
• 2単体の密度が低い複体のホモトピー分類結果を確立すること。
• 位相的道具と確率的組合せ論を組み合わせて、接続性の閾値を分析すること。
• p = O(n^{-1/2 - ε}) における漸近的解析を用いて、基本群の双曲性を導出すること。

実験結果

リサーチクエスチョン

• RQ1 Linial-Meshulamのランダム2次複体が単純接続状態に転じる正確な閾値確率 p は何か？
• RQ2 単純接続性の閾値は、最初のホモロジー群の消滅閾値とどのように比較されるか？
• RQ3 ランダム2次複体の基本群が語学的双曲的であるのはどのような条件下か？
• RQ4 スパースな2次元単体複体の可能なホモトピー型は何か？
• RQ5 局所的な幾何的データを用いて、スパースな2次複体に線形等周不等式を確立できるか？

主な発見

• ランダム2次複体における単純接続性の閾値は p = n^{-1/2} であり、これはホモロジー群の消滅閾値 2 log(n)/n よりも厳密に低い。
• p = O(n^{-1/2 - ε}) の場合、基本群はほとんど確実に語学的双曲的であり、強い負の曲率を示している。
• 本稿はスパースな2次複体のホモトピー型を分類し、それが1次スケルトンと2単体の分布によって決定されることを示している。
• Gromovの枠組みに基づく局所から大域への議論を用いて、スパースな2次複体に線形等周不等式を確立している。
• 結果は、p = n^{-1/2} の閾値において、位相的複雑性に急遷移が生じることを示している。
• 基本群は、この閾値で非双曲的から語学的双曲的へと明確に転移しており、幾何的構造におけるフェーズ転移を確認している。