[論文レビュー] Spectrum of large random reversible Markov chains: two examples

Charles Bordenave, Pietro Caputo+1 more|arXiv (Cornell University)|Nov 7, 2008

Random Matrices and Applications参考文献 60被引用数 12

ひとこと要約

本稿では、ランダム行列理論を用いて、ランダムグラフ上の大きな可逆マルコフ連鎖のスペクトル特性を研究し、2つのモデルに注目する：完全グラフと出生死滅連鎖。完全グラフモデルでは、経験的スペクトル分布（ESD）が半円則に収束し、出生死滅モデルではアークサイン則に収束することが示され、エッジ重み分布の一般条件のもとで、スペクトルギャップが非退化な極限に収束することが保証される。

ABSTRACT

We take on a Random Matrix theory viewpoint to study the spectrum of certain reversible Markov chains in random environment. As the number of states tends to infinity, we consider the global behavior of the spectrum, and the local behavior at the edge, including the so called spectral gap. Results are obtained for two simple models with distinct limiting features. The first model is built on the complete graph while the second is a birth-and-death dynamics. Both models give rise to random matrices with non independent entries.

研究の動機と目的

• 大規模な可逆マルコフ連鎖のグローバルおよびエッジスペクトル挙動を、ランダム環境下で調査すること。
• ランダム重みを有するエッジを持つマルコフ連鎖のスペクトル特性とランダム行列理論との関係を調査すること。
• 異なる極限スペクトル分布を示す2つの異なるモデル—完全グラフと出生死滅連鎖—を分析すること。
• エッジ重み分布の一般条件のもとで、経験的スペクトル分布（ESD）が既知の法則（半円則およびアークサイン則）に収束することを確立すること。
• 特に出生死滅連鎖において、スペクトルギャップおよび極値固有値に対する非漸近的バウンドを導出すること。

提案手法

• 独立同一分布の非負エッジ重みを有する有限グラフ上の可逆マルコフ連鎖をモデル化し、正規化のための依存性を有するランダム遷移行列が得られる。
• グローバルスペクトルを調べるため、固有値におけるディラックデルタ関数の正規化和として定義される経験的スペクトル分布（ESD）を用いる。
• モーメント法および経路の組み合わせ的数え上げを含むランダム行列技法を用いて、極限スペクトル分布を分析する。
• 完全グラフモデルでは、エッジ重み分布のモーメント条件のもとで、ESDがウィグナー半円則に収束することを証明する。
• 出生死滅モデルでは、エッジ重みが[0,1]上または[0,t]∪[1−t,1]上で独立同一分布に従うとき、ESDがアークサイン則に収束することを確立する。
• チェーバー型不等式および経路に基づく推定を用いてスペクトルギャップのバウンドを導出し、特に出生死滅連鎖における第二固有値を制御する。

実験結果

リサーチクエスチョン

• RQ1 独立同一分布のエッジ重みを有する完全グラフ上の可逆マルコフ連鎖の極限経験的スペクトル分布は何か？
• RQ2 大規模な可逆マルコフ連鎖におけるランダムエッジ重みの下で、スペクトルギャップはどのように振る舞うか？
• RQ3 ランダム環境下の出生死滅過程の経験的スペクトル分布は、アークサイン則に収束するか？
• RQ4 極値固有値が非退化な極限に収束するための条件は何か？
• RQ5 これらの連鎖のスペクトル特性は、ランダムエッジ重みの分布にどのように依存するか？

主な発見

• エッジ重み分布のモーメント条件のもとで、完全グラフモデルの経験的スペクトル分布は弱収束してウィグナー半円則に収束する。
• エッジ重みが[0,1]上で独立同一分布に従う出生死滅モデルでは、経験的スペクトル分布は弱収束してアークサイン則に収束する。
• エッジ重みが[0,t]∪[1−t,1]上で一様分布に従うとき（t<1/2）、極限スペクトル分布はアークサイン則のまま保たれ、t→0の極限でも同様に成り立つ。
• エッジ重みの軽微なモーメント仮定のもとで、出生死滅連鎖のスペクトルギャップは高確率でゼロから離れており、速やかな混合を示唆する。
• 第二固有値λ₂(K)は確率的に非退化な極限に収束し、1未満の正の値に収束するため、平衡分布への指数的収束が保証される。
• 完全グラフモデルでは、極限スペクトル分布のk次のモーメントが、重み分布に依存する正の下界によって有界であることが示され、非退化な台を持つことが確認される。