Consensus seeking gradient descent flows on boundaries of convex sets

Consensus on nonlinear spaces is of use in many control applications. This paper proposes a gradient descent flow algorithm for consensus on hypersurfaces. We show that if an inequality holds, then the system converges for almost all initial conditions and all connected graphs. The inequality involves the hypersurface Gauss map and the gradient and Hessian of the implicit equation. Moreover, for the inequality to hold, it is necessary that the manifold is the boundary of a convex set. The literature already contains an algorithm for consensus on hypersurfaces. That algorithm on any ellipsoid is equivalent to our algorithm on the unit sphere. In particular, that algorithm achieves almost global synchronization on ellipsoids. These findings suggest that strong convergence results for consensus seeking gradient descent flows may be established on manifolds that are the boundaries of convex sets.

[1]  Jiandong Zhu,et al.  High-dimensional Kuramoto model limited on smooth curved surfaces , 2014 .

[2]  P. Olver.  Nonlinear Systems , 2013 .

[3]  Alain Sarlette,et al.  Synchronization and balancing on the N-torus , 2007, Syst. Control. Lett..

[4]  D K Smith,et al.  Numerical Optimization , 2001, J. Oper. Res. Soc..

[5]  Petre Birtea,et al.  Hessian Operators on Constraint Manifolds , 2015, J. Nonlinear Sci..

[6]  Xiaoming Hu,et al.  Intrinsic reduced attitude formation with ring inter-agent graph , 2017, Autom..

[7]  U. Helmke,et al.  Optimization and Dynamical Systems , 1994, Proceedings of the IEEE.

[8]  R. Olfati-Saber,et al.  Swarms on Sphere: A Programmable Swarm with Synchronous Behaviors like Oscillator Networks , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[9]  Yingyu Wang,et al.  Synchronisation of Lohe model on smooth curved surfaces , 2019 .

[10]  Jiandong Zhu.  Synchronization of Kuramoto model in a high-dimensional linear space , 2013 .

[11]  Johan Thunberg,et al.  Dynamic controllers for column synchronization of rotation matrices: a QR-factorization approach , 2018, Autom..

[12]  Randy A. Freeman,et al.  A global attractor consisting of exponentially unstable equilibria , 2013, 2013 American Control Conference.

[13]  Johan Thunberg,et al.  Almost Global Consensus on the $n$ -Sphere , 2016, IEEE Transactions on Automatic Control.

[14]  Nastassia Pouradier Duteil,et al.  Opinion dynamics on a general compact Riemannian manifold , 2017, Networks Heterog. Media.

[15]  Fumin Zhang,et al.  A Gradient-Free Three-Dimensional Source Seeking Strategy With Robustness Analysis , 2019, IEEE Transactions on Automatic Control.

[16]  René Vidal,et al.  Intrinsic consensus on SO(3) with almost-global convergence , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[17]  J. Markdahl.  Kuramoto models on Riemannian manifolds: Multiply connected implies multistable , 2019, 1906.07452.

[18]  M. A. Lohe.  Quantum synchronization over quantum networks , 2010 .

[19]  Alain Sarlette,et al.  Consensus Optimization on Manifolds , 2008, SIAM J. Control. Optim..

[20]  Elon L. Lima.  The Jordan-Brouwer separation theorem for smooth hypersurfaces , 1988 .

[21]  J. Markdahl.  Synchronization on Riemannian Manifolds: Multiply Connected Implies Multistable , 2019, IEEE Transactions on Automatic Control.

[22]  Vladimir Jacimovic,et al.  Swarms on the 3-sphere with adaptive synapses: Hebbian and anti-Hebbian learning rule , 2018, Syst. Control. Lett..

[23]  Johan Thunberg,et al.  High-dimensional Kuramoto models on Stiefel manifolds synchronize complex networks almost globally , 2018, Autom..

[24]  K. Kurdyka,et al.  Proof of the gradient conjecture of R. Thom , 1999, math/9906212.

[25]  Seung-Yeal Ha,et al.  A Second-Order Particle Swarm Model on a Sphere and Emergent Dynamics , 2019, SIAM J. Appl. Dyn. Syst..