[論文レビュー] Rapid mixing in Markov chains

Ravi Kannan|ArXiv.org|Apr 28, 2003

Markov Chains and Monte Carlo Methods参考文献 19被引用数 6

ひとこと要約

この論文は、0-1行列のpermanentの計算、凸体の体積の推定、イジング模型の分配関数の計算といった近似計数問題に用いられるマルコフ連鎖の高速混合を確立している。導出の根拠は、導出率に基づく技法を用いた多項式時間収束の証明である。主な貢献は、等周不等式と標準路を用いた一般化されたフレームワークを提示することで、#P困難問題に対する効率的な確率的アルゴリズムの構築を可能にしたことである。

ABSTRACT

A wide class of ``counting'' problems have been studied in Computer Science. Three typical examples are the estimation of - (i) the permanent of an $n imes n$ 0-1 matrix, (ii) the partition function of certain $n-$ particle Statistical Mechanics systems and (iii) the volume of an $n-$ dimensional convex set. These problems can be reduced to sampling from the steady state distribution of implicitly defined Markov Chains with exponential (in $n$) number of states. The focus of this talk is the proof that such Markov Chains converge to the steady state fast (in time polynomial in $n$). A combinatorial quantity called conductance is used for this purpose. There are other techniques as well which we briefly outline. We then illustrate on the three examples and briefly mention other examples.

研究の動機と目的

• 近似計数に用いられるマルコフ連鎖の多項式時間収束（高速混合）を確立すること。
• 導出率に基づく技法を発展・適用し、定常分布への高速収束を証明すること。
• 離散的状態連鎖に加え、凸集合内のボールウォークや対数凸測度を含む連続的状態連鎖へこれらの手法を拡張すること。
• フレームワークの適用可能性を、permanentの計算、体積推定、イジング模型の分配関数といった主要な問題に示すこと。
• コンピュータ科学および統計力学における多様な計数問題にわたる高速混合の証明のための統一的アプローチを提供すること。

提案手法

• 混合時間の上限を導くために導出率を主要な尺度として用い、導出率の下限が高速混合を示唆することを示す。
• 離散的連鎖（例えば部分グラフのサンプリングや完全マッチング問題）における導出率の下限を確立するために、標準路法を適用する。
• 重み付き部分集合やマッチングの目的の定常分布を持つ可逆マルコフ連鎖を構築するために、メトロポリス法を用いる。
• 凸集合および対数凸測度に対するロヴァーズ＝シモノヴィッチの等周不等式を用い、連続的状態連鎖における導出率の上限を導く。
• マッチング問題におけるメトロポリス連鎖の高速混合を可能にするために、修正された重みを導入し、グラフ系列の縮小を繰り返し用いて重みを推定する。
• 凸集合Kにおけるボールウォークを、現在の点を中心とする半径δの球上で一様な提案分布を用いて実装する。

実験結果

リサーチクエスチョン

• RQ1 近似計数に用いられるマルコフ連鎖が多項式時間で混合可能であることを証明できるか？
• RQ2 指数的多数の状態を有する連鎖の高速混合を保証する組合せ的または幾何的性質は何か？
• RQ3 計数問題における離散的および連続的状態連鎖の両方において、導出率をどのようにして上限できるか？
• RQ4 凸集合および対数凸測度に対する等周不等式を、高速混合の証明にどの程度まで応用できるか？
• RQ5 このフレームワークは、連続表、タイリング、グラフ彩色といった問題へも拡張可能か？

主な発見

• 導出率に基づく手法により、グラフの辺部分集合上のランダムウォークのメトロポリス版が高速混合することが証明され、標準路法を用いて導出率の下限が確立された。
• 凸集合においては、ロヴァーズ＝シモノヴィッチの等周不等式により、導出率が直径の関数によって下から有界であることが保証され、多項式時間での混合が可能となる。
• 対数凸測度Fを伴う凸集合Kにおけるボールウォークは、高速に混合する。導出率は、境界積分と集合の測度の比に比例する定数によって下から有界である。
• ゼロ非負行列のpermanentは、ジェルルム、シンクレア、ヴィゴダが示したように、高速混合連鎖を用いて多項式時間で近似可能である。
• この手法は、重み付きマッチングおよび部分グラフのサンプリングへも拡張可能であり、元の重みが不明であっても、修正された重みにより高速混合が達成可能である。
• このフレームワークは強磁性系におけるイジング模型へも適用可能であり、高速混合により分配関数の多項式時間近似が可能となる。