[論文レビュー] Eigenvalues of non-reversible Markov chains: their connection to mixing times, reversible Markov chains, and Cheeger inequalities

Ravi Montenegro|arXiv (Cornell University)|Apr 17, 2006

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

ひとこと要約

この論文は、非可逆マルコフ連鎖の固有値を用いて、混合時間の下界を確立し、それらを関連する可逆連鎖の固有値と結びつける。非可逆連鎖に対する新しいチーバー型不等式を導出し、第二最大の絶対値固有値の境界と、可逆連鎖の最小固有値に関する新しい不等式を含み、既知の結果を強化する。

ABSTRACT

We show a lower bound on mixing time for a non-reversible Markov chain in terms of its eigenvalues. This is used to show a bound on the real part of the complex-valued eigenvalues in terms of the realvalued eigenvalues of a related reversible chain, and likewise to bound the second largest magnitude eigenvalue. A myriad of Cheeger-like inequalities also follow for non-reversible chains, which even in the reversible case sharpen previously known results. The same argument also produces a new Cheeger-like inequality for the smallest eigenvalue of a reversible chain, and a Cheeger-like inequality for the second largest magnitude eigenvalue of a non-reversible chain.

研究の動機と目的

• 非可逆マルコフ連鎖の固有値を用いて、その混合時間の下界を確立すること。
• 非可逆連鎖の複素固有値と関連する可逆連鎖の実固有値との関係を特定すること。
• 非可逆連鎖に対するチーバー型不等式を導出し、第二最大の絶対値固有値の境界を含めること。
• 可逆マルコフ連鎖の最小固有値に対する新しいチーバー型不等式を生成すること。
• 非可逆設定における第二最大の絶対値固有値の境界を含む枠組みを拡張すること。

提案手法

• 非可逆マルコフ連鎖の固有値に基づいて、混合時間の下界を導出すること。
• 非可逆連鎖の固有値と比較可能な実固有値を持つ関連する可逆マルコフ連鎖を構築すること。
• スペクトル解析を用いて、非可逆連鎖の複素固有値の実部を、可逆対応物の固有値の関数として境界づけること。
• 変分原理とスペクトルギャップの議論を適用し、非可逆連鎖に対するチーバー型不等式を確立すること。
• 可逆連鎖の最小固有値とその導出に似た導出パラメータとの関係を示す、革新的な不等式を導入すること。
• スペクトル的および幾何的技法を用いて、非可逆連鎖における第二最大の絶対値固有値の境界を一般化すること。

実験結果

リサーチクエスチョン

• RQ1 非可逆マルコフ連鎖の混合時間は、その固有値を用いてどのように境界づけられるか？
• RQ2 非可逆連鎖の複素固有値と、対応する可逆連鎖の実固有値との間にはどのような関係があるか？
• RQ3 非可逆マルコフ連鎖に対してチーバー型不等式を導出可能か？また、可逆の場合に既知である結果と比べてどう異なるか？
• RQ4 可逆マルコフ連鎖の最小固有値に対して意味のあるチーバー型不等式は存在するか？
• RQ5 非可逆連鎖における第二最大の絶対値固有値に対して、チーバー型不等式を確立できるか？

主な発見

• 非可逆マルコフ連鎖の混合時間に対する下界が、その固有値を用いて確立され、収束速度のスペクトル的測度が得られた。
• 非可逆連鎖の複素固有値の実部が、関連する可逆連鎖の固有値の関数として境界づけられた。
• 非可逆連鎖の第二最大の絶対値固有値が、スペクトル的および幾何的議論を用いて境界づけられ、既知の可逆連鎖の境界を拡張した。
• 非可逆連鎖に対する新しいチーバー型不等式が導出され、可逆設定における既存の結果を改善した。
• 可逆マルコフ連鎖の最小固有値に対する革新的なチーバー型不等式が得られ、幾何的導出パラメータと結びつけられた。
• 非可逆連鎖の第二最大の絶対値固有値に対するチーバー型不等式が定式化され、新しいスペクトル幾何的関係が導入された。