[論文レビュー] The Master Stability Function for Synchronization in Simplicial Complexes

L. V. Gambuzza, F. Di Patti+7 more|arXiv (Cornell University)|Apr 8, 2020

Nonlinear Dynamics and Pattern Formation被引用数 5

ひとこと要約

本稿では、ペアワイズリンクを超える高次相互作用をモデル化するハイパーグラフ（単体複体）における同期化のための一般化されたマスタースタビリティ関数（MSF）を導入する。著者らは、一般化されたラプラシアン行列を用いて古典的なマスタースタビリティフレームワークを任意の次数の相互作用に拡張し、完全同期の安定性に必要な条件を導出することで、多様な相互作用構造を有する複雑系の統一的解析を可能にし、合成的および実世界のシステムにおいて予測の妥当性を検証する。

ABSTRACT

All interesting and fascinating collective properties of a complex system arise from the intricate way in which its components interact. Various systems in physics, biology, social sciences and engineering have been successfully modelled as networks of coupled dynamical systems, where the graph links describe pairwise interactions. This is, however, too strong a limitation, as recent studies have revealed that higher-order many-body interactions are present in social groups, ecosystems and in the human brain, and they actually affect the emergent dynamics of all these systems. Here, we introduce a general framework that allows to study coupled dynamical systems accounting for the precise microscopic structure of their interactions at any possible order. We consider the most general ensemble of identical dynamical systems, organized on the nodes of a simplicial complex, and interacting through synchronization-non-invasive coupling function. The simplicial complex can be of any dimension, meaning that it can account, at the same time, for pairwise interactions, three-body interactions and so on. In such a broad context, we show that complete synchronization exists as an invariant solution, and we give the necessary condition for it to be observed as a stable state in terms of a Master Stability Function. This generalizes the existing results valid for pairwise interactions (i.e. graphs) to the case of complex systems with the most general possible architecture. Moreover, we show how the approach can be simplified for specific, yet frequently occurring, instances, and we verify all our theoretical predictions in synthetic and real-world systems. Given the completely general character of the method proposed, our results contribute to the theory of dynamical systems with many-body interactions and can find applications in an extremely wide range of practical cases.

研究の動機と目的

• ペアワイズネットワークを超えた高次相互作用を有する複雑系における同期化を分析する一般枠組みを構築すること。
• 複数のノードが同時に相互作用する単体複体における完全同期の安定性に必要な条件を同定すること。
• 単体複体の位相的構造とその一般化ラプラシアン行列を考慮に入れた古典的マスタースタビリティ関数の一般化を行うこと。
• 合成的および実世界のシステムにおける数値シミュレーションを通じて理論的枠組みの妥当性を検証すること。
• 任意の結合メカニズムおよび相互作用次数を有するシステムにおける同期挙動の事前予測を可能にすること。

提案手法

• 単体複体上での非侵襲的かつ同期化を保存する結合関数を介して結合された同一の力学系の一般モデルを形式化する。
• ノード、リンク、三角形、および高次元単体を含む単体複体の位相構造を符号化する一般化ラプラシアン行列を定義する。
• 一般化ラプラシアン行列の固有値に基づいて同期状態の安定性を決定するマスタースタビリティ関数（MSF）を導出する。
• 各単体構造に対して有効行列 M を導入し、λ₂(M) および λ_N(M)/λ₂(M) などのスペクトル特性を計算する。これらは同期可能性の代理指標として機能する。
• MSF を用いて、λ₂(M) に依存するクラス II と λ₂(M)/λ_N(M) に依存するクラス III に分類し、同期閾値の分析を個別に可能にする。
• 合成的単体複体および実世界のシステム（脳ネットワークや共同著者ネットワークを含む）における数値シミュレーションを通じて理論的予測の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 マスタースタビリティフレームワークは、ペアワイズ結合を超える高次相互作用を有する複雑系にどのように一般化可能か？
• RQ2 任意の相互作用次数を有する単体複体における完全同期の安定性に必要な条件は何か？
• RQ3 一般化ラプラシアン行列のスペクトル特性は、多体相互作用を有するシステムの同期可能性にどのように影響するか？
• RQ4 三体相互作用とペアワイズ相互作用の強さの変動が、同期の安定性および発現に与える影響は何か？
• RQ5 提案された枠組みは、複雑な相互作用構造を有する多様な実世界システムにおける同期挙動を予測可能か？

主な発見

• 提案されたマスタースタビリティ関数は、ペアワイズネットワークからの古典的結果を単体複体へ一般化し、任意の次数の相互作用下での完全同期の安定性解析を可能にする。
• 同期状態の安定性は、単体複体の全位相的構造を符号化する一般化ラプラシアン行列の固有値に依存する。
• クラス II システムでは、二体相互作用の割合（p₂ₛ）を増加させることで λ₂(M) が増大し、同期が促進されるが、クラス III システムでは λ₂(M)/λ_N(M) が減少し、同期が阻害される。
• 三体相互作用強度とペアワイズ相互作用強度の比 r = σ₂/σ₁ が高くなると、クラス II システムでは λ₂(M) が増大し同期可能性が向上するが、クラス III システムでは λ₂(M)/λ_N(M) が減少し同期可能性が低下する。
• 数値結果により、理論的予測が合成的および実世界の単体複体（脳ネットワークや共同著者ネットワークを含む）において一貫して成立することが確認された。
• この枠組みは、特定の結合関数に依存せず普遍的に適用可能であり、多様な相互作用メカニズムを有するシステムにおける同期ダイナミクスの事前予測を可能にする。