[論文レビュー] The Cover Time of Random Walks on Graphs

Mohammed Amin Abdullah|arXiv (Cornell University)|Feb 24, 2012

Stochastic processes and statistical mechanics参考文献 67被引用数 9

ひとこと要約

本稿は、二つのグラフのカバー時間とそれらのカルテシアン積の間の新しい関係を確立し、一方の要因が著しく大きい場合、そのカバー時間が積のカバー時間に対し対数的要因内で支配的であることを示している。さらに、与えられた次数列を持つランダムグラフの正確な漸近的カバー時間を導出し、単純なランダムウォークよりも無限大のスピードアップを達成する重み付きランダムウォークスキームを提案している。このスキームでは、高確率で混合率が定数以下に保証される。

ABSTRACT

A simple random walk on a graph is a sequence of movements from one vertex to another where at each step an edge is chosen uniformly at random from the set of edges incident on the current vertex, and then transitioned to next vertex. Central to this thesis is the cover time of the walk, that is, the expectation of the number of steps required to visit every vertex, maximised over all starting vertices. In our first contribution, we establish a relation between the cover times of a pair of graphs, and the cover time of their Cartesian product. This extends previous work on special cases of the Cartesian product, in particular, the square of a graph. We show that when one of the factors is in some sense larger than the other, its cover time dominates, and can become within a logarithmic factor of the cover time of the product as a whole. Our main theorem effectively gives conditions for when this holds. The techniques and lemmas we introduce may be of independent interest. In our second contribution, we determine the precise asymptotic value of the cover time of a random graph with given degree sequence. This is a graph picked uniformly at random from all simple graphs with that degree sequence. We also show that with high probability, a structural property of the graph called conductance, is bounded below by a constant. This is of independent interest. Finally, we explore random walks with weighted random edge choices. We present a weighting scheme that has a smaller worst case cover time than a simple random walk. We give an upper bound for a random graph of given degree sequence weighted according to our scheme. We demonstrate that the speed-up (that is, the ratio of cover times) over a simple random walk can be unbounded

研究の動機と目的

• 二つのグラフとそれらのカルテシアン積のカバー時間の一般的な関係を確立すること。
• 与えられた次数列を持つランダムグラフの正確な漸近的カバー時間を特定すること。
• 単純なランダムウォークよりも最悪ケースのカバー時間を短縮する重み付きランダムウォークスキームを開発すること。
• このようなランダムグラフにおける混合率が高確率で定数以下に保証されることを証明すること。
• 複雑なグラフ構造におけるカバー時間の分析に向けた新技術の可能性を検討すること。

提案手法

• ヒット時間とカバー時間の分析に、電気回路のメタファーと有効抵抗を用いる。
• マシューズの技法を適用してカバー時間の上界と下界を導出する。
• 局所的なグラフ領域におけるランダムウォークの分析フレームワークを導入し、それを重み付きグラフに還元する。
• 指定された次数列を持つランダムグラフを生成するために、コンフィギュレーションモデルを用いる。
• エッジ選択を偏らせるために最小次数重み付けスキームを適用し、カバー時間を短縮する。
• 混合時間と帰還確率の分析を用いて、初回訪問時間とカバー時間を推定する。

実験結果

リサーチクエスチョン

• RQ1 二つのグラフのカルテシアン積のカバー時間は、その個々の要因のカバー時間とどのように関係するか？
• RQ2 与えられた次数列を持つランダムグラフの正確な漸近的カバー時間は何か？
• RQ3 重み付きランダムウォークは、同じグラフ上で単純なランダムウォークよりも証明可能な良いカバー時間を達成できるか？
• RQ4 混合率のような構造的性質は、固定された次数列を持つランダムグラフで保証できるか？
• RQ5 重み付きランダムウォークのカバー時間が、いつどのように有界または著しく短縮されるかの条件は何か？

主な発見

• 特定の条件下で、二つのグラフのカルテシアン積のカバー時間は、より大きな要因に漸近的に支配され、対数的要因内で抑えられる。
• 与えられた次数列を持つランダムグラフでは、カバー時間は漸近的に $ (1+o(1))n\log n $ に一致し、完全グラフの既知の境界と一致する。
• このようなランダムグラフにおける混合率は、高確率で $ 1/100 $ 以上に保証される。これは独立に興味深い結果である。
• 提案された最小次数重み付けスキームにより、単純なランダムウォークよりもカバー時間が無限に小さくなる可能性がある。
• 与えられた次数列を持つランダムグラフにおける重み付きウォークのカバー時間の上界は $ O(n\log n) $ であり、非重み付きの場合よりも改善されている。
• 局所的領域の分解と重み付きグラフ還元に基づく分析フレームワークは、一般性を持ち、カルテシアン積を超えて応用可能である。