-
Is the Ott-Antonsen manifold attracting?
Authors:
Jan R. Engelbrecht,
Renato Mirollo
Abstract:
The Kuramoto model is a paradigm for studying oscillator networks with interplay between coupling tending towards synchronization, and heterogeneity in the oscillator population driving away from synchrony. In continuum versions of this model an oscillator population is represented by a probability density on the circle. Ott and Antonsen identified a special class of densities which is invariant u…
▽ More
The Kuramoto model is a paradigm for studying oscillator networks with interplay between coupling tending towards synchronization, and heterogeneity in the oscillator population driving away from synchrony. In continuum versions of this model an oscillator population is represented by a probability density on the circle. Ott and Antonsen identified a special class of densities which is invariant under the dynamics and on which the dynamics are low-dimensional and analytically tractable. The reduction to the OA manifold has been used to analyze the dynamics of many variants of the Kuramoto model. To address the fundamental question of whether the OA manifold is attracting, we develop a systematic technique using weighted averages of Poisson measures for analyzing dynamics off the OA manifold. We show that for models with a finite number of populations, the OA manifold is {\it not} attracting in any sense; moreover, the dynamics off the OA manifold is often more complex than on the OA manifold, even at the level of macroscopic order parameters. The OA manifold consists of Poisson densities $ρ_ω$. A simple extension of the OA manifold consists of averages of pairs of Poisson densities; then the hyperbolic distance between the centroids of each Poisson pair is a dynamical invariant (for each $ω$). These conserved quantities, defined on the double Poisson manifold, are a measure of the distance to the OA manifold. This invariance implies that chimera states, which have some but not all populations in sync, can never be stable in the full state space, even if stable in the OA manifold. More broadly, our framework facilitates the analysis of multi-population continuum Kuramoto networks beyond the restrictions of the OA manifold, and has the potential to reveal more intricate dynamical behavior than has previously been observed for these networks.
△ Less
Submitted 18 February, 2020;
originally announced February 2020.
-
The Kuramoto model on a sphere: Explaining its low-dimensional dynamics with group theory and hyperbolic geometry
Authors:
Max Lipton,
Renato Mirollo,
Steven H. Strogatz
Abstract:
We study a system of $N$ interacting particles moving on the unit sphere in $d$-dimensional space. The particles are self-propelled and coupled all to all, and their motion is heavily overdamped. For $d=2$, the system reduces to the classic Kuramoto model of coupled oscillators; for $d=3$, it has been proposed to describe the orientation dynamics of swarms of drones or other entities moving about…
▽ More
We study a system of $N$ interacting particles moving on the unit sphere in $d$-dimensional space. The particles are self-propelled and coupled all to all, and their motion is heavily overdamped. For $d=2$, the system reduces to the classic Kuramoto model of coupled oscillators; for $d=3$, it has been proposed to describe the orientation dynamics of swarms of drones or other entities moving about in three-dimensional space. Here we use group theory to explain the recent discovery that the model shows low-dimensional dynamics for all $N \ge 3$, and to clarify why it admits the analog of the Ott-Antonsen ansatz in the continuum limit $N \rightarrow \infty$. The underlying reason is that the system is intimately connected to the natural hyperbolic geometry on the unit ball $B^d$. In this geometry, the isometries form a Lie group consisting of higher-dimensional generalizations of the Möbius transformations used in complex analysis. Once these connections are realized, the reduced dynamics and the generalized Ott-Antonsen ansatz follow immediately. This framework also reveals the seamless connection between the finite and infinite-$N$ cases. Finally, we show that special forms of coupling yield gradient dynamics with respect to the hyperbolic metric, and use that fact to obtain global stability results about convergence to the synchronized state.
△ Less
Submitted 16 June, 2021; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Dynamics of the Kuramoto-Sakaguchi Oscillator Network with Asymmetric Order Parameter
Authors:
Bolun Chen,
Jan R. Engelbrecht,
Renato Mirollo
Abstract:
We study the dynamics of a generalized version of the famous Kuramoto-Sakaguchi coupled oscillator model. In the classic version of this system, all oscillators are governed by the same ODE, which depends on the order parameter of the oscillator configuration. The order parameter is the arithmetic mean of the configuration of complex oscillator phases, multiplied by some constant complex coupling…
▽ More
We study the dynamics of a generalized version of the famous Kuramoto-Sakaguchi coupled oscillator model. In the classic version of this system, all oscillators are governed by the same ODE, which depends on the order parameter of the oscillator configuration. The order parameter is the arithmetic mean of the configuration of complex oscillator phases, multiplied by some constant complex coupling factor. In the generalized model we consider, the order parameter is allowed to be any complex linear combination of the complex oscillator phases, so the oscillators are no longer necessarily weighted identically in the order parameter. This asymmetric version of the K-S model exhibits a much richer variety of steady-state dynamical behavior than the classic symmetric version; in addition to stable synchronized states, the system may possess multiple stable (N-1,1) states, in which all but one of the oscillators are in sync, as well as multiple families of neutrally stable asynchronous states or closed orbits, in which no two oscillators are in sync. We present an exhaustive description of the possible steady state dynamical behaviors; our classification depends on the complex coefficients that determine the order parameter. We use techniques from group theory and hyperbolic geometry to reduce the dynamic analysis to a 2D flow on the unit disc, which has geometric significance relative to the hyperbolic metric. The geometric-analytic techniques we develop can in turn be applied to study even more general versions of Kuramoto oscillator networks.
△ Less
Submitted 11 November, 2018;
originally announced November 2018.
-
Hyperbolic Geometry of Kuramoto Oscillator Networks
Authors:
Bolun Chen,
Jan R. Engelbrecht,
Renato Mirollo
Abstract:
Kuramoto oscillator networks have the special property that their trajectories are constrained to lie on the (at most) 3D orbits of the Möbius group acting on the state space $T^N$ (the $N$-fold torus). This result has been used to explain the existence of the $N-3$ constants of motion discovered by Watanabe and Strogatz for Kuramoto oscillator networks. In this work we investigate geometric conse…
▽ More
Kuramoto oscillator networks have the special property that their trajectories are constrained to lie on the (at most) 3D orbits of the Möbius group acting on the state space $T^N$ (the $N$-fold torus). This result has been used to explain the existence of the $N-3$ constants of motion discovered by Watanabe and Strogatz for Kuramoto oscillator networks. In this work we investigate geometric consequences of this Möbius group action. The dynamics of Kuramoto phase models can be further reduced to 2D reduced group orbits, which have a natural geometry equivalent to the unit disk $Δ$ with the hyperbolic metric. We show that in this metric the original Kuramoto phase model (with order parameter $Z_1$ equal to the centroid of the oscillator configuration of points on the unit circle) is a gradient flow and the model with order parameter $iZ_1$ (corresponding to cosine phase coupling) is a completely integrable Hamiltonian flow. We give necessary and sufficient conditions for general Kuramoto phase models to be gradient or Hamiltonian flows in this metric. This allows us to identify several new infinite families of hyperbolic gradient or Hamiltonian Kuramoto oscillator networks which therefore have simple dynamics with respect to this geometry. We prove that for the $Z_1$ model, a generic 2D reduced group orbit has a unique fixed point corresponding to the hyperbolic barycenter of the oscillator configuration, and therefore the dynamics are equivalent on different generic reduced group orbits. This is not always the case for more general hyperbolic gradient or Hamiltonian flows; the reduced group orbits may have multiple fixed points, which also may bifurcate as the reduced group orbits vary.
△ Less
Submitted 3 July, 2017;
originally announced July 2017.
-
Solvable model for chimera states of coupled oscillators
Authors:
Daniel M. Abrams,
Renato E. Mirollo,
Steven H. Strogatz,
Daniel A. Wiley
Abstract:
Networks of identical, symmetrically coupled oscillators can spontaneously split into synchronized and desynchronized sub-populations. Such chimera states were discovered in 2002, but are not well understood theoretically. Here we obtain the first exact results about the stability, dynamics, and bifurcations of chimera states by analyzing a minimal model consisting of two interacting populations…
▽ More
Networks of identical, symmetrically coupled oscillators can spontaneously split into synchronized and desynchronized sub-populations. Such chimera states were discovered in 2002, but are not well understood theoretically. Here we obtain the first exact results about the stability, dynamics, and bifurcations of chimera states by analyzing a minimal model consisting of two interacting populations of oscillators. Along with a completely synchronous state, the system displays stable chimeras, breathing chimeras, and saddle-node, Hopf and homoclinic bifurcations of chimeras.
△ Less
Submitted 26 August, 2008; v1 submitted 3 June, 2008;
originally announced June 2008.
