[論文レビュー] The continuum limit of the Kuramoto model on sparse directed graphs

Georgi S. Medvedev|arXiv (Cornell University)|Feb 11, 2018

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

ひとこと要約

本稿では、スパースな有向グラフ上のカイラモトモデルの連続極限を確立し、グラフの極限を表す可積分核を有する非線形拡散方程式を導出する。有限時間区間における離散解の連続モデルへの収束を証明し、確率的グラフに対しては平均化原理を構築し、確率的ダイナミクスを完全重み付きグラフ上の決定的有効系に置き換える。

ABSTRACT

A system of coupled phase oscillators on a convergent family of graphs is analyzed in this work. We consider coupled systems on directed and undirected, deterministic and random, dense and sparse graphs of unbounded degree. When the size of the graph in the sequence tends to infinity, we derive the continuum limit of discrete models in the form of a nonlinear diffusion equation. The kernel of the integral operator describing the nonlocal diffusion is given by an integrable function, representing the limit of the graph sequence. We show that the solutions of the initial value problem for discrete models converge to solutions of the IVP for continuous equation on finite time intervals. For coupled systems on random graphs, we prove the averaging principle, which allows to substitute the dynamical system on a random graph by the deterministic problem on a complete weighted graph. The latter model is obtained from the original one by averaging the vector field over all possible realizations of the random graph model. Our analysis covers the Kuramoto model of coupled phase oscillators on a variety of graphs including directed and undirected (sparse) Erdos-Renyi, small-world, and power law graphs.

研究の動機と目的

• 収束するグラフ族（スパース、有向、確率的）上での結合位相オシレーター系の連続極限を分析すること。
• このようなグラフ上での離散カイラモトモデルの極限として非線形拡散方程式を導出すること。
• 有限時間区間における離散解が連続モデルの解に収束することを確立すること。
• 確率的ダイナミクスを決定的有効系に置き換える平均化原理を開発すること。
• エロードス・レニイ、スモールワールド、パワー則グラフを含む、複雑なネットワークトポロジーへのカイラモトモデルの適用範囲を拡張すること。

提案手法

• グラフの極限としてのグラフオンに収束するグラフ列を分析し、グラフオン理論を用いて積分作用素の核を定義する。
• グラフ列上の離散カイラモトダイナミクスの極限として連続的な非線形拡散方程式を導出する。
• 収束解析を適用し、離散初期値問題の解が有限時間区間における連続初期値問題の解に収束することを示す。
• 確率的グラフに対しては、確率的ベクトル場をすべてのグラフ実現の期待値に置き換える平均化原理を用いる。
• 確率的グラフモデルのすべての可能な実現の平均をとることで、完全重み付きグラフ上に決定的有効モデルを構築する。
• 非有界次数やスパース構造を扱うために、グラフ極限理論および確率的平均化の技術を用いる。

実験結果

リサーチクエスチョン

• RQ1 ノード数が無限大に近づく際、スパースな有向グラフ上のカイラモトモデルはどのように振る舞うか？
• RQ2 収束するグラフ系列上での離散結合オシレーター系の連続極限の形は何か？
• RQ3 離散カイラモトモデルの解は、有限時間区間において非線形拡散方程式の解に収束するか？
• RQ4 確率的グラフ上の確率的ダイナミクスは、どのように平均化によって決定的系に効果的に置き換えることができるか？
• RQ5 導出された連続極限がカバーする複雑なネットワークトポロジー（スパースおよびスケールフリーを含む）の種類は何か？

主な発見

• 収束するグラフ系列上でのカイラモトモデルの連続極限は、グラフ極限から導出された可積分核を有する非線形拡散方程式である。
• 離散初期値問題の解は、有限時間区間において連続初期値問題の解に収束する。
• 確率的グラフに対しては、システムのダイナミクスを平均化により完全重み付きグラフ上の決定的系に効果的に置き換えることができる。
• 平均化原理は緩い条件下でも成立し、確率的結合をその期待値に置き換えることが可能である。
• フレームワークは、スパースなエロードス・レニイ、スモールワールド、パワー則ネットワークなど、多様なグラフタイプに適用可能である。
• 連続方程式における積分作用素の核は、グラフ系列の極限によって明示的に与えられ、定量的解析が可能である。