[论文解读] 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) 这类多重连通流形上无法实现几乎全局同步。
• 将不同流形上同步失败的先前结果（例如 S¹ 上的 Kuramoto 模型、SO(3) 上的姿态控制、U(n) 上的 Lohe 模型）统一于单一几何原理之下。
• 建立流形中存在局部长度最小的闭合曲线会阻碍内在和外在梯度流的几乎全局同步的结论。
• 阐明为何 n-球面上的 Lohe 模型（单连通）能实现几乎全局同步，而类似模型在多重连通流形（如 U(n) 或 SO(n)）上则不能。

提出的方法

• 将内在和外在一致性协议在一般黎曼流形上形式化为二次差异函数的梯度下降流。
• 利用黎曼几何分析同步状态的稳定性，重点关注局部长度最小的闭合测地线的存在性。
• 应用曲线缩短流的直觉，将循环图上的多智能体系统建模为流形上演化多边形。
• 运用拓扑论证表明，多重连通流形存在阻碍一致性的非平凡闭合曲线，导致多稳态。
• 在 Stiefel 流形（St(p,n)）上使用均匀采样进行蒙特卡洛积分，以估计一致性的吸引域测度，验证理论预测。
• 比较 S¹ 上的 Kuramoto 模型与球面和酉群上的 Lohe 模型，以阐明简单连通性与多重连通性在同步行为中的作用。

实验结果

研究问题

• RQ1 黎曼流形的何种几何或拓扑性质会阻碍多智能体系统中的几乎全局同步？
• RQ2 为何内在一致性协议在多重连通流形（如 S¹）上从密集初始条件集合无法实现同步？
• RQ3 在外在一致性协议在具有非平凡基本群的流形（如 SO(3) 或 U(n)）上表现如何？
• RQ4 为何 n-球面（n ∈ ℕ  {1}）上的 Lohe 模型能实现几乎全局同步，而类似模型在 U(n) 或 SO(n) 上则不能？
• RQ5 某些流形上的一致性失败是否可归因于局部长度最小闭合曲线的存在？

主要发现

• 若黎曼流形中存在一条局部长度最小的闭合曲线，则即使图是连通的，内在一致性协议也无法从密集初始条件集合实现同步。
• 外在一致性协议在流形为多重连通时无法实现几乎全局同步，如 SO(3)、U(n) 和 S¹ 上的 Kuramoto 模型所示。
• 对于 n-球面（n ∈ ℕ  {1}）上的 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，这是由于拓扑障碍所致。
• 本文首次对一般黎曼流形上内在同步中除一致性以外的李雅普诺夫稳定平衡集进行了表征，其与非可缩闭合测地线的存在性相关。