[論文レビュー] Long time dynamics for interacting oscillators on graphs

F. Coppini|arXiv (Cornell University)|Aug 5, 2019

Nonlinear Dynamics and Pattern Formation参考文献 32被引用数 4

ひとこと要約

本稿は、グラフ列における決定論的条件を、グロテンディークの不等式と $\documentclass{article}\usepackage{amsmath,amssymb,amsfonts}\usepackage{geometry}\geometry{margin=1in}\begin{document}$$\backslash\text{cut-norm}$$\backslash\text{concentration in }\backslash\text{ell}_{\backslash\text{infty}}\to\backslash\text{ell}_{1}$$\end{document}$ に基づいて確立する。この条件により、平均場的 Kuramoto モデルの経験的測度が、長時間にわたり McKean-Vlasov 解に近いままであることが保証される。この条件は、平均次数が発散する場合でも、下臨界および上臨界領域において、指数関数的に長い時間にわたり同期が維持されることを保証する。

ABSTRACT

The stochastic Kuramoto model defined on a sequence of graphs is analyzed: the emphasis is posed on the relationship between the mean field limit, the connectivity of the underlying graph and the long time behavior. We give an explicit deterministic condition on the sequence of graphs such that, for any finite time and any initial condition, even dependent on the network, the empirical measure of the system stays close to the solution of the McKean-Vlasov equation associated to the classical mean field limit. Under this condition, we study the long time behavior in the subcritical and in the supercritical regime: in both regimes, the empirical measure stays close to the (possibly degenerate) manifold of stable stationary solutions, up to times which can diverge as fast as the exponential of the size of the system, before Large Deviation phenomena take over. The condition on the sequence of graphs is derived by means of Grothendieck's Inequality and expressed through a concentration in $\\ell\\_{\\infty}\ o \\ell\\_1$ norm. It is shown to be satisfied by a large class of graphs, random and deterministic, provided that the average number of neighbors per site diverges, as the size of the system tends to infinity.

研究の動機と目的

• 有限および長時間区間におけるグラフ上での相互作用的振動子の平均場極限が成立する最小で決定論的なグラフ条件を同定すること。
• 一般のグラフ列における Kuramoto モデルの下臨界および上臨界領域における長時間同期ダイナミクスを分析すること。
• 系のサイズに指数関数的に比例する時間スケールまで、経験的測度が安定な定常解の多様体に近いままであることを示すこと。
• このグラフ条件が、Erdős-Rényi と同様の多様な確率的および決定論的グラフで満たされることを示すこと、特に平均次数が発散する場合。
• 初期条件やグラフ構造に対する弱い仮定のもとで、複雑ネットワークにおける平均場極限と長時間挙動のギャップを埋めること。

提案手法

• グロテンディークの不等式を用いて、$\backslash\text{ell}_{\backslash\text{infty}}\to\backslash\text{ell}_{1}$ 演算子ノルムにおける集中を特徴づける、グラフ列に関する決定論的条件を導出する。
• 隣接行列 $\backslash\xi^{(n)}$ と希釈パラメータ $p_n$ を持つグラフ上の確率的 Kuramoto モデルを分析し、相互作用を $1/(np_n)$ にスケーリングする。
• 自己正規化プロセスの理論と Fokker-Planck 演算子 $L_\psi$ のスペクトル解析を用いて、$H_{-1}$ および $H_{-2}$ 空間におけるダイナミクスを制御する。
• 変形されたグロナールの補題（補題 B.4）を用いて、経験的測度と McKean-Vlasov 解との乖離の増大を制御する。
• 重み付きソボレフ空間における $e^{tL_\psi}$ および $e^{tL_\psi^*}$ の半群推定を確立し、$H_{-1}$ および $H_{-2}$ における演算子ノルムの境界を求める。
• 双対性と固有関数解析を適用して、$L_\psi^*$ の固有関数の $L^\infty$ ノルムをバウンドし、半群の正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 グラフ列にどのような決定論的条件を課すと、Kuramoto モデルの経験的測度が有限時間区間において McKean-Vlasov 解に近いままであるか？
• RQ2 系の長時間挙動は、特に下臨界および上臨界同期領域において、グラフ構造にどのように依存するか？
• RQ3 系は、系のサイズに指数関数的に比例する時間まで同期を維持できるか？ そのような状況を可能にするグラフ条件は何か？
• RQ4 一般のグラフ列のもとで、初期条件の弱い依存性や i.i.d. でない初期条件に対しても、平均場極限はロバストか？
• RQ5 平均場極限への収束および長時間安定性を保証する最小のグラフ条件（関数ノルムを用いて表現）は何か？

主な発見

• 本稿は、グロテンディークの不等式に基づく $\backslash\text{ell}_{\backslash\text{infty}}\to\backslash\text{ell}_{1}$ 濃集に基づく決定論的グラフ条件を同定し、任意の有限時間および任意の初期条件において、経験的測度が McKean-Vlasov 解に近いままであることを保証する。
• この条件は、$np_n \to \infty$ を満たす限り、Erdős-Rényi 確率的グラフを含む広範なグラフクラスで満たされる。
• 下臨界および上臨界領域の両方において、経験的測度は（退化する可能性のある）安定な定常解の多様体に近いままであり、$\exp(n)$ のオーダーで増大する時間まで維持される。その後、大偏差効果が支配的になる。
• 修正されたグロナール不等式を用いた、経験的測度と McKean-Vlasov 解との乖離の定量的バウンドを確立し、長時間にわたる安定性を保証する。
• Fokker-Planck 演算子 $L_\psi$ のスペクトル解析により、固有値の境界 $\lambda_l \in [l^2/C, Cl^2]$ と固有関数の一様な $L^\infty$ バウンドが得られ、半群の挙動を制御する上で不可欠である。
• 半群 $e^{tL_\psi}$ は $\|e^{tL_\psi}u\|_{-1} \leq C(1 + t^{-1/2})\|u\|_{-2}$ を満たし、負のソボレフノルムにおけるダイナミクスの制御を可能にし、長時間推定を支援する。