[論文レビュー] Component structure induced by a random walk on a random graph

Colin Cooper, Alan Frieze|arXiv (Cornell University)|May 10, 2010

Stochastic processes and statistical mechanics参考文献 14被引用数 5

ひとこと要約

本稿は、連結性の閾値を超える Erdős–Rényi のランダムグラフ $G_{n,p}$ と $r \geq 3$ のランダム正則グラフ $G_r$ の二種類のランダムグラフ上でのランダムウォークを研究する。空集合（未訪問頂点）の構造に段階的転移が生じることを特定し、$t \leq (1-\varepsilon)t^*$ の場合、誘導部分グラフ $ G(t)$ には一意の巨大成分に加え対数的サイズの成分が存在するが、$t \geq (1+\varepsilon)t^*$ の場合、巨大成分は存在せず対数的サイズの成分のみが残ることを示している。これは成分サイズ分布における鋭い転移を示している。

ABSTRACT

We consider random walks on two classes of random graphs and explore the likely structure of the vacant set viz. the set of unvisited vertices. Let $\G(t)$ be the subgraph induced by the vacant set. We show that for random graphs $G_{n,p}$ (above the connectivity threshold) and for random regular graphs $G_r,\,r\geq 3$ there is a phase transition in the sense of the well-known Erd\H{os}-Renyi phase transition. Thus for $t\leq (1-\e)t^*$ we have a unique giant plus logarithmic size components and for $t\geq (1+\e)t^*$ we only have logarithmic sized components.

研究の動機と目的

• ランダムグラフ上でのランダムウォークにおける空集合（未訪問頂点の集合）の成分構造を分析すること。
• 空集合の成分構造に、Erdős–Rényi の段階的転移に類似した転移が生じるかどうかを特定すること。
• 巨大成分から対数的サイズの成分のみが残る転移が起こる臨界時刻 $t^*$ を特徴づけること。

提案手法

• 連結性の閾値を超える $p$ を持つ $G_{n,p}$ 上でのランダムウォークを分析し、グラフの連結性を保証する。
• 次数 $r \geq 3$ のランダム正則グラフ $G_r$ 上でのランダムウォークを研究し、空集合の構造的変化を評価する。
• 時刻 $t$ における未訪問頂点の集合によって誘導される部分グラフ $ G(t)$ を定義し、その成分構造を分析する。
• 確率論的手法を用いて、$t \leq (1-\varepsilon)t^*$ の場合、$ G(t)$ に一意の巨大成分と対数的サイズの成分が存在することを示す。
• ランダムグラフ理論および確率過程の技法を応用し、$t^*$ における鋭い閾値の存在を確立する。
• 二種類の異なるランダムグラフモデル（$G_{n,p}$ とランダム正則グラフ）における空集合の挙動を比較し、段階的転移結果の一般化を図る。

実験結果

リサーチクエスチョン

• RQ1 ランダムグラフ上でのランダムウォークにおける空集合の成分構造は、Erdős–Rényi の段階的転移に類似した段階的転移を示すか？
• RQ2 空集合における巨大成分が消失する臨界時刻 $t^*$ は何か？
• RQ3 ランダムウォークが $t^*$ を超えて進行するに従い、空集合の成分サイズ分布はどのように変化するか？
• RQ4 空集合における構造的転移は、$G_{n,p}$ やランダム正則グラフといった異なるランダムグラフモデル間で一貫しているか？
• RQ5 $t \gg t^*$ の場合、空集合における成分サイズの漸近的挙動は何か？

主な発見

• $t \leq (1-\varepsilon)t^*$ の場合、空集合によって誘導される部分グラフ $ G(t)$ には一意の巨大成分に加え対数的サイズの成分が存在する。
• $t \geq (1+\varepsilon)t^*$ の場合、空集合は対数的サイズの成分のみを誘導し、巨大成分が存在しないことを示している。
• 成分構造の段階的転移は正確に臨界時刻 $t^*$ で発生し、未訪問頂点の幾何的構造に急激な変化が生じることを示している。
• この転移行動は、連結性の閾値を超える $G_{n,p}$ および次数 $r \geq 3$ のランダム正則グラフの両方で観察され、モデル間で普遍性を示唆している。
• 結果は、古典的な Erdős–Rényi の段階的転移に類似した空集合構造の段階的転移が、ランダムグラフ上でのランダムウォークの文脈で確認されたことを裏付けている。