-
The Kuramoto model on the Sierpinski Gasket
Authors:
Georgi S. Medvedev,
Matthew S. Mizuhara
Abstract:
We study the Kuramoto model (KM) of coupled phase oscillators on graphs approximating the Sierpinski gasket (SG). As the size of the graph tends to infinity, the limit points of the sequence of stable equilibria in the KM correspond to the minima of the Dirichlet energy, i.e., to harmonic maps from the SG to the circle. We provide a complete description of the stable equilibria of the continuum li…
▽ More
We study the Kuramoto model (KM) of coupled phase oscillators on graphs approximating the Sierpinski gasket (SG). As the size of the graph tends to infinity, the limit points of the sequence of stable equilibria in the KM correspond to the minima of the Dirichlet energy, i.e., to harmonic maps from the SG to the circle. We provide a complete description of the stable equilibria of the continuum limit of the KM on graphs approximating the SG, under both Dirichlet and free boundary conditions. We show that there is a unique stable equilibrium in each homotopy class of continuous functions from the SG to the circle. These equilibria serve as generalizations of the classical twisted states on ring networks. Furthermore, we extend the analysis to the KM on post-critically finite fractals. The results of this work reveal the link between self-similar organization and network dynamics.
△ Less
Submitted 15 June, 2025;
originally announced June 2025.
-
Metastability in the stochastic nearest-neighbor Kuramoto model of coupled phase oscillators
Authors:
Nils Berglund,
Georgi S. Medvedev,
Gideon Simpson
Abstract:
The Kuramoto model (KM) of $n$ coupled phase-oscillators is analyzed in this work. The KM on a Cayley graph possesses a family of steady state solutions called twisted states. Topologically distinct twisted states are distinguished by the winding number $q\in\mathbb{Z}$. These states are known to be stable for small enough $q$. In the presence of small noise, the KM exhibits metastable transitions…
▽ More
The Kuramoto model (KM) of $n$ coupled phase-oscillators is analyzed in this work. The KM on a Cayley graph possesses a family of steady state solutions called twisted states. Topologically distinct twisted states are distinguished by the winding number $q\in\mathbb{Z}$. These states are known to be stable for small enough $q$. In the presence of small noise, the KM exhibits metastable transitions between $q$-twisted states: A typical trajectory remains in the basin of attraction of a given $q$-twisted state for an exponentially long time, but eventually transitions to the vicinity of another such state. In the course of this transition, it passes in close proximity of a saddle of Morse index $1$, called a relevant saddle. In this work, we provide an exhaustive analysis of metastable transitions in the stochastic KM with nearest-neighbor coupling. We start by analyzing the equilibria and their stability. First, we identify all equilibria in this model. Using the discrete Fourier transform and eigenvalue estimates for rank-1 perturbations of symmetric matrices, we classify the equilibria by their Morse indices. In particular, we identify all stable equilibria and all relevant saddles involved in the metastable transitions. Further, we use Freidlin-Wentzell theory and the potential-theoretic approach to metastability to establish the metastable hierarchy and sharp estimates of Eyring-Kramers type for the transition times. The former determines the precise order, in which the metastable transitions occur, while the latter characterizes the times between successive transitions. The theoretical estimates are complemented by numerical simulations and a careful numerical verification of the transition times. Finally, we discuss the implications of this work for the KM with other coupling types including nonlocal coupling and the continuum limit as $n$ tends to infinity.
△ Less
Submitted 19 December, 2024;
originally announced December 2024.
-
Harmonic maps from post-critically finite fractals to the circle
Authors:
Georgi S. Medvedev,
Matthew S. Mizuhara
Abstract:
Every continuous map between two compact Riemannian manifolds is homotopic to a harmonic map (HM). We show that a similar situation holds for continuous maps between a post-critically finite (p.c.f.) fractal and a circle. Specifically, we provide a geometric proof of Strichartz's theorem stating that for a given degree and appropriate boundary conditions there is a unique HM from the Sierpinski Ga…
▽ More
Every continuous map between two compact Riemannian manifolds is homotopic to a harmonic map (HM). We show that a similar situation holds for continuous maps between a post-critically finite (p.c.f.) fractal and a circle. Specifically, we provide a geometric proof of Strichartz's theorem stating that for a given degree and appropriate boundary conditions there is a unique HM from the Sierpinski Gasket (SG) to a circle. Furthermore, we extend this result to HMs on p.c.f. fractals.
Our method uses covering spaces for the SG, which are constructed separately for HMs of a given degree, thus capturing the topology intrinsic to each homotopy class. After lifting continuous functions on the SG with values in the unit circle to continuous real-valued functions on the covering space, we use the harmonic extension algorithm to obtain a harmonic function on the covering space. The desired HM is obtained by restricting the domain of the resultant harmonic function to the fundamental domain and projecting the range to the circle.
We show that with suitable modifications the method applies to p.c.f. fractals, a large class of self-similar domains. We illustrate our method of constructing the HMs using numerical examples of HMs from the SG to the circle and discuss the construction of the covering spaces for several representative p.c.f. fractals, including the 3-level SG, the hexagasket, and the pentagasket.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
The Large Deviation Principle for $W$-random spectral measures
Authors:
Mahya Ghandehari,
Georgi S. Medvedev
Abstract:
The $W$-random graphs provide a flexible framework for modeling large random networks. Using the Large Deviation Principle (LDP) for $W$-random graphs from [9], we prove the LDP for the corresponding class of random symmetric Hilbert-Schmidt integral operators. Our main result describes how the eigenvalues and the eigenspaces of the integral operator are affected by the large deviations in the und…
▽ More
The $W$-random graphs provide a flexible framework for modeling large random networks. Using the Large Deviation Principle (LDP) for $W$-random graphs from [9], we prove the LDP for the corresponding class of random symmetric Hilbert-Schmidt integral operators. Our main result describes how the eigenvalues and the eigenspaces of the integral operator are affected by the large deviations in the underlying random graphon. To prove the LDP, we demonstrate continuous dependence of the spectral measures associated with integral operators on the underlying graphons and use the Contraction Principle. To illustrate our results, we obtain leading order asymptotics of the eigenvalues of the integral operators corresponding to certain random graph sequences. These examples suggest several representative scenarios of how the eigenvalues and the eigenspaces of the integral operators are affected by large deviations. Potential implications of these observations for bifurcation analysis of Dynamical Systems and Graph Signal Processing are indicated.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Galerkin method for nonlocal diffusion equations on self-similar domains
Authors:
Georgi S. Medvedev
Abstract:
Integro-differential equations, analyzed in this work, comprise an important class of models of continuum media with nonlocal interactions. Examples include peridynamics, population and opinion dynamics, the spread of disease models, and nonlocal diffusion, to name a few. They also arise naturally as a continuum limit of interacting dynamical systems on networks. Many real-world networks, includin…
▽ More
Integro-differential equations, analyzed in this work, comprise an important class of models of continuum media with nonlocal interactions. Examples include peridynamics, population and opinion dynamics, the spread of disease models, and nonlocal diffusion, to name a few. They also arise naturally as a continuum limit of interacting dynamical systems on networks. Many real-world networks, including neuronal, epidemiological, and information networks, exhibit self-similarity, which translates into self-similarity of the spatial domain of the continuum limit.
For a class of evolution equations with nonlocal interactions on self-similar domains, we construct a discontinuous Galerkin method and develop a framework for studying its convergence. Specifically, for the model at hand, we identify a natural scale of function spaces, which respects self-similarity of the spatial domain, and estimate the rate of convergence under minimal assumptions on the regularity of the interaction kernel. The analytical results are illustrated by numerical experiments on a model problem.
△ Less
Submitted 12 December, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Stability and bifurcation of mixing in the Kuramoto model with inertia
Authors:
Hayato Chiba,
Georgi S. Medvedev
Abstract:
The Kuramoto model of coupled second order damped oscillators on convergent sequences of graphs is analyzed in this work. The oscillators in this model have random intrinsic frequencies and interact with each other via nonlinear coupling. The connectivity of the coupled system is assigned by a graph which may be random as well. In the thermodynamic limit the behavior of the system is captured by t…
▽ More
The Kuramoto model of coupled second order damped oscillators on convergent sequences of graphs is analyzed in this work. The oscillators in this model have random intrinsic frequencies and interact with each other via nonlinear coupling. The connectivity of the coupled system is assigned by a graph which may be random as well. In the thermodynamic limit the behavior of the system is captured by the Vlasov equation, a hyperbolic partial differential equation for the probability distribution of the oscillators in the phase space. We study stability of mixing, a steady state solution of the Vlasov equation, corresponding to the uniform distribution of phases. Specifically, we identify a critical value of the strength of coupling, at which the system undergoes a pitchfork bifurcation. It corresponds to the loss of stability of mixing and marks the onset of synchronization. As for the classical Kuramoto model, the presence of the continuous spectrum on the imaginary axis poses the main difficulty for the stability analysis. To overcome this problem, we use the methods from the generalized spectral theory developed for the original Kuramoto model. The analytical results are illustrated with numerical bifurcation diagrams computed for the Kuramoto model on Erdős--Rényi and small-world graphs. Applications of the second-order Kuramoto model include power networks, coupled pendula, and various biological networks. The analysis in this paper provides a mathematical description of the onset of synchronization in these systems.
△ Less
Submitted 25 November, 2021; v1 submitted 14 June, 2021;
originally announced June 2021.
-
Stability of clusters in the second-order Kuramoto model on random graphs
Authors:
Georgi S. Medvedev,
Matthew S. Mizuhara
Abstract:
The Kuramoto model of coupled phase oscillators with inertia on Erdos-Renyi graphs is analyzed in this work. For a system with intrinsic frequencies sampled from a bimodal distribution we identify a variety of two cluster patterns and study their stability. To this end, we decompose the description of the cluster dynamics into two systems: one governing the (macro) dynamics of the centers of mass…
▽ More
The Kuramoto model of coupled phase oscillators with inertia on Erdos-Renyi graphs is analyzed in this work. For a system with intrinsic frequencies sampled from a bimodal distribution we identify a variety of two cluster patterns and study their stability. To this end, we decompose the description of the cluster dynamics into two systems: one governing the (macro) dynamics of the centers of mass of the two clusters and the second governing the (micro) dynamics of individual oscillators inside each cluster. The former is a low-dimensional ODE whereas the latter is a system of two coupled Vlasov PDEs. Stability of the cluster dynamics depends on the stability of the low-dimensional group motion and on coherence of the oscillators in each group. We show that the loss of coherence in one of the clusters leads to the loss of stability of a two-cluster state and to formation of chimera states. The analysis of this paper can be generalized to cover states with more than two clusters and to coupled systems on W-random graphs. Our results apply to a model of a power grid with fluctuating sources.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
Sparse Monte Carlo method for nonlocal diffusion problems
Authors:
Dmitry Kaliuzhnyi-Verbovetskyi,
Georgi S. Medvedev
Abstract:
A class of evolution equations with nonlocal diffusion is considered in this work. These are integro-differential equations arising as models of propagation phenomena in continuum media with nonlocal interactions including neural tissue, porous media flow, peridynamics, models with fractional diffusion, as well as continuum limits of interacting dynamical systems. The principal challenge of numeri…
▽ More
A class of evolution equations with nonlocal diffusion is considered in this work. These are integro-differential equations arising as models of propagation phenomena in continuum media with nonlocal interactions including neural tissue, porous media flow, peridynamics, models with fractional diffusion, as well as continuum limits of interacting dynamical systems. The principal challenge of numerical integration of nonlocal systems stems from the lack of spatial regularity of the data and solutions intrinsic to nonlocal models. To overcome this problem we propose a semidiscrete numerical scheme based on the combination of sparse Monte Carlo and discontinuous Galerkin methods. An important feature of our method is sparsity. Sparse sampling of points in the Monte Carlo approximation of the nonlocal term allows to use fewer discretization points without compromising the accuracy.
We prove convergence of the numerical method and estimate the rate of convergence. There are two principal ingredients in the error of the numerical method related to the use of Monte Calro and Galerkin approximations respectively. We analyze both errors. Two representative examples of discontinuous kernels are presented. The first example features a kernel with a singularity, while the kernel in the second example experiences jump discontinuity. We show how the information about the singularity in the former case and the geometry of the discontinuity set in the latter translate into the rate of convergence of the numerical procedure. In addition, we illustrate the rate of convergence estimate with a numerical example of an initial value problem, for which an explicit analytic solution is available. Numerical results are consistent with analytical estimates.
△ Less
Submitted 22 December, 2019; v1 submitted 26 May, 2019;
originally announced May 2019.
-
Bifurcations in the Kuramoto model on graphs
Authors:
Hayato Chiba,
Georgi S. Medvedev,
Matthew S. Mizuhara
Abstract:
In his classical work, Kuramoto analytically described the onset of synchronization in all-to-all coupled networks of phase oscillators with random intrinsic frequencies. Specifically, he identified a critical value of the coupling strength, at which the incoherent state loses stability and a gradual build-up of coherence begins. Recently, Kuramoto's scenario was shown to hold for a large class of…
▽ More
In his classical work, Kuramoto analytically described the onset of synchronization in all-to-all coupled networks of phase oscillators with random intrinsic frequencies. Specifically, he identified a critical value of the coupling strength, at which the incoherent state loses stability and a gradual build-up of coherence begins. Recently, Kuramoto's scenario was shown to hold for a large class of coupled systems on convergent families of deterministic and random graphs. Guided by these results, in the present work, we study several model problems illustrating the link between network topology and synchronization in coupled dynamical systems.
First, we identify several families of graphs, for which the transition to synchronization in the Kuramoto model starts at the same critical value of the coupling strength and proceeds in practically the same way. These examples include Erdős-Rényi random graphs, Paley graphs, complete bipartite graphs, and certain stochastic block graphs. These examples illustrate that some rather simple structural properties such as the volume of the graph may determine the onset of synchronization, while finer structural features may affect only higher order statistics of the transition to synchronization. Further, we study the transition to synchronization in the Kuramoto model on power law and small-world random graphs. The former family of graphs endows the Kuramoto model with very good synchronizability: the synchronization threshold can be made arbitrarily low by varying the parameter of the power law degree distribution. For the Kuramoto model on small-world graphs, in addition to the transition to synchronization, we identify a new bifurcation leading to stable random twisted states. The examples analyzed in this work complement the results in [Chiba, Medvedev, The mean field analysis for the Kuramoto model on graphs (parts I and II), arxiv].
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
The continuum limit of the Kuramoto model on sparse random graphs
Authors:
Georgi S. Medvedev
Abstract:
In this paper, we study convergence of coupled dynamical systems on convergent sequences of graphs to a continuum limit. We show that the solutions of the initial value problem for the dynamical system on a convergent graph sequence tend to that for the nonlocal diffusion equation on a unit interval, as the graph size tends to infinity. We improve our earlier results in [Arch. Ration. Mech. Anal.,…
▽ More
In this paper, we study convergence of coupled dynamical systems on convergent sequences of graphs to a continuum limit. We show that the solutions of the initial value problem for the dynamical system on a convergent graph sequence tend to that for the nonlocal diffusion equation on a unit interval, as the graph size tends to infinity. We improve our earlier results in [Arch. Ration. Mech. Anal., 21 (2014), pp. 781--803] and extend them to a larger class of graphs, which includes directed and undirected, sparse and dense, random and deterministic graphs.
There are three main ingredients of our approach. First, we employ a flexible framework for incorporating random graphs into the models of interacting dynamical systems, which fits seamlessly with the derivation of the continuum limit. Next, we prove the averaging principle for approximating a dynamical system on a random graph by its deterministic (averaged) counterpart. The proof covers systems on sparse graphs and yields almost sure convergence on time intervals of order $\log n,$ where $n$ is the number of vertices. Finally, a Galerkin scheme is developed to show convergence of the averaged model to the continuum limit.
The analysis of this paper covers the Kuramoto model of coupled phase oscillators on a variety of graphs including sparse Erdős-R{\' e}nyi, small-world, and power law graphs.
△ Less
Submitted 1 December, 2018; v1 submitted 11 February, 2018;
originally announced February 2018.
-
The mean field analysis of the Kuramoto model on graphs II. Asymptotic stability of the incoherent state, center manifold reduction, and bifurcations
Authors:
Hayato Chiba,
Georgi S. Medvedev
Abstract:
In our previous work [Chiba, Medvedev, arXiv:1612.06493], we initiated a mathematical investigation of the onset of synchronization in the Kuramoto model (KM) of coupled phase oscillators on convergent graph sequences. There, we derived and rigorously justified the mean field limit for the KM on graphs. Using linear stability analysis, we identified the critical values of the coupling strength, at…
▽ More
In our previous work [Chiba, Medvedev, arXiv:1612.06493], we initiated a mathematical investigation of the onset of synchronization in the Kuramoto model (KM) of coupled phase oscillators on convergent graph sequences. There, we derived and rigorously justified the mean field limit for the KM on graphs. Using linear stability analysis, we identified the critical values of the coupling strength, at which the incoherent state looses stability, thus, determining the onset of synchronization in this model.
In the present paper, we study the corresponding bifurcation. Specifically, we show that similar to the original KM with all-to-all coupling, the onset of synchronization in the KM on graphs is realized via a pitchfork bifurcation. The formula for the stable branch of the bifurcating equilibria involves the principal eigenvalue and the corresponding eigenfunctions of the kernel operator defined by the limit of the graph sequence used in the model. This establishes an explicit link between the network structure and the onset of synchronization in the KM on graphs. The results of this work are illustrated with the bifurcation analysis of the KM on Erdős-R{\' e}nyi, small-world, as well as certain weighted graphs on a circle.
△ Less
Submitted 22 April, 2018; v1 submitted 24 September, 2017;
originally announced September 2017.
-
The mean field equation for the Kuramoto model on graph sequences with non-Lipschitz limit
Authors:
Dmitry Kaliuzhnyi-Verbovetskyi,
Georgi S. Medvedev
Abstract:
The Kuramoto model (KM) of coupled phase oscillators on graphs provides the most influential framework for studying collective dynamics and synchronization. It exhibits a rich repertoire of dynamical regimes. Since the work of Strogatz and Mirollo, the mean field equation derived in the limit as the number of oscillators in the KM goes to infinity, has been the key to understanding a number of int…
▽ More
The Kuramoto model (KM) of coupled phase oscillators on graphs provides the most influential framework for studying collective dynamics and synchronization. It exhibits a rich repertoire of dynamical regimes. Since the work of Strogatz and Mirollo, the mean field equation derived in the limit as the number of oscillators in the KM goes to infinity, has been the key to understanding a number of interesting effects, including the onset of synchronization and chimera states. In this work, we study the mathematical basis of the mean field equation as an approximation of the discrete KM. Specifically, we extend the Neunzert's method of rigorous justification of the mean field equation to cover interacting dynamical systems on graphs. We then apply it to the KM on convergent graph sequences with non-Lipschitz limit. This family of graphs includes many graphs that are of interest in applications, e.g., nearest-neighbor and small-world graphs.
△ Less
Submitted 9 June, 2017;
originally announced June 2017.
-
The mean field analysis for the Kuramoto model on graphs I. The mean field equation and transition point formulas
Authors:
Hayato Chiba,
Georgi S. Medvedev
Abstract:
In his classical work on synchronization, Kuramoto derived the formula for the critical value of the coupling strength corresponding to the transition to synchrony in large ensembles of all-to-all coupled phase oscillators with randomly distributed intrinsic frequencies. We extend the Kuramoto's result to a large class of coupled systems on convergent families of deterministic and random graphs. S…
▽ More
In his classical work on synchronization, Kuramoto derived the formula for the critical value of the coupling strength corresponding to the transition to synchrony in large ensembles of all-to-all coupled phase oscillators with randomly distributed intrinsic frequencies. We extend the Kuramoto's result to a large class of coupled systems on convergent families of deterministic and random graphs. Specifically, we identify the critical values of the coupling strength (transition points), between which the incoherent state is linearly stable and is unstable otherwise. We show that the transition points depend on the largest positive or/and smallest negative eigenvalue(s) of the kernel operator defined by the graph limit. This reveals the precise mechanism, by which the network topology controls transition to synchrony in the Kuramoto model on graphs. To illustrate the analysis with concrete examples, we derive the transition point formula for the coupled systems on Erdős-Rényi, small-world, and $k$-nearest-neighbor families of graphs. As a result of independent interest, we provide a rigorous justification for the mean field limit for the Kuramoto model on graphs. The latter is used in the derivation of the transition point formulas.
△ Less
Submitted 19 December, 2016;
originally announced December 2016.
-
Stability of twisted states in the continuum Kuramoto model
Authors:
Georgi S. Medvedev,
J. Douglas Wright
Abstract:
We study a nonlocal diffusion equation approximating the dynamics of coupled phase oscillators on large graphs. Under appropriate assumptions, the model has a family of steady state solutions called twisted states. We prove a sufficient condition for stability of twisted states with respect to perturbations in the Sobolev and BV spaces. As an application, we study stability of twisted states in th…
▽ More
We study a nonlocal diffusion equation approximating the dynamics of coupled phase oscillators on large graphs. Under appropriate assumptions, the model has a family of steady state solutions called twisted states. We prove a sufficient condition for stability of twisted states with respect to perturbations in the Sobolev and BV spaces. As an application, we study stability of twisted states in the Kuramoto model on small-world graphs.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
The semilinear heat equation on sparse random graphs
Authors:
Dmitry Kaliuzhnyi-Verbovetskyi,
Georgi S. Medvedev
Abstract:
Using the theory of $L^p$-graphons (Borgs et al, 2014), we derive and rigorously justify the continuum limit for systems of differential equations on sparse random graphs. Specifically, we show that the solutions of the initial value problems for the discrete models can be approximated by those of an appropriate nonlocal diffusion equation. Our results apply to a range of spatially extended dynami…
▽ More
Using the theory of $L^p$-graphons (Borgs et al, 2014), we derive and rigorously justify the continuum limit for systems of differential equations on sparse random graphs. Specifically, we show that the solutions of the initial value problems for the discrete models can be approximated by those of an appropriate nonlocal diffusion equation. Our results apply to a range of spatially extended dynamical models of different physical, biological, social, and economic networks. Importantly, our assumptions cover network topologies featured in many important real-world networks. In particular, we derive the continuum limit for coupled dynamical systems on power law graphs. The latter is the main motivation for this work.
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
-
Stability of equilibria of randomly perturbed maps
Authors:
Pawel Hitczenko,
Georgi S. Medvedev
Abstract:
We derive a sufficient condition for stability in probability of an equilibrium of a randomly perturbed map in ${\mathbb R}^d$. This condition can be used to stabilize weakly unstable equilibria by random forcing. Analytical results on stabilization are illustrated with numerical examples of randomly perturbed linear and nonlinear maps in one- and two-dimensional spaces.
We derive a sufficient condition for stability in probability of an equilibrium of a randomly perturbed map in ${\mathbb R}^d$. This condition can be used to stabilize weakly unstable equilibria by random forcing. Analytical results on stabilization are illustrated with numerical examples of randomly perturbed linear and nonlinear maps in one- and two-dimensional spaces.
△ Less
Submitted 6 May, 2016; v1 submitted 19 March, 2015;
originally announced March 2015.
-
Stability of twisted states in the Kuramoto model on Cayley and random graphs
Authors:
Georgi S. Medvedev,
Xuezhi Tang
Abstract:
The Kuramoto model (KM) of coupled phase oscillators on complete, Paley, and Erdos-Renyi (ER) graphs is analyzed in this work. As quasirandom graphs, the complete, Paley, and ER graphs share many structural properties. For instance, they exhibit the same asymptotics of the edge distributions, homomorphism densities, graph spectra, and have constant graph limits. Nonetheless, we show that the asymp…
▽ More
The Kuramoto model (KM) of coupled phase oscillators on complete, Paley, and Erdos-Renyi (ER) graphs is analyzed in this work. As quasirandom graphs, the complete, Paley, and ER graphs share many structural properties. For instance, they exhibit the same asymptotics of the edge distributions, homomorphism densities, graph spectra, and have constant graph limits. Nonetheless, we show that the asymptotic behavior of solutions in the KM on these graphs can be qualitatively different. Specifically, we identify twisted states, steady state solutions of the KM on complete and Paley graphs, which are stable for one family of graphs but not for the other. On the other hand, we show that the solutions of the IVPs for the KM on complete and random graphs remain close on finite time intervals, provided they start from close initial conditions and the graphs are sufficiently large. Therefore, the results of this paper elucidate the relation between the network structure and dynamics in coupled nonlinear dynamical systems. Furthermore, we present new results on synchronization and stability of twisted states for the KM on Cayley and random graphs.
△ Less
Submitted 10 May, 2015; v1 submitted 15 July, 2014;
originally announced July 2014.
-
Small-world networks of Kuramoto oscillators
Authors:
Georgi S. Medvedev
Abstract:
The Kuramoto model of coupled phase oscillators on small-world (SW) graphs is analyzed in this work. When the number of oscillators in the network goes to infinity, the model acquires a family of steady state solutions of degree q, called q-twisted states. We show that this class of solutions plays an important role in the formation of spatial patterns in the Kuramoto model on SW graphs. In partic…
▽ More
The Kuramoto model of coupled phase oscillators on small-world (SW) graphs is analyzed in this work. When the number of oscillators in the network goes to infinity, the model acquires a family of steady state solutions of degree q, called q-twisted states. We show that this class of solutions plays an important role in the formation of spatial patterns in the Kuramoto model on SW graphs. In particular, the analysis of q-twisted elucidates the role of long-range random connections in shaping the attractors in this model.
We develop two complementary approaches for studying q-twisted states in the coupled oscillator model on SW graphs: the linear stability analysis and the numerical continuation. The former approach shows that long-range random connections in the SW graphs promote synchronization and yields the estimate of the synchronization rate as a function of the SW randomization parameter. The continuation shows that the increase of the long-range connections results in patterns consisting of one or several plateaus separated by sharp interfaces.
These results elucidate the pattern formation mechanisms in nonlocally coupled dynamical systems on random graphs.
△ Less
Submitted 22 November, 2013; v1 submitted 2 July, 2013;
originally announced July 2013.
-
The nonlinear heat equation on W-random graphs
Authors:
Georgi S. Medvedev
Abstract:
For systems of coupled differential equations on a sequence of W-random graphs, we derive the continuum limit in the form of an evolution integral equation. We prove that solutions of the initial value problems (IVPs) for the discrete model converge to the solution of the IVP for its continuum limit. These results combined with the analysis of nonlocally coupled deterministic networks in [9] justi…
▽ More
For systems of coupled differential equations on a sequence of W-random graphs, we derive the continuum limit in the form of an evolution integral equation. We prove that solutions of the initial value problems (IVPs) for the discrete model converge to the solution of the IVP for its continuum limit. These results combined with the analysis of nonlocally coupled deterministic networks in [9] justify the continuum (thermodynamic) limit for a large class of coupled dynamical systems on convergent families of graphs.
△ Less
Submitted 9 May, 2013;
originally announced May 2013.
-
The nonlinear heat equation on dense graphs and graph limits
Authors:
Georgi S. Medvedev
Abstract:
We use the combination of ideas and results from the theory of graph limits and nonlinear evolution equations to provide a rigorous mathematical justification for taking continuum limit for certain nonlocally coupled networks and to extend this method to cover many complex networks, for which it has not been applied before. Specifically, for dynamical networks on convergent sequences of simple and…
▽ More
We use the combination of ideas and results from the theory of graph limits and nonlinear evolution equations to provide a rigorous mathematical justification for taking continuum limit for certain nonlocally coupled networks and to extend this method to cover many complex networks, for which it has not been applied before. Specifically, for dynamical networks on convergent sequences of simple and weighted graphs, we prove convergence of solutions of the initial-value problems for discrete models to those of the limiting continuous equations. In addition, for sequences of simple graphs converging to {0, 1}-valued graphons, it is shown that the convergence rate depends on the fractal dimension of the boundary of the support of the graph limit. These results are then used to study the regions of continuity of chimera states and the attractors of the nonlocal Kuramoto equation on certain multipartite graphs. Furthermore, the analytical tools developed in this work are used in the rigorous justification of the continuum limit for networks on random graphs that we undertake in a companion paper (Medvedev, 2013).
As a by-product of the analysis of the continuum limit on deterministic and random graphs, we identify the link between this problem and the convergence analysis of several classical numerical schemes: the collocation, Galerkin, and Monte-Carlo methods. Therefore, our results can be used to characterize convergence of these approximate methods of solving initial-value problems for nonlinear evolution equations with nonlocal interactions.
△ Less
Submitted 22 November, 2013; v1 submitted 23 February, 2013;
originally announced February 2013.
-
The Poincare map of randomly perturbed periodic motion
Authors:
Pawel Hitczenko,
Georgi S. Medvedev
Abstract:
A system of autonomous differential equations with a stable limit cycle and perturbed by small white noise is analyzed in this work. In the vicinity of the limit cycle of the unperturbed deterministic system, we define, construct, and analyze the Poincare map of the randomly perturbed periodic motion. We show that the time of the first exit from a small neighborhood of the fixed point of the map,…
▽ More
A system of autonomous differential equations with a stable limit cycle and perturbed by small white noise is analyzed in this work. In the vicinity of the limit cycle of the unperturbed deterministic system, we define, construct, and analyze the Poincare map of the randomly perturbed periodic motion. We show that the time of the first exit from a small neighborhood of the fixed point of the map, which corresponds to the unperturbed periodic orbit, is well approximated by the geometric distribution. The parameter of the geometric distribution tends zero together with the noise intensity. Therefore, our result can be interpreted as an estimate of stability of periodic motion to random perturbations.
In addition, we show that the geometric distribution of the first exit times translates into statistical properties of solutions of important differential equation models in applications. To this end, we demonstrate three examples from mathematical neuroscience featuring complex oscillatory patterns characterized by the geometric distribution. We show that in each of these models the statistical properties of emerging oscillations are fully explained by the general properties of randomly perturbed periodic motions identified in this paper.
△ Less
Submitted 2 June, 2012;
originally announced June 2012.
-
Stochastic stability of continuous time consensus protocols
Authors:
Georgi S. Medvedev
Abstract:
A unified approach to studying convergence and stochastic stability of continuous time consensus protocols (CPs) is presented in this work. Our method applies to networks with directed information flow; both cooperative and noncooperative interactions; networks under weak stochastic forcing; and those whose topology and strength of connections may vary in time. The graph theoretic interpretation o…
▽ More
A unified approach to studying convergence and stochastic stability of continuous time consensus protocols (CPs) is presented in this work. Our method applies to networks with directed information flow; both cooperative and noncooperative interactions; networks under weak stochastic forcing; and those whose topology and strength of connections may vary in time. The graph theoretic interpretation of the analytical results is emphasized. We show how the spectral properties, such as algebraic connectivity and total effective resistance, as well as the geometric properties, such the dimension and the structure of the cycle subspace of the underlying graph, shape stability of the corresponding CPs. In addition, we explore certain implications of the spectral graph theory to CP design. In particular, we point out that expanders, sparse highly connected graphs, generate CPs whose performance remains uniformly high when the size of the network grows unboundedly. Similarly, we highlight the benefits of using random versus regular network topologies for CP design. We illustrate these observations with numerical examples and refer to the relevant graph-theoretic results.
Keywords: consensus protocol, dynamical network, synchronization, robustness to noise, algebraic connectivity, effective resistance, expander, random graph
△ Less
Submitted 2 June, 2012; v1 submitted 7 July, 2010;
originally announced July 2010.
-
Synchronization of coupled limit cycles
Authors:
Georgi S. Medvedev
Abstract:
A unified approach for analyzing synchronization in coupled systems of autonomous differential equations is presented in this work. Through a careful analysis of the variational equation of the coupled system we establish a sufficient condition for synchronization in terms of the geometric properties of the local limit cycles and the coupling operator. This result applies to a large class of diffe…
▽ More
A unified approach for analyzing synchronization in coupled systems of autonomous differential equations is presented in this work. Through a careful analysis of the variational equation of the coupled system we establish a sufficient condition for synchronization in terms of the geometric properties of the local limit cycles and the coupling operator. This result applies to a large class of differential equation models in physics and biology. The stability analysis is complemented with a discussion of numerical simulations of a compartmental model of a neuron.
△ Less
Submitted 17 December, 2010; v1 submitted 21 May, 2010;
originally announced May 2010.
