[論文レビュー] A sequential RPF theorem and its applications to limit theorems for time dependent dynamical systems and inhomogeneous Markov chains

Yeor Hafouta|arXiv (Cornell University)|Mar 10, 2019

Mathematical Dynamics and Fractals参考文献 5被引用数 2

ひとこと要約

本稿は、複素線形作用素に対する逐次 Ruelle-Perron-Frobenius (RPF) 定理を確立し、逐次力学系 (SDS) や非定常マルコフ連鎖における微細な極限定理——局所中心極限定理や Berry-Esseen 界——を導出する。複素射影ヒルベルト距離の収縮性を活用することで、摂動下における RPF 三重対の安定性を証明し、分散の増大条件を導入し、古典的極限定理を非定常的・時変的設定へと拡張する。

ABSTRACT

In this paper we will prove various probabilistic limit theorems for some classes of sequential dynamical systems (SDS) and inhomogeneous Markov chains. Our proofs utilize a certain sequential Ruelle-Perron-Frobenius theorem for complex operators, which, as in \cite{Nonconventional limit theorems and random dynamics, WS 2018}, is proved using contraction properties of a complex version of the projective Hilbert metric that was developed in \cite{Cones and gauges in complex spaces: Spectral gaps and complex Perron-Frobenius theory, Ann. Math. 171 (2010)} and \cite{L. Dubois, Projective metrics and contraction principles for complex cones, J. London Math. Soc. 79 (2009)}. We will also prove a certain type of stability theorem for the corresponding Ruelle-Perron-Frobenius triplets with respect to perturbation of the transfer and Markov operators, which leads to natural conditions for linear growth of the corresponding variances. Some of our general results mostly have applications for dynamical systems and Markov chains in random non-stationary environments, while the conditions of the other results hold true for general type of SDS and inhomogeneous Markov chains. This paper is the first time that finer limit theorems such the local central limit theorem and the Berry Esseen theorem are proved in the SDS setup.

研究の動機と目的

• 非定常的・時変的力学系および非定常マルコフ連鎖へ、中心極限定理や Berry-Esseen 評価といった古典的極限定理を拡張すること。
• このような系を解析する基盤的ツールとして、複素作用素に対する逐次 Ruelle-Perron-Frobenius 定理を構築すること。
• 転送作用素およびマルコフ作用素の摂動下における RPF 三重対の安定性を確立し、分散増大の解析を可能にすること。
• 非定常設定における線形分散増大が成立する条件を提示することにより、極限定理の成立に不可欠な条件を明らかにすること。

提案手法

• 逐次力学系における転送作用素のスペクトル的性質を解析するため、複素版の射影ヒルベルト距離を用いる。
• 既存の複素コーンに関する収縮原理を応用し、摂動下における RPF 三重対の収束を証明する。
• 時変空間上に作用する転送作用素族に対する逐次 RPF 定理を確立する。
• RPF 三重対の安定性バウンドを導出し、非定常マルコフ連鎖における分散増大率と結びつける。
• スペクトルギャップおよび作用素ノルムに関する条件の検証を通じて、極限定理の証明に応用する。
• フレームワークを用いて、Berry-Esseen 率や局所中心極限定理を含む定量的バウンドを、SDS や非定常マルコフ連鎖の文脈で導出する。

実験結果

リサーチクエスチョン

• RQ1 時変的力学系における逐次力学系の設定で、局所中心極限定理を確立できるか？
• RQ2 非定常環境下における非定常マルコフ連鎖において、分散が線形に増大する条件は何か？
• RQ3 複素作用素論を用いて、Ruelle-Perron-Frobenius 定理を逐次系へどのように拡張できるか？
• RQ4 時変的設定における RPF 三重対が示す摂動安定性の性質は何か？
• RQ5 非 i.i.d. な逐次過程に対して、Berry-Esseen 定理をどのような条件下で証明できるか？

主な発見

• 本稿は、非定常的設定に拡張された古典的結果へと一般化された、逐次力学系における局所中心極限定理の初の証明を提示する。
• 逐次力学系の文脈において、初の Berry-Esseen 定理を確立し、正規分布への収束の定量的レートを提供する。
• 転送作用素およびマルコフ作用素の摂動下における RPF 三重対の安定性が証明され、非定常系におけるロバストネス解析が可能になる。
• フレームワークにより、非定常マルコフ連鎖における線形分散増大の自然な条件が得られ、作用素の安定性と統計的挙動の関連が明確化される。
• 複素射影ヒルベルト距離の収縮法は、逐次系における時変スペクトルギャップを解析する強力なツールを提供する。
• 結果は SDS や非定常マルコフ連鎖に広く適用可能であり、微細な極限定理の成立を保証する具体的な条件が提示される。