Abstract
Synchronization occurs in many natural and technological systems, from cardiac pacemaker cells to coupled lasers. In the synchronized state, the individual cells or lasers coordinate the timing of their oscillations, but they do not move through space. A complementary form of selforganization occurs among swarming insects, flocking birds, or schooling fish; now the individuals move through space, but without conspicuously altering their internal states. Here we explore systems in which both synchronization and swarming occur together. Specifically, we consider oscillators whose phase dynamics and spatial dynamics are coupled. We call them swarmalators, to highlight their dual character. A case study of a generalized Kuramoto model predicts five collective states as possible longterm modes of organization. These states may be observable in groups of sperm, Japanese tree frogs, colloidal suspensions of magnetic particles, and other biological and physical systems in which selfassembly and synchronization interact.
Introduction
This year marks the fiftieth anniversary of a breakthrough in the study of synchronization. In 1967, Winfree proposed a coupled oscillator model for the circadian rhythms that underlie daily cycles of activity in virtually all plants and animals^{1}. He discovered that above a critical coupling strength, synchronization breaks out spontaneously, in a manner reminiscent of a phase transition. Then Kuramoto simplified Winfree’s model and solved it exactly^{2}, leading to an explosion of interest in the dynamics of coupled oscillators^{3,4,5}. Kuramoto’s model in turn has been generalized to other large systems of biological oscillators, such as chorusing frogs^{6}, firing neurons^{7,8,9,10,11}, and even human concert audiences clapping in unison^{12}. The analyses often borrow techniques from statistical physics, such as meanfield approximations, renormalization group analyses^{13,14}, and finitesize scaling^{15,16}. There has also been traffic in the other direction, from biology back to physics. For example, insights from biological synchronization have shed light on neutrino oscillations^{17}, phase locking in Josephson junction arrays^{18}, the dynamics of power grids^{19,20}, and the unexpected wobbling of London’s Millennium Bridge on opening day^{21}.
A similarly fruitful interplay between physics and biology has occurred in the study of the coordinated movement of groups of animals. Fish schools, bird flocks, and insect swarms^{22,23,24,25,26} have been illuminated by maximum entropy methods^{27}, agentbased simulations^{28}, and analytically tractable models based on selfpropelled particles^{29}, and continuum limits^{30,31,32,33}.
Studies of swarming and synchronization have much in common. Both involve large, selforganizing groups of individuals interacting according to simple rules. Both lie at the intersection of nonlinear dynamics and statistical physics. Nevertheless the two fields have, by and large, remained disconnected. Studies of swarms focus on how animals move, while neglecting the dynamics of their internal states. Studies of synchronization do the opposite: they focus on oscillators’ internal dynamics, not on their motion. In the past decade, however, a few studies of “mobile oscillators,” motivated by applications in robotics and developmental biology, have brought the two fields into contact^{34,35,36,37,38}. Even so, the assumption has been that the oscillators’ locations affect their phase dynamics, but not conversely. Their motion has been modeled as a random walk or as externally determined, without feedback from the oscillators’ phases.
We suspect that somewhere in nature and technology there must be mobile oscillators whose phases affect how they move. For instance, many species of frogs, crickets, and katydids call periodically, and synchronize in vast choruses^{6,39,40,41}. The natural question is whether they tend to hop toward or away from others depending on the relative phases of their calling rhythms, and if so, what spatiotemporal patterns are produced.
A clue comes from the physics of magnetic colloids^{42,43,44} and microfluidic mixtures of active spinners^{45,46}, both of which show rich collective behavior. In these systems, the particles or spinners attract or repel one another, depending on their orientations. Given that orientation is formally analogous to the phase of an oscillation (both being circular variables), a similarly rich phenomenology is expected for mobile oscillators whose phases affect their motion. We call these hypothetical systems ‘swarmalators’ because they generalize swarms and oscillators.
One possible instance of a swarmalator system is a population of myxobacteria, modeled in 2001 by Igoshin and colleagues^{47}. The movements of these bacteria in space are thought to be influenced by an internal, biochemical degree of freedom, which appears to vary cyclically. Igoshin et al.^{47} modeled it as a phase oscillator. Experimental evidence suggests that the evolution of this phase is influenced by the spatial density of neighboring cells; thus there appears to be a bidirectional coupling between spatial and phase dynamics, as required of swarmalators.
Tanaka and colleagues also made an early contribution to the modeling of swarmalators^{48,49}. They analyzed a broad class of models in the hope of finding phenomena which were not systemspecific. They considered chemotactic oscillators, whose movements in space are mediated by the diffusion of a background chemical. The oscillators’ consumption of this chemical depends on their internal states, thereby completing the bidirectional spacephase coupling. Tanaka et al.^{48,49} began with a general model with these ingredients, from which they derived a simpler model by means of center manifold and phasereduction methods.
Here we take a bottomup approach. We propose a simple model of a swarmalator system which lets us study some of its collective states analytically. We hope our work will draw attention to this class of problems, and stimulate the discovery and characterization of natural and technological systems of swarmalators.
Results
The model
We consider swarmalators free to move in the plane. The governing equations are
for i = 1, …, N, where N is the population size, x _{ i } = (x _{ i }, y _{ i }) is the position of the ith swarmalator, and θ _{ i }, ω _{ I }, and v _{ i } are its phase, natural frequency, and selfpropulsion velocity. The functions I _{att} and I _{rep} represent the spatial attraction and repulsion between swarmalators, while the phase interaction is captured by H _{att}. The function F in Eq. (1) measures the influence of phase similarity on spatial attraction, while G in Eq. (2) measures the influence of spatial proximity on the phase attraction.
Consider the following instance of this model:
For simplicity, we chose power laws for I _{att}, I _{rep}, and G along with analytically convenient exponents. The sine function in H _{att} was similarly motivated, in the spirit of the Kuramoto model^{2}. We first consider identical swarmalators so that ω _{ i } = ω and v _{ i } = v. Further, we assume propulsion with constant magnitude and direction \({\bf{v}} = v_0\hat n\) where \(\hat n\) is a constant vector (we relax these simplifications later). Then by a choice of reference frame we can set ω = v _{0} = 0 without loss of generality. Finally, by rescaling time and space we set A = B = 1. This leaves us with a system with two parameters (J, K).
The parameter K is the phase coupling strength. For K > 0, the phase coupling between swarmalators tends to minimize their phase difference, while for K < 0, this phase difference is maximized. The parameter J measures the extent to which phase similarity enhances spatial attraction. For J > 0, “like attracts like”: swarmalators prefer to be near other swarmalators with the same phase. When J < 0, we have the opposite scenario: swarmalators are preferentially attracted in space to those with opposite phase. And when J = 0, swaramalators are phaseagnostic, their spatial attraction being independent of their phase. To keep I _{att} > 0, we constrain J to satisfy −1 ≤ J ≤ 1.
Before stating our results, we pause to discuss our model’s features. As mentioned above, the model’s purpose is to study the interplay between synchronization and swarming. Let us clarify what we mean by swarming. While, to our knowledge, there is no unanimous classification, elements of a swarming system typically attract and repel each other, leading to aggregation, and align their orientations so as to move in the same direction. Succinctly then, a swarming system models aggregation and/or alignment.
Our model accounts for aggregation, but not for alignment: the spatial dynamics (1) model phasedependent aggregation, while the phase dynamics (2) model positiondependent synchronization. There are no alignment terms. Indeed, the particles of our system do not have an orientation so there is nothing to align! We chose to neglect an orientation state variable, and thus alignment, for two reasons. The first was simply because we believe there are swarmalator systems in which orientation does not play a role, such as the Japanese tree frogs^{6,41} or chemotactic oscillators^{48,49}. The second was that modeling orientable swarmalators adds an additional layer of complexity; it gives each swarmalator an orientation β, increasing the number of state variables per swarmalator from three (a twodimensional position (x, y) and an internal phase θ) to four.
In the interest of minimalism we wished to avoid this complication for now. Hence as it stands our model applies only to swarmalators without an orientation. However we later show that our results are robust to the inclusion of simple alignment dynamics, indicating their potential to hold for systems of orientable swarmalators as well.
Numerics
We performed numerical experiments to probe the behavior of our system. Unless otherwise stated, the simulations were run using python’s ODE solver ‘odeint’. We initially positioned the swarmalators in a box of length 2 and drew their phases from [−π, π], both uniformly at random. We found the system settles into five states (Supplementary Movies 1–5). In three of these states, the swarmalators are ultimately static in space and phase. In the remaining two, the swarmalators move. However in all states, the density of swarmalators ρ(x, θ, t) is timeindependent, where ρ(x, θ, t)d x dθ gives the fraction of swarmalators with positions between x and x + d x, and phases between θ and θ + dθ at time t. In Fig. 1 we show where these states occur in the (J, K) parameter plane. In Figs. 2–6 we show their key properties. We next discuss these five states.
Static synchrony: The first state is shown in Fig. 2a. The swarmalators form a circularly symmetric, crystallike distribution in space, and are fully synchronized in phase, as indicated by all of them having the same color in Fig. 2a. Since the swarmalators are ultimately stationary in x, and they all end up at the same phase θ, we call this the ‘static sync’ state. It occurs for K > 0 and for all J, as seen in Fig. 1.
In the continuum limit, this state is described by ρ(r, ϕ, θ, t) = \(\frac{1}{{2\pi }}\) g _{1}(r)δ(θ − θ _{0}), where ϕ is the spatial angle \(\phi = {\rm{tan}}^{  1}(y{\rm{/}}x)\), and the final phase θ _{0} is determined from the initial conditions. In Supplementary Note 1 we used a technique by Kololnikov et al.^{50} when studying swarms to derive the following pair of integral equations for g _{1}:
where \({\cal K},{\cal E}\) are the complete elliptic integral of the first and second kinds, and R is the radius of the disk in the (x, y) plane which must be determined. We were unable to solve these equations for g _{1}(r) and R, so instead solve them numerically, and show the results in Supplementary Note 1. Analytic progress can however be made if a linear attraction kernel I _{att}(x) = x, is used instead of the unit vector kernel we are currently considering. Then, as shown in Kolokolnikov et al.^{50}, the radial density becomes g _{1}(r) = 1, i.e., swarmalators are uniformly distributed. In this special case we can also calculate R analytically,
We show a full derivation in the Methods section. In dimensionful units, this reads \(R = \sqrt {B{\rm{/}}(A + J)} \). Thus the radius is determined by the ratio of the strengths of the attractive to the repulsive forces I _{att}, I _{rep} (in the static sync state, the effective attraction force is A + J cos(θ _{ j } − θ _{ i }) = A + J, since all swarmalators have the same phase). Figure 4a shows the prediction (7) agrees with simulation results.
Static asynchrony: Swarmalators can also form a static async state, illustrated in Fig. 2b. At any given location x, all phases θ can occur, and hence all colors are present everywhere in Fig. 2b. This is seen more clearly in a scatter plot of the swarmalators in the (ϕ, θ) plane, depicted in Fig. 3a. Notice that the swarmalators are distributed uniformly, meaning that every phase occurs everywhere. This completely asynchronous state occurs in the quadrant J < 0, K < 0, and also for J > 0 as long as J lies in the wedge \(J < \left {K_{\rm c}} \right\) shown in the phase diagram in Fig. 1. As for the static sync state, we were able to calculate the radius of the circular distribution when a linear attraction kernel I _{att}(x) was used. In the Methods section we show this radius is given by
which agrees with simulation as shown in Fig. 4a.
Static phase wave: The final stationary state occurs for the special case K = 0 and J > 0. This means the swarmalators’ phases are frozen at their initial values. Still, the population evolves by rearranging itself in space. Since J > 0, ‘like attracts like’: swarmalators want to settle near others with similar phase. The result is an annular structure where the spatial angle ϕ of each swarmalator is perfectly correlated with its phase θ, as seen in Figs. 2c and 3b. Since the phases run through a full cycle as the swarmalators arrange themselves around the ring, we call this state the ‘static phase wave’.
In density space, this static phase wave state is described by ρ(r, ϕ, θ) = g _{2}(r)δ(ϕ ± θ + C _{1}) where the ± and the constant C _{1}, are determined by the initial conditions. In the Methods section we again consider the linear attraction kernel, and find that g _{2}(r) can be obtained analytically,
with \({\rm{\Gamma }}_J = 2J\left( {R_2^3  R_1^3} \right)\left( {3J\left( {R_2^2  R_1^2} \right) + 12} \right)^{  1}\). This in turn lets us calculate the inner and outer radii R _{1}, R _{2} of the annulus:
with \({\it{\Delta }}_J = \sqrt {\frac{{3J  \sqrt {36  15J} \sqrt {J + 4}  12}}{{J  2}}} \). Figure 3b shows agreement between these predictions and simulation.
Splintered phase wave: Moving from K = 0 into the K < 0 halfplane, we encounter the first nonstationary state, shown in Figs. 3c and 5a. As can be seen, the static phase wave splinters into disconnected clusters of distinct phases. Accordingly we call this state the ‘splintered phase wave’. It is unclear what determines the number of clusters. Fewer are found when smaller length scales for the interaction functions I _{att}, I _{rep}, G are used. However the parameters J, K also play a role, although how precisely has not yet been determined. Within each cluster, the swarmalators “quiver,” executing small amplitude oscillations in both position and phase about their mean values.
Active phase wave: As K is further decreased, these oscillations increase in amplitude until the swarmalators start to execute regular cycles in both spatial angle and phase. This motion is best illustrated in Fig. 3d, in which shear flow about the ϕ _{ i } = θ _{ i } ± C axis is evident. This type of flow follows from a conserved quantity in the model: \(\left\langle {\dot \phi } \right\rangle = \left\langle {\dot \theta } \right\rangle = 0\), which can be seen by averaging Eqs. (3) and (4) over the population. There are also oscillations in the radial position, where each swarmalator travels from the inner rim to the outer rim and back, in one orbit around the annulus.
This new, and final, state is similar to the double milling states found in biological swarms^{51}, where populations split into counterrotating subgroups. It is also similar to the vortex arrays formed by groups of sperm^{52}, where the angular position ϕ of each sperm is correlated with the phase θ associated with the rhythmic beating of its tail.
At the density level, the state is like a blurred version of the static phase wave, insofar as the spatial angle and phase of a given swarmalator are roughly correlated, as evident in Fig. 3d. However unlike the static phase wave, the swarmalators are nonstationary. To highlight this difference, we name this state the ‘active phase wave’.
Order parameters
Having described the five states of our system, we next discuss how to distinguish them. We define the following order parameter,
where \(\phi _i: = {\rm{tan}}^{  1}\left( {y_i{\rm{/}}x_i} \right)\). As shown in Fig. 6, the magnitude S _{±} varies from 1 to 0 as we decrease K from 0, passing through all the states in the upper left quadrant of the (J,K) plane. (Note that all states except for static sync occur in this part of parameter space, so we hereafter confine our attention to just this region.)
To see why S _{±} varies in this manner, recall that in the static phase wave, the spatial angle and phase of each swarmalator are perfectly correlated, ϕ _{ i } = ±θ _{ i } + C _{1} (recall that the ± and C _{1} are determined by the initial conditions. This means either S _{+} or S _{−} is nonzero). Therefore S _{±} = 1 at K = 0, where the static phase wave state is realized. Moving into the K < 0 plane we encounter the splintered phase wave. Here the correlation between ϕ _{ i } and θ _{ i } is not perfect, and so S _{±} < 1. As K is decreased the decay of this correlation is nonmonotonic, which induces a dip in S _{±} as seen in Fig. 6. Once the active phase wave is reached however this nonmonotonicity disappears. As a result S _{±} declines uniformly until it finally drops to zero when the static async state is reached, in which ϕ _{ i } and θ _{ i } are fully uncorrelated.
To sum up, S _{±} is zero in the static async state, bifurcates from zero at a critical coupling strength K _{c}, is nonzero in the nonstationary splintered and active phase wave states, and is one in the static phase wave state.
Notice however that since S _{±} is nonzero for both the splintered and active phase wave, it cannot distinguish between these states. To do this, we use another order parameter γ. We define this to be the fraction of swarmalators that have executed at least one full cycle in phase and position, after transients have been discarded. Then γ is zero for the splintered phase wave, and nonzero for the active phase wave. Using γ in concert with S _{±} then allows us to discern all the macroscopic states of our system as illustrated in Fig. 6.
Stability analysis
To calculate the critical coupling strength K _{c} at which the static async state loses stability, we consider perturbations η in density space defined by
where ρ _{0}(x, θ, t) = (4π ^{2})^{−1} g _{1}(r) is density in the static async state. In Supplementary Note 2, we substitute this ansatz into the continuity equation, expand η in a Fourier series, \(\eta ({\bf{x}},\theta ,t) = \mathop {\sum}\nolimits_{n = 0} b_n({\bf{x}},t)e^{in\theta } + c.c.\), and derive evolution equations for the harmonics b _{ n }. We show the critical mode is b _{1}(x, t) (higher modes are zero, and the zeroth mode is stable) which obeys
We next expand in an additional Fourier series: \(b_1(r,\phi ,t) = \mathop {\sum}\nolimits_{m = 0}^\infty f_m(r,t)e^{im\phi } + c.c.\). Substituting this ansatz into (14) leads to a evolution equation for each mode f _{ m }(r, t). We then set \(f_m(r,t) = e^{\lambda _mt}c_m(r)\) and derive the following eigenvalue equation:
where R is the radius of the support of the density in the static async state. We focus first on the zeroth mode f _{0} for which we can compute H _{0}(r, s) analytically:
where \({\cal K},{\cal E}\) are the complete elliptic integral of the first and second kinds. We were unable to solve (16) for λ _{0} analytically. Instead, we found it numerically by approximating the integral using Gaussian quadrature. This reduces (16) to the form λ′c _{ i } = M _{ ij } c _{ j } where M _{ ij } = H _{0}(r _{ i }, r _{ j })w _{ j }, w _{ j } are Gaussian quadrature weights, \({r_i}=i \ast ( {R} / {N \prime} )\) and i = 1…N′. The eigenvalues \(\lambda _0^\prime \left( {N{\prime}} \right)\) of M _{ ij }, which depend on the number of grid points N′ used in the quadrature, then approximate λ _{0}.
The eigenvalues \(\lambda _0^\prime \left( {N{\prime}} \right)\) have unexpected properties. The real part of the most unstable eigenvalue, denoted \(\lambda _0^{*\prime }\left( {N{\prime}} \right)\), is positive for all J, K. This tells us that f _{0} is always unstable, which in turn tells us that the static async state is always unstable! In Fig. 7 we plot \(\lambda _0^{*\prime }\left( {N{\prime}} \right)\) vs. K for J = 0.5 and N′ = 200 grid points. As can be seen it is small but positive for sufficiently negative K. Note however that there is a transitionlike point \(K_0^* \approx  0.5\) beyond which \(\lambda _0^{*\prime }\left( {N{\prime}} \right)\) increases sharply. Figure 7 also shows \(\lambda _m^{*{\prime}}\left( {N{\prime}} \right)\) for m = 1, 2, 3, 4, which have the same behavior as \(\lambda _0^{*{\prime}}\left( {N{\prime}} \right)\): they are small but positive for \(K < K_m^*\), and grow sharply for \(K >K_m^*\).
Small but positive eigenvalues for \(K < K_m^*\) were a surprise. We were expecting them to be negative, since simulations show the static async state is stable. We were thus suspicious of these results, and doubted the accuracy of the approximation \(\lambda _0^{*{\prime}}\left( {N{\prime}} \right)\) to the true \(\lambda _0^*\). We therefore repeated the calculation for different values of N′ up to N′ = 1600 in Supplementary Note 2. Contrary to our expectations, we found that while the \(\lambda _m^{*\prime}\left( {N{\prime}} \right)\) got smaller, they consistently remained positive for \(K < K_m^*\).
We also crudely investigated the N′ → ∞ limit in two ways: first, by fitting our data to curves of the form a + b(N′)^{c} and second, by using Richardson extrapolation. Due to the small magnitudes of the \(\lambda _{m}^{*\prime}\left( {N{\prime}} \right)\) however, the results were rather unconvincing. Typical values for the best fit parameter a, which represents the limiting behavior of \(\lambda _m^*\), were \(a\sim 10^{  6}\). The confidence interval for this parameter also contained positive and negative values. On top of that, the approximations from the first and second methods gave inconsistent results. Hence we were unable to reliably determine the sign of \(\lambda _m^{*{\prime}}\) when \(K < K_m^*\) and N′ → ∞, which preventing us from accurately ascertaining the stability of the static async state. We restate however that the fact that \(\lambda _m^{*{\prime}} >0\) for the large but finite value of N′ we used is significant evidence that the unanticipated instability of the static async state is genuine.
While a rigorous determination of the sign of \(\lambda _m^{*{\prime}}\) when \(K < K_m^*\) remains elusive, our analysis certifiably shows its magnitude is very small. Hence, whatever the stability or instability of the mth mode f _{ m } turns out to be, it must be weak. In turn, then, the static async state has weak stability properties for K < K _{c}, where \(K_{\rm c} = {\rm{min}}_mK_m^*\) (i.e., at the point the most unstable f _{ m } loses stability). To find this K _{c} we look for the least stable mode. In Fig. 7 we see the f _{1} becomes unstable first. There are of course an infinite number of modes, but as can be seen, \(\lambda _m^*\) appears to decrease with increasing m. Thus we assume \({\rm{min}}_mK_m^* = 1\). In Supplementary Note 2, we approximate \(K_1^* = {\rm{arg}}{\rm{max}}\frac{{d^2\lambda _1^{*{\prime}}}}{{dK^2}}\), calculate it for different J, and find the following linear relation:
Summarizing our main result: in the continuum limit N → ∞, the static async state is unstable for K > K _{c}, and either weakly stable, neutrally stable, or weakly unstable for K < K _{c}. Further, numerical evidence suggests that the third option, weakly unstable, is the most likely. While this result is perhaps unsatisfying from a technical perspective, in practice it has utility. For example as shown in Fig. 1, the approximation (18) for K _{c} agrees reasonably well with finite N simulations.
Genericity
Our analysis so far has been for the instance (3), (4), of the model defined by (1), (2). This begs the question of whether the phenomena we found are generic to the model, or specific to this instance of the model. To answer this question, we ran simulations for different choices of the functions I _{rep}, I _{att} and G; see Supplementary Note 4.
In all but one case, we found the same phenomena. The exception is when a linear attraction kernel I _{att}(x) = x is used. Here we found new states, which we call ‘nonstationary phase waves’. They are similar to the active phase wave, except now the phase Ψ_{±} of the order parameter W _{±} begins to rotate, reminiscent of the traveling wave states found in the Kuramoto model with distributed coupling strengths^{53,54}. We further discuss this and other properties in Supplementary Note 4.
Noise and disordered natural frequencies
The swarmalators previously considered were identical and noiseless. We now relax these idealizations. Then the governing equations are
where ω _{ i } are random variables drawn from a Lorentzian \(g(\omega ) = (\sigma {\rm{/}}\pi )\left[ {(\omega  \mu )^2 + \sigma ^2} \right]^{  1}\). By a change of frame we set μ = 0, leaving just σ, which quantifies the strength of the disorder. We choose white noise variables η _{ i }(t) and \(\xi _i^{\bf{x}}(t)\) with zero mean and strengths D _{ x }, D _{ y }, D _{ θ } characterized by \(\langle {\xi _i^x(t)\xi _j^x( {t{\prime}} )} \rangle = 2D_x\delta _{ij}\delta ( {t  t{\prime}} )\), etc.
Simulations show that when just phase noise D _{ θ } is turned on, noisy versions of all the states are realized. The splintered phase wave however degenerates into the active phase wave for all but the smallest noise D _{ θ } ≳ 10^{−3}. In the remaining states, the spatial densities remain compact supported with the same radii, except now the swarmalators have noisy phase motion (this induces some spatial movement, which disappears when N → ∞ as we show in Supplementary Note 3). Hence the following states, where we have swapped the descriptor ‘static’ with ‘noisy’, are robustly realized when D _{ θ } > 0: noisy phase wave, active phase wave, noisy async.
Frequency disorder σ > 0 has a more serious effect. Since g(ω) is symmetric about zero, there are equal numbers of swarmalators with oppositely signed natural frequencies. This turns the static/noisy phase wave into the active phase wave, in the sense that counterrotating groups develop. This is not seen in the async state. Here, there are noisy spatial movements which vanish as N → ∞, as in the noisy async state. In contrast however, the swarmalators execute noisy, but full, phase cycles. To highlight this distinction, we rename the state the active async state. The states realized are then the active phase wave and the active async.
Finally spatial noise D _{ x }, D _{ y } > 0 simply blurs the spatial densities of the states. No other phenomena are induced. Hence when D _{ θ }, σ, D _{ x }, D _{ y } > 0, we again get the active phase wave and active async states.
In Fig. 8 we plot the order parameter S(K) for different amounts of noise and frequency disorder. As for the original model, S simply declines to zero as K is decreased, with the noise and disordered frequencies changing just the shape of the curves and the value of K _{c}. Note the disappearance of the dip in S for small K, which indicates the absence of the splintered phase wave state. Note also we do not plot the second order parameter γ which discerns the splintered phase wave since this state does not robustly exist when σ, D _{ θ } ≠ 0.
Swarmalators in 3D
So far we have considered swarmalators moving in two dimensions. While there are physical systems where this approximation is valid, such as certain active colloids^{55} or sperm, which are often attracted to twodimensional surfaces^{56}, this restriction was mostly for mathematical convenience. Here we explore the more physically realistic case of motion in three spatial dimensions (in Supplementary Note 6 we also explore motion in one dimension). For simplicity we consider the case of identical swarmalators with no noise, although we relax these idealizations in Supplementary Note 5. Our system is then
where x _{ i } = (x _{ i }, y _{ i }, z _{ i }). These are the same as Eqs. (3) and (4), except the exponent of the hard shell repulsion is now 3 (we choose this because it yields simple formulas for the radii of certain states).
Simulations show that analogs of the states found in 2D are realized. We show these as scatter plots in the (x, y, z) plane in Fig. 9. We also provide movies of the evolution to these states in Supplementary Movies 9–12. The static sync and async states become spheres (note we do not plot the static sync state due to space limitations) as seen in panel (a). As in the 2D case, we can calculate their radii when a linear attraction kernel is used,
which agree with simulation as shown in Supplementary Note 5.
In panel (b) we show the static phase wave becomes a sphere with a cylindrical hole through its center. The orientation of this cylinder is determined by the initial conditions. The phase and azimuthal angle \(\phi = {\rm{tan}}^{  1}(y{\rm{/}}x)\) are correlated in the same way for each value of the polar angle \(\alpha = {\rm{cos}}^{  1}\left( {z{\rm{/}}\sqrt {x^2 + y^2 + z^2} } \right)\) (when the azimuthal and polar angles are measured relative to the axis of the cylindrical hole). We show this more clearly in a scatter plot in the (θ, ϕ) plane in Supplementary Note 5.
As in the 2D model, this correlation between ϕ and θ persists for the splintered phase waves and active phase wave states as can be seen in panels (c) and (d) of Fig. 9. The motion of the swarmalators in these states are as before: in the splintered phase wave they ‘quiver’, executing small oscillations in space and phase, while in the active phase wave they execute full rotations (note the spatial component of these rotations are in the azimuthal direction \(\hat \phi \) only, not in the polar direction \(\hat \alpha \)). In Supplementary Note 5 we show how the order parameters S _{±}, γ can also be used to differentiate these 3D states.
Alignment and selfpropulsion
Up to now we have considered the trivial case of swarmalators that propel themselves with constant magnitude and direction, in a manner uninfluenced by their neighbors. This allowed us to set this term to zero via a change of reference. In many real systems, however, such behavior is unrealistic: individuals often adjust the direction of their motion to align with that of their neighbors. Vicsek studied this alignment effect in a seminal work^{29}.
We here partially explore the effect of alignment on swarmalator systems. Accordingly we endow each swarmalator with an orientation β, which characterizes the direction of its selfpropulsion. The inclusion of alignment makes our model complicated; there are now four state variables (x, y, θ, β) per swarmalator, which could interact with each other in potentially many ways. Furthermore, there are six parameters (J, K, σ, D _{ θ }, D _{ x }, D _{ y }), not to mention any additional parameters governing the evolution of β. An exhaustive study of orientable swarmalators is thus beyond the scope of the present work. Hence, we restrict ourselves to checking if the states of our swarmalator system are robust to the inclusion of simple alignment dynamics.
To this end, we study the simplest possible extension to our current model: we choose Vicsek type interactions between x and β, and leave β and the phase θ uncoupled (although they are indirectly coupled through the position x). Our system then reads
where \(\hat n = \left( {{\rm{cos}}\,\beta ,{\rm{sin}}\,\beta } \right)\), Λ_{ i } is the set of swarmalators within a distance δ of the ith swarmalator, and \(\left {\Lambda _i} \right\) is the number of such neighbors. The ζ _{ i }(t) is a white noise variable with zero mean and strength D _{ β } characterized by \(\langle {\zeta _i(t)\zeta _j( {t{\prime}} )} \rangle = 2D_\beta \delta _{ij}\,\delta ( {t  t{\prime}} )\).
Simulations show that for certain parameter values aligned versions of all our states persist. We plot two of these in panels (a) and (b) of Fig. 10, where each swarmalator is depicted as a colored arrow, oriented according to β, and colored according to phase. As can be seen the swarmalators are aligned, with their spacephase distributions being the same as before. In contrast to the original model, however, the center of mass of each distribution now moves (in a direction determined by the initial conditions). In this sense the states are mobile. They are however equivalent to their static versions via a change of reference frame, x → x + v _{0} t. For larger D _{ β }, the unaligned versions of the same states are realized, as illustrated in panels (c) and (d) of Fig. 10.
We have demonstrated that the phenomena of our system are insensitive to the inclusion of simple alignment dynamics. We restate however that we have not comprehensively explored the space defined by the other parameters (J, K, σ, v _{0}, D _{ x }, D _{ y }) given its large size. Thus it remains to be seen if new states will be found.
Discussion
We have examined the collective dynamics of swarmalators. These are mobile particles or agents with both phase and spatial degrees of freedom, which lets them sync and swarm. Furthermore, their phase and spatial dynamics are coupled. By studying simple models, we found this coupling leads to rich spatiotemporal patterns which we explored analytically and numerically. These patterns were robust to modifications to the model, namely motion in one, two, and three spatial dimensions, distributed natural frequencies, noisy interactions, and alignment dynamics. We thus believe they could be realized in nature or technology.
A pertinent future goal, then, is to investigate the behavior of realworld systems of swarmalators. As mentioned in the introduction, colloidal suspensions of magnetic particles^{42,43,44} or active spinners^{45,46} are promising candidates. For example, structures equivalent to the static phase wave state have been experimentally realized by Snezhko and Aranson, when studying the behavior of ferromagnetic colloids at liquidliquid interfaces^{43} (the particles comprising the colloids can be considered swarmalators if we interpret the angle subtended by their magnetic dipole vectors as their phase). As shown in Fig. 4 of ref. ^{43}, the colloids can form asters. These are structures composed of radial chains of magnetically ordered particles, which “decorate slopes of a selfinduced circular standing wave”^{43}, analogous to the annular pattern of correlated phases and positions of the static phase wave shown in Fig. 2c.
Perhaps colloidal equivalents of the splintered and active phase wave states could also be realized. Aside from being theoretically interesting, the ability to engineer these states could have practical application. For instance, Snezhko and Aranson also show that asters can be manipulated to capture and transport target particles. The nonstationary behavior of the splintered and active wave states might also have locomotive utility. Tentative evidence for this claim is provided by populations of cilia, whose collective metachronal waves, similar to the motion of swarmalators in the aforementioned states, are known to facilitate biological transport^{57,58,59}.
Other plausible systems of realworld swarmalators are biological microswimmers, selfpropelled microorganisms capable of collective behavior^{60}. One such contender is populations of spermatoza, which exhibit rich swarming behavior such as trains^{61,62} and vortex arrays^{52}, the latter of which is reminiscent of the active phase wave state, as mentioned in the Results section. The phase variable for each sperm is associated with the rhythmic beating of the sperm’s tail, which can synchronize with that of a neighboring sperm^{63,64}. It has been theorized that this can induce spatial attraction^{65}, leading to clusters of synchronized sperm, consistent with experimentally observed behavior^{66}.
There are also theoretical avenues to explore within our proposed model of swarmalators. For instance the curious stability properties of the static async state deserve further study. Another route would be to include more realism by including heterogeneity in the coupling parameters K, J, or by choosing more complicated interaction functions I _{att}, I _{rep}, G, H _{att}. For example we chose H _{att}(θ) = sin(θ) to mimic the Kuramoto model, but as we saw, it led to just the trivial static sync state when K > 0. Perhaps choosing the more realistic Winfree model for the phase dynamics, which gives rise to richer collective behavior, would lead to more interesting swarmalator phenomena in this parameter regime.
Perhaps the most important direction for future work is to more fully explore the interplay among aggregation, alignment, and synchronization—or put another way, to explore the collective behavior of particles with a position x, an orientation β, and an internal phase θ. The primary goal of our work is to draw attention to this class of problems, which we believe define a wide landscape of emergent behavior. In this work, we have started to map out this landscape by studying a simple model that contains a subset of these three effects, namely aggregation and synchronization.
Others have considered the remaining subsets. For example, Leon and Liverpool have explored the interaction between alignment and synchronization^{67}. They introduced a new class of soft active fluids whose units have an orientation and phase. They found this mixture can either enhance or inhibit the transition from disordered states to states with polar order. The latter states are roughly similar to the aligned static async states. They also found transitions from disordered states to states with phase order, which are analogous to unaligned static sync states. Yet counterparts of the static, splintered, and active phase waves were not reported.
The final combination, aggregation and alignment, is perhaps the most well studied, in both new models and old. For instance, Starnini et al.^{68} recently introduced a model of mobile particles capable of aggregating and aligning their opinions, and found the emergence of echo chambers. Even in the classic Vicsek model and its numerous extensions, new phenomena are still being found. For instance, Kruk et al.^{69} found that delayed alignment in the Vicsek model produces selfpropelled chimeras; perhaps delayed phase interactions could lead to similar states for swarmalators. Liebchen and Levis^{70} considered units with an intrinsic rotation, and found ‘phase separated droplets’: clusters of rotationsynchronized particles surrounded by a sea of incoherent particles (multiple droplets are also possible). These droplets are similar to our static sync states, but they differ in the crucial respect that the entire population is synchronized in our static sync state. Here too, the counterparts of our static, splintered, and active phase waves were not seen.
Thus, to the best of our knowledge, no other models display states analogous to the splintered phase waves and active phase waves found in our swarmalator model. In that sense, those two states are unprecedented.
Methods
Properties of static sync and async state
We here use techniques used by Fetecau et al.^{50} when studying swarm dynamics to study the static sync and static async states with a linear attraction kernel I _{att}(x) = x is used. We start with the async state whose density is
We wish to solve for the radial density g _{1}(r) and the radius R of its support. In this state the swarmalators are at rest and their phases are unchanging, so \(\underline v \equiv \underline 0 \), where \(\underline v = \left( {v_x,v_y,v_\theta } \right)\). As we will show, it is also useful to consider the divergence of the velocity, which must also be zero (from the continuity equation for the conservation of swarmalators, and by applying the assumptions that the density for the static async state is stationary and the velocity is zero). This gives us a pair of simultaneous equations,
We begin with divergence term given by (30). In Cartesian coordinates the velocity reads
The divergence has a spatial and phase component: \(\nabla \cdot\underline v = \nabla _{\bf{x}}\cdot{\bf{v}}_{\bf{x}} + \partial _\theta v_\theta \). The phase component ∂_{ θ } v _{ θ } is trivially zero, since the swarmalators’ phases are uniformly distributed in phase in the static async state. We find the spatial component by applying ∇_{ x } to (31):
Here we have used the identity (expressed most cleanly in Cartesian coordinates)
Simplifying this, and substituting ∂_{ θ } v _{ θ } = 0 gives the full divergence
By (30) we require this to be zero, which gives a selfconsistent equation for ρ:
Finally substituting the ansatz given by (28) into this and performing the integration over ϕ gives
This tells us ρ is constant inside a disc of radius R. The radius R can be determined via selfconsistency: \(M = {\int}_0^R rg(r){\rm d}r = {\int}_0^R rM{\rm d}r \Rightarrow R = 1\). By normalizing ρ as per (28) we find M = 1 which means g(r) = 2. Putting this all together gives
We must now check if the solutions given by (39) and (40) imply \(\underline v \equiv \underline 0 \) as required by (29). We do this in Cartesian coordinates, in which
where θ _{0} is the final, common phase of each swarmalator. Substituting this into Eqs. (31) and (32) for v _{ x }, v _{ θ } and performing the integration gives
where we have used the identity
We see that v _{ x } = 0 at θ = θ _{0} if R = 1, as required. Hence we have shown that the solutions (39), (40) satisfy Eqs. (29) and (30).
Carrying out the same analysis for the static sync state leads to
where θ _{0} is the final common phase of the swarmalators in the static sync state.
Properties of static phase wave state
Here we calculate the density of swarmalators, and inner and outer radii R _{1}, R _{2} of the annulus, in the static phase wave state, when a linear attraction kernel is used.
The calculation is the same as for the static sync and async states: we assert
The density of the static phase wave state is
We first calculate the divergence, which in polar coordinates is given by
The velocity \(\underline v = \left( {v_r,v_\phi ,v_\theta } \right)\) is given by
Taking the derivatives on these, plugging in Eq. (49) for ρ, and substituting the result into (50), gives
Setting this to zero, we see g _{2}(r) satisfies
which means it can be determined selfconsistently in terms of R _{1} and R _{2}. The result is
with \({\rm{\Gamma }}_J = 2J\left( {R_2^3  R_1^3} \right)\left( {3J\left( {R_2^2  R_1^2} \right) + 12} \right)^{  1}\).
Next we use the result (56) in \(\underline v = \underline 0 \) to compute the inner and outer radii R _{1}, R _{2}. We first evaluate v _{ r } by substituting (56) into (51). Performing the integration we get
with
Since \(\underline v \equiv \underline 0 \), the coefficients C, D must be zero. This yields two equations for R _{1}, R _{2}, with solutions
with
and smallJ expansion given by
Data availability
The data that support the findings of this study (simulation source code and figure raw data) are available from the author K.P.O.K. upon request.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
References
 1.
