[論文レビュー] A Geometric Obstruction to Almost Global Synchronization on Riemannian Manifolds

Johan Markdahl|arXiv (Cornell University)|Aug 2, 2018

Nonlinear Dynamics and Pattern Formation参考文献 25被引用数 6

ひとこと要約

本稿は、リーマン多様体上の多エージェントシステムにおけるほぼ全般的な同期の幾何的障害を特定する。その障害とは、局所的に最小長を持つ閉曲線の存在である。多様体が多重連結（例えば、S¹、SO(3)）である場合、グラフが連結であっても、内在的および外在的コンセンサスプロトコルは、初期条件の稠密な集合から同期に失敗する。これは、グラフ構造や初期分布を越えて、トポロジーが同期の根本的障壁であることを示している。

ABSTRACT

Multi-agent systems on nonlinear spaces sometimes fail to synchronize. This is usually attributed to the initial configuration of the agents being too spread out, the graph topology having certain undesired symmetries, or both. Besides nonlinearity, the role played by the geometry and topology of the nonlinear space is often overlooked. This paper concerns two gradient descent flows of quadratic disagreement functions on general Riemannian manifolds. One system is intrinsic while the other is extrinsic. We derive necessary conditions for the agents to synchronize from almost all initial conditions when the graph used to model the network is connected. If a Riemannian manifold contains a closed curve of locally minimum length, then there is a connected graph and a dense set of initial conditions from which the intrinsic system fails to synchronize. The extrinsic system fails to synchronize if the manifold is multiply connected. The extrinsic system appears in the Kuramoto model on $\smash{\mathcal{S}^1}$, rigid-body attitude synchronization on $\mathsf{SO}(3)$, the Lohe model of quantum synchronization on the $n$-sphere, and the Lohe model on $\mathsf{U}(n)$. Except for the Lohe model on the $n$-sphere where $n\in\mathbb{N}\backslash\{1\}$, there are dense sets of initial conditions on which these systems fail to synchronize. The reason for this difference is that the $n$-sphere is simply connected for all $n\in\mathbb{N}\backslash\{1\}$ whereas the other manifolds are multiply connected.

研究の動機と目的

• 非線形リーマン多様体上での多エージェントシステムにおけるほぼ全般的な同期の幾何的およびトポロジカル的障害を同定すること。
• S¹ や SO(3) のような多重連結多様体上で、特定のコンセンサスプロトコルがなぜほぼ全般的な同期に失敗するかを説明すること。
• Kuramotoモデル（S¹上）、アティチュード制御（SO(3)上）、Loheモデル（U(n)上）といった、異なる多様体における同期失敗の先行研究を、一つの幾何的原則で統一すること。
• 多様体内に局所的に最小長の閉曲線が存在する場合、内在的および外在的勾配フローにおいてほぼ全般的な同期が妨げられることを確立すること。
• n次元球面（単連結）上でのLoheモデルがなぜほぼ全般的な同期を達成できるのか、他の多重連結多様体上のモデルとは異なっているのかを明確にすること。

提案手法

• 一般のリーマン多様体上で、2次不一致関数の勾配降下フローとして、内在的および外在的コンセンサスプロトコルを定式化すること。
• リーマン幾何学を用いて、同期状態の安定性を分析し、局所的に最小長の閉測地線の存在に焦点を当てる。
• 曲線短縮フローの直感を応用し、サイクルグラフ上の多エージェントシステムを多様体上での変化する多角形としてモデル化すること。
• トポロジカルな議論を用いて、多重連結多様体が非自明な閉曲線を有し、これがコンセンサスを妨げ、多安定性を引き起こすことを示すこと。
• Stiefel多様体（St(p,n)）上で一様分布を用いたモンテカルロ統合を実施し、コンセンサスの吸引域の測度を推定することで、理論的予測の妥当性を検証すること。
• S¹上でのKuramotoモデルと、球面およびユニタリ群上でのLoheモデルを比較することで、同期挙動における単連結性と多重連結性の役割を示すこと。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体のどの幾何的またはトポロジカル的性質が、多エージェントシステムにおけるほぼ全般的な同期を妨げるのか？
• RQ2 なぜ内在的コンセンサスプロトコルは、多重連結多様体上で初期条件の稠密な集合から同期に失敗するのか？
• RQ3 基本群が非自明な多様体（例：SO(3) や U(n)）上での外在的コンセンサスプロトコルは、どのように振る舞うのか？
• RQ4 n次元球面（n ∈ ℕ  {1}）上でのLoheモデルはなぜほぼ全般的な同期を達成できるが、U(n) や SO(n) 上の類似モデルはできないのか？
• RQ5 特定の多様体上でコンセンサスが失敗するのは、局所的に最小長の閉曲線の存在に起因するのだろうか？

主な発見

• リーマン多様体に局所的に最小長の閉曲線が存在する場合、グラフが連結であっても、内在的コンセンサスプロトコルは初期条件の稠密な集合から同期に失敗する。
• 外在的コンセンサスプロトコルは、多様体が多重連結である場合、SO(3)、U(n)、S¹上でのKuramotoモデルの事例で示されるように、ほぼ全般的な同期を達成できない。
• n ∈ ℕ  {1} におけるn次元球面上のLoheモデルでは、n次元球面が単連結であるため、ほぼ全般的な同期が達成される。これは、SO(3) や U(n) とは対照的である。
• St(p,n) 上のモンテカルロシミュレーションにより、吸引域の測度 μ(ℛ) = 1 が得られ、p ≤ (2/3)n − 1 の場合に理論的予測が確認された。
• p = n−1 または p = n（例：SO(n) や O(n)）の場合、コンセンサスの確率は顕著に低下する—例として、O(n) では約 0.06 となる—これはトポロジカルな障害に起因する。
• 本稿では、一般のリーマン多様体上における内在的同期において、コンセンサス以外のリャプノフ安定な平衡集合の最初の特徴付けを確立した。その関連は、非可縮性の閉測地線の存在に起因する。