arxiv: v1 [nlin.ao] 23 Aug 2018

Transcription

1 arxiv: v1 [nlin.ao] 23 Aug 218 Collective mode reductions for populations of coupled noisy oscillators Denis S. Goldobin, 1,2 Irina V. Tyulkina, 2 Lyudmila S. limenko, 1,2 and Arkady Pikovsky 3,4 1) Institute of Continuous Media Mechanics, UB RAS, Academician orolev Street 1, Perm, Russia 2) Department of Theoretical Physics, Perm State University, Bukirev Street 15, Perm, Russia 3) Institute for Physics and Astronomy, University of Potsdam, arl-liebknecht-strasse 24/25, Potsdam-Golm, Germany 4) Department of Control Theory, Nizhny Novgorod State University, Gagarin Avenue 23, 6695 Nizhny Novgorod, Russia (Dated: 24 August 218) We analyze accuracy of different low-dimensional reductions of the collective dynamics in large populations of coupled phase oscillators with intrinsic noise. Three approximations are considered: (i) the Ott-Antonsen ansatz, (ii) the Gaussian ansatz, and (iii) a two-cumulant truncation of the circular cumulant representation of the original system s dynamics. For the latter we suggest a closure, which makes the truncation, for small noise, a rigorous first-order correction to the Ott-Antonsen ansatz, and simultaneously is a generalization of the Gaussian ansatz. The uramoto model with intrinsic noise, and the population of identical noisy active rotators in excitable states with the uramoto-type coupling, are considered as examples to test validity of these approximations. For all considered cases, the Gaussian ansatz is found to be more accurate than the Ott-Antonsen one for high-synchrony states only. The two-cumulant approximation is always superior to both other approximations. Synchrony of large ensembles of coupled elements can be characterised by the order parameters the mean fields. Quite often the evolution of these collective variables is surprisingly simple, what makes a description with only a few order parameters feasible. Thus, one tries to construct accurate closed low-dimensional mathematical models for the dynamics of the first few order parameters. These models represent useful tools for gaining insight into the underlaying mechanisms of some more sophisticated collective phenomena: for example, one describes coupled populations by virtue of coupled equations for the relevant order parameters. A regular approach to the construction of closed low-dimensional systems is also beneficial for dealing with phenomena, which are beyond the applicability scope of these models; for instance, with such an approach, one can determine constrains on clustering in populations. There are two prominent types of situations, where the low-dimensional models can be constructed: (i) for a certain class of ideal paradigmatic systems of coupled phase oscillators, the Ott-Antonsen ansatz yields an exact equation for the main order parameter; (ii) the Gaussian approximation for the probability density of the phases, also yielding a low-dimensional closure, is frequently quite accurate. In this paper, we compare applications of these two model reductions for situations, where neither of them is perfectly accurate. Furthermore, we construct a new reduction approach which practically works as a first-order correction to the best of the two basic approximations. I. INTRODUCTION Models of globally coupled oscillators are relevant for many applications in physics, engineering, living and social systems 1 6. The main effect here is synchronization, i.e. appearance of a nontrivial mean field due to interactions. This effect can be viewed as a nonequilibrium phase transtion, where the appearing ordered synchronized state is described by a set oforderparameters. The famous uramoto model of coupled phase oscillators is a paradigmatic example for the synchronization transition, it is completely solvable in the thermodynamic limit of an infinite population. The properties of the transition are also quite well understood if additionally to the coupling, the oscillators are subject to independent noise terms. A description of globally coupled noisy oscillators can be reduced, in the thermodynamic limit of large ensemble, to a nonlinear Fokker-Planck equation (or to a Liouville equation in the noiseless case), which is a system with an infinite number of degrees of freedom. If one wants not simply find the stationary solutions, but to follow the evolution of the distributions, the problem of the reduction of the infinite-dimensional system to several essential degrees of freedom arises. This closure problem is in the focus of this paper. We will discuss and compare three variants of the reduction to a few global modes: (i) the Ott-Antonsen ansatz 7, (ii) the Gaussian ansatz, recentlyconsideredbyhannayet al. 8 onthe basis of previous works 9 11, and (iii) the circular cumulant approach suggested in Ref. 12. Neither of these approaches is exact for a population of coupled noisy oscillators, but they provide quite good approximations of the observed regimes. We will compare their accuracy for different ranges of parameters.