Winfree, A. T. Biological rhythms and the behavior of populations of coupled oscillators. J. Theor. Biol. 16, 15–42 (1967).
 2.
Kuramoto, Y. in International Symposium on Mathematical Problems in Theoretical Physics (ed. Araki, H.) 420–422 (Springer, Berlin, 1975).
 3.
Strogatz, S. Sync: The emerging science of spontaneous order (Hyperion, New York, 2003).
 4.
Pikovsky, A., Rosenblum, M. & Kurths, J. Synchronization: A Universal Concept in Nonlinear Sciences (Cambridge University Press, Cambridge, UK, 2003).
 5.
Acebrón, J. A., Bonilla, L. L., Vicente, C. J. P., Ritort, F. & Spigler, R. The Kuramoto model: a simple paradigm for synchronization phenomena. Rev. Mod. Phys. 77, 137 (2005).
 6.
Aihara, I., Kitahata, H., Yoshikawa, K. & Aihara, K. Mathematical modeling of frogs calling behavior and its possible application to artificial life and robotics. Artif. Life Robot. 12, 29–32 (2008).
 7.
Montbrió, E., Pazó, D. & Roxin, A. Macroscopic description for networks of spiking neurons. Phys. Rev. X 5, 021028 (2015).
 8.
Pazó, D. & Montbrió, E. Lowdimensional dynamics of populations of pulsecoupled oscillators. Phys. Rev. X 4, 011009 (2014).
 9.
