[論文レビュー] The Cover Time of a Biased Random Walk on a Random Cubic Graph

Colin Cooper, Alan Frieze+1 more|arXiv (Cornell University)|Jan 1, 2018

Stochastic processes and statistical mechanics被引用数 4

ひとこと要約

この論文は、未訪問（赤色）の辺を優先して移動する偏りのあるランダムウォークを、ランダムな3正則グラフ上で分析している。配置モデルと確率的再帰関係を用いて、頂点カバー時間の期待値が漸近的に $ n \log n $ であり、辺カバー時間の期待値が漸近的に $ \frac{3}{2}n \log n $ であることを証明している。高確率で成立する。これらの結果は非後退的ランダムウォークの結果と一致しており、スパースなランダムグラフにおける探索の効率性を示している。

ABSTRACT

We study a random walk that prefers tou se unvisited edges in the context of random cubic graphs. We establish asymptotically correct estimates for the vertex and edge cover times, these being $\approx n\log n$ and $\approx \frac32n\log n$ respectively.

研究の動機と目的

• ランダムな3正則グラフ上で未訪問の辺を優先する偏りのあるランダムウォークのカバー時間の分析を目的とする。
• このモデルにおける頂点カバー時間および辺カバー時間の漸近的でタイトな推定値を確立することを目的とする。
• 非後退的および単純なランダムウォークなどの他のバリアントと比較して、この未訪問辺優先ウォークの性能を評価することを目的とする。
• 異なるメカニズムを持つにもかかわらず、カバー時間が非後退的ランダムウォークと一致することを証明することを目的とする。
• 偶数次数の正則グラフに関する先行結果を、未解決であった奇数次数の場合（d=3）に拡張することを目的とする。

提案手法

• ランダムな3正則マルチグラフを一様に生成するために配置モデルを用いる。
• ウォークを配置点上のプロセスとしてモデル化し、赤色（未訪問）および青色（訪問済み）の辺を追跡する。
• 部分的カバー時間 $ C(t) $（辺カバー）および $ CV(s) $（頂点カバー）を定義し、訪問済みの辺・頂点の数に基づく。
• 時間 $ t $ において $ i $ 本の未走査辺を接続する頂点数である $ X_i(t) $ のための確率的再帰関係を導出する。
• 濃度不等式およびマルティングルールを用いて、未訪問接続（緑色の辺）の数を抑え、ウォークの進行を制御する。
• $ \delta(t) = 1 - 2t/(3n) $ を根拠に段階的分解を行い、異なる行動が支配する区間へプロセスを分割する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな3正則グラフ上での未訪問辺を優先する偏りのあるランダムウォークの、漸近的期待頂点カバー時間は何か？
• RQ2 同じウォークモデルにおける漸近的期待辺カバー時間は何か？
• RQ3 このカバー時間は、同じグラフ上での非後退的または単純なランダムウォークのカバー時間と比べてどうなるか？
• RQ4 各頂点における未訪問辺の数が、ウォークの進行に果たす役割は何か？
• RQ5 小さなサイクルや構造的ブottleneckの存在が、このモデルにおけるカバー時間に与える影響は何か？

主な発見

• 高確率で、$ s \in [n - n/\log n, n] $ の範囲において、期待頂点カバー時間 $ \mathbb{E}_G[CV(s)] $ は漸近的に $ (1 \pm \varepsilon)n \log\left(\frac{n}{n-s+1}\right) $ である。
• 高確率で、$ t \in [(1 - \log^{-2}n)\cdot 3n/2, 3n/2] $ の範囲において、期待辺カバー時間 $ \mathbb{E}_G[CE(t)] $ は漸近的に $ \left(\frac{3}{2} \pm \varepsilon\right)n \log\left(\frac{3n}{3n-2t+1}\right) $ である。
• 頂点カバー時間は漸近的に $ n \log n $ であり、辺カバー時間は漸近的に $ \frac{3}{2}n \log n $ であり、非後退的ランダムウォークの結果と一致する。
• $ \delta \in [\delta_3, \delta_1] $ の範囲で、緑色の辺（未訪問接続）の数が $ \gg n\delta^{1/2} $ であることが示され、十分な進行が保証される。
• ウォークの進行は、辺数を1つ増やすために約 $ \frac{3n}{3n - 2t} $ ステップが必要であるという再帰関係によって支配され、これが対数的カバー時間に繋がる。
• 解析により、小さなサイクルの存在がカバー時間に著しい遅延をもたらさないことが確認された。ウォークは効率的に閉じ込められるのを避ける。