2 2 II. BASIC MODELS Our basic model is a population of phase oscillators ϕ k (t) with intrinsic noise: ϕ k = ω k +Im(2h(t)e iϕ k )+ Dη k (t). (1) Here natural frequencies ω k have a Lorentzian (Cauchy) distribution g(ω) = γ/[π((ω ω ) 2 + γ 2 )], and γ is the distribution half-width. Parameter D is the noise intensity,termsη k areindependentnormalizedwhitegaussian random forces: η k (t)η m (t ) = 2δ km δ(t t ), η k =. The coupling is determined by the complex force h, common for all oscillators. For the uramoto setup, this force is proportional to the mean field which is just the uramoto order parameter of the population h = 2 Z 1, Z 1 = e iϕ = 1 N N e iϕj. j=1 The uramoto model for noisy oscillators thus reads The quantities z n are the local order parameters at a given frequency, the global uramoto-daido order parameters are obtained by the additional averaging over the distribution of the natural frequencies: Z n = dωg(ω)z n. (6) The main order parameter Z 1 is employed in the definition of the forces h in the two models we study in this paper. Below we consider only the Lorentzian distribution g and adopt the assumption by Ott and Antonsen 7 on the analyticity of z n (t,ω) as a function of complex ω in the upper half-plane. This allows for calculating the global uramoto-daido order parameters via residues as Z n = z n (ω +iγ). In this way, one obtains an infinite system of equations for Z n : Ż n = n(iω γ)z n +nhz n 1 nh Z n+1 n 2 DZ n. (7) ϕ k = ω k + N N sin(ϕ j ϕ k )+ Dη k (t). (2) j=1 Notice that Z 1. The case of identical oscillators corresponds to γ =. With a slight modification of the common force h, namely h = a Z 1, one obtains the equations for a population of noisy active rotators with the uramoto-type coupling, treated in Ref. 9 : ϕ k = ω k asinϕ k + N N sin(ϕ j ϕ k )+ Dη k (t). (3) j=1 Models (2) and (3) are the basic systems we consider below. III. MODE EQUATIONS In the thermodynamic limit N, starting from the Langevin equations (1), one can write for the distribution density of the subpopulation of the oscillators with natural frequency ω the Fokker-Planck equation w(ϕ, t ω) t = ϕ [ Im(2h(t)e iϕ )w ] +D 2 ϕ2w. (4) This equation can be rewritten as an infinite system for the complex amplitudes of the Fourier modes z m = π π dϕw(ϕ,t ω)e imϕ of the density w(ϕ,t ω) = (2π) 1 m z m(t,ω)e imϕ : ż n = niωz n +nhz n 1 nh z n+1 n 2 Dz n. (5) IV. FINITE-DIMENSIONAL REDUCTIONS As we discussed above, it is desirable to reduce, at least approximately, the infinite system (7) to a finitedimensional one, and, in what follows, we discuss three ways to accomplish this. A. Ott-Antonsen reduction Here one assumes, following Ref. 7, that all the higher order parameters can be expressed via the first one according to Z n = (Z 1 ) n. (8) This reduces the system (7) to just one equation Ż 1 = (iω γ)z 1 +h h Z 2 1 DZ 1. (9) The Ott-Antonsen(OA) reduction works exactly for D =, where it defines the so-called OA invariant manifold. This manifold corresponds to the probability density being the wrapped Cauchy distribution of the phases. B. Gaussian reduction Recently, on the basis of the analysis of some experimental data, another representation of the higher order parameters through the first one was suggested 8 : Z m = Z 1 m2 m Z m 1. (1)

