# A Geometric Obstruction to Almost Global Synchronization on Riemannian Manifolds

arXiv: https://arxiv.org/abs/1808.00862 · HTML: https://mlsanity.com/paper/1808.00862/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 2 Aug 2018.

## Built on by (most cited first, 1 of 1)

- [On the Local Linear Rate of Consensus on the Stiefel Manifold](https://mlsanity.com/paper/2101.09346/) (2021)

## Abstract (arXiv)

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 smashS1, rigid-body attitude synchronization on mathsfSO(3), the Lohe model of quantum synchronization on the n-sphere, and the Lohe model on mathsfU(n). Except for the Lohe model on the n-sphere where n∈mathbbNbackslash1, 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∈mathbbNbackslash1 whereas the other manifolds are multiply connected.