[論文レビュー] Mixing times are hitting times of large sets

Yuval Peres, Perla Sousi|arXiv (Cornell University)|Jul 31, 2011

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

ひとこと要約

この論文は、有限状態空間上の可逆かつ既約なマルコフ連鎖について、遅れ付き連鎖の混合時間は、定常分布が α < 1/2 以上の集合における最大 hitting 時間と漸近的に同値であることを確立する。さらに、2つの連続するステップの平均化により、遅れ付き連鎖の混合時間と同等の混合時間を得られることを示し、混合時間と hitting 時間の間の新たな関係を確立する。この関係は、ロバストネスおよび停止時刻解析への応用を示唆する。

ABSTRACT

We consider irreducible reversible discrete time Markov chains on a finite state space. Mixing times and hitting times are fundamental parameters of the chain. We relate them by showing that the mixing time of the lazy chain is equivalent to the maximum over initial states x and large sets A of the hitting time of A starting from x. We also prove that the first time when averaging over two consecutive time steps is close to stationarity is equivalent to the mixing time of the lazy version of the chain.

研究の動機と目的

• 可逆マルコフ連鎖における混合時間と hitting 時間の根本的同値性を確立すること。
• 混合時間、大集合の hitting 時間、および停止時刻の間の関係に関する未解決問題を解消すること。
• 特定のグラフ（例：2分木）における有界な導通率の摂動に対して、混合時間のロバストネスを示すこと。
• 連続時間混合と離散時間平均化混合の同値性の新しい証明を提供すること。

提案手法

• 大集合の最大 hitting 時間を定義する。$ t_H(\alpha) = \max_{x,A: \pi(A) \geq \alpha} \mathbb{E}_x[\tau_A] $（$ \alpha < 1/2 $ に対して）。
• 可逆連鎖に対して、$ t_L \asymp t_H(\alpha) $ を証明する。ここで $ t_L $ は遅れ付き連鎖の混合時間である。
• 2つの連続する遷移ステップの平均の合計変動距離を用いて定義される平均混合時間 $ t_{\text{ave}}(\varepsilon) $ を導入する。
• $ t_{\text{ave}} \asymp t_L $ を確立し、2ステップの平均化が混合時間の特徴づけに十分であることを示す。
• ポテンシャル理論とウォルドの恒等式を用いて、異なるジャンプ分布および導通率における hitting 時間を関連付ける。
• 既知の停止時刻およびランダムターゲット補題の結果を活用し、$ t_{\text{stop}} $、$ t_{\text{ave}} $、$ t_L $ を比較する。

実験結果

リサーチクエスチョン

• RQ1 可逆マルコフ連鎖において、遅れ付き連鎖の混合時間は、大集合の最大 hitting 時間と同値であるか？
• RQ2 2つの連続するステップの平均化によって、混合時間が同値に特徴づけられるか？
• RQ3 $ \alpha > 1/2 $ の場合に失敗するものの、$ t_H(1/2) \asymp t_L $ はすべての可逆連鎖に対して成り立つか？
• RQ4 導通率の摂動が混合時間に与える影響は何か？また、このような変更に対し混合時間はロバストか？
• RQ5 可逆連鎖において、停止時刻混合時間と他の混合時間パラメータとの関係は何か？

主な発見

• すべての可逆マルコフ連鎖および $ \alpha < 1/2 $ に対して、遅れ付き混合時間 $ t_L $ は、大集合の最大 hitting 時間 $ t_H(\alpha) $ と漸近的に同値であり、$ c'_\alpha t_H(\alpha) \leq t_L \leq c_\alpha t_H(\alpha) $ を満たす普遍的定数 $ c'_\alpha, c_\alpha > 0 $ が存在する。
• 平均混合時間 $ t_{\text{ave}}(1/4) $ は、遅れ付き混合時間 $ t_L $ と同値であり、$ c t_L \leq t_{\text{ave}} \leq c' t_L $ を満たす普遍的定数 $ c, c' > 0 $ が存在する。
• この結果により、$ t_{\text{stop}} \asymp t_L $ が成り立つことが示され、可逆ケースにおける停止時刻の同値性に関する疑問が解決された。
• 2分木においては、有界な導通率の摂動により混合時間が定数倍以内にしか変化しないため、ロバストネスが示された。
• $ t_H(1/2) \asymp t_L $ の同値性は、論文の質問に続くグリフィスらの確認により、すべての可逆連鎖に対して成り立つことが判明した。
• この論文は、アルドウスによる連続時間混合時間同値性の証明の難所であった不等式 $ t_{\text{prod}} \leq c_1 t_{\text{cts}} $ の新しい証明を提供した。