3 3 Equivalently, if we introduce the amplitude and the argument of the uramoto order parameter Z 1 = R 1 e iψ, with R 1 = exp[ s 2 /2], we can rewrite (1) as Z m = R m2 1 eimψ = e 1 2 m2 s 2 e imψ. (11) This relation means that the corresponding probability density of the phases is the wrapped Gaussian distribution. Substitution of (1) into Eq. (7) for n = 1 yields 8 Ż 1 = (iω γ)z 1 +h h Z 1 2 Z 2 1 DZ 1. (12) C. Cumulant reduction Recently, we suggested 12 a generalization of the OA approach in terms of the circular cumulants κ n, determined via the power series of the cumulant-generating function defined as Ψ(k) = k k exp(keiϕ ) κ n k n. (13) n=1 For example, the first three circular cumulants are: κ 1 = Z 1, κ 2 = Z 2 Z1 2, and κ 3 = (Z 3 3Z 2 Z 1 +2Z1 3)/2. The OA solution corresponds to the situation where only the first cumulant is non-zero: κ 1 = Z 1, κ n>1 =. In the case of the wrapped Gaussian distribution, Eq. (11) yields (for n 1) { ( n) n 2 κ n = (n 1)! e inψ s 2(n 1)( 1+O(s 2 ) ) for s 2 1, ( ( 1) n 1 Z1 n 1+O(Z 2 1 ) ) for s 2 1. (14) The infinite-dimensional system for the circular cumulants κ n, equivalent to equations (7), reads 12 κ n = n(iω γ)κ n +hδ 1n h (n 2 κ n+1 +n n 1 κ n m κ m+1 ) m= D(n 2 κ n +n n 2 κ n 1 m κ m+1 ). m= (15) In Ref. 12, this infinite system was analysed in the case of small noise intensity D, and was shown to generate, as a perturbation of the OA solution, the hierarchy κ n D n 1 forn 2. Afirst-ordercorrectiontotheOAansatz requires the cumulant κ 2 to be taken into account; from system (15) only two equations remain: Ż 1 = (iω γ)z 1 +h h (Z 2 1 +κ 2) DZ 1, κ 2 = 2(iω γ)κ 2 4h (κ 3 +Z 1 κ 2 ) D(4κ 2 +2Z 2 1 ). (16) To close these equations, one needs to specify κ 3. The representation of κ 3 with maintaining the first order accuracycan be performed in severalways. In Ref. 12, κ 3 was set to zero. On the other hand, any substitution κ 3 = constκ 2 2/Z 1 yields the same first order accuracy for system (16), since it obeys the hierarchy κ n D n 1. The Gaussian case (14) can be treated within the framework of the untruncated system (16). For the case of high synchrony, Eq. (14) with s 2 1 yields κ 3 = 3 κ2 2. (17) 2 Z 1 Hence, the two-cumulant truncation with substitution (17) provides a first-order correction to the OA ansatz and, simultaneously, can represent the wrapped Gaussian distribution of ϕ if it is to be formed in the original system under high synchrony. We stress that the closure (17) should not be used in situations, where Z 1 is close to zero while κ 2 is not small. It is instructive to visualize the perturbation of the OA probability density corresponding to one nonvanishing second circular cumulant κ 2. With two nonvanishing cumulants, the moment-generating function is F(k) = [ Z m (t) km m! = exp k 2 ] kz 1 +κ 2. 2 m= Assuming smallness of κ 2, we approximate it as F(k) k (1+κ )exp[kz 1], and obtain for the moments Z m = Z1 m + m(m 1) 2 κ 2 Z1 m 2. Summation of the Fourier series with these Fourier coefficients yields w(ϕ) = w OA (ϕ) + w C (ϕ), where w OA (ϕ) = 1 Z 1 2 2π e iϕ Z 1 2 is the wrapped Cauchy distribution corresponding to the OA ansatz, and [ ] π 1 κ 2 e iϕ w C (ϕ) = Re (e iϕ Z 1 ) 3. is the correction corresponding to a nonvanishing second cumulant. We illustrate the perturbation of the probability density in Fig. 1. We depict the OA-density relative to the argument of the order parameter, by using ϑ = ϕ arg(z 1 ). One can see that the perturbation is localized close to the maximum of the unperturbed density w OA ; its exact position depends on the difference of the arguments of the two cumulants involved Θ = arg(κ 2 ) 2arg(Z 1 ). V. ACCURACY OF DIFFERENT APPROXIMATIONS Above we have outlined three possible finite-dimensional descriptions of the noisy interacting population: Eqs. (9), (12), and (16,17). The OA equation (9) is exact for noiseless populations D =. The Gaussian ansatz (12) is exact for noisy oscillators without coupling h =. The two-cumulants approximation (16,17) reduces to the OA ansatz for D = if one sets κ 2 =, and in fact is the first-order correction in the noise intensity D; we will use it, however, for large values of D as well.

4 4 Θ = Θ = π/3 Θ = 2π/3 ϑ = ϕ ψ FIG. 1. The normalized perturbation of the phase distribution w C/ κ 2 (solid lines, right axis) is compared to the OA distribution w OA for Z 1 =.4 (black dashed line, left axis). D= ( cr )/ cr D= ( cr )/ cr D= ( cr )/ cr D= ( cr )/ cr For the ensemble of identical oscillators (γ = ) in a steady state, where h = const (in a rotating reference frame, if necessary), the stationary distribution of phases according to (4) is the von Mises distribution w = [ exp 2 h D cos( ϕ arg(h) )] 2πI (2 h /D), FIG. 2. The accuracy of solutions for the noisy uramoto ensemble vs coupling strength is plotted with blue squires for the Ott-Antonsen ansatz (18), red diamonds for the Gaussian approximation (19), and black circles for the two-cumulant truncation(2). Bold solid lines: the exact solution for the order parameter R 1. Parameters are rescaled so that γ+d = 1: noise intensity D is specified in plots, cr = 2(γ + D) = 2. The case of vanishing intrinsic noise corresponds to D =, the case of identical natural frequencies (or extremely strong noise) corresponds to D = 1. where I ( ) is the modified Bessel function of order. In the case h D, it is close to the wrapped Gaussian distribution; thus, one expects that the Gaussian approximation will provide an accurate steady state in this limit. Simultaneously, this is the case of high synchrony, where substitution (17) is relevant. Below we compare the accuracy of the steady states according to the three approximations outlined, for the uramoto model (2) and the active rotator model (3). A. uramoto model The uramoto model for noisy oscillators (2) contains three parameters: γ, D, and. However, by virtue of a time normalization, one can get rid of one parameter. The critical coupling for the onset of synchronization is cr = 2(γ + D). Thus, it is convenient to choose γ = 1 D, so that the critical coupling is cr = 2. First, we calculated the exact steady state of system (15) by solving it with 2 cumulants taken into account. Then we found the steady solutions of approx- imations (9), (12), (16,17) R1 2 = 1 cr, (18) R1 2 = 1 cr, (19) R1 2 = 2 3 cr 4( 2 cr )( 2D)+cr 2, (2) 2 respectively. The deviations from the exact state are shown in Fig. 2. One can see, that the Gaussian approximation yields better accuracy than the OA ansatz only for strong noise (D =.99, we remind that according to the normalization adopted D 1) and strong coupling. The two-cumulant approximation is the best one in all situations. Close to the synchronization threshold cr, the inaccuracy of the Gaussian approximation reaches.2 and exceeds the value of order parameter R 1, while the inaccuracy of R 1 with the OA ansatz is always reasonably small. As the two-cumulant approximation is based on the correction to the OA one, the former is always superior to the latter. One can also see, that the Gaussian approximation is accurate where the synchrony is high, which is also suggested by the von Mises distribution with h D. Noteworthy, for high synchrony,

5 5 D= D=1 1 1 D= D=1 1 1 log 1 (Rn) n (a) (b) (c) log 1 (æn) -5 log 1 (Rn) n log 1 (æn) -8 log 1 (Rn) n FIG. 4. The scaling law for the uramoto-diado order parameters R n (circles) and the hierarchy of smallness for the circular cumulants κ n (squares) are plotted for the noisy uramoto system with D =.75, γ =.25, = 3 cr (a) and the population of active rotators with ω = 1, a = 3, = 1, γ =, D =.1 (b) and D = 1 (c). The solutions of system (15) are calculated with 2 cumulants. Dotted lines show the trends R n R n2 1 and κ n s 2(n 1). log 1 (æn) -3 FIG. 3. The difference between the exact steady-state solution for the population of noisy active rotators with uramoto-type coupling (3) and different approximations vs the coupling strength. Blue squares: the OA ansatz (9); red diamonds: the Gaussian ansatz (12); black circles: the twocumulant reduction (16) with closure (17). Bold solid lines: theorderparameter R 1 for theaccurate solution. Parameters: ω = 1, a = 3, noise intensity D is specified in the panels. the two-cumulant approximation with closure (17) contains the Gaussian distribution as an admissible particular case. Moreover, the two-cumulant truncation employs the Gaussian scaling only in the expression for the third cumulant κ 3, while the second cumulant κ 2 is allowed to deviate from the value dictated by the first cumulant Z 1 for the Gaussian distribution. Hence, this truncation also encompasses a first-order correction for the case of Gaussian approximation under high synchrony. Being not less accurate than the first-order corrections to both the OA and Gaussian reductions, the two-cumulant reduction becomes superior to them for the uramoto model with intrinsic noise. B. Active rotators model A population of active rotators with the uramototype coupling (3) can exhibit diverse regimes of collective dynamics, depending on parameter values 9. Following Ref. 9, we consider identical elements (γ = ) and focus on the case which is impossible for the uramoto ensemble: an excitable state of individual elements, a > ω. Noteworthy, in this case the synchrony imperfectness is owned solely by intrinsic Gaussian noise. For all the cases presented in Figs. 3 and 4, the accurate solution is calculated from system (15) with 2 cumulants. In Fig. 3, we evaluate accuracy of approximations (9), (12), and (16,17). For high synchrony (which is observed for a weak noise), the Gaussian approximation is more accurate than the OA one. The two-cumulant approximation always provides much better accuracy than both the OA and the Gaussian ones. C. Testing scaling laws In Fig. 4 we test how well the scaling laws(8) and (1), whichlieatthe basisofthe OAandthe Gaussianapproximations, are valid. To check the OA ansatz (8), we plot thevaluesofthecumulants: thecumulantsκ n withn 2 should vanish if the OA ansatz is exact. To check the Gaussian approximation, we compare the n-dependence of R n = Z n with a parabola. Panel Fig. 4(a) shows the scaling for the uramoto model. One can see that although high-order cumulants do not vanish, there is a gap between the first and the second cumulants. This means that the OA ansatz is relatively good, but can be definitely improved by taking into account the second cumulant. The Gaussian approximation is valid for small n 7 only. Panels Fig. 4(b,c) show the cumulants and the moments for the active rotator model. In panel (b) we illustrate the situation where the Gaussian approximation is superior to the OA one. One can see that the system practically perfectly obeys the n 2 -scaling law for R n. On the other hand, the gap between the first and the second cumulants is not large, which means that the OA ansatz is poor (see Fig. 3 for D =.1, = 1); the inaccuracy of the OA solution is compatible to the deviation of R 1 from 1. The case in panel (b) is the case of high synchrony. The plots in panel (c) are similar to those in panel (a); here only a few first values R n follow the n 2 -scaling law (1). On the other hand, the gap between the first and the second cumulants is present, and the OA ansatz becomes acceptably accurate (see Fig. 3 for D = 1, = 1); here the inaccuracy of the OA solution is one order of magnitude smaller than the deviation of

6 6 R 1 from 1. Remarkably, in all the cases one observes that higher cumulants decayexponentially κ n exp[ constn]. This law has been derived in Ref. 12 for small D only; here we see that it is valid for moderate and strong noise as well. For astrongnoise, there is asmall parameter(1/d) which can serve for a hierarchy in the system, κ n+1 (1/D)κ n. For a moderate noise strength, there is no small parameter, but nevertheless, a hierarchy is present. VI. CONCLUSION We have compared three low-dimensional approximations describing the dynamics of large populations of noisy phase oscillators (or active rotators) with global sine-coupling. As prototypic examples, we have chosen the standard uramoto model and the active rotator model in the excitable state regime. For high synchrony, the Gaussian approximation is more accurate than the Ott-Antonsen one. We have also suggested a novel twocumulant truncation within the framework of the circular cumulant formalism. For this truncation we used the closure according to κ 3 = (3/2)κ 2 2/κ 1, which corresponds to the Gaussian reduction under high synchrony. By construction, this truncation is simultaneously a first-order correction to the Ott-Antonsen ansatz, and comprises the wrapped Gaussian distribution of phases, where the latter can be formed. In all the cases considered, this two-cumulant approximation is significantly superior to the two other approximations. Remarkably, even for the cases, where R n nearly perfectly follows the n 2 -scaling law, the two-cumulant approximation enhances the accuracy of the Gaussian one, by a few orders of magnitude. Generally, a high synchrony is not a sufficient condition for applicability of the Gaussian ansatz. In this paper, our analysis has been restricted to the situations of synchronization by coupling. However, for synchronization by a common noise 13 15, in nonideal situations (i.e., with intrinsic noise and/or nonidentity of elements), it is known that the phase distribution possesses heavy power-law tails even in the limit of high synchrony 16,17. For such systems, the Gaussian ansatz is never natural. ACNOWLEDGMENTS The authors thank M. Zaks for fruitful discussions and Z. Levnajic for bringing paper 8 to our attention. Work of A.P. on Secs. II, III, V.C was supported by Russian Science Foundation (Grant Nr ). Work of D.S.G. and L.S.. on Secs. IV, V.A-B was supported by Russian Science Foundation (Grant Nr ). 1 A. Pikovsky, M. Rosenblum, and J. urths, Synchronization: A Universal Concept in Nonlinear Sciences (Cambridge University Press, Cambridge, 21, 23). 2 S. Strogatz, Sync (Hyperion, 23). 3 G. Filatrella, A. H. Nielsen, and N. F. Pedersen, Analysis of a power grid using a uramoto-like model, Eur. Phys. J. B 61, (28). 4 A. T. Winfree, The Geometry of Biological Time (Springer, 21). 5 J. A. Acebrón, L. L. Bonilla, C. J. P. Vicente, F. Ritort, and R. Spigler, The uramoto model: A simple paradigm for synchronization phenomena, Rev. Mod. Phys. 77, (25). 6 A. Pikovsky and M. Rosenblum, Dynamics of globally coupled oscillators: progress and perspectives, Chaos 25, (215). 7 E. Ott and T. M. Antonsen, Low dimensional behavior of large systems of globally coupled oscillators, Chaos 18, (28). 8. M. Hannay, D. B. Forger, and V. Booth, Macroscopic models for networks of coupled biological oscillators, Sci. Adv. 4, e17147 (218). 9 M. A. Zaks, A. B. Neiman, S. Feistel, and L. Schimansky-Geier, Noise-controlled oscillations and their bifurcations in coupled phase oscillators, Phys. Rev. E 68, 6626 (23). 1 B. Sonnenschein and L. Schimansky-Geier, Approximate solution to the stochastic uramoto model, Phys. Rev. E 88, (213). 11 B. Sonnenschein, Th.. DM. Peron, F. A. Rodrigues, J. urths, and L. Schimansky-Geier, Collective dynamics in two populations of noisy oscillators with asymmetric interactions, Phys. Rev. E 91, 6291 (215). 12 I. V. Tyulkina, D. S. Goldobin, L. S. limenko, and A. Pikovsky, Dynamics of Noisy Oscillator Populations beyond the Ott- Antonsen Ansatz, Phys. Rev. Lett. 12, (218). 13 A. S. Pikovskii, Synchronization and stochastization of array of self-excited oscillators by external noise, Radiophys. Quantum Electron. 27, 39 (1984). 14 J. N. Teramae and D. Tanaka, Robustness of the Noise-Induced Phase Synchronization in a General Class of Limit Cycle Oscillators, Phys. Rev. Lett. 93, 2413 (24). 15 D. S. Goldobin and A. S. Pikovsky, Synchronization of periodic self-oscillations by common noise, Radiophys. Quantum Electron. 47, 91 (24). 16 D. S. Goldobin and A. Pikovsky, Synchronization and desynchronization of self-sustained oscillators by common noise, Phys. Rev. E 71, 4521(R) (25). 17 A. V. Pimenova, D. S. Goldobin, M. Rosenblum, and A. Pikovsky, Interplay of coupling and common noise at the transition to synchrony in oscillator populations, Sci. Rep. 6, (216).