[論文レビュー] Percolation-type problems on infinite random graphs

Alessandro Berarducci, Pietro Majer+1 more|arXiv (Cornell University)|Sep 13, 2008

Limits and Structures in Graph Theory参考文献 15被引用数 2

ひとこと要約

本稿は、N 上の完全グラフを含む無限のランダムグラフにおける、確率的独立性を仮定しないパーコレーション型問題を調査する。トポロジカル・ラマジー理論、交換可能性、エルゴディック理論を活用することで、ランダム部分グラフにおける有限または無限のクリークやパスの存在に関する鋭い十分条件を確立し、ランダムグラフにおける構造的出現の非i.i.d.フレームワークを提供する。

ABSTRACT

Abstract. We study some percolation problems on the complete graph over N. In particular, we give sharp sufficient conditions for the existence of (finite or infinite) cliques and paths in a random subgraph. No specific assumption on the probability, such as independency, is made. The main tools are a topological version of Ramsey theory, exchangeability theory and elementary ergodic theory.

研究の動機と目的

• N 上の完全グラフのランダム部分グラフにおけるクリークおよびパスの出現を、エッジ確率の独立性を仮定せずに分析すること。
• 交換可能性とトポロジカル構造を組み込むことで、i.i.d.モデルを超えたパーコレーション理論を拡張すること。
• 一般のランダムグラフモデルにおける有限および無限の連結部分構造の存在に関する鋭い十分条件を確立すること。
• トポロジカル・ラマジー理論とエルゴディック理論を組み合わせた理論的枠組みを構築し、無限のランダムグラフを分析すること。
• 最小限の確率的仮定のもとで、依存するエッジ確率を伴う設定に古典的パーコレーション結果を一般化すること。

提案手法

• 無限グラフにおける避けられない構成を同定するために、ラマジー理論のトポロジカル版を用いる。
• エッジ確率の依存構造を扱うために、交換可能性理論を応用し、独立性を仮定しない。
• 無限ランダムグラフ過程における長期的挙動と不変測度を分析するために、初等的エルゴディック理論を適用する。
• 構造的および測度論的議論を通じて、無限クリークおよびパスの存在を特徴付ける。
• 無限部分構造のほとんど確実な存在を保証するエッジ確率測度に関する条件を導出する。
• 組合せ的、確率的、トポロジカルな道具を統合し、一般の依存仮定下での部分グラフ出現を分析する。

実験結果

リサーチクエスチョン

• RQ1 N 上の完全グラフのランダム部分グラフにおいて、エッジ確率に一般的な条件が課されたとき、無限クリークがほとんど確実に出現するのはどのような場合か？
• RQ2 エッジ確率が独立でない場合に、ランダム部分グラフにおける無限パスの存在に関する十分条件は何か？
• RQ3 依存するエッジを伴う無限ランダムグラフに、ラマジー理論的原則をどのように適合させられるか？
• RQ4 交換可能性は、非i.i.d.ランダムグラフモデルにおけるパーコレーション分析をどのように容易にするか？
• RQ5 エルゴディック理論を用いて、無限ランダムグラフにおける大きなまたは無限の部分構造のほとんど確実な存在を確立できるか？

主な発見

• 本稿は、エッジ確率の独立性を仮定しない場合でも、N 上の完全グラフのランダム部分グラフにおける無限クリークの存在に関する鋭い十分条件を確立した。
• 交換可能かつエルゴディックなエッジ確率測度のもとで、無限パスまたはクリークの存在は、基礎となる測度の台および不変性の性質に依存することを証明した。
• トポロジカル・ラマジー理論的枠組みにより、依存構造にかかわらず、無限グラフにおける避けられない構成を同定できる。
• 結果として、無限クリークのような構造的特徴は、i.i.d.モデルに限らず、広範な依存確率測度のクラスにおいても出現することが示された。
• 交換可能性とエルゴディシティの組み合わせにより、独立性を要件としない無限部分グラフのほとんど確実な存在定理を導出可能である。
• i.i.d.仮定を緩和しながらも、強い構造的結論を保ちつつ、古典的パーコレーション結果の一般化を本フレームワークが提供する。