[論文レビュー] Graphon mean field systems

Erhan Bayraktar, Suman Chakraborty+1 more|arXiv (Cornell University)|Mar 30, 2020

Stochastic processes and statistical mechanics参考文献 30被引用数 16

ひとこと要約

本稿は、密度の高いグラフの極限対象たるグラフンによって支配される相互作用重みを持つ、非一様な拡散粒子系のクラス、すなわちグラフン平均場系を導入する。グラフン収束の下で、このような系について大数の法則を確立し、独立ではあるが非線形な拡散運動に結合された系に収束することを示す。極限系の適切な定義、連続性、安定性についても証明されている。結果は、確率的接続の除去とスケーリングを用いて、あまりにも疎でないグラフに対しても拡張可能である。

ABSTRACT

We consider heterogeneously interacting diffusive particle systems and their large population limit. The interaction is of mean field type with weights characterized by an underlying graphon. A law of large numbers result is established as the system size increases and the underlying graphons converge. The limit is given by a graphon mean field system consisting of independent but heterogeneous nonlinear diffusions whose probability distributions are fully coupled. Well-posedness, continuity and stability of such systems are provided. We also consider a not-so-dense analogue of the finite particle system, obtained by percolation with vanishing rates and suitable scaling of interactions. A law of large numbers result is proved for the convergence of such systems to the corresponding graphon mean field system.

研究の動機と目的

• グラフンによって特徴づけられる非一様な相互作用を持つ大規模な拡散粒子系を研究すること。
• 系のサイズが大きくなる中で、かつ基礎となるグラフンがカットノルムで収束する条件下で、このような系についての大数の法則を確立すること。
• 極限系の解析を行い、摂動に対してその適切な定義、連続性、安定性を証明すること。
• エッジの確率がゼロに近づくような確率的接続と適切なスケーリングを用いて、あまりにも疎でないグラフに対してもこの枠組みを拡張すること。
• エラーズ＝レニイまたは正則なランダムグラフを超える複雑なネットワーク系に対して、厳密な平均場極限を提供すること。

提案手法

• ステップグラフン $G_n$ から導かれる相互作用重みを用いて、確率的微分方程式で粒子の運動をモデル化し、$G_n$ がカットノルムで極限グラフン $G$ に収束することを仮定する。
• グラフン $G$ を用いて、平均場相互作用カーネルを定義し、各粒子のドリフト項および拡散項の係数を、$G(u,v)$ を介して極限系の経験分布に結合する。
• グラフン理論およびカットノルム収束の理論を用いて、$n \to \infty$ の下での有限粒子系の極限を解析し、ドリフトおよび拡散係数にリプシッツ条件を仮定する。
• マーティングル問題の手法とグロワールド型推定を用いて、有限系と極限系との間の $L^2$-距離を制御し、収束を確立する。
• エッジが消失確率で保持される確率的接続に基づくモデルを導入し、エッジの確率がゼロに近づく場合に、適切なスケーリングの下で同じグラフン平均場極限に収束することを証明する。
• ルジンの定理と連続グラフンによる近似を用いて、一般の可測グラフンに対しても極限のロバストネスを保証する。

実験結果

リサーチクエスチョン

• RQ1 密度の高いグラフの収束列によって定義される相互作用重みを持つ拡散粒子系について、平均場極限を厳密に確立できるか？
• RQ2 基礎となるグラフンが連続的または有界でないが可測である場合、極限系はどのように振る舞うか？
• RQ3 確率的接続とスケーリングを用いて、スパースまたはあまりにも疎でないグラフモデルに対しても収束結果を拡張できるか？
• RQ4 極限グラフン平均場系の正則性特性（適切な定義、連続性、安定性）は何か？
• RQ5 極限はグラフンの選択に依存するか？また、収束を保証するためのカットノルムの役割は何か？

主な発見

• 本稿は、グラフンで定義される相互作用を持つ有限粒子系について、$n \to \infty$ かつ $G_n \to G$ がカットノルムで収束する条件下で、大数の法則を確立し、極限としてグラフン平均場系への収束を示した。
• 極限系は、各粒子の法則がグラフン $G$ および極限系の経験分布を通じて結合された、独立ではあるが非一様な非線形拡散運動の集合から成る。
• ドリフトおよび拡散係数にやや弱い正則性条件を仮定した下で、グラフン平均場系の適切な定義、連続性、安定性が証明された。
• あまりにも疎でないグラフに対しては、エッジの確率がゼロに近づく確率的接続と適切なスケーリングの下で、同じグラフン平均場極限に収束することを証明した。
• 適切なモーメントおよび正則性条件の下で、有限系と極限系との間の $L^2$-距離における収束速度が $O((n\beta_n)^{-1/q})$（$q > 1$）であることが示された。
• 結果はグラフンの近似に対してロバストである：一般の可測グラフンに対しても、連続グラフンによる近似とルジンの定理を用いることで収束が保証される。