Abstract
Many real-world systems can be modeled as networks of interacting oscillatory units. Collective dynamics that are of functional relevance for the oscillator network, such as switching between metastable states, arise through the interplay of network structure and interaction. Here, we give results for small networks on the existence of heteroclinic cycles between dynamically invariant sets on which the oscillators show localized frequency synchrony. Trajectories near these heteroclinic cycles will exhibit sequential switching of localized frequency synchrony: a population oscillators in the network will oscillate faster (or slower) than others and which population has this property sequentially changes over time. Since we give explicit conditions on the system parameters for such dynamics to arise, our results give insights into how network structure and interactions (which include higher-order interactions between oscillators) facilitate heteroclinic switching between localized frequency synchrony.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Networks of interacting oscillatory units can give rise to dynamics where the system appears to be in one metastable state before “switching” to another in a rapid transition. Such dynamics are in particular believed to be of functional relevance for neuronal networks where one observes sequential switching between patterns involving localized activity or synchrony (Ashwin and Timme 2005; Britz et al. 2010; Tognoli and Scott Kelso 2014). One approach is to capture these dynamics on a macroscopic scale: One assigns each pattern an activity variable whose dynamics are then described by kinetic equations (Rabinovich et al. 2006). The resulting equations are of generalized Lotka–Volterra type which support stable heteroclinic cycles, that is, cycles of hyperbolic equilibria which are connected by heteroclinic trajectories. The dynamics near such heteroclinic cycles now resemble sequential switching dynamics of activity patterns. Indeed, heteroclinic cycles and networks have been long studied in their own right; see Weinberger and Ashwin (2018) for a recent review.
However, such a qualitative approach fails to capture the dynamics on the level of single, nonlinearly interacting oscillators. In particular, it does not necessarily illuminate what ingredients of network topology and the interactions between oscillators (Stankovski et al. 2017) facilitate switching dynamics. If one assumes weak coupling, phase reduction provides a powerful tool to describe the dynamics of an oscillator network; in this reduction, each oscillator is represented by a single phase variable on the torus \({\mathbf {T}}:= {\mathbb {R}}/2\pi {\mathbb {Z}}\) and the dynamics of the phases are described by a phase oscillator network. Simple networks of globally and identically coupled phase identical oscillators support heteroclinic cycles and networks (Ashwin et al. 2007; Bick et al. 2016). The equilibria involved in these cycles are phase-locking patterns with oscillators in different clusters which have a constant phase difference. The symmetry properties of these networks, however, imply that all oscillators rotate with the same speed (frequency) on average—the network is globally frequency synchronized. In a neural network, this corresponds to all neurons firing at the same average rate while the exact timing of firing changes.
By contrast, even networks of identical phase oscillators that are organized into different populations can give rise to dynamics where frequency synchrony is local to a population rather than global across the whole network. In other words, the interactions in a network of identical oscillators cause some units to evolve faster (or slower) than others. Dynamically invariant sets with this property relate to “chimeras” (Panaggio and Abrams 2015; Schöll 2016; Omel’chenko 2018) which have—as patterns with localized frequency synchrony—been hypothesized to play a functional role in the context of neuroscience (Shanahan 2010; Tognoli and Scott Kelso 2014; Bick and Martens 2015). From a mathematical point of view, the notion of a weak chimera (Ashwin and Burylko 2015; Bick and Ashwin 2016; Bick 2017) formalizes the definition of a dynamically invariant set with localized frequency synchrony for finite networks of identical phase oscillators.
Here we prove the existence of robust heteroclinic cycles between invariant sets with localized frequency synchrony in small phase oscillator networks with higher-order interactions. In contrast to attracting sets with localized frequency synchrony, the dynamics here induce sequential switching dynamics: Which population of oscillators oscillates at a faster (or slower) rate will change over time. These results are of interest from several distinct perspectives. First, they illuminate how the interplay of network structure and functional interactions between units gives rise to heteroclinic dynamics in phase oscillator networks: We explicitly relate the network coupling parameters to the existence of heteroclinic cycles. Second, the results highlight how higher-order network interactions shape the (global) network dynamics; apart from higher harmonics in the phase interaction function, the higher-order interactions also include nonadditive interactions between oscillator phases which arise naturally in phase reductions of generically coupled identical oscillators (Ashwin and Rodrigues 2016) or other resonant interactions (Komarov and Pikovsky 2013). Here, the interplay of higher-order interactions and nontrivial network topology induces dynamics beyond (full) synchrony. Third, our results provide new examples of heteroclinic cycles in network dynamical systems relevant for applications. We highlight how these examples are distinct from situations previously considered in the literature.
This work is organized as follows. In this paper, we build on results in a recent brief communication (Bick 2018) to prove the existence of robust heteroclinic cycles between localized frequency synchrony; in a companion paper (Bick and Lohse 2019) we give a detailed discussion of the stability of such heteroclinic cycles (which may be embedded into larger heteroclinic structures). The remainder of this paper is organized as follows. In Sect. 2 we review some preliminaries on heteroclinic cycles and phase oscillator networks. In Sect. 3 we show existence of a heteroclinic cycle between localized patterns of frequency synchrony in networks consisting of three populations of two oscillators. In Sect. 4 we consider networks which consist of three populations of three oscillators and show the existence of a heteroclinic cycle of localized frequency synchrony; here, there are continua of saddle connections in two-dimensional invariant subspaces. Finally, in Sect. 5, we give some numerical evidence that these phenomena persist in networks with more generic interactions before giving some concluding remarks.
2 Preliminaries
2.1 Heteroclinic Cycles
Let \({\mathcal {M}}\) be a smooth d-dimensional manifold and let X be a smooth vector field on \({\mathcal {M}}\). For a hyperbolic equilibrium \(\xi \in {\mathcal {M}}\) let \(W^ s (\xi )\) and \(W^ u (\xi )\) denote its stable and unstable manifold, respectively.
Definition 2.1
A heteroclinic cycle \({\mathbf {\mathsf {C}}}\) consists of a finite number of hyperbolic equilibria \(\xi _q\in {\mathcal {M}}\), \(q=1,\cdots ,Q\), together with heteroclinic trajectories
where indices are taken modulo Q.
For simplicity, we write \({\mathbf {\mathsf {C}}}=(\xi _1, \cdots , \xi _Q)\). If \({\mathcal {M}}\) is a quotient of a higher-dimensional manifold and \({\mathbf {\mathsf {C}}}\) is a heteroclinic cycle in \({\mathcal {M}}\), we also call the lift of \({\mathbf {\mathsf {C}}}\) a heteroclinic cycle.
While heteroclinic cycles are in general a nongeneric phenomenon, they can be robust in dynamical systems with symmetry. Let \(\Gamma \) be a finite group which acts on \({\mathcal {M}}\). For a subgroup \(H\subset \Gamma \) define the set \({{\,\mathrm{Fix}\,}}(H) = \left\{ \, x\in {\mathcal {M}}\,\left| \;\gamma x=x\ \forall \gamma \in H\right. \right\} \) of points fixed under H; any \({{\,\mathrm{Fix}\,}}(H)\) is invariant under the flow generated by X. For \(x\in {\mathcal {M}}\) let \(\Gamma x=\left\{ \, \gamma x\,\left| \;\gamma \in \Gamma \right. \right\} \) denote its group orbit and \(\Sigma (x) = \left\{ \, \gamma \in \Gamma \,\left| \;\gamma x = x\right. \right\} \) its isotropy subgroup. Now assume that the smooth vector field X is \(\Gamma \)-equivariant vector field on \({\mathcal {M}}\), that is, the action of the group commutes with X.
Now let \({\mathbf {\mathsf {C}}}=(\xi _1, \cdots , \xi _Q)\) be a heteroclinic cycle with the following properties. For an isotropy subgroup \(\Sigma _q\subset \Gamma \) write \(P_q={{\,\mathrm{Fix}\,}}(\Sigma _q)\). Now suppose that there exist \(\Sigma _q\) (and thus \(P_q\)) such that \(\xi _q, \xi _{q+1}\in P_q\), \(\xi _{q+1}\) is a sink in \(P_q\), and \([\xi _q\rightarrow \xi _{q+1}]\subset P_q\). Then \({\mathbf {\mathsf {C}}}\) is robust with respect to \(\Gamma \)-equivariant perturbations of X, that is, \(\Gamma \)-equivariant vector fields close to X will have a heteroclinic cycle close to \({\mathbf {\mathsf {C}}}\); see Krupa (1997) for details.
2.1.1 Dissipative Heteroclinic Cycles
Trajectories close to a heteroclinic cycle can show switching dynamics: Qualitatively speaking, the trajectory will spend time close to one saddle \(\xi _q\) before a rapid transition to \(\xi _{q+1}\). This is in particular the case when the heteroclinic cycle is attracting (in some sense); see for example Weinberger and Ashwin (2018) for a more elaborate discussion.
Here we consider a criterion where we expect attraction in some sense based on the local attraction properties at a hyperbolic equilibrium \(\xi \). Let \(\lambda ^{(j)}\) denote the eigenvalues of the linearization of X at \(\xi \) ordered such that
The saddle value (or saddle index) \(\nu (\xi )=-\frac{{{\,\mathrm{Re}\,}}\lambda ^{(l)}}{{{\,\mathrm{Re}\,}}\lambda ^{(d)}}\) compares the rates of minimal attraction and maximal expansion close to \(\xi \); cf. Shilnikov et al. (1998) and Afraimovich et al. (2016). In particular, we say that \(\xi \) is dissipative if \(\nu (\xi )>1\). For a heteroclinic cycle \({\mathbf {\mathsf {C}}}=(\xi _1, \cdots , \xi _Q)\), write \(\nu _q\, {:=}\,\nu (\xi _q)\).
Definition 2.2
A heteroclinic cycle \({\mathbf {\mathsf {C}}}\) is dissipative if \(\nu ({\mathbf {\mathsf {C}}})\, {:=}\, \prod _q\nu _q>1.\)
Intuitively speaking, a heteroclinic cycle is dissipative if there is more contraction of phase space than expansion close to the saddle points. Obviously, a heteroclinic cycle is dissipative if all its equilibria are dissipative. Subject to suitable additional assumptions, we may expect a dissipative heteroclinic cycle to be asymptotically stable:
Proposition 2.3
(See Krupa and Melbourne 1995) Suppose that \(\Gamma \) is finite and let be a dissipative heteroclinic cycle in \({\mathbb {R}}^d\) such that
In other words, the entire unstable manifold of one saddle is contained in the stable manifold of the next saddle. Then is asymptotically stable.
Here we restrict ourselves to show the existence of dissipative heteroclinic cycles; we address the problem of stability explicitly in the companion paper (Bick and Lohse 2019).
2.1.2 Cyclic Heteroclinic Chains
Definition 2.1 of a heteroclinic cycle makes no assumptions on the number of heteroclinic trajectories between equilibria. Indeed, if there are unstable manifolds of dimension larger than one, there may be continua of heteroclinic trajectories. In that case, the question about stability is more challenging as discussed by Ashwin and Chossat (1998), in particular because the condition in Remark 2.3 does not allow any set of points (however small) on the unstable manifold of one saddle to lie outside of the stable manifold of the next saddle.
We recall some definitions given by Ashwin and Chossat (1998), adapted to our setting. Suppose that \({\mathbf {\mathsf {C}}}\) is a heteroclinic cycle. We say that there is a (directed) edge between \(\xi _p, \xi _q\in {\mathbf {\mathsf {C}}}\) if
This defines a directed graph \({\mathfrak {G}}({\mathbf {\mathsf {C}}})\). Let \({\tilde{{\mathfrak {G}}}}({\mathbf {\mathsf {C}}})\, {:=}\, {\mathfrak {G}}({\mathbf {\mathsf {C}}})/\Gamma \) denote the quotient obtained by identifying vertices and connections on the same group orbits. The graph \({\tilde{{\mathfrak {G}}}}({\mathbf {\mathsf {C}}})\) is cyclic if each vertex has unique edges entering and leaving it.
Definition 2.4
For a heteroclinic cycle \({\mathbf {\mathsf {C}}}\) define the associated heteroclinic chain
If \({\tilde{{\mathfrak {G}}}}({\mathbf {\mathsf {C}}})\) is cyclic then \({\mathfrak {H}}({\mathbf {\mathsf {C}}})\) is a cyclic heteroclinic chain.
In contrast to Definition 2.1, the heteroclinic chain associated to a heteroclinic cycle now contain all heteroclinic trajectories which connect individual equilibria. Note that heteroclinic chains do not need to be closed in \({\mathcal {M}}\): Some part of \(W^ u (\xi _q)\) for some q may lie outside of the heteroclinic chain.
2.2 Phase Oscillator Networks with Nonpairwise Interactions
Consider \(M\) populations of \(N\) phase oscillators where \(\theta _{\sigma ,k}\in {\mathbf {T}}\) denotes the phase of oscillator k in population \(\sigma \). Hence, the state of the oscillator network is determined by \(\theta =(\theta _{1}, \cdots , \theta _{M})\in {\mathbf {T}}^{NM}\) where \(\theta _\sigma = (\theta _{\sigma , 1}, \cdots , \theta _{\sigma , N})\in {\mathbf {T}}^N\) is the state of population \(\sigma \). Let \(g_2, g_4: {\mathbf {T}}\rightarrow {\mathbb {R}}\) be smooth \(2\pi \)-periodic functions and
Now consider the phase oscillator network where the phases of individual oscillators evolve according to
where \(\omega \) is the intrinsic frequency of each oscillatorFootnote 1. For these network dynamics, the phase interactions within populations are determined by the coupling (or phase interaction) function \(g_2\) evaluated at phase differences of oscillator pairs. By contrast, the interactions between populations, given by (1), are mediated by the nonpairwise interaction function \(g_4\) evaluated at linear combination of four of the oscillators’ phases. The parameter \(K^{-}>0\) determines the coupling strength to the previous population, whereas \(K^{+}>0\) determines the coupling strength to the previous population. Here we assume \(K\,{:=}\, K^{-} = K^{+}>0\) for simplicity. For \(g_4 = \cos \), the equations (2) approximate the dynamics of a phase oscillator networks with mean-field mediated bifurcation parameters up to rescaling of time as outlined in Bick (2018).
2.2.1 Symmetries and Invariant Sets
Let \({\mathbf {S}}_N\) denote the symmetric group of permutations of \(N\) symbols and write \({\mathbb {Z}}_M= {\mathbb {Z}}/M{\mathbb {Z}}\). For a single oscillator population, the subset
corresponds to phases being in full phase synchrony and
denotes a splay phase configuration—typically we call any element of the group orbit \({\mathbf {S}}_N\mathrm {D}\) a splay phase. For a network of interacting populations, we use the shorthand notation
to indicate that population \(\sigma \) is fully phase synchronized or in splay phase. We extend the notation to intersections of the sets (5). Consequently, \(\mathrm {S}\cdots \mathrm {S}\) (\(M\) times) is the set of cluster states where all populations are fully phase synchronized and \(\mathrm {D}\cdots \mathrm {D}\) the set where all populations are in splay phase.
The network interactions in (2), which include nonpairwise coupling, induce symmetries. More precisely, the equations (2) are \(({\mathbf {S}}_N\times {\mathbf {T}})^M\rtimes {\mathbb {Z}}_M\)-equivariant. Each copy of \({\mathbf {T}}\) acts by shifting all oscillator phases of one population by a common constant while \({\mathbf {S}}_N\) permutes its oscillators. The action of \({\mathbb {Z}}_M\) permutes the populations cyclically. These actions do not necessarily commute.
To reduce the phase-shift symmetry \({\mathbf {T}}^{M}\), we rewrite (2) in terms of phase differences \(\psi _{\sigma ,k}\, {:=}\, \theta _{\sigma , k+1} - \theta _{\sigma , 1}\), \(k=1, \cdots , N-1\). Hence, with \(\psi _\sigma \in {\mathbf {T}}^{N-1}\) we also write for example \(\psi _1\mathrm {S}\cdots \mathrm {S}\) (or simply \(\psi \mathrm {S}\cdots \mathrm {S}\) if the index is obvious) to indicate that all but the first population is phase synchronized.
The symmetries yield invariant subspaces on \({\mathbf {T}}^{MN}\) for the dynamics given by (2). In particular, the \({\mathbf {S}}_N\) permutational symmetries within each population imply that the sets (5) are invariant (Ashwin and Swift 1992). Moreover, any set of the form \(\theta _1\cdots \theta _M\) with \(\theta _\sigma \in \left\{ \mathrm {S},\mathrm {D}\right\} \) is an equilibrium relative to the continuous \({\mathbf {T}}^{M}\) symmetry, that is, the corresponding \(\psi _1\cdots \psi _M\) is an equilibrium in the reduced dynamics.
2.2.2 Frequencies and Localized Frequency Synchrony
Suppose that \(M> 1\) and let \(\theta :[0,\infty )\rightarrow {\mathbf {T}}^{MN}\) be a solution of (2) with initial condition \(\theta (0)=\theta ^0\). While \({\dot{\theta }}_{\sigma ,k}(t)\) is the instantaneous angular frequency of oscillator \((\sigma , k)\), define the asymptotic average angular frequency of oscillator \((\sigma , k)\) by
Here we assume that these limit exists for all oscillators, but this notion can be generalized to frequency intervals; see also Bick and Ashwin (2016) and Bick (2017).
Definition 2.5
A connected flow-invariant set \(A\subset {\mathbf {T}}^{MN}\) has localized frequency synchrony if for any \(\theta ^0\in A\) we have \(\Omega _{\sigma ,k} = \Omega _{\sigma }\) and there exist indices \(\sigma \ne \tau \) such that
Remark 2.6
Note that a chain-recurrent set A with localized frequency synchrony is a weak chimera as defined by Ashwin and Burylko (2015).
Lemma 2.7
(Theorem 1 in Ashwin and Burylko 2015) The system symmetries imply \(\Omega _{\sigma ,k} = \Omega _{\sigma ,j}\).
3 Heteroclinic Cycles for Two Oscillators per Population
In this section, we show the existence of robust heteroclinic cycles for networks of \(M=3\) populations of \(N=2\) oscillators. Let \(g_2, g_4:{\mathbf {T}}\rightarrow {\mathbb {R}}\) denote the \(2\pi \)-periodic coupling functions which govern the interactions within and between populations as above. With
the network dynamics (2) can be written as
By reducing the \({\mathbf {T}}^{M}\) symmetry, we obtain the dynamics of the phase differences as
where \(\hat{g}_\ell (\vartheta ) = \frac{1}{2}(g_\ell (-\vartheta )-g_\ell (\vartheta ))\), \(\ell \in \left\{ 2,4\right\} \), are odd. For \(\hat{g}_\ell \) we have \(\hat{g}_\ell '(\vartheta ) = -g_\ell '(\vartheta )\).
The phase space of (9) is organized by invariant subspaces as sketched in Fig. 1. For completeness, we characterize \({\mathrm {S}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {D}}\) before we focus on sets with localized frequency synchrony.
In the reduced dynamics (10), both \({\mathrm {S}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {D}}\) are equilibria. The equilibrium \({\mathrm {S}\mathrm {S}\mathrm {S}}= (0, 0, 0)\) lies in the intersection of the invariant subspaces \({\psi \mathrm {S}\mathrm {S}}\), \({\mathrm {S}\psi \mathrm {S}}\), and \({\mathrm {S}\mathrm {S}\psi }\). On these subspaces, the dynamics are given by
Thus, the linear stability of \({\mathrm {S}\mathrm {S}\mathrm {S}}\) is determined by the triple eigenvalue
which correspond to a perturbation separating the phases of one population. Similarly, \({\mathrm {D}\mathrm {D}\mathrm {D}}= (\pi , \pi , \pi )\) lies in the intersection of the invariant subspaces \({\psi \mathrm {D}\mathrm {D}}\), \({\mathrm {D}\psi \mathrm {D}}\), and \({\mathrm {D}\psi \mathrm {D}}\). On these invariant subspaces, the dynamics are determined by
as well. Linearizing at \(\psi =\pi \) yields
which determines the stability of \({\mathrm {D}\mathrm {D}\mathrm {D}}\). In the full system (9), there are three additional zero eigenvalues for eigenvectors along the group orbit of the phase-shift symmetry. Note that the linear stability of \({\mathrm {S}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {D}}\) is fully determined by the pairwise coupling \(g_2\) within populations.
3.1 Saddle Invariant Sets with Localized Frequency Synchrony
For the remainder of this section, we will consider (8) with interaction given by the coupling functions
These interactions include higher harmonics; in particular, for \(r>0\) the calculations above imply that both \({\mathrm {S}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {D}}\) are linearly stable. Moreover, for \(\alpha \,{:=}\,\alpha _2=\alpha _4-\frac{\pi }{2}\) we obtain the same parametrization as in Bick (2018) and Bick and Lohse (2019).
In the following we estimate the asymptotic average frequencies of \({\mathrm {D}\mathrm {S}\mathrm {S}}\), \({\mathrm {D}\mathrm {D}\mathrm {S}}\), \({\mathrm {S}\mathrm {D}\mathrm {S}}\), \({\mathrm {S}\mathrm {D}\mathrm {D}}\), \({\mathrm {S}\mathrm {S}\mathrm {D}}\), \({\mathrm {D}\mathrm {S}\mathrm {D}}\), and \({\mathrm {D}\mathrm {S}\mathrm {S}}\). Note that it suffices to consider \({\mathrm {D}\mathrm {S}\mathrm {S}}\), \({\mathrm {D}\mathrm {D}\mathrm {S}}\) since the latter four are their images under the \({\mathbb {Z}}_M\) action which permutes populations.
Lemma 3.1
The sets \({\mathrm {D}\mathrm {S}\mathrm {S}}\), \({\mathrm {D}\mathrm {D}\mathrm {S}}\) and their images under the \({\mathbb {Z}}_M\) symmetry have localized frequency synchrony as subsets of \({\mathbf {T}}^{MN}\) if
Proof
By Lemma 2.7 we have \(\Omega _{\sigma } = \Omega _{\sigma ,k}\) for all \(k=1, \cdots ,N\), that is, all oscillators within a single population have the same asymptotic average angular frequency.
If the populations are uncoupled, \(K=0\), we have \(\Omega _{1}(\theta ^0) = \omega +g_2(0)\) for \(\theta ^0\in \mathrm {S}\psi _2\psi _3\) and \(\Omega _{2}(\theta ^0) = \omega +g_2(\pi )\) for \(\theta ^0\in \psi _1\mathrm {D}\psi _3\). This implies that for \(K\ge 0\) and coupling (15) we have \(\left| g_2(0)-g_2(\pi )\right| -2K = \left| 2\sin (\alpha _2)\right| -2K \le \left| \Omega _{1}(\theta ^0)-\Omega _{2}(\theta ^0)\right| \) for \(\theta ^0\in \mathrm {S}\mathrm {D}\psi _3\). Consequently, \({\mathrm {D}\mathrm {S}\mathrm {S}}\), \({\mathrm {D}\mathrm {D}\mathrm {S}}\) and their symmetric counterparts have localized frequency synchrony on \({\mathbf {T}}^{MN}\) if (C\(\Omega \)N2) is satisfied. \(\square \)
Note that this is clearly only a sufficient condition; it suffices for our purpose but can be improved by evaluating the asymptotic average angular frequencies explicitly.
As \({\mathrm {S}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {D}}\), the sets \({\mathrm {D}\mathrm {S}\mathrm {S}}\), \({\mathrm {D}\mathrm {D}\mathrm {S}}\) are equilibria for the reduced system (10) with \({\mathrm {D}\mathrm {S}\mathrm {S}}=(\pi ,0,0)\), \({\mathrm {D}\mathrm {D}\mathrm {S}}=(\pi ,\pi ,0)\). On the invariant subspace \({\mathrm {D}\psi \mathrm {S}}\), we have
and on \({\psi \mathrm {D}\mathrm {S}}\) we have dynamics
To obtain the linear stability of \({\mathrm {D}\mathrm {S}\mathrm {S}}\), linearize (13) at \(\psi =\pi \), (16) at \(\psi =0\), and (17) at \(\psi =0\). With coupling (15) this gives
for the linear stability of the first, second, and third population, respectively. Similarly, linearizing (17) at \(\psi =\pi \), (16) at \(\psi =\pi \), and (13) at \(\psi =0\), we obtain
for the eigenvalues which determine the linear stability of \({\mathrm {D}\mathrm {D}\mathrm {S}}\).
3.2 Heteroclinic Cycles
In the previous section, we evaluated the local properties of the dynamically invariant sets \({\mathrm {D}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {S}}\). Heteroclinic cycles require conditions on the local stability as well as the existence of global saddle connections.
Lemma 3.2
Suppose that
Then the network (9) with \(M=3\) populations of \(N=2\) phase oscillators with dynamics (9) and coupling functions (15) has a heteroclinic cycle
Proof
We first show that there is a heteroclinic connection \([{\mathrm {D}\mathrm {S}\mathrm {S}}\rightarrow {\mathrm {D}\mathrm {D}\mathrm {S}}]\). Note that (C\(\lambda \)N2’) implies \(W^ u ({\mathrm {D}\mathrm {S}\mathrm {S}}),W^ s ({\mathrm {D}\mathrm {D}\mathrm {S}})\subset {\psi \mathrm {D}\mathrm {S}}\). To show that \(W^ u ({\mathrm {D}\mathrm {S}\mathrm {S}})\cap W^ s ({\mathrm {D}\mathrm {D}\mathrm {S}})\ne \emptyset \), consider the dynamics on \({\mathrm {D}\psi \mathrm {S}}\): For the coupling functions (15) the dynamics (16) on \({\mathrm {D}\psi \mathrm {S}}\) evaluate to
where \(A_{\mathrm {D}\psi \mathrm {S}}=-2K\cos (\alpha _4)-2\cos (\alpha _2)\), \(B_{\mathrm {D}\psi \mathrm {S}}=4r\cos (2\alpha _2)\). Since \(\lambda ^{\mathrm {D}\mathrm {S}\mathrm {S}}_2 = A_{\mathrm {D}\psi \mathrm {S}}+B_{\mathrm {D}\psi \mathrm {S}}\) and \(\lambda ^{\mathrm {D}\mathrm {D}\mathrm {S}}_2 = -A_{\mathrm {D}\psi \mathrm {S}}+B_{\mathrm {D}\psi \mathrm {S}}\), conditions (C\(\lambda \)N2’) yield
Consequently, given (C\(\lambda \)N2’), there are no equilibria on \({\mathrm {D}\psi \mathrm {S}}\) other than the point where \(\sin (\psi )=0\)—these correspond to \({\mathrm {D}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {S}}\). Hence there is a heteroclinic connection \([{\mathrm {D}\mathrm {S}\mathrm {S}}\rightarrow {\mathrm {D}\mathrm {D}\mathrm {S}}]\).
Similarly, to show that there is \([{\mathrm {D}\mathrm {D}\mathrm {S}}\rightarrow {\mathrm {S}\mathrm {D}\mathrm {S}}]\), note that by (C\(\lambda \)N2’) we have \(W^ u ({\mathrm {D}\mathrm {D}\mathrm {S}}), W^ s ({\mathrm {S}\mathrm {D}\mathrm {S}})\subset {\psi \mathrm {D}\mathrm {S}}\). The dynamics (17) on \({\psi \mathrm {D}\mathrm {S}}\) are
By (C\(\lambda \)N2’) and the \({\mathbb {Z}}_3\) symmetry, we have
as above. This implies that there is a heteroclinic connection \([{\mathrm {D}\mathrm {D}\mathrm {S}}\rightarrow {\mathrm {S}\mathrm {D}\mathrm {S}}]\) if (C\(\lambda \)N2’) holds. \(\square \)
Remark 3.3
Note that here the local conditions (C\(\lambda \)N2’) suffice to guarantee the existence of global saddle connections. This indicates that more than two harmonics are needed for generic bifurcation behavior; cf. Corollary 1 in Ashwin et al. (2016).
By replacing (C\(\lambda \)N2’) with a stricter set of conditions, we immediately obtain the following statement.
Lemma 3.4
The heteroclinic cycle is dissipative if
and
This leads to the main result of this section.
Theorem 3.5
The network of \(M=3\) populations of \(N=2\) phase oscillators with dynamics (9) and coupling functions (15) supports a robust dissipative heteroclinic cycle
between dynamically invariant sets with localized frequency synchrony.
Proof
Note that if (C\(\lambda \)N2’)—or (C\(\lambda \)N2)—holds, the heteroclinic trajectories in Lemma 3.2 are source-sink connections in an invariant subspace forced by symmetry. Hence, to prove the assertion it suffices to show that there are indeed parameter values such that (C\(\Omega \)N2), (C\(\lambda \)N2), and (C\(\nu \)N2) are satisfied simultaneously.
Let \((\alpha _2, \alpha _4) = (\frac{\pi }{2}, \pi )\) and \(r>0\). Set \(\lambda ^u\,{:=}\,\lambda ^{\mathrm {D}\mathrm {S}\mathrm {S}}_2=\lambda ^{\mathrm {D}\mathrm {D}\mathrm {S}}_1\), \(\lambda ^{>}\,{:=}\,\lambda ^{\mathrm {D}\mathrm {S}\mathrm {S}}_1=\lambda ^{\mathrm {D}\mathrm {D}\mathrm {S}}_3\), \(\lambda ^{\gg }\,{:=}\,\lambda ^{\mathrm {D}\mathrm {S}\mathrm {S}}_3=\lambda ^{\mathrm {D}\mathrm {D}\mathrm {S}}_2\). The stability conditions (C\(\lambda \)N2) thus reduce to
which are satisfied for
Then \(\lambda ^u> 0> \lambda ^{>} > \lambda ^{\gg }\) and the saddle values \(\nu =\nu ^{\mathrm {D}\mathrm {S}\mathrm {S}}=\nu ^{\mathrm {D}\mathrm {D}\mathrm {S}}\) of the equilibria evaluate to
and thus (C\(\nu \)N2), that is, \(\nu >1\), holds for
Finally, for \(\alpha _2=\frac{\pi }{2}\) Condition (C\(\Omega \)N2) is equivalent to \(K< 1\).
In summary, for \((\alpha _2, \alpha _4) = (\frac{\pi }{2}, \pi )\) the conditions (C\(\Omega \)N2), (C\(\lambda \)N2), and (C\(\nu \)N2), hold simultaneously if
which completes the proof. \(\square \)
Again, conditions (C\(\Omega \)N2), (C\(\lambda \)N2), and (C\(\nu \)N2) for the existence of a dissipative robust heteroclinic cycle are sufficient. Figure 2 illustrates the region in parameter space that is given by these conditions.
Remark 3.6
For \({\mathbf {\mathsf {C}}}_2\) set \(\xi _1 = {\mathrm {D}\mathrm {S}\mathrm {S}}, \xi _2={\mathrm {D}\mathrm {D}\mathrm {S}}, \cdots , \xi _6={\mathrm {D}\mathrm {S}\mathrm {D}}\). We have \(W^ u (\xi _q)\smallsetminus \left\{ \xi _q\right\} \subset W^ s (\xi _{q+1})\) and thus the heteroclinic chain associated with \({\mathbf {\mathsf {C}}}_2\) is closed.
4 Heteroclinic Cycles for Three Oscillators per Population
We now consider phase oscillator networks (2) with more than two oscillators per population. Throughout this section, assume that \(M=3\) and \(N=3\) and suppose that the phase interaction given by the coupling functions
If the populations are uncoupled, \(K=0\), then for \(\alpha =\alpha _2=\alpha _4-\frac{\pi }{2}=\frac{\pi }{2}\) and \(r>0\) there is bistability between \(\mathrm {S}\) and \(\mathrm {D}\) in each population (Ashwin and Swift 1992).
In this section, we show that there are dissipative robust heteroclinic cycles for networks of \(M=3\) populations of \(N=3\) oscillators with coupling (24). Indeed, we proceed as before and derive conditions for which there are heteroclinic source-sink connections on invariant subspaces forced by symmetry. The resulting heteroclinic network will be robust. Thus, for the remainder of the section we set \((\alpha _2,\alpha _4)=(\frac{\pi }{2},\pi )\) rather writing down the conditions in full generality.
A stability analysis of the phase configurations \({\mathrm {S}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {D}}\) can be done as in the previous section. Moreover, we restrict ourselves to \({\mathrm {D}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {S}}\) because of symmetry.
4.1 Local Dynamics
We first establish conditions for \({\mathrm {D}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {S}}\) to be invariant sets with localized frequency synchrony which are suitable saddles in the reduced system.
Lemma 4.1
The sets \({\mathrm {D}\mathrm {S}\mathrm {S}}\), \({\mathrm {D}\mathrm {D}\mathrm {S}}\) and their images under the \({\mathbb {Z}}_M\) symmetry have localized frequency synchrony as subsets of \({\mathbf {T}}^{MN}\) if
Proof
The proof is essentially the same as for Lemma 3.1. Frequency synchrony with populations is given by Lemma 2.7.
For \(K=0\) we have \(\Omega _{1}(\theta ^0) = \omega +2g_2(0)=\omega +2\) for \(\theta ^0\in {\mathrm {S}\psi _2\psi _3}\) and \(\Omega _{2}(\theta ^0) = \omega +g_2(2\pi /3)+g_2(4\pi /3)=\omega -1\) for \(\theta ^0\in {\psi _1\mathrm {D}\psi _3}\). This implies that for \(K\ge 0\) and coupling (24) we have \(3-\frac{4}{3}K\le \left| \Omega _{1}(\theta ^0)-\Omega _{2}(\theta ^0)\right| \) Thus \({\mathrm {D}\mathrm {S}\mathrm {S}}\), \({\mathrm {D}\mathrm {D}\mathrm {S}}\) have localized frequency synchrony on \({\mathbf {T}}^{MN}\) if (C\(\Omega \)N3) is satisfied. \(\square \)
Lemma 4.2
In the reduced system, the equilibria \({\mathrm {D}\mathrm {S}\mathrm {S}}\), \({\mathrm {D}\mathrm {D}\mathrm {S}}\) are hyperbolic saddles with two-dimensional unstable manifold if
Proof
The linearization at \({\mathrm {D}\mathrm {S}\mathrm {S}}\) yields eigenvalues
which correspond to the stability of the phase configuration of the first, second, and third population, respectively.
Similarly, for the linearization of the vector field at \({\mathrm {D}\mathrm {D}\mathrm {S}}\) we have
which govern the linear stability of the phase configuration of the first, second, and third population, respectively.
Thus, we have hyperbolic saddles with two-dimensional unstable manifold if \(0<r\) and
which is equivalent to (C\(\lambda \)N3), as asserted. \(\square \)
Note that expansion at \({\mathrm {D}\mathrm {S}\mathrm {S}}\) is determined by the double real eigenvalue \(\lambda _2^{\mathrm {D}\mathrm {S}\mathrm {S}}\) forced by symmetry. The eigenvalues of the linearization (25) and (26) also give insight into the local bifurcations as parameters are varied. For example, \({\mathrm {D}\mathrm {D}\mathrm {S}}\) undergoes a Hopf bifurcation as the parameter r goes through zero.
4.2 Global Dynamics
In the previous section we established the existence of suitable saddle invariant sets. To obtain a heteroclinic cycle, these invariant sets have to be joined by a heteroclinic trajectory.
Both \({\mathrm {D}\mathrm {S}\mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {S}}\) lie in the two-dimensional invariant subspace \({\mathrm {D}\psi \mathrm {S}}\) and \({\mathrm {D}\mathrm {D}\mathrm {S}}\) while \({\mathrm {S}\mathrm {D}\mathrm {S}}\) lie in the two-dimensional invariant subspace \({\psi \mathrm {D}\mathrm {S}}\). Because of the permutational symmetry within populations, the dynamics on both \({\mathrm {D}\psi \mathrm {S}}\) and \({\psi \mathrm {D}\mathrm {S}}\) are \({\mathbf {S}}_{3}\)-equivariant. As discussed in the context of Lemma 2.7, this implies that the phase ordering within each population is preserved. Hence it suffices to consider the dynamics on (the closure of) the invariant simplex, commonly referred to as the canonical invariant region,
for the phase differences; cf. Ashwin and Swift (1992) and Ashwin et al. (2016). The phase configuration \(\mathrm {S}= (0, 0)\), where all oscillators are phase synchronized, lies on the boundary \(\partial {\mathcal {C}}\) of \({\mathcal {C}}\) and the splay phase configuration \(\mathrm {D}= \big (\frac{2\pi }{3}, \frac{4\pi }{3}\big )\) is its centroid as illustrated in Fig. 3a. For a function \(F:{\mathcal {C}}\rightarrow {\mathbb {R}}\) let \(\left\| F\right\| _{\mathcal {C}}\) denote the \(\sup \) norm on \({\mathcal {C}}\).
The vector field for the dynamics of (2) with coupling (24) and \(\alpha _2=\frac{\pi }{2}\), \(\alpha _4=\pi \) can now be evaluated explicitly. Write
The dynamics on \({\mathrm {D}\psi \mathrm {S}}\) are given by
and the dynamics on \({\psi \mathrm {D}\mathrm {S}}\) are given by
The first term describes interaction within each population given by the first harmonic only, the second term is the intra-population interaction through higher harmonics, and the third term is interactions arising through the coupling between populations.
Lemma 4.3
Suppose that the stability condition (C\(\lambda \)N3) holds. Then there are heteroclinic trajectories \([{\mathrm {D}\mathrm {S}\mathrm {S}}\rightarrow {\mathrm {D}\mathrm {D}\mathrm {S}}]\) and \([{\mathrm {D}\mathrm {D}\mathrm {S}}\rightarrow {\mathrm {S}\mathrm {D}\mathrm {S}}]\) if
Proof
First note that the dynamics of the uncoupled system, \(K=0\), without higher harmonics, \(r=0\), is integrable (on both \({\mathrm {D}\psi \mathrm {S}}\) and \({\psi \mathrm {D}\mathrm {S}}\)) since the quantity
is preserved; see also Ashwin et al. (2016). (Some level sets of V are depicted in Fig. 3a.) That is, we have
Note that \(V>0\) on \({\mathcal {C}}\), it vanishes on its boundary \(\partial {\mathcal {C}}\) and takes a unique maximum \(V(\mathrm {D})\) at \(\mathrm {D}\).
We will first consider the dynamics on \({\mathrm {D}\psi \mathrm {S}}\) and show that there is a source-sink heteroclinic trajectory \([{\mathrm {D}\mathrm {S}\mathrm {S}}\rightarrow {\mathrm {D}\mathrm {D}\mathrm {S}}]\). By assumption (C\(\lambda \)N3), we have that \({\mathrm {D}\mathrm {S}\mathrm {S}}\) is a source in \({\mathrm {D}\psi \mathrm {S}}\) with \(W^ u ({\mathrm {D}\mathrm {S}\mathrm {S}})\subset {\mathrm {D}\psi \mathrm {S}}\). In the following, we derive conditions on \(K\) and r such that V is a (Lyapunov-like) potential function on \({\mathcal {C}}\) which guarantee that V is strictly increasing along trajectories in \({\mathcal {C}}\). Thus, any trajectory in \({\mathcal {C}}\) converges to \(\mathrm {D}\in {\mathcal {C}}\) which yields a heteroclinic trajectory \([{\mathrm {D}\mathrm {S}\mathrm {S}}\rightarrow {\mathrm {D}\mathrm {D}\mathrm {S}}]\).
Now consider nontrivial coupling between populations, \(K>0\), while higher harmonics are absent, \(r=0\). Using trigonometric identities we have
The potential V increases along trajectories if \(\dot{V}>0\) on \({\mathcal {C}}\smallsetminus \mathrm {D}\). Rearranging terms, \(\dot{V}>0\) is equivalent to
for \(\psi \in {\mathcal {C}}\smallsetminus \mathrm {D}\). The function Q has a unique maximum on \({\mathcal {C}}\) at \(\psi =\mathrm {D}\) with \(Q(\mathrm {D}) = 1\). Thus, \(\dot{V} > 0\), and trajectories in \({\mathcal {C}}\) approach \(\mathrm {D}\) asymptotically.
We now show that this property persists for \(r > 0\) sufficiently small. We have
and by the calculations above, we know that \(\langle {{\,\mathrm{grad}\,}}V, X_K\rangle \) only vanishes for \(\psi \in \partial {\mathcal {C}}\cup \mathrm {D}\). The condition \(\dot{V} > 0\) on \({\mathcal {C}}\smallsetminus \mathrm {D}\) is equivalent to
Note that any singularity of R is removable since \(\langle {{\,\mathrm{grad}\,}}V, X_r\rangle \) also vanishes on \({\mathcal {C}}\smallsetminus \mathrm {D}\) at the same order. Hence, \(R(\psi )\) is a bounded function on \({\overline{{\mathcal {C}}}}\) and evaluating minima and maxima on \({\overline{{\mathcal {C}}}}\) yields \(\left\| R\right\| _{\mathcal {C}}<15\); cf. Fig. 3b. This implies that \(\dot{V} > 0\) on \({\mathcal {C}}\smallsetminus \mathrm {D}\) if
which yields a heteroclinic connection between the source \(\mathrm {S}\) and the sink \(\mathrm {D}\) on \({\mathrm {D}\psi \mathrm {S}}\).
The proof that there is a robust heteroclinic trajectory \([{\mathrm {D}\mathrm {D}\mathrm {S}}\rightarrow {\mathrm {S}\mathrm {D}\mathrm {S}}]\) in \({\psi \mathrm {D}\mathrm {S}}\) is analogous. We have \(W^ u ({\mathrm {D}\mathrm {D}\mathrm {S}})\subset {\psi \mathrm {D}\mathrm {S}}\) and a heteroclinic trajectory \([{\mathrm {D}\mathrm {D}\mathrm {S}}\rightarrow {\mathrm {S}\mathrm {D}\mathrm {S}}]\) is a trajectory connecting the source \(\mathrm {D}\) and sink \(\mathrm {S}\) on \({\psi \mathrm {D}\mathrm {S}}\). Thus, it suffices to show that \(\dot{V} < 0\) on \({\mathcal {C}}\smallsetminus \mathrm {D}\). Note that the vector fields (28) and (29) only differ by the sign of \(K\). We proceed as above and in the last step the condition \(\dot{V} < 0\) is equivalent to
Again, \(\left\| R\right\| _{\mathcal {C}}<15\) implies that if
we have a robust heteroclinic connection between the source \(\mathrm {D}\) and the sink \(\mathrm {S}\) on \({\psi \mathrm {D}\mathrm {S}}\). \(\square \)
In fact, Lemma 4.3 implies the existence of a heteroclinic cycle
Lemma 4.4
Suppose that the assumptions of Lemma 4.3 hold. The heteroclinic cycle is dissipative if
Proof
In order to get dissipativity of the cycle, we need to control the product of the saddle values. More precisely, the cycle is dissipative if
It is straightforward to verify that this condition is equivalent to (C\(\nu \)N3). \(\square \)
Note that the conditions (C\(\Omega \)N3), (C\(\lambda \)N3), (C\(\psi \)N3), and (C\(\nu \)N3) as given in Lemmas 4.1–4.4 are satisfied simultaneously for
Moreover, the heteroclinic trajectories are source-sink connections in invariant subspaces forced by symmetry. This proves the following result.
Theorem 4.5
The network of \(M=3\) populations of \(N=3\) phase oscillators with dynamics (2) and coupling functions (24) has a robust dissipative heteroclinic cycle between dynamically invariant sets with localized frequency synchrony.
4.3 Nonclosed Heteroclinic Chains
For networks of \(N=3\) oscillators per population, there are continua of heteroclinic connections between equilibria. In particular, the heteroclinic chain associated with \({\mathbf {\mathsf {C}}}_3\) contains all heteroclinic trajectories \([{\mathrm {D}\mathrm {S}\mathrm {S}}\rightarrow {\mathrm {D}\mathrm {D}\mathrm {S}}]\), \([{\mathrm {D}\mathrm {D}\mathrm {S}}\rightarrow {\mathrm {S}\mathrm {D}\mathrm {S}}]\) of trivial isotropy. While the resulting associated heteroclinic chain \({\mathfrak {H}}({\mathbf {\mathsf {C}}}_3)\) is cyclic, it is not closed. In particular, the condition of Remark 2.3 is not satisfied.
To formalize this observation, we adapt some terminology that was recently introduced in Ashwin et al. (2018).
Definition 4.6
Let \({\mathbf {\mathsf {C}}}=(\xi _1, \cdots , \xi _Q)\) be a heteroclinic cycle and \({\mathfrak {H}}({\mathbf {\mathsf {C}}})\) its associated heteroclinic chain. An equilibrium
- (i)
\(\xi _q\) is complete in \({\mathfrak {H}}({\mathbf {\mathsf {C}}})\) if \(W^ u (\xi _q)\subset {\mathfrak {H}}({\mathbf {\mathsf {C}}})\),
- (ii)
\(\xi _q\) is almost complete in \({\mathfrak {H}}({\mathbf {\mathsf {C}}})\) if \(W^ u (\xi _q)\smallsetminus {\mathfrak {H}}({\mathbf {\mathsf {C}}})\) is of measure zero (with respect to the Lebesgue measure for any volume form on \(W^ u (\xi _q)\)),
- (iii)
\(\xi _q\) is equable in \({\mathfrak {H}}({\mathbf {\mathsf {C}}})\) if there is a \(d = d(q)\in {\mathbb {N}}\) such that for all p with \(C_{qp}\ne \emptyset \) the set \(C_{qp}\) is a manifold with \(\dim (C_{qp})=d\).
The heteroclinic chain \({\mathfrak {H}}({\mathbf {\mathsf {C}}})\) is complete, almost complete, or equable if all its equilibria are complete, almost complete, or equable, respectively.
Note that completeness relates to clean heteroclinic networks defined in Field (2017). With these notions we obtain the following statement.
Theorem 4.7
For parameters satisfying (35) and r sufficiently small, the heteroclinic chain is cyclic, equable, and almost complete but not complete. The closure of is complete, but neither cyclic nor equable.
Proof
Note that the heteroclinic chain \({\mathfrak {H}}({\mathbf {\mathsf {C}}}_3)\) associated with \({\mathbf {\mathsf {C}}}_3\) is cyclic—because \(W^ u ({\mathrm {D}\mathrm {S}\mathrm {S}})\subset {\mathrm {D}\psi \mathrm {S}}\) and \(W^ u ({\mathrm {D}\mathrm {D}\mathrm {S}})\subset {\psi \mathrm {D}\mathrm {S}}\)—and thus equable.
First, consider the invariant set \({\mathrm {D}\psi \mathrm {S}}\); it suffices to consider \({\overline{{\mathcal {C}}}}\) as above. The invariant set \(\partial {\mathcal {C}}\) consists of points of nontrivial isotropy, i.e., \(\Sigma (\theta )\ne \left\{ {{\,\mathrm{id}\,}}\right\} \) for \(\theta \in \partial {\mathcal {C}}\), and \(\partial {\mathcal {C}}\) has zero (Lebesgue) measure in \({\overline{{\mathcal {C}}}}\). Since \(W^ u ({\mathrm {D}\mathrm {S}\mathrm {S}})\cap \partial {\mathcal {C}}\ne \emptyset \) and \(W^ s ({\mathrm {D}\mathrm {D}\mathrm {S}})\cap \partial {\mathcal {C}}=\emptyset \), the equilibrium \({\mathrm {D}\mathrm {S}\mathrm {S}}\) cannot be complete. Parametrize a side of \(\partial {\mathcal {C}}\) by \(\chi \in [0, 2\pi ]\) (for example \(\chi =\psi _1=\psi _2\)) where \(\chi \in \left\{ 0,2\pi \right\} \) corresponds to \(\mathrm {S}\in \partial {\mathcal {C}}\); cf. Fig. 3. The dynamics are given by
where \(T(\chi )\) is a trigonometric polynomial. Since \(K>0\) and r sufficiently small by assumption, there are exactly three equilibria \(\xi ^{\mathrm {D}\psi \mathrm {S}}\) on \(\partial {\mathcal {C}}\) (which lie in the same group orbit) with \(\chi \approx 2\arctan (3K)\). These are of saddle type, attracting within \(\partial {\mathcal {C}}\) and transversely repelling (within \({\mathrm {D}\psi \mathrm {S}}\)); see Fig. 3c. Therefore,
is two-dimensional and of full measure in \(W^ u ({\mathrm {D}\mathrm {S}\mathrm {S}})\). This implies that \({\mathrm {D}\mathrm {S}\mathrm {S}}\) is almost complete.
Second, by evaluating the dynamics on \({\psi \mathrm {D}\mathrm {S}}\) one can show by a similar argument that there are three equilibria \(\xi ^{\psi \mathrm {D}\mathrm {S}}\) on \(\partial {\mathcal {C}}\). These are attracting transversely to \(\partial {\mathcal {C}}\) and repelling within \(\partial {\mathcal {C}}\). Consequently,
and \({\mathrm {D}\mathrm {D}\mathrm {S}}\) is almost complete. However, \({\mathrm {D}\mathrm {D}\mathrm {S}}\) is not complete since \(W^ s (\xi ^{\psi \mathrm {D}\mathrm {S}})\subset W^ u ({\mathrm {D}\mathrm {D}\mathrm {S}})\) is not contained in \(W^ s ({\mathrm {S}\mathrm {D}\mathrm {S}})\).
Finally, the closure of \({\mathfrak {H}}({\mathbf {\mathsf {C}}}_3)\) now contains the complete heteroclinic cycle
The heteroclinic chain \({\mathfrak {H}}({\mathbf {\mathsf {C}}}^\text {cl})\) associated with \({\mathbf {\mathsf {C}}}^\text {cl}\) contains \({\mathfrak {H}}({\mathbf {\mathsf {C}}}_3)\) but is not cyclic nor equable. Indeed, the graph \({\tilde{{\mathfrak {G}}}}({\mathbf {\mathsf {C}}}^\text {cl})\) for \({\mathfrak {H}}({\mathbf {\mathsf {C}}}^\text {cl})\) contains the noncyclic subgraph depicted in Fig. 4. This completes the proof of the assertion. \(\square \)
5 Dynamics of Networks with Noise and Broken Symmetry
The heteroclinic cycles lead to switching between localized frequency synchrony which are observed in numerical simulations. First, define the Kuramoto order parameter of population \(\sigma \) as \(Z_\sigma = \frac{1}{N}\sum _{j=1}^N\exp (i\theta _{\sigma ,k})\) and let \(R_\sigma =\left| Z_\sigma \right| \). In particular, \(R_\sigma \in [0,1]\) encodes the level of synchrony in each population, that is, \(R_\sigma = 1\) iff \(\theta _\sigma \in \mathrm {S}\) and \(R_\sigma = 0\) if \(\theta _\sigma \in \mathrm {S}\). Write (2) as \({\dot{\theta }}_{\sigma ,k} = X_{\sigma ,k}(\theta )\), setting \(\omega =-(N-1)g_2(0)\) without loss of generality such that oscillators appear stationary if phase synchronized in the absence of interpopulation coupling. Let \(W_{\sigma ,k}\) be independent Wiener processes with mean zero and variance one. Since attracting heteroclinic cycles show exponential slowing down of transition times between subsequent saddles, we solve the stochastic differential equation
for \(\eta >0\) using XPP (Ermentrout 2002). As shown in Fig. 5, the dynamics exhibit switching between localized frequency synchrony: Populations sequentially accelerate and decelerate as the populations synchronize and desynchronize. The transition times scale with the noise strength as expected (Stone and Armbruster 1999).
From the point of view of a phase reduction of a general network of nonlinear oscillators, the interaction terms in the phase oscillator network (2) are nongeneric. Indeed, one would expect that nontrivial pairwise interaction terms would not only be present within populations but also between populations. Here, we asses the effect of forced symmetry breaking on the dynamics (2) in numerical simulations. More specifically, define
The function \(Y^\text {sym}_{\sigma , k}\) is \({\mathbf {S}}_{MN}\) equivariant and yields pairwise interactions between oscillators between different populations. Let \(\iota (\sigma ,k) = (\sigma -1)N+k\) be a linear indexing for all oscillators. Define
which yields additional pairwise interaction terms. For parameters \(\delta _\mathrm {sym}\), \(\delta _\mathrm {asym}\) we now consider the evolution of
Heteroclinic switching dynamics persist if the phase-shift symmetries are broken. For \(\delta _\mathrm {sym}>0\), \(\delta _\mathrm {asym}=0\), the \(({\mathbf {S}}_N\times {\mathbf {T}})^M\rtimes {\mathbb {Z}}_M\) symmetry of (2) is broken; if \(\Gamma =({\mathbf {S}}_N^M\rtimes {\mathbb {Z}}_M)\times {\mathbf {T}}\), then (37) is \(\Gamma \)-equivariant. In other words, rather than having a phase-shift symmetry for each population, the system (37) has a single phase-shift symmetry which acts by adding a constant phase to all \(MN\) oscillators. While this breaks the invariant subspace structure that gave rise to the robust heteroclinic cycles, we expect certain normally hyperbolic tori to persist for \(\delta _\mathrm {sym}>0\) sufficiently small. More precisely, if
(and \({\underline{\mathrm {S}}}\mathrm {D}{\underline{\mathrm {S}}}\) and \(\underline{\mathrm {S}\mathrm {S}}\mathrm {D}\) are its images under the \({\mathbb {Z}}_M\) symmetry action), then we expect that invariant tori exist close to \(\mathrm {D}\underline{\mathrm {S}\mathrm {S}}\), \({\underline{\mathrm {S}}}\mathrm {D}{\underline{\mathrm {S}}}\), and \(\underline{\mathrm {S}\mathrm {S}}\mathrm {D}\). Indeed, solving the system numerically—as shown in Fig. 6—indicates that there is in fact a residual attracting heteroclinic network which approaches \(\mathrm {D}\underline{\mathrm {S}\mathrm {S}}\), \({\underline{\mathrm {S}}}\mathrm {D}{\underline{\mathrm {S}}}\), and \(\underline{\mathrm {S}\mathrm {S}}\mathrm {D}\).
With further forced symmetry breaking, \(\delta _\mathrm {sym}, \delta _\mathrm {asym}>0\), the phase oscillator network (37) exhibits irregular switching of localized frequency synchrony even in the absence of noise. These potentially chaotic dynamics arise close to the heteroclinic networks \({\mathbf {\mathsf {C}}}_N\), \(N=2,3\), as shown in Fig. 7.
6 Discussion and Conclusions
Phase oscillator networks with higher-order interactions can give rise to heteroclinic cycles between frequency synchrony; in numerical simulations these lead to sequential acceleration and deceleration of oscillator populations. Indeed, because of dissipativity, we expect that the attractor of the deterministic system is a subset of the closure of the associated heteroclinic chain. For networks of \(N=2\) oscillators in each population we calculate the stability of the heteroclinic cycles and their bifurcations explicitly in the companion paper (Bick and Lohse 2019). For \(N=3\) the unstable manifold of each saddle is (at least) two-dimensional and the assumptions to apply existing stability results (Krupa and Melbourne 1995; Ashwin and Chossat 1998) are not satisfied. We will address this question in future research.
Rather than assuming weak coupling between populations, the results presented here rely on the symmetries induced by the nonpairwise higher-order network interaction terms. Our numerical simulations for nearby vector fields where these symmetries were broken indicated the persistence of some residual heteroclinic structure. In this context, it would be desirable to extend the methods of forced symmetry breaking (Sandstede and Scheel 1995; Chossat and Field 1995; Guyard and Lauterbach 1999) to understand the bifurcation behavior for nearby network vector fields with generic interactions.
Numerical simulations indicate that switching dynamics between localized frequency synchrony also arises in networks with \(M=3\) populations of \(N>3\) phase oscillators (Bick 2018). Indeed, the methods used here are likely applicable to such networks as well: Without higher harmonics, \(r=0\), the oscillators are sinusoidally coupled and the phase space \({\mathbf {T}}^{MN}\) is foliated by low-dimensional manifolds (Pikovsky and Rosenblum 2011; Chen et al. 2017) on which we expect to have a similar potential functions as in the proof of Lemma 4.3. While we cannot expect hyperbolicity in this limit due to the degeneracy in the system, suitable network interaction terms with higher harmonics, combined with an approach similar to Vlasov et al. (2016), could give rigorous results to show the existence of heteroclinic networks.
In summary, heteroclinic switching dynamics between localized frequency synchrony may arise in networks of identical phase oscillators with higher-order interactions. Here we gave rigorous results for small oscillator networks, but we anticipate similar approaches to be viable for larger networks. While the heteroclinic switching observed here are distinct from those discussed in Komarov and Pikovsky (2011), where large networks (\(N\ge 1000\)) of nonidentical oscillators are considered, it would be interesting to relate the two.
Notes
Without loss of generality, we may set \(\omega \) to any value by going into a suitable co-rotating frame.
References
Afraimovich, V.S., Moses, G., Young, T.: Two-dimensional heteroclinic attractor in the generalized Lotka–Volterra system. Nonlinearity 29(5), 1644–1645 (2016)
Ashwin, P., Swift, J.W.: The dynamics of n weakly coupled identical oscillators. J. Nonlinear Sci. 2(1), 69–108 (1992)
Ashwin, P., Chossat, P.: Attractors for robust heteroclinic cycles with continua of connections. J. Nonlinear Sci. 8(2), 103–129 (1998)
Ashwin, P., Timme, M.: Nonlinear dynamics: when instability makes sense. Nature 436(7047), 36–37 (2005)
Ashwin, P., Orosz, G., Wordsworth, J., Townley, S.: Dynamics on networks of cluster states for globally coupled phase oscillators. SIAM J. Appl. Dyn. Syst. 6(4), 728 (2007)
Ashwin, P., Burylko, O.: Weak chimeras in minimal networks of coupled phase oscillators. Chaos 25, 013106 (2015)
Ashwin, P., Rodrigues, A.: Hopf normal form with S\__N symmetry and reduction to systems of nonlinearly coupled phase oscillators. Physica D 325, 14–24 (2016)
Ashwin, P., Castro, S.B.S.D., Lohse, A.: Almost complete and equable heteroclinic networks (2018). arXiv:1811.03350
Ashwin, P., Bick, C., Burylko, O.: Identical phase oscillator networks: bifurcations, symmetry and reversibility for generalized coupling. Front. Appl. Math. Stat. 2(7), 1–16 (2016)
Bick, C., Ashwin, P.: Chaotic weak chimeras and their persistence in coupled populations of phase oscillators. Nonlinearity 29(5), 1468–1486 (2016)
Bick, C., Martens, E.A.: Controlling chimeras. New J. Phys. 17(3), 033030 (2015)
Bick, C., Ashwin, P., Rodrigues, A.: Chaos in generically coupled phase oscillator networks with nonpairwise interactions. Chaos 26(9), 094814 (2016)
Bick, C.: Isotropy of angular frequencies and weak chimeras with broken symmetry. J. Nonlinear Sci. 27(2), 605–626 (2017)
Bick, C.: Heteroclinic switching between chimeras. Phys. Rev. E 97(5), 050201(R) (2018)
Bick, C., Lohse, A.: Heteroclinic dynamics of localized frequency synchrony: stability of heteroclinic cycles and networks J. Nonlin. Sci. (2019). https://doi.org/10.1007/s00332-019-09562-3
Britz, J., Van De Ville, D., Michel, C.M.: BOLD correlates of EEG topography reveal rapid resting-state network dynamics. NeuroImage 52(4), 1162–1170 (2010)
Chen, B., Engelbrecht, J.R., Mirollo, R.E.: Hyperbolic geometry of Kuramoto oscillator networks. J. Phys. A Math. Theor. 50(35), 355101 (2017)
Chossat, P., Field, M.J.: Geometric analysis of the effect of symmetry breaking perturbations on a O(2) invariant homoclinic cycle. In: Langford, W.F., Nagata, N. (eds.) Normal Forms and Homoclinic Chaos, Chapter 2, pp. 21–42. American Mathematical Society, Providence (1995)
Ermentrout, B.: Simulating, Analyzing, and Animating Dynamical Systems. Society for Industrial and Applied Mathematics, Philadelphia (2002)
Field, M.J.: Patterns of desynchronization and resynchronization in heteroclinic networks. Nonlinearity 30(2), 516–557 (2017)
Guyard, F., Lauterbach, R.: Forced symmetry breaking: theory and applications. In: Golubitsky, M., Luss, D., Strogatz, S.H. (eds.) Pattern Formation in Continuous and Coupled Systems. The IMA Volumes in Mathematics and its Applications, Chapter 10, pp. 121–135. Springer, New York (1999)
Komarov, M.A., Pikovsky, A.: Effects of nonresonant interaction in ensembles of phase oscillators. Phys. Rev. E 84(1), 016210 (2011)
Komarov, M.A., Pikovsky, A.: Dynamics of multifrequency oscillator communities. Phys. Rev. Lett. 110(13), 134101 (2013)
Krupa, M.: Robust heteroclinic cycles. J. Nonlinear Sci. 7(2), 129–176 (1997)
Krupa, M., Melbourne, I.: Asymptotic stability of heteroclinic cycles in systems with symmetry. Ergod. Theory Dyn. Syst. 15(01), 121–147 (1995)
Omel’chenko, O.E.: The mathematics behind chimera states. Nonlinearity 31(5), R121–R164 (2018)
Panaggio, M.J., Abrams, D.M.: Chimera states: coexistence of coherence and incoherence in networks of coupled oscillators. Nonlinearity 28(3), R67–R87 (2015)
Pikovsky, A., Rosenblum, M.: Dynamics of heterogeneous oscillator ensembles in terms of collective variables. Physica D 240(9–10), 872–881 (2011)
Rabinovich, M.I., Varona, P., Selverston, A., Abarbanel, H.D.I.: Dynamical principles in neuroscience. Rev. Mod. Phys. 78(4), 1213–1265 (2006)
Sandstede, B., Scheel, A.: Forced symmetry breaking of homoclinic cycles. Nonlinearity 8(3), 333–365 (1995)
Schöll, E.: Synchronization patterns and chimera states in complex networks: interplay of topology and dynamics. Eur. Phys. J. Spec. Top. 225(6–7), 891–919 (2016)
Shanahan, M.: Metastable chimera states in community-structured oscillator networks. Chaos 20(1), 013108 (2010)
Shilnikov, L.P., Shilnikov, A.L., Turaev, D.V., Chua, L.O.: Methods of Qualitative Theory in Nonlinear Dynamics. Part I, Volume 4 of World Scientific Series on Nonlinear Science. Series A: Monographs and Treatises. World Scientific Publishing Co., Inc., River Edge (1998)
Stankovski, T., Pereira, T., McClintock, P.V.E., Stefanovska, A.: Coupling functions: universal insights into dynamical interaction mechanisms. Rev. Mod. Phys. 89(4), 045001 (2017)
Stone, E., Armbruster, D.: Noise and O(1) amplitude effects on heteroclinic cycles. Chaos 9(2), 499–506 (1999)
Tognoli, E., Scott Kelso, J.A.: The metastable brain. Neuron 81(1), 35–48 (2014)
Vlasov, V., Rosenblum, M., Pikovsky, A.: Dynamics of weakly inhomogeneous oscillator populations: perturbation theory on top of Watanabe–Strogatz integrability. J. Phys. A Math. Theor. 49(31), 31LT02 (2016)
Weinberger, O., Ashwin, P.: From coupled networks of systems to networks of states in phase space. Discrete Contin. Dyn. Syst. B 23(5), 2043–2063 (2018)
Acknowledgements
The author is indebted to P Ashwin, JSW Lamb, A Lohse, and M Rabinovich for helpful conversations.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Dr. Anthony Bloch.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bick, C. Heteroclinic Dynamics of Localized Frequency Synchrony: Heteroclinic Cycles for Small Populations. J Nonlinear Sci 29, 2547–2570 (2019). https://doi.org/10.1007/s00332-019-09552-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00332-019-09552-5