[論文レビュー] Limit Theorems for quadratic forms of Markov Chains

Yves F. Atchadé, Matias D. Cattaneo|arXiv (Cornell University)|Aug 13, 2011

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

ひとこと要約

本稿では、マルコフ連鎖の2次形式に対するマルティングール近似法を開発し、その漸近的挙動を体系的に分析可能にする。非定常的かつ非幾何的エルゴード性の設定下でも、核関数が時間的に変化するU統計量およびラグ窓推定量の中心極限定理を確立し、マルコフ連鎖モンテカルロ（MCMC）シミュレーションにおける新たなロバスト推論手法を提供する。

ABSTRACT

We develop a martingale approximation approach to studying the limiting behavior of quadratic forms of Markov chains. We use the technique to examine the asymptotic behavior of lag-window estimators in time series and we apply the results to Markov Chain Monte Carlo simulation. As another illustration, we use the method to derive a central limit theorem for U-statistics with varying kernels.

研究の動機と目的

• マルコフ連鎖の2次形式の漸近的挙動を分析するための一般的で体系的な枠組みを構築すること。
• i.i.d. または定常性の仮定を越えて、時間的に変化する核関数を持つU統計量の中心極限定理を拡張すること。
• 非幾何的エルゴード性および非定常的マルコフ連鎖における長期分散のラグ窓推定量の漸近的性質を検討すること。
• MCMC シミュレーションにおけるロバストなモンテカルロ信頼区間の理論的基盤を提供すること。
• 古典的推論フレームワークを拡張し、非定常的マルコフ連鎖に対し固定b漸近論を確立すること。

提案手法

• 2次形式のマルコフ連鎖に対するポisson方程式の2変数版を用いて、マルティングール近似を構築する。
• 近似を応用して、長期分散のラグ窓推定量を分解し、古典的および固定b漸近論に関する新たな知見を明らかにする。
• 依存性とモーメントを制御するために、重み付きノルムおよび関数解析的道具（例：$W$-ノルム、$\mathcal{L}_W$ 空間）を用いる。
• $V_1$ および $V_2$-ノルムを含むモーメントおよびエルゴード性条件の下で、マルコフ連鎖に対する弱大数法則を導出する。
• ポisson方程式の解を用いて、元の2次形式をマルティングール差の和と剰余項の和に表現する。
• コーシー・シュワルツおよびモーメントバウンドを適用して剰余項を制御し、確率的に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 マルティングール近似は、漸近的解析を可能にするために、どのようにマルコフ連鎖の2次形式に拡張可能か？
• RQ2 非幾何的エルゴード性を示すマルコフ連鎖における長期分散のラグ窓推定量の漸近的性質は何か？
• RQ3 定常性や混合条件を仮定せずに、時間的に変化する核関数を持つU統計量の中心極限定理を確立できるか？
• RQ4 固定b漸近論フレームワークは、非定常的マルコフ連鎖にどのように拡張可能か？
• RQ5 一般のマルコフ的設定下で、ラグ窓推定量の一致性および漸近正規性を保証する条件は何か？

主な発見

• 従来の結果よりも弱い条件下で、核関数が変化するU統計量の中心極限定理を確立し、混合性や定常性の仮定を必要としない。
• 非幾何的エルゴード性を示すマルコフ連鎖に対し、ラグ窓推定量の一貫性を証明し、FlegalとJones（2010）およびAtchade（2011）の結果を拡張する。
• 非定常的マルコフ連鎖に対し、固定b漸近論が拡張され、MCMC推論のためのロバストなフレームワークが提供される。
• マルティングール近似法により、2次形式がマルティングール差の和と剰余項に分解され、適切なモーメントおよびエルゴード性条件の下で、剰余項が確率的に0に収束することが示された。
• $V$-幾何的エルゴード性およびモーメント条件の下で、重み付き和のマルコフ連鎖に対する弱大数法則が導出され、正規化された乖離の収束が可能になる。
• 剰余項の明示的バウンドが、$\overline{V}_2$-ノルムおよび $\overline{\mathcal{U}}_1$、$\overline{\mathcal{V}}_1$ 関数を用いて与えられ、2次形式の分析に統一的なアプローチが提供される。