A Geometric Obstruction to Almost Global Synchronization on Riemannian Manifolds

TL;DR

This paper investigates how the geometry and topology of Riemannian manifolds can obstruct almost global synchronization in multi-agent systems, revealing conditions under which synchronization fails due to manifold properties.

Contribution

It provides necessary conditions for synchronization failure on general Riemannian manifolds, highlighting the impact of manifold topology and geometry on multi-agent synchronization.

Findings

Intrinsic system fails to synchronize on manifolds with closed curves of minimal length.

Extrinsic system fails on multiply connected manifolds.

Synchronization failure occurs in models like Kuramoto, rigid-body, and quantum on certain manifolds.

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.