[論文レビュー] On Mean Field Convergence and Stationary Regime

Michel Benaı̈m, Jean‐Yves Le Boudec|arXiv (Cornell University)|Nov 24, 2011

Stochastic processes and financial applications参考文献 17被引用数 27

ひとこと要約

本稿では、弱収束の仮定の下で——特に、確率過程の族の有限時刻におけるマージナル分布が決定論的過程に分布収束する——任意の不変分布の極限点が、決定論的極限の不変分布であることを確立する。主な結果は、このような極限点の台が、決定論的系のBirkhoff中心に含まれることであり、フローや極限点の一意性を仮定せずとも、平均場収束を定常状態にまで拡張できることを示している。

ABSTRACT

Assume that a family of stochastic processes on some Polish space $E$ converges to a deterministic process; the convergence is in distribution (hence in probability) at every fixed point in time. This assumption holds for a large family of processes, among which many mean field interaction models and is weaker than previously assumed. We show that any limit point of an invariant probability of the stochastic process is an invariant probability of the deterministic process. The results are valid in discrete and in continuous time.

研究の動機と目的

• 平均場確率過程の定常状態がその決定論的極限の定常状態に収束する条件を確立すること。
• 不変測度の収束に要する従来の仮定——例えば、散逸性、極限点の一意性、半フローアーキテクチャ——を弱めること。
• Feller連続性と有限区間における分布収束が、不変分布の収束を十分であることを示すこと。
• 従来の確率的近似理論および平均場理論の結果を、より一般のポーランド空間および非一意な極限集合（例：極限円周）にまで拡張すること。
• 移動ネットワーク、TCP、レピュテーションシステムなど、ODEが複雑な長期的挙動を示すモデルに適用可能な一般枠組みを提供すること。

提案手法

• ポーランド空間 $ E $ 上のFeller過程 $ Y^N $ の族を仮定し、初期条件が決定論的点に収束するとする。
• 仮定1を導入：任意の固定時刻 $ t $ に対して、$ Y^N(t) $ の分布がコンパクト集合上で一様に決定論的 $ \rho_t(y_0) $ に分布収束する。
• スコロホドの表現定理を用いて、列 $ \tilde{\nu}^N $ を極限の確率変数 $ X $ とカップリングし、ほとんど確実収束を保証する。
• 劣微分収束を条件付き期待値 $ \bbE[h(Y^N(t)) \big| Y^N(0) = y] $ に適用し、ほとんど確実に $ h(\rho_t(x)) $ に収束することを示す。
• 不変性の性質 $ \bbE[h(Y^N(t))] = \bbE[h(Y^N(0))] $ を用い、極限に移行して $ \bbE[h(\rho_t(X))] = \bbE[h(X)] $ を得る。これにより、極限測度の不変性が証明される。
• 半フローの場合、Poincaréの再帰定理を適用し、極限測度の台が再帰集合の閉包に含まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 平均場確率過程の不変分布が、その決定論的極限の不変分布に収束する条件は何か？
• RQ2 決定論的過程が半フローでない、または一意な吸引子を持たない場合でも、有限時刻のマージナル分布の収束が、定常状態の収束を保証できるか？
• RQ3 決定論的系が極限円周や非吸引的再帰集合を示す場合、不変測度の台はどのように振る舞うか？
• RQ4 決定論的極限過程に対する仮定をどれほど弱くできるか？ それでも不変測度の収束が保証されるか？
• RQ5 離散時間過程や非マルコフ系（例：補間過程）へこの結果を拡張できるか？

主な発見

• 確率過程 $ Y^N $ の不変測度 $ \nu^N $ の任意の弱収束極限点 $ \nu $ は、決定論的過程 $ \rho $ の不変測度である。$ \rho $ の連続性やフローモデルの仮定は不要である。
• このような極限測度 $ \nu $ の台は、$ \rho $ のBirkhoff中心に含まれる。すなわち、点 $ x $ で $ \liminf_{t\to\infty} d(x, \rho_t(x)) = 0 $ を満たす集合である。
• もし $ \rho $ が連続な半フローであり、すべての軌道が一意な固定点 $ y^* $ に収束する場合、かつ $ \nu^N $ がtightであれば、$ \nu^N \Rightarrow \delta_{y^*} $、すなわち $ y^* $ におけるディラック測度に収束する。
• 本結果は、極限円周などの複雑な長期的挙動を示す系にも適用可能であり、Bordenave et al. (2007) や Cho et al. (2010) のモデルで示されるように、決定論的ODEが一意な点に収束しない場合でも有効である。
• 証明において、$ Y^N $ のFeller性は、条件付き期待値の連続性を保証するために不可欠であり、これにより劣微分収束の適用が可能になる。
• $ \nu^N $ のtightnessは、一意な極限点に収束するディラック測度への収束を十分に保証する。状態空間 $ E $ がコンパクトであれば、これは自動的に成立する。