O’Keeffe, K. P. & Strogatz, S. H. Dynamics of a population of oscillatory and excitable elements. Phys. Rev. E 93, 062203 (2016).
 10.
Luke, T. B., Barreto, E. & So, P. Macroscopic complexity from an autonomous network of networks of theta neurons. Front. Comput. Neurosci. 8, 145 (2014).
 11.
Laing, C. R. Derivation of a neural field model from a network of theta neurons. Phys. Rev. E 90, 010901 (2014).
 12.
Néda, Z., Ravasz, E., Vicsek, T., Brechet, Y. & Barabási, A. L. Physics of the rhythmic applause. Phys. Rev. E 61, 6987–6992 (2000).
 13.
Daido, H. Lower critical dimension for populations of oscillators with randomly distributed frequencies: a renormalizationgroup analysis. Phys. Rev. Lett. 61, 231 (1988).
 14.
Östborn, P. Renormalization of oscillator lattices with disorder. Phys. Rev. E 79, 051114 (2009).
 15.
Hong, H., Chaté, H., Park, H. & Tang, L.H. Entrainment transition in populations of random frequency oscillators. Phys. Rev. Lett. 99, 184101 (2007).
 16.
Hong, H., Chaté, H., Tang, L.H. & Park, H. Finitesize scaling, dynamic fluctuations, and hyperscaling relation in the Kuramoto model. Phys. Rev. E 92, 022122 (2015).
 17.
