[論文レビュー] Random walks on graphs: new bounds on hitting, meeting, coalescing and returning

Roberto I. Oliveira, Yuval Peres|arXiv (Cornell University)|Jul 18, 2018

Optimization and Search Problems被引用数 5

ひとこと要約

この論文は、有限グラフ上のラクシー・ランダムウォークの新たな境界を確立し、帰還確率、到達時間、複数のウォークの融合に関する推定値を改善した。『会合時間補題』の離散時間版を証明し、それを用いて $ n $ 個のランダムウォークの期待的完全融合時間を評価した。その結果、普遍定数 $ K $ を用いて $ K \cdot t_{\text{hit}} $ 以内であることが示され、特に重要なパラメータ領域において既存の結果を顕著に改善した。

ABSTRACT

We prove new results on lazy random walks on finite graphs. To start, we obtain new estimates on return probabilities $P^t(x,x)$ and the maximum expected hitting time $t_{ m hit}$, both in terms of the relaxation time. We also prove a discrete-time version of the first-named author's ``Meeting time lemma"~ that bounds the probability of random walk hitting a deterministic trajectory in terms of hitting times of static vertices. The meeting time result is then used to bound the expected full coalescence time of multiple random walks over a graph. This last theorem is a discrete-time version of a result by the first-named author, which had been previously conjectured by Aldous and Fill. Our bounds improve on recent results by Lyons and Oveis-Gharan; Kanade et al; and (in certain regimes) Cooper et al.

研究の動機と目的

• リラクゼーション時間 $ t_{\text{rel}} $ を用いて帰還確率 $ P^t(x,x) $ と最大期待到達時間 $ t_{\text{hit}} $ の tighter な境界を導出すること。
• 決定的軌道に到達する確率を制限する『会合時間補題』の離散時間版を確立すること。
• 会合時間の結果を応用し、グラフ上での複数の独立したランダムウォークの期待的完全融合時間を評価すること。
• Lyons ら、Oveis-Gharan ら、Kanade ら、Cooper らの既存の境界を、特定のパrameter領域において改善すること。
• 例と既知の可逆マルコフ連鎖に関する不等式との比較を通じて、境界が本質的にタイトであることを示すこと。

提案手法

• リラクゼーション時間 $ t_{\text{rel}} $ と次数比 $ d_{\text{avg}}/d_{\text{min}} $ を主要パラメータとして、$ t_{\text{hit}} $ と $ P^t(x,x) - \pi(x) $ を評価する。
• 有効抵抗 $ R_{\text{eff}}(x \leftrightarrow A) $ を通じた電気回路理論を応用し、到達時間をグラフ構造に関連付ける。
• 融合ダイナミクスを制御し、元の過程を支配するための、許容される殺却集合 $ \mathcal{A}_t $ を持つ修正された「殺却過程」を導入する。
• 時間スケールを解析するための再帰的エポック構造を用い、$ t_j $ を $ 1 + t_{j-1} + \lceil \frac{2^4 \ln 5}{2^j} t_{\text{hit}} \rceil $ として定義する。
• 離散時間の会合時間補題（定理 3）を用いて、$ t $ ステップにわたり動く標的を避ける確率を評価する。
• Oliveira（2007）の連続時間の議論を離散時間設定に適応し、ラクシー性と非負の固有値スペクトルの下で有効性を保証する。

実験結果

リサーチクエスチョン

• RQ1 リラクゼーション時間 $ t_{\text{rel}} $ と次数比に依存して、最大期待到達時間 $ t_{\text{hit}} $ をどのように評価できるか。
• RQ2 ラクシー・ランダムウォークにおける $ P^t(x,x) - \pi(x) $ の最適な境界は何か。また、頂点次数 $ d_x $ にどのように依存するか。
• RQ3 決定的軌道を避ける確率を制限する『会合時間補題』の離散時間版を確立できるか。
• RQ4 グラフ上での $ n $ 個の独立したラクシー・ランダムウォークの期待的完全融合時間は何か。また、$ t_{\text{hit}} $ に対してどのようにスケーリングするか。
• RQ5 Lyons ら、Oveis-Gharan ら、Kanade ら、Cooper らの既存の結果と比較して、$ t_{\text{rel}} $、$ d_{\text{avg}}/d_{\text{min}} $、$ t_{\text{mix}} $ に依存する点で、新しい境界はどのように異なるか。

主な発見

• 最大期待到達時間は $ t_{\text{hit}} \leq \frac{20\,d_{\text{avg}}}{d_{\text{min}}}\,n\sqrt{t_{\text{rel}} + 1} $ を満たし、$ t_{\text{rel}} $ と次数比の両方において、以前の境界を改善した。
• 帰還確率に関しては、$ P^t(x,x) - \pi(x) \leq \frac{10\,d_x}{d_{\text{min}}}\left(\frac{1}{\sqrt{t+1}} \land \frac{\sqrt{t_{\text{rel}} + 1}}{t+1}\right) $ が成り立ち、定数を改善し、$ d_{\text{max}} $ を $ d_x $ に置き換えた。
• 離散時間の会合時間補題が成立する：$ \mathbb{P}_\pi(\forall s \leq t: X_s \neq h_s) \leq \left(1 - \frac{1}{t_{\text{hit}}}\right)^t $。これは一般のグラフ上のラクシー・ウォークに対して有効である。
• $ n $ 個のランダムウォークの期待的完全融合時間は、普遍定数 $ K $ を用いて $ K \cdot t_{\text{hit}} $ で抑えられ、Aldous と Fill の予想を裏付けた。
• $ t_{\text{rel}} $ と $ d_{\text{avg}}/d_{\text{min}} $ における漸近的依存関係を再現する例を通じて、境界が本質的にタイトであることが示された。
• 特に $ 1 \ll t/t_{\text{rel}} \ll \log t_{\text{rel}} $ の領域において、Lyons と Oveis-Gharan、Kanade ら、および（一部の領域において）Cooper らの最近の研究を改善した。