[論文レビュー] Central limit theorem over non-linear functionals of empirical measures with applications to the mean-field fluctuation of interacting particle systems

Benjamin Jourdain, Alvin Tse|arXiv (Cornell University)|Feb 4, 2020

Stochastic processes and statistical mechanics参考文献 31被引用数 3

ひとこと要約

本稿は、線形汎関数微分に関する正則性条件の下で、経験測度の非線形関数的機能に対する中心極限定理（CLT）を確立し、相互作用する拡散系における平均場フラクチュエーションの解析を可能にする。著者らは、フラクチュエーションをマルティンググール型の和と、ホルダー連続性によって制御される剰余項に分解し、弱収束によりガウス型極限に至ることを証明した。応用は粒子系およびMcKean-Vlasov SDEに及ぶ。

ABSTRACT

In this work, a generalised version of the central limit theorem is proposed for nonlinear functionals of the empirical measure of i.i.d. random variables, provided that the functional satisfies some regularity assumptions for the associated linear functional derivative. This generalisation can be applied to Monte-Carlo methods, even when there is a nonlinear dependence on the measure component. We use this result to deal with the contribution of the initialisation in the convergence of the fluctuations between the empirical measure of interacting diffusion and their mean-field limiting measure (as the number of particles goes to infinity), when the dependence on measure is nonlinear. A complementary contribution related to the time evolution is treated using the master equation, a parabolic PDE involving L-derivatives with respect to the measure component, which is a stronger notion of derivative that is nonetheless related to the linear functional derivative.

研究の動機と目的

• i.i.d.設定を超えた非線形関数的機能に対する経験測度の中心極限定理を拡張すること。特に、関数的機能が測度に対して非線形に依存する場合を想定する。
• 相互作用粒子系の平均場フラクチュエーションにおける初期化効果の課題を、制限分散の初期測度配置への依存性を分析することで解決すること。
• 時間発展におけるフラクチュエーションの時間的変化を特徴付けるフレームワークを、線形汎関数微分およびL-微分（マスター方程式経由）を用いて構築すること。
• フラクチュエーション過程の弱収束をガウス過程に示し、初期化と時間発展の寄与を分離すること。
• 特に高次元または複雑な確率的系において、非線形的経験測度依存を含むモンテカルロ法の厳密な確率的基盤を提供すること。

提案手法

• 線形汎関数微分 $ \frac{\delta U}{\delta m}(m, y) $ の存在と正則性を仮定し、経験測度 $ \frac{1}{N}\sum_{i=1}^N \delta_{\zeta_i} $ の非線形関数的機能 $ U $ に対する一般化されたCLTを提案する。
• 粒子 $ i $ にインデックスが付いたマルティンググール型の増分の和に $ \sqrt{N}(U(\mu_N) - U(m_0)) $ を新たな分解を導入し、過去の粒子に依存する確率測度の引数 $ m_{N,i}^s $ を用いる。
• 全 Variation における測度引数に関する $ \frac{\delta U}{\delta m} $ のホルダー連続性を用いて剰余項を制御し、確率的に 0 に収束することを保証する。
• リンデバーグ条件およびブレケット収束を適用して、主な和のマルティンググールCLTを検証し、漸近的正規性を保証する。
• マスター方程式（L-微分を含む放物型PDE）を用いて、フラクチュエーション過程の時間発展をモデル化する。
• モーメント推定、結合論法、およびレヴィの連続性定理を組み合わせることで、有限次元分布のtightnessおよび弱収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 非線形関数的機能 $ U $ の経験測度に対するフラクチュエーション $ \sqrt{N}(U(\mu_N) - U(m_0)) $ がガウス分布に収束する条件は何か？
• RQ2 初期配置が平均場フラクチュエーションに与える寄与を、時間発展成分から明確に分離・定量的に評価することは可能か？
• RQ3 線形汎関数微分 $ \frac{\delta U}{\delta m} $ のホルダー連続性が、CLTにおける剰余項の消滅を保証するために果たす役割は何か？
• RQ4 L-微分を用いたマスター方程式は、相互作用拡散系におけるフラクチュエーションの時間発展をどのように捉えているか？
• RQ5 制限フラクチュエーション過程を、初期化に起因する成分と時間依存ダイナミクスに起因する成分に独立に分解できるか？

主な発見

• 本稿は、フレシェ微分を必要としない、線形汎関数微分に関する弱い正則性条件の下で、経験測度の非線形関数的機能に対する中心極限定理を確立した。
• 測度引数に関するホルダー連続性（指数 $ \alpha > 1/2 $）を満たす $ \frac{\delta U}{\delta m} $ の下で、$ \sqrt{N}(U(\mu_N) - U(m_0)) $ の展開における剰余項は $ N \to \infty $ の下で確率的に 0 に収束する。
• 主なフラクチュエーション項は、初期測度における関数的微分の共分散によって決定される中心ガウス確率変数に弱収束する。
• 時間発展成分のフラクチュエーションは、マスター方程式の解と拡散係数 $ \sigma $ を含む共分散構造を持つガウス過程に収束する。
• 制限フラクチュエーション過程は、時間に依存しない初期化由来の成分と、McKean-Vlasov過程の経路に依存する時間発展由来の成分の和として、独立なガウス成分に分解される。
• フラクチュエーション過程の有限次元分布は、初期成分と動的成分を組み合わせた明示的な共分散行列を持つ多変量正規分布に弱収束する。これは特性関数収束およびレヴィの連続性定理により示された。