[論文レビュー] Central limit theorem for Markov processes with spectral gap in the Wasserstein metric

Tomasz Komorowski, Anna Walczuk|arXiv (Cornell University)|Feb 9, 2011

Geometric Analysis and Curvature Flows参考文献 20被引用数 7

ひとこと要約

本稿は、ポーランド距離空間上の非定常マルコフ過程の加法的関数型に対して、ワッサーシュタイン距離におけるスペクトルギャップ条件の下で大数の法則および中心極限定理を確立する。双対遷移半群が適切なワッサーシュタイン距離において強く収縮的であり、観測関数がリプシッツ連続である場合、時間平均関数型が正規分布に収束することを示す。

ABSTRACT

Suppose that $\{X_t,\,t\ge0\}$ is a non-stationary Markov process, taking values in a Polish metric space $E$. We prove the law of large numbers and central limit theorem for an additive functional of the form $\int_0^Tψ(X_s)ds$, provided that the dual transition probability semigroup, defined on measures, is strongly contractive in an appropriate Wasserstein metric. Function $ψ$ is assumed to be Lipschitz on $E$.

研究の動機と目的

• ポーランド距離空間上の非定常マルコフ過程の加法的関数型に対して、大数の法則および中心極限定理を確立すること。
• 定常的または可逆的でない過程へと中心極限定理を拡張するため、ワッサーシュタイン距離における収縮性を用いること。
• 定常性を仮定しない状況でも、時間平均関数型がガウス分布に収束するための条件を提供すること。
• L^pにおけるスペクトルギャップをワッサーシュタイン距離における収縮性に置き換えることで、既存のマルティングルール近似法を一般化すること。
• ワッサーシュタイン収縮性を用いて、非定常過程の弱混合性またはエルゴード性仮定に基づく結果を統合・拡張すること。

提案手法

• 主な混合条件として、適切なワッサーシュタイン距離における双対遷移確率半群の強収縮性（仮定H1）を用いる。
• 尾部の挙動を制御し、過程の安定性を保証するため、ライアプノフ関数条件（仮定H3）を課す。
• 過程のパスの正則性を保証するため、フェラー性および確率的連続性（仮定H0）を仮定する。
• 高次モーメントのフラクチュエーションを制御するため、2+δ次のモーメントの存在（仮定H2）を要請する。
• 依存性を制御するため、加法的関数型 ∫₀ᵀψ(Xₛ)ds を分解する技術を適用し、収縮的半群を活用する。
• ワッサーシュタイン枠組みにおいて、リゾルベントおよびポisson方程式の近似を用いて、マルティングルール型の収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 非定常マルコフ過程に対して、時間平均関数型 ∫₀ᵀψ(Xₛ)ds が中心極限定理を満たすための条件は何か？
• RQ2 古典的なL^pにおけるスペクトルギャップや幾何的エルゴード性の代わりに、ワッサーシュタイン距離におけるスペクトルギャップ条件がCLTの証明に用いられる可能性はあるか？
• RQ3 双対半群のワッサーシュタイン距離における収縮性が、ガウス分布への収束をどのように保証するのか？
• RQ4 観測関数ψのリプシッツ連続性が、加法的関数型の収束に果たす役割は何か？
• RQ5 生成子がL^pでスペクトルギャップを持たないが、半群がワッサーシュタイン距離で収縮的である場合、マルティングルール近似法をどのように適応できるか？

主な発見

• 双対半群がワッサーシュタイン距離において強く収縮的である限り、加法的関数型 ∫₀ᵀψ(Xₛ)ds に対して大数の法則が成り立つ。
• ψがリプシッツ連続であり、双対半群が適切なワッサーシュタイン距離において強く収縮的である限り、∫₀ᵀψ(Xₛ)ds に対して中心極限定理が確立される。
• S_T / √T が中心化された正規確率変数に分布収束することを証明し、極限分散は不変測度と観測関数によって定まる。
• 定常性の仮定を一切せず、非定常初期分布に対しても結果が成立する。
• 証明は、依存性を制御し、漸近的ガウス性を保証するために、ワッサーシュタイン距離の新規な応用に依拠している。
• 本フレームワークは、非局所コンパクトな状態空間を持つ過程に適用可能であり、確率的ナビエ＝ストークス方程式を含む無限次元拡散過程にも適用可能である。