[論文レビュー] The Evolution of the Mixing Rate

Nikolaos Fountoulakis, Bruce Reed|ArXiv.org|Jan 17, 2007

Stochastic processes and statistical mechanics参考文献 16被引用数 15

ひとこと要約

本稿は、超臨界ランダムグラフ $G_{n,p}$ の巨大成分における単純なランダムウォークの混合時間について分析しており、平均次数 $d \leq \sqrt{\ln n \ln \ln n}$ の場合、内部次数2の頂点を持つ長い誘導路が混合を遅らせるため、混合時間は $O((\ln n / d)^2)$ となる。$d$ がより高い場合、直径が支配的となり、混合時間は $O(\ln n / \ln d)$ となる。定数因子の意味でタイトな境界が得られている。

ABSTRACT

In this paper we present a study of the mixing time of a random walk on the largest component of a supercritical random graph, also known as the giant component. We identify local obstructions that slow down the random walk, when the average degree d is at most (ln n lnln n)^{1/2}, proving that the mixing time in this case is O((ln n/d)^2) asymptotically almost surely. As the average degree grows these become negligible and it is the diameter of the largest component that takes over, yielding mixing time O(ln n/ln d). We proved these results during the 2003-04 academic year. Similar results but for constant d were later proved independently by I. Benjamini, G. Kozma and N. Wormald.

研究の動機と目的

• 超臨界ランダムグラフ $G_{n,p}$ の巨大成分における単純なランダムウォークの混合時間の理解を目的とする。
• 低平均次数における混合の遅延要因として、特に内部次数2の頂点を持つ長い誘導路という構造的障害を同定すること。
• 平均次数が増加するに従い、混合時間が局所的構造（長大な誘導路）からグローバルなグラフ直径にどのように移行するかを特定すること。
• すべての平均次数 $d$ の範囲に対して、混合時間のタイトな漸近的境界を提供すること。

提案手法

• 確率的技法とカップリングの議論を用いて、$G_{n,p}$ の巨大成分 $H_{n,p}$ を分析する。
• 幅優先探索木の集中性を用いて、近傍の成長をモデル化し、混合時間の推定を行う。
• 2次モーメント法を適用し、$d \leq \sqrt{\ln n \ln \ln n}$ のとき、内部次数2の頂点を持つ長さ $\sim \ln n / 4d$ の誘導路が概ね確実に存在することを示す。
• このような路におけるランダムウォークを $\mathbb{Z}$ 上の対称ランダムウォークとしてモデル化し、既知の到達時間結果（距離 $l$ に到達するには $\sim l^2$ ステップ）を活用する。
• このような路を辺に縮約することで、元の成分構造を保ちつつ、グローバルな接続性を分析可能な補助的マルチグラフ $G'_{n,p}$ を構築する。
• 内部次数2の頂点を持つ路で、両端点の次数が2より大きい路の集合 $\mathcal{S}$ における長大な路の数の1次および2次モーメント計算を実施する。

実験結果

リサーチクエスチョン

• RQ1 超臨界ランダムグラフの巨大成分におけるランダムウォークの混合時間が遅れる主な要因は何か？
• RQ2 平均次数 $d$ が小さい場合、特に $d \leq \sqrt{\ln n \ln \ln n}$ のとき、混合時間はどのようにスケーリングするか？
• RQ3 巨大成分の直径が混合時間の決定要因となるのはどの時点か？
• RQ4 内部次数2の頂点を持つ長大な誘導路のような局所的構造は、定常分布への収束にどのように影響するか？

主な発見

• $d \leq \sqrt{\ln n \ln \ln n}$ の場合、混合時間は概ね確実に $O((\ln n / d)^2)$ であり、内部次数2の頂点を持つ長い誘導路が支配的である。
• $d > \sqrt{\ln n \ln \ln n}$ の場合、混合時間は $O(\ln n / \ln d)$ に移行し、巨大成分の直径が支配的である。
• $d \leq \sqrt{\ln n \ln \ln n}$ の場合、下界 $T_{\text{mix}} > \frac{1}{10}(\ln n / 8d)^2$ が成り立ち、定数因子の意味で上界と一致する。
• 長さ $\sim \ln n / 4d$ の長大な誘導路の数は概ね確実に $\omega(n^{3/4})$ であるため、巨大成分内に存在することが保証される。
• $H_{n,p}$ にそのような路が存在しない確率は $o(1)$ であるため、2次モーメントの議論により、その典型的な存在が確認される。
• $d = \omega(1)$ の場合、$H_{n,p}$ の直径は漸近的に $\ln n / \ln d$ に等しく、局所的障害が消えた際にはこの値が混合時間の支配的要因となる。