Pantaleone, J. Stability of incoherence in an isotropic gas of oscillating neutrinos. Phys. Rev. D 58, 073002 (1998).
 18.
Wiesenfeld, K., Colet, P. & Strogatz, S. H. Synchronization transitions in a disordered Josephson series array. Phys. Rev. Lett. 76, 404 (1996).
 19.
Motter, A. E., Myers, S. A., Anghel, M. & Nishikawa, T. Spontaneous synchrony in powergrid networks. Nat. Phys. 9, 191–197 (2013).
 20.
Dorfler, F. & Bullo, F. Synchronization and transient stability in power networks and nonuniform Kuramoto oscillators. SIAM J. Control Optim. 50, 1616–1642 (2012).
 21.
Strogatz, S. H., Abrams, D. M., McRobie, A., Eckhardt, B. & Ott, E. Theoretical mechanics: Crowd synchrony on the Millennium Bridge. Nature 438, 43–44 (2005).
 22.
Couzin, I. Collective minds. Nature 445, 715–715 (2007).
 23.
Buhl, J. et al. From disorder to order in marching locusts. Science 312, 1402–1406 (2006).
 24.
Sumpter, D. J. Collective Animal Behavior (Princeton University Press, Princeton, NJ, 2010).
 25.
HerbertRead, J. E. Understanding how animal groups achieve coordinated movement. J. Exp. Biol. 219, 2971–2983 (2016).
 26.
