[論文レビュー] The mixing time of the giant component of a random graph

Itaï Benjamini, Gady Kozma+1 more|arXiv (Cornell University)|Oct 15, 2006

Stochastic processes and statistical mechanics参考文献 17被引用数 20

ひとこと要約

本稿では、超臨界的 Erdős-Rényi 確率的グラフ G(n,p) および G(n,m) の巨大成分における単純ランダムウォークの混合時間は、高確率で Θ(log²n) であることを確立している。著者らは、これらのグラフが『装飾付き拡張子』（bounded-size で指数的尾部を持つ成分が、各頂点から定数個の辺で接続された拡張子）であることを証明し、このような構造に既知の混合時間の境界を適用することで到達した。

ABSTRACT

We show that the total variation mixing time of the simple random walk on the giant component of supercritical Erdos-Renyi graphs is log^2 n. This statement was only recently proved, independently, by Fountoulakis and Reed. Our proof follows from a structure result for these graphs which is interesting in its own right. We show that these graphs are "decorated expanders" - an expander glued to graphs whose size has constant expectation and exponential tail, and such that each vertex in the expander is glued to no more than a constant number of decorations.

研究の動機と目的

• 超臨界的なランダムグラフ G(n,p) および G(n,m) の巨大成分における単純ランダムウォークの混合時間を特定すること。
• 混合時間が Θ(log²n) であることを確立し、ランダムグラフ理論における長年の未解決問題を解決すること。
• 巨大成分が『装飾付き拡張子』（有界で指数的尾部を持つ装飾が付加された拡張子）であるという構造的特徴付けを構築すること。
• 積分ノルムやスペクトルプロファイルに依存しない、幾何的でない解析的手法を用いて混合時間の境界を導くこと。
• 正則グラフに関する既知の結果と、有限次数の揺らぎを示すより複雑な構造のランダムグラフとの間のギャップを埋めること。

提案手法

• 『装飾付き拡張子』の概念を導入する——コアとなる拡張子に、定数の期待サイズと指数的尾部を持つ小規模な有界次数の成分が接続されたグラフである。
• 『α-strong core』を定義する——拡張性と有界な接続性の両方を満たす部分グラフであり、混合時間境界の証明に不可欠である。
• ランダムグラフのカーネルおよび2-コア分解を用い、深刻な剥離プロセスにより、拡張性と外部接続の有界性を保証する強力なコアを構築する。
• Lovász-Winkler の混合時間同値性理論を適用し、幾何的およびスペクトル的性質を用いて全変動混合時間の境界を求める。
• 最小次数3および与えられた次数列を満たすランダムグラフにおける拡張性に関する新しい補題（補題5.3）を活用し、構築されたコアが高確率で拡張子であることを証明する。
• 確率的数え上げとStirlingの近似を用いて、グラフ内のスパース集合（e(S)/d(S) < ε）の期待数を抑え、このような集合が高確率で存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 c > 1 の場合、G(n,m) の巨大成分における単純ランダムウォークの正確な漸近的混合時間は何か？
• RQ2 解析的積分法に依存せず、巨大成分の幾何的分解を用いて混合時間を境界づけることは可能か？
• RQ3 G(n,m) の巨大成分は、拡張性と有界で局所的な摂動（すなわち、装飾付き拡張子）を併せ持つ構造を示すか？
• RQ4 グラフが正則ではなく、次数の揺らぎを示す複雑でスパースな構造を持つ場合、混合時間はどのようにスケーリングするか？
• RQ5 次数2のパスや小規模な成分が存在する状況下で、3-コアまたはカーネルのスペクトルギャップおよび拡張性を用いて混合時間の境界を導くことは可能か？

主な発見

• G(n,m) の巨大成分における単純ランダムウォークの混合時間は、高確率で Θ(log²n) であることが確認され、分野における予想を裏付けた。
• G(n,m) の巨大成分は高確率で『装飾付き拡張子』である：有界で指数的尾部を持つ成分が、コア頂点ごとに定数個の辺で接続されたコア拡張子を含む。
• 構築された α-strong core は拡張性および有界接続性を満たし、Lovász-Winkler 同値性理論を用いた既知の混合時間境界の適用が可能である。
• 与えられた次数列（最小次数3）を条件とするとき、G(n,m) の3-コアは高確率で拡張子であり、カーネルおよび2-コア変換においてもこの拡張性が保たれる。
• グラフ内でのスパース集合（e(S)/d(S) < ε）の期待数は o(1) であるため、サイズが n^0.2 から n/2 のすべての集合に対して拡張性が高確率で成立する。
• 結果はモデル選択に対して頑健である：G(n,p) および G(n,m) の両方で同じ混合時間境界が成り立つが、エッジ分布に依存する証明技法には差がある。