[論文レビュー] Cover times, blanket times, and majorizing measures

Jian Ding, James R. Lee+1 more|arXiv (Cornell University)|Apr 25, 2010

Markov Chains and Monte Carlo Methods参考文献 27被引用数 4

ひとこと要約

本稿は、グラフのカバー時間とそのガウス自由場の期待最大値の間の明確な関係を確立し、カバー時間が、辺の数でスケーリングされたガウス自由場の期待最大値の二乗に、普遍的定数の違いを除いて等価であることを示している。この結果により、定数要因内でカバー時間を近似できる決定的多項式時間アルゴリズムが可能となり、ブラケット時間の予想が証明され、ブラケット時間とカバー時間の間の定数要因の関係が解明された。

ABSTRACT

We exhibit a strong connection between cover times of graphs, Gaussian processes, and Talagrand's theory of majorizing measures. In particular, we show that the cover time of any graph $G$ is equivalent, up to universal constants, to the square of the expected maximum of the Gaussian free field on $G$, scaled by the number of edges in $G$. This allows us to resolve a number of open questions. We give a deterministic polynomial-time algorithm that computes the cover time to within an O(1) factor for any graph, answering a question of Aldous and Fill (1994). We also positively resolve the blanket time conjectures of Winkler and Zuckerman (1996), showing that for any graph, the blanket and cover times are within an O(1) factor. The best previous approximation factor for both these problems was $O((\log \log n)^2)$ for $n$-vertex graphs, due to Kahn, Kim, Lovasz, and Vu (2000).

研究の動機と目的

• メジャライジング測度を用いて、グラフのカバー時間とガウス過程との間のきめ細かな関係を確立すること。
• カバー時間を定数要因内で近似できる決定的多項式時間アルゴリズムが存在するかという、長年の未解決問題を解明すること。
• ウィンクラーとツッカー.clsのブラケット時間予想を証明し、すべてのグラフに対してブラケット時間とカバー時間が定数要因の範囲内にあることを示すこと。
• ガウス自由場の幾何構造とメジャライジング測度を用いて、カバー時間の計算的に効率的な近似手法を提供すること。

提案手法

• タラグランドのメジャライジング測度理論を用いて、グラフ上でのガウス自由場の期待最大値を評価する。
• カバー時間が、普遍的定数の違いを除いて、|E| にガウス自由場の期待最大値の二乗を乗じたものと等価であることを確立する。
• グラフラプラシアンの擬似逆行列の行列近似を計算する確率的アルゴリズムを適用し、ガウス過程を効率的にシミュレートする。
• 局所時間とランダムウォークの関係を、ガウス自由場と結びつけるカップリングの議論を用い、カバー時間の上限を得る。
• メジャライジング測度の γ₂ 機能を用いて、ガウス過程の期待最大値に対するタイトな上限を導出する。
• 抵抗距離とガウス自由場内の木構造を活用し、カバー時間のダイナミクスを模倣する部分過程を構築する。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフのカバー時間は、決定的多項式時間アルゴリズムで定数要因内で近似可能か？
• RQ2 すべてのグラフと δ ∈ (0,1) に対して、すべての頂点がその定常測度の δ 分数以上に訪問された時点であるブラケット時間 t_bl(G,δ) が、カバー時間 t_cov(G) に対して定数要因の範囲内にあるか？
• RQ3 グラフ上でのカバー時間とガウス自由場の期待最大値との正確な関係は何か？
• RQ4 漸近的等価性 t_cov(G) ∼ |E|·(𝔼[max η_v])² は、さまざまなグラフ族においてどの程度成り立つか？

主な発見

• カバー時間 t_cov(G) は、普遍的定数の違いを除いて、G 上のガウス自由場の期待最大値の二乗に |E| を乗じたものと等価である。
• カバー時間を定数要因内で近似できる決定的多項式時間アルゴリズムが存在し、アルドウスとフィル（1994）の未解決問題が解決された。
• ウィンクラーとツッカー.clsのブラケット時間予想が確認された：すべての δ ∈ (0,1) に対して、ある普遍的定数 C について t_bl(G,δ) ≤ C·t_cov(G) が成り立つ。
• カバー時間およびブラケット時間のこれまでの最良の近似要因 O((log log n)^2) が、n に依存しない O(1) に改善された。
• 完全グラフおよび正則木の両方の例において、漸近的公式 t_cov(G_n) ∼ |E(G_n)|·(𝔼[max η_v])² が成り立つことが確認され、その一般性が裏付けられた。
• カバー時間の標準偏差は最大到達時間で抑えられ、正規化されたカバー時間 τ_cov − t_cov / t_hit は指数的集中を示す。