[論文レビュー] Fast non mean-field networks: uniform in time averaging

Julien Barré, Paul Dobson+2 more|arXiv (Cornell University)|Mar 31, 2020

Advanced Thermodynamics and Statistical Mechanics参考文献 16被引用数 12

ひとこと要約

本稿は、N個の相互作用する拡散粒子が疎で動的に変化するネットワーク上に存在する系について、時間に一様な平均化極限を厳密に確立する。ネットワークの更新は粒子の運動よりもはるかに速く行われるものとする。多くの粒子（N → ∞）と平均化（ε → 0）の極限を併用することで、著者らは粒子密度の経験的分布が非線形Fokker-Planck方程式の解に収束することを証明した。相互作用カーネルおよびポテンシャルに適切な条件下では、時間に一様な明示的な誤差項が得られ、これは疎なネットワークにおける時間に一様な平均化結果として初めてのものである。

ABSTRACT

We study a population of $N$ particles, which evolve according to a diffusion process and interact through a dynamical network. In turn, the evolution of the network is coupled to the particles' positions. In contrast with the mean-field regime, in which each particle interacts with every other particle, i.e. with $O(N)$ particles, we consider the a priori more difficult case of a sparse network; that is, each particle interacts, on average, with $O(1)$ particles. We also assume that the network's dynamics is much faster than the particles' dynamics, with the time-scale of the network described by a parameter $\epsilon>0$. We combine the averaging ($\epsilon ightarrow 0$) and the many particles ($N ightarrow \infty$) limits and prove that the evolution of the particles' empirical density is described (after taking both limits) by a non-linear Fokker-Planck equation; we moreover give conditions under which such limits can be taken uniformly in time, hence providing a criterion under which the limiting non-linear Fokker-Planck equation is a good approximation of the original system uniformly in time. The heart of our proof consists of controlling precisely the dependence in $N$ of the averaging estimates.

研究の動機と目的

• 疎で動的に変化するネットワーク上に存在するN個の相互作用粒子系のマクロスコピック極限を厳密に分析すること。
• 大Nおよび高速なネットワークダイナミクス（ε → 0）の組み合わせ極限において、経験的粒子密度が非線形Fokker-Planck方程式に収束することを確立すること。
• この収束が時間に一様であること、つまり長時間にわたり元の系の良好な近似が得られることを証明すること。
• 相互作用が疎（1粒子あたりO(1)）である場合でも、平均化推定におけるNに依存する要因を制御し、N → ∞とε → 0の同時極限を可能にすること。

提案手法

• 粒子の位置に依存する疎なネットワーク相互作用を有するR^n上に存在するN個の粒子のモデルを構築し、リンクが粒子の接近度に基づくポアソン過程に従って形成・消滅するように定式化する。
• ネットワークダイナミクスをスケーリングする小さなパラメータε > 0を導入し、ε ≪ 1であると仮定することで、ネットワークの変化が粒子の運動よりもはるかに速いことを保証する。
• 高速なネットワークの揺らぎを除去するための平均化技法を適用し、粒子に作用する有効な相互作用力を導出する。
• 平均化手法と平均場に類似した推定を組み合わせ、誤差項におけるN依存性を丁寧に追跡する。
• 伊藤の補題とGronwall型不等式を用いて、真の粒子位置とその平均化された対応物との間のモーメント差を制御する。
• 非線形Fokker-Planck方程式をマクロスコピック極限として導出し、時間に一様な1/Nオーダーの明示的誤差項を付与する。ただし、追加の仮定が必要である。

実験結果

リサーチクエスチョン

• RQ1 疎で動的に変化するネットワーク上に存在するN個の粒子の経験的密度は、N → ∞およびε → 0の同時極限において、非線形Fokker-Planck方程式に収束するか？
• RQ2 この収束が時間に一様であるための条件は何か？ これにより、t ≥ 0の全範囲でマクロスコピックな記述が有効であることが保証される。
• RQ3 相互作用が疎（1粒子あたりO(1)）である場合、平均化推定におけるNに依存する要因をどのように制御できるか？ これは平均場的（O(N)）な相互作用とは異なる。
• RQ4 真の粒子ダイナミクスと有効なFokker-Planck方程式との間の定量的誤差は何か？ そして、これは時間に一様に有界であるか？

主な発見

• N個の粒子系の経験的密度は、N → ∞およびε → 0の組み合わせ極限において、非線形Fokker-Planck方程式の解に収束する。
• 相互作用カーネルおよびポテンシャルが追加の正則性および減衰条件（仮説[H.2]）を満たす場合、収束は時間に一様であり、誤差項は1/Nオーダーで、t ≥ 0の全範囲にわたり一様に保たれる。
• 弱い条件（仮説[H.1]）しか満たさない場合、収束は依然として有効だが、時間に一様ではなく、誤差項はe^{Lt}のように指数的に増大する。
• 主な技術的進展は、疎な相互作用下でも平均化推定におけるN依存性の正確な制御であり、これにより疎な系においても同時極限が可能になる。
• 本稿は、非平均場的で疎なネットワーク系における時間に一様な平均化結果として、初めての厳密な結果を確立した。
• 仮説[H.2]のもとでは、すべてのt ≥ 0において、有効なマクロスコピック記述の誤差はC/Nで抑えられ、CはtおよびNに依存しない。