Ballerini, M. et al. Interaction ruling animal collective behavior depends on topological rather than metric distance: evidence from a field study. Proc. Natl Acad. Sci. USA 105, 1232–1237 (2008).
 27.
Bialek, W. et al. Statistical mechanics for natural flocks of birds. Proc. Natl Acad. Sci. USA 109, 4786–4791 (2012).
 28.
Reynolds, C. W. Flocks, herds and schools: a distributed behavioral model. ACM SIGGRAPH Comp. Graph. 21, 25–34 (1987).
 29.
Vicsek, T., Czirók, A., BenJacob, E., Cohen, I. & Shochet, O. Novel type of phase transition in a system of selfdriven particles. Phys. Rev. Lett. 75, 1226 (1995).
 30.
Bernoff, A. J. & Topaz, C. M. Nonlocal aggregation models: a primer of swarm equilibria. SIAM Rev. 55, 709–747 (2013).
 31.
Topaz, C. M. & Bertozzi, A. L. Swarming patterns in a twodimensional kinematic model for biological groups. SIAM J. Appl. Math. 65, 152–174 (2004).
 32.
Topaz, C. M., Bertozzi, A. L. & Lewis, M. A. A nonlocal continuum model for biological aggregation. Bull. Math. Biol. 68, 1601–1623 (2006).
 33.
Kolokolnikov, T., Sun, H., Uminsky, D. & Bertozzi, A. L. Stability of ring patterns arising from twodimensional particle interactions. Phys. Rev. E 84, 015203 (2011).
 34.
Uriu, K., Ares, S., Oates, A. C. & Morelli, L. G. Dynamics of mobile coupled phase oscillators. Phys. Rev. E 87, 032911 (2013).
 35.
Belykh, I. V., Belykh, V. N. & Hasler, M. Blinking model and synchronization in smallworld networks with a timevarying coupling. Phys. D 195, 188–206 (2004).
 36.
Stilwell, D. J., Bollt, E. M. & Roberson, D. G. Sufficient conditions for fast switching synchronization in timevarying network topologies. SIAM J. Appl. Dynam. Syst. 5, 140–156 (2006).
 37.
Frasca, M., Buscarino, A., Rizzo, A., Fortuna, L. & Boccaletti, S. Synchronization of moving chaotic agents. Phys. Rev. Lett. 100, 044102 (2008).
 38.
Fujiwara, N., Kurths, J. & DazGuilera, A. Synchronization in networks of mobile oscillators. Phys. Rev. E 83, 025101 (2011).
 39.
Walker, T. J. Acoustic synchrony: two mechanisms in the snowy tree cricket. Science 166, 891–894 (1969).
 40.
Greenfield, M. D. Synchronous and alternating choruses in insects and anurans: common mechanisms and diverse functions. Am. Zool. 34, 605–615 (1994).
 41.
Aihara, I. et al. Spatiotemporal dynamics in collective frog choruses examined by mathematical modeling and field observations. Sci. Rep. 4, 3891 (2014).
 42.
Yan, J., Bloom, M., Bae, S. C., Luijten, E. & Granick, S. Linking synchronization to selfassembly using magnetic Janus colloids. Nature 491, 578–581 (2012).
 43.
Snezhko, A. & Aranson, I. S. Magnetic manipulation of selfassembled colloidal asters. Nat. Mater. 10, 698–703 (2011).
 44.
Martin, J. E. & Snezhko, A. Driving selfassembly and emergent dynamics in colloidal suspensions by timedependent magnetic fields. Rep. Prog. Phys. 76, 126601 (2013).
 45.
Nguyen, N. H., Klotsa, D., Engel, M. & Glotzer, S. C. Emergent collective phenomena in a mixture of hard shapes through active rotation. Phys. Rev. Lett. 112, 075701 (2014).
 46.
van Zuiden, B. C., Paulose, J., Irvine, W. T., Bartolo, D. & Vitelli, V. Spatiotemporal order and emergent edge currents in active spinner materials. Proc. Natl Acad. Sci. USA 113, 12919–12924 (2016).
 47.
Igoshin, O. A., Mogilner, A., Welch, R. D., Kaiser, D. & Oster, G. Pattern formation and traveling waves in myxobacteria: theory and modeling. Proc. Natl Acad. Sci. USA 98, 14913–14918 (2001).
 48.
Tanaka, D. General chemotactic model of oscillators. Phys. Rev. Lett. 99, 134103 (2007).
 49.
Iwasa, M., Iida, K. & Tanaka, D. Hierarchical cluster structures in a onedimensional swarm oscillator model. Phys. Rev. E 81, 046220 (2010).
 50.
Fetecau, R. C., Huang, Y. & Kolokolnikov, T. Swarm dynamics and equilibria for a nonlocal aggregation model. Nonlinearity 24, 2681 (2011).
 51.
Carrillo, J., D’orsogna, M. & Panferov, V. Double milling in selfpropelled swarms from kinetic theory. Kinet. Relat. Mod. 2, 363–378 (2009).
 52.
Riedel, I. H., Kruse, K. & Howard, J. A selforganized vortex array of hydrodynamically entrained sperm cells. Science 309, 300–303 (2005).
 53.
Hong, H. & Strogatz, S. H. Kuramoto model of coupled oscillators with positive and negative coupling parameters: an example of conformist and contrarian oscillators. Phys. Rev. Lett. 106, 054102 (2011).
 54.
Hong, H., O’Keeffe, K. P. & Strogatz, S. H. Phase coherence induced by correlated disorder. Phys. Rev. E 93, 022219 (2016).
 55.
Pohl, O. & Stark, H. Dynamic clustering and chemotactic collapse of selfphoretic active particles. Phys. Rev. Lett. 112, 238303 (2014).
 56.
Maude, A. Nonrandom distribution of bull spermatozoa in a drop of sperm suspension. Nature 200, 381 (1963).
 57.
Elgeti, J. & Gompper, G. Emergence of metachronal waves in cilia arrays. Proc. Natl Acad. Sci. USA 110, 4470–4475 (2013).
 58.
Okada, Y. et al. Abnormal nodal flow precedes situs inversus in iv and inv mice. Mol. Cell 4, 459–468 (1999).
 59.
Wong, L., Miller, I. F. & Yeates, D. B. Nature of the mammalian ciliary metachronal wave. J. Appl. Physiol. 75, 458–467 (1993).
 60.
Lauga, E. & Powers, T. R. The hydrodynamics of swimming microorganisms. Rep. Prog. Phys. 72, 096601 (2009).
 61.
Immler, S., Moore, H. D., Breed, W. G. & Birkhead, T. R. By hook or by crook? Morphometry, competition and cooperation in rodent sperm. PLoS ONE 2, e170 (2007).
 62.
Moore, H., Dvoráková, K., Jenkins, N. & Breed, W. Exceptional sperm cooperation in the wood mouse. Nature 418, 174–177 (2002).
 63.
Taylor, G. Analysis of the swimming of microscopic organisms. in Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, Vol. 209, 447–461 (The Royal Society, London, UK, 1951).
 64.
Fauci, L. J. & McDonald, A. Sperm motility in the presence of boundaries. Bull. Math. Biol. 57, 679–699 (1995).
 65.
Yang, Y., Elgeti, J. & Gompper, G. Cooperation of sperm in two dimensions: synchronization, attraction, and aggregation through hydrodynamic interactions. Phys. Rev. E 78, 061903 (2008).
 66.
Hayashi, F. Insemination through an externally attached spermatophore: bundled sperm and postcopulatory mate guarding by male fishflies (megaloptera: Corydalidae). J. Insect. Physiol. 42, 859–866 (1996).
 67.
Leoni, M. & Liverpool, T. Synchronization and liquid crystalline order in soft active fluids. Phys. Rev. Lett. 112, 148104 (2014).
 68.
Starnini, M., Frasca, M. & Baronchelli, A. Emergence of metapopulations and echo chambers in mobile agents. Sci. Rep. 6, 31834 (2016).
 69.
Kruk, N., Maistrenko, Y., Wenzel, N. & Koeppl, H. Selfpropelled chimeras. arXiv preprint arXiv:1511.04738 (2015).
 70.
Liebchen, B. & Levis, D. Collective behavior of chiral active matter: pattern formation and enhanced flocking. Phys. Rev. Lett. 119, 058002 (2017).
Acknowledgements
Research supported by United States NSF Grant Nos. DMS1513179 and CCF1522054 (S.H.S), and by South Korean NRF Grant No. NRF2015R1D1A3A01016345 (H.H.).
Author information
Affiliations
Center for Applied Mathematics, Cornell University, Ithaca, NY, 14853, USA
 Kevin P. O’Keeffe
 & Steven H. Strogatz
Department of Physics and Research Institute of Physics and Chemistry, Chonbuk National University, Jeonju, 561756, Korea
 Hyunsuk Hong
Authors
Search for Kevin P. O’Keeffe in:
Search for Hyunsuk Hong in:
Search for Steven H. Strogatz in:
Contributions
K.P.O.K. and S.H.S. conceived the research. K.P.O.K. and H.H. performed the numerics. K.P.O.K. performed the analysis and drafted the manuscript. All authors discussed the results, drew conclusions and edited the manuscript.
Competing interests
The authors declare no competing financial interests.
Corresponding author
Correspondence to Steven H. Strogatz.
Electronic supplementary material
Supplementary Information
Peer Review File
Description of Additional Supplementary Files
Supplementary Movie 1
Supplementary Movie 2
Supplementary Movie 3
Supplementary Movie 4
Supplementary Movie 5
Supplementary Movie 6
Supplementary Movie 7
Supplementary Movie 8
Supplementary Movie 9
Supplementary Movie 10
Supplementary Movie 11
Supplementary Movie 12
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as 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. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Further reading

Waveforms of molecular oscillations reveal circadian timekeeping mechanisms
Communications Biology (2018)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.