[論文レビュー] $L^{2}$-spectral gaps, weak-reversible and very weak-reversible Markov chains

Achim Wuebker, Zakhar Kabluchko|ArXiv.org|Aug 6, 2009

Markov Chains and Monte Carlo Methods参考文献 16被引用数 3

ひとこと要約

この論文は、可逆性を仮定せずに、正再帰的で一般状態空間を持つマルコフ連鎖における$L^2$-スペクトルギャップの存在について、必要十分条件を確立する。弱可逆性および非常に弱可逆性の条件を導入し、$P^2$、$P^*P$、$PP^*$と関連する等周数を分析することで、可逆でない場合へのスペクトルギャップ基準を一般化し、$L^2$ノルム推定とスペクトル理論を用いて非可逆連鎖に適用可能な枠組みを提供する。

ABSTRACT

The theory of $L^2$-spectral gaps for reversible Markov chains has been studied by many authors. In this paper we consider positive recurrent general state space Markov chains with stationary transition probabilities. Replacing the assumption of reversibility by a less strong one, we still obtain a simple necessary and sufficient condition for the spectral gap property of the associated Markov operator in terms of isoperimetric constant. Moreover, we define a new sequence of isoperimetric constants which provides a necessary and sufficient condition for the existence of a spectral gap in a very general setting. Finally, these results are used to obtain simple sufficient conditions for the existence of a spectral gap in terms of the first and second order transition probabilities.

研究の動機と目的

• 既存の研究が主に可逆マルコフ連鎖に焦点を当てていたのを踏まえ、$L^2$-スペクトルギャップ理論を可逆でない場合へ拡張すること。
• ディリクレ形式の手法の失敗と一般化の欠如により、非可逆連鎖におけるスペクトルギャップの一般的な条件が不足している問題に対処すること。
• スペクトルギャップの特徴付けを可能にする、弱可逆性および非常に弱可逆性というより弱い構造的条件を定義すること。
• 一般設定下で、新しい系列の等周数を用いて、スペクトルギャップの必要十分条件を提示すること。
• 第一および第二の遷移確率に基づく十分条件を導出し、実用的な検証を可能にすること。

提案手法

• 連続測度$Q^{(n)}$と$\tilde{Q}^{(n)}$のラドン＝ニコディム導分を用いて、弱可逆性および非常に弱可逆性マルコフ連鎖を定義し、可逆性を一般化する。
• 集合をまたがる遷移確率に基づいて、スペクトルギャップ特性を特徴付ける等周数$k_n(A)$および$k_{P^{*n}P^n}(A)$を定義する。
• 随伴作用素$P^*$を用いて$P^{*n}P^n$を定義し、そのスペクトルギャップが元の連鎖の挙動とどのように関連するかを明らかにする。
• 測度$\mu$による二次形式$\langle f, (Id - P^*P)f \rangle_\pi$の表現を確立し、スペクトル解析を可能にする。
• $P^2$、$P^*P$、$PP^*$の等周数を比較し、スペクトルギャップの上限を導出する。
• スペクトル写像定理およびノルム推定を適用し、$\|Id - P\|_{L^2} \geq \sqrt{\kappa/8} \cdot k_{P+P^* - P^*P}$を示し、スペクトルギャップと等周性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 可逆性を仮定せず、非可逆マルコフ連鎖における$L^2$-スペクトルギャップの必要十分条件を確立できるか？
• RQ2 弱可逆性および非常に弱可逆性の条件は、スペクトルギャップ理論における古典的可逆性仮定をどのように一般化するか？
• RQ3 一般マルコフ連鎖におけるスペクトルギャップの特徴付けにおいて、等周数$k_n$および$k_{P^{*n}P^n}$の役割は何か？
• RQ4 $P^2$、$P^*P$、$PP^*$の等周数を用いて、$P$のスペクトルギャップを推定できるか？
• RQ5 第一および第二の遷移確率にどのような十分条件が、スペクトルギャップの存在を保証するか？

主な発見

• 可逆連鎖の結果を拡張するために、等周数$k_{P^*P}$を用いた$L^2$-スペクトルギャップの必要十分条件が確立された。
• スペクトルギャップが存在するための必要十分条件は$k_{P^*P} > 0$であり、$\operatorname{esssup}_y \left\| \frac{dQ^{(n)}}{d\tilde{Q}^{(n)}}(\cdot,y) \right\|_{L^q(p(y,\cdot))} < \infty$を満たすある$q \in (1,\infty]$が存在する非常に弱可逆性のもとで成立する。
• 非常に弱可逆連鎖では、スペクトルギャップは$k_{P^*P} > 0$によって特徴付けられ、これは標準的等周数$k$の二乗で下から抑えられる。
• 本論文では、$k_{P+P^* - P^*P} \geq k^2$が証明され、対称化作用素のスペクトルギャップと元の連鎖の等周性を結びつける。
• 第一および第二の遷移核に基づくスペクトルギャップの十分条件が導出され、完全な可逆性がなくても実用的な検証が可能になった。
• Häggströmの例により、幾何的エルゴード性がスペクトルギャップを保証するわけではないことが確認され、$p^{*n}p^n((3n,2n),(3n,2n)) = 1$をすべての$n$で満たす場合、$P$はスペクトルギャップを持たない。これは条件の必要性を裏付けている。