arXiv subjects

Renato Mirollo

Publications and source records attributed to Renato Mirollo.

6 recordsLinked to original sources

arXiv2021

The Kuramoto model on a sphere: Explaining its low-dimensional dynamics with group theory and hyperbolic geometry

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.

math.DS↗

arXiv2020

Is the Ott-Antonsen manifold attracting?

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.

nlin.AO↗

arXiv2018

Dynamics of the Kuramoto-Sakaguchi Oscillator Network with Asymmetric Order Parameter

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.

nlin.AO↗

arXiv2017

Hyperbolic Geometry of Kuramoto Oscillator Networks

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.

nlin.AO↗

arXiv2007

Dynamical Phase Transitions In Driven Integrate-And-Fire Neurons

We explore the dynamics of an integrate-and-fire neuron with an oscillatory stimulus. The frustration due to the competition between the neuron's natural firing period and that of the oscillatory rhythm, leads to a rich structure of asymptotic phase locking patterns and ordering dynamics. The phase transitions between these states can be classified as either tangent or discontinuous bifurcations, each with its own characteristic scaling laws. The discontinuous bifurcations exhibit a new kind of phase transition that may be viewed as intermediate between continuous and first order, while tangent bifurcations behave like continuous transitions with a diverging coherence scale.

cond-mat.stat-mech↗

arXiv2007

The Spectrum of the Partially Locked State for the Kuramoto Model

We solve a longstanding stability problem for the Kuramoto model of coupled oscillators. This system has attracted mathematical attention, in part because of its applications in fields ranging from neuroscience to condensed-matter physics, and also because it provides a beautiful connection between nonlinear dynamics and statistical mechanics. The model consists of a large population of phase oscillators with all-to-all sinusoidal coupling. The oscillators' intrinsic frequencies are randomly distributed across the population according to a prescribed probability density, here taken to be unimodal and symmetric about its mean. As the coupling between the oscillators is increased, the system spontaneously synchronizes: the oscillators near the center of the frequency distribution lock their phases together and run at the same frequency, while those in the tails remain unlocked and drift at different frequencies. Although this ``partially locked'' state has been observed in simulations for decades, its stability has never been analyzed mathematically. Part of the difficulty is in formulating a reasonable infinite-N limit of the model. Here we describe such a continuum limit, and prove that the corresponding partially locked state is, in fact, neutrally stable, contrary to what one might have expected. The possible implications of this result are discussed.

nlin.PS↗