Skip to main content

Thank you for visiting You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

Stability of synchronization in simplicial complexes


Various systems in physics, biology, social sciences and engineering have been successfully modeled as networks of coupled dynamical systems, where the links describe pairwise interactions. This is, however, too strong a limitation, as recent studies have revealed that higher-order many-body interactions are present in social groups, ecosystems and in the human brain, and they actually affect the emergent dynamics of all these systems. Here, we introduce a general framework to study coupled dynamical systems accounting for the precise microscopic structure of their interactions at any possible order. We show that complete synchronization exists as an invariant solution, and give the necessary condition for it to be observed as a stable state. Moreover, in some relevant instances, such a necessary condition takes the form of a Master Stability Function. This generalizes the existing results valid for pairwise interactions to the case of complex systems with the most general possible architecture.


Many systems in physics, biology, engineering and social sciences can be modeled as networks of interacting units1. Often, each of the elementary system constituents (the nodes of the network) is a dynamical system itself, whose evolution is influenced by the states of the other units to which is connected to through the links of the network. Unraveling how the interplay of network structure and the type of interactions shape the overall dynamics of the system and rule its collective behaviors is thus a problem of wide interest across disciplines.

There is an underlying strong assumption that is made when one adopts a network representation of a complex system: the overall interplay among the units of the system is assumed to be exhaustively described by combinations of pairwise interactions. Such an hypothesis may be justified when studying certain types of processes, but it is very short in representing faithfully other many circumstances. Indeed, from functional2,3,4 and structural5 brain networks to protein interaction networks6, to semantic networks7, random walks8 and co-authorship graphs in science9 there are a lot of practical situations which simply cannot be factorized in terms of pairwise interactions10,11.

Simplicial complexes are topological structures formed by simplices of different dimensions (such as nodes, links, triangles, tetrahedra, etc.) and map many-body interactions between the elements of a system. Differently from networks, simplicial complexes can therefore efficiently represent the interactions between any number of units. While simplicial complexes are not a new idea12, the availability of new data sets and the recent advances in topological data analysis techniques13 renewed the interest of the scientific community14,15. In particular, a lot of attention in the last years has been devoted to the modeling of simplicial complexes, and significant progresses were made in extending to simplicial complexes standard graph models, such as random graphs models16, the configuration model17, models of network growth18 and activity driven models19.

On the other hand, synchronization is a phenomenon appearing ubiquitously in natural and engineered systems20,21,22, and corresponds to the emergence of a collective behavior wherein the system units eventually adjust themselves into a common evolution in time. Various studies have shed light on the intimate relationships between the topology of a networked system, its synchronizability, and the properties of the synchronized states. In particular, synchronous behaviors have been observed and characterized in small-world 23, weighted24, multilayer25, and adaptive networks26,27. Outside complete synchronization, moreover, other types of synchronization have been revealed to emerge in networked systems, including remote synchronization28,29, cluster states30 and synchronization of group of nodes31, chimera32,33, Bellerophon states34,35, and Benjamin–Feir instabilities36,37,38. Finally, the transition to synchronization has been shown to be either smooth and reversible, or abrupt and irreversible (as in the case of explosive synchronization, resembling a first-order like phase transition39).

Extending the investigation of synchronization to structures including higher-order interactions is of great interest to many fields of study. An example is neuron dynamics where, on the one hand, synchronization plays a central role40,41,42,43 and, on the other hand, evidences of higher-order interactions between the neurons have been recently provided44,45,46. Ecological systems47 and nonlinear consensus48 constitute other examples where higher-order interactions may be fundamental in shaping the collective behavior of the system, thus further motivating such study.

While attempts of extending to p-uniform hypergraphs the analysis of complete synchronization of dynamical systems have been recently made49, the study of systems interplaying through higher order interactions in simplicial complexes has been so far limited to the case of the Kuramoto model50,51. This is, in fact, a specific model, wherein each unit of the ensemble i = 1, …, N is a phase oscillator and is characterized by the evolution of its real-valued phase θi(t) ϵ [0, 2π]. The model has been studied in all different sorts of network topologies with possible applications to biological and social systems21,50, and recently extensions of it have been proposed that include higher-order interactions. Namely, it has been shown that the Kuramoto model may exhibit abrupt desynchronization when three-body interactions among all the oscillators are added to52, or completely replace53, the all-to-all pairwise interactions of the original model. Similar results have been obtained with a non-symmetric variation of the Kuramoto model in which the microscopic details of the interactions among the phase oscillators are described in the form of a simplicial complex54. A different approach has been proposed by Millán et al., who have formulated a higher-order Kuramoto model in which the oscillators are placed not on the nodes but on higher-order simplices, such as links, triangles, and so on, of a simplicial complex55. Finally, Lucas et al. have considered an extension of the Kuramoto model to high-order interactions of any order, which is still analytically tractable because all the oscillators have identical frequencies56.

We here abandon the limitation of sticking with a specific model system, and introduce instead the most general framework for the study of dynamical systems in simplicial complexes. Namely, we consider an ensemble of completely generic (yet identical) dynamical systems, organized on the nodes of a simplicial complex of generic order, and interacting via generic coupling functions. In other words, except for the fact that the systems have to be identical, we do not make any specific assumption that may limit in a way or another our approach. In such a wide context, we show that complete synchronization exists as an invariant solution as far as the coupling functions cancel out when nodes dynamics is identical. Furthermore, we give the necessary condition for it to be observed as a stable state, which in some instances takes the form of a Master Stability Function (MSF), a method initially developed in ref. 57 for pairwise coupled systems, and later extended in many ways to complex networks58 and to time-varying interactions59,60,61. Therefore, not only our framework includes and encompasses all studies made so far on the Kuramoto model, but it is valid for an enormously larger number of situations, and as so it is applicable to a very wide range of experimental and/or practical circumstances. We will show, indeed, that all the theoretical predictions that our method entitles us to make are fully verified in simulations of synthetic and real-word networked systems.


Necessary condition for the synchronization of dynamical systems with higher-order interactions

The object of our study is the most general simplicial complex of N coupled dynamical units. This means that the different dynamical units are subject not only to pairwise interactions, but also to three-body interactions, four-body interactions and so on. The precise microscopic structure of the interactions is described by underlying simplicial complex, which can have any dimension D ≥ 1 (for all details and notations on simplicial complexes, see the “Methods”). In the particular case of D = 1, our system coincides with the standard case of a complex network of N coupled dynamical units. We assume that the equations of motion governing the dynamics of our D-dimensional simplicial complex can be written as:

$${\dot{{\bf{x}}}}_{i}= \, {\bf{f}}({{\bf{x}}}_{i})+{\sigma }_{1}\mathop{\sum }\limits_{{j}_{1}=1}^{N}{a}_{i{j}_{1}}^{(1)}{{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{{j}_{1}})\\ \, +{\sigma }_{2}\mathop{\sum }\limits_{{j}_{1}=1}^{N}\mathop{\sum }\limits_{{j}_{2}=1}^{N}{a}_{i{j}_{1}{j}_{2}}^{(2)}{{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{{j}_{1}},{{\bf{x}}}_{{j}_{2}})+\ldots \\ \, +{\sigma }_{D}\mathop{\sum }\limits_{{j}_{1}=1}^{N}...\mathop{\sum }\limits_{{j}_{D}=1}^{N}{a}_{i{j}_{1}....{j}_{D}}^{(D)}{{\bf{g}}}^{(D)}({{\bf{x}}}_{i},{{\bf{x}}}_{{j}_{1}},...,{{\bf{x}}}_{{j}_{D}}),$$

where xi(t) is the m-dimensional vector state describing the dynamics of unit i, σ1, …, σD are real-valued parameters describing coupling strengths, \({\bf{f}}:{{\mathbb{R}}}^{m}\longrightarrow {{\mathbb{R}}}^{m}\) describes the local dynamics (which is assumed identical for all units), while \({{\bf{g}}}^{(d)}:{{\mathbb{R}}}^{(d+1)\times m}\longrightarrow {{\mathbb{R}}}^{m}\) (d = 1, …, D) are synchronization noninvasive functions (i.e. g(d)(x, x, …, x) ≡ 0 d) ruling the interaction forms at different orders. Furthermore, \({a}_{i{j}_{1}...{j}_{d}}^{(d)}\) are the entries of the adjacency tensors A(d), with d = 1, …, D. These tensors, which generalize the notion of the adjacency matrix of a graph, describe the architecture of interactions of any order that can take place in the simplicial complex [see the “Methods” for a complete discussion on them and all quantities appearing in Eq. (1)]. This is the most general type of system we can consider, as there are no further specific restrictions on both the adjacency tensors of the simplicial complex and the functions f and g(d).

As the notation may result somehow cumbersome, for the sake of clarity in what follows we illustrate the case of D = 2, so that a reader will be able to appreciate each and every conceptual action we are making. At the end, we will then summarize the steps one has to do in order to extrapolate the results to all values of D.

Let us then consider the following set of coupled differential equations

$${\dot{{\bf{x}}}}_{i}= \, {\bf{f}}({{\bf{x}}}_{i})+{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{a}_{ij}^{(1)}{{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})\\ \, +{\sigma }_{2}\mathop{\sum }\limits_{j=1}^{N}\mathop{\sum }\limits_{k=1}^{N}{a}_{ijk}^{(2)}{{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k}),$$

where σ1 and σ2 are the coupling strengths associated to two- and three-body interactions.

Existence and invariance of the synchronized solution xs(t) = x1(t) = … = xN(t) are guaranteed by the noninvasiveness of the coupling functions. In order to study the stability of the synchronization solution, one considers small perturbations around the synchronous state, i.e., δxi = xi − xs, and perform a linear stability analysis of Eq. (2). To do this, one can perform the following transformation of the variables. Consider \(\delta {\bf{x}}={[\delta {{\bf{x}}}_{1}^{T},\delta {{\bf{x}}}_{2}^{T},\ldots ,\delta {{\bf{x}}}_{N}^{T}]}^{T}\), and let us take, as a reference basis of \({{\mathbb{R}}}^{\,}\), the one made by the eigenvectors v1, v2, …, vN of the classic Laplacian matrix \({{\mathcal{L}}}^{(1)}\). This allows to define new variables η = (V−1 Im)δx, where V = [v1, v2, …, vN]. To express the dynamics of the system in terms of the new variables η, one needs to extend the notion of classical Laplacian matrix, which accounts for pairwise interactions, to a set of generalized Laplacian matrices, where the generic matrix of order d, indicated as \({{\mathcal{L}}}^{(d)}\), accounts for (d + 1)-body interactions (for a formal definition see “Methods”). In the specific case of D = 2, we will therefore describe the systems with two matrices, \({{\mathcal{L}}}^{(1)}\) and \({{\mathcal{L}}}^{(2)}\), respectively.

Through a series of three conceptual steps detailed in the “Methods”, the following equations can be derived

$$\left\{\begin{array}{lll}{\dot{{\eta }}}_{1}={\rm{JF}}{{{\eta }}}_{1}\hfill\\ \dot{{{\eta }}_{i}}=({\rm{JF}}-{\sigma }_{1}{\lambda }_{i}{{\rm{JG}}}^{(1)}){{\eta }}_{i}-{\sigma }_{2}\mathop{\sum }\limits_{j=2}^{N}{\tilde{{\mathcal{L}}}}_{ij}^{(2)}{{\rm{JG}}}^{(2)}{{\eta }}_{j},\end{array}\right.$$

where JF = Jf(xs), JG(1) = Jg(1)(xs, xs) and JG(2) = J1g(2)(xs, xs, xs) + J2g(2)(xs, xs, xs) represent the Jacobian matrices for the functions f, g(1) and g(2) respectively, 0 = λ1 < λ2 ≤…λN are the eigenvalues of \({{\mathcal{L}}}^{(1)}\), and \({\tilde{{\mathcal{L}}}}_{ij}^{(2)}\) are suitable, known, coefficients given by transforming \({{\mathcal{L}}}^{(2)}\) with the matrix V that diagonalizes the classic Laplacian \({{\mathcal{L}}}^{(1)}\) (see the “Methods” for all details). The dynamics of the linearized system is then decoupled into two parts: the dynamics of η1, accounting for the motion along the synchronous manifold, and that of all other variables ηi (with i = 2, …, N), representing the different modes transverse to the synchronization manifold, and coupled each other by means of the coefficients \({\tilde{{\mathcal{L}}}}_{ij}^{(2)}\) (all of them being known quantities).

The problem of stability is then reduced to: (i) simulating a single, uncoupled, nonlinear system; (ii) using the obtained trajectory to feed up the elements of the Jacobians JG(1) and JG(2); (iii) simulating the dynamics of a system of N − 1 coupled linear equations, and tracking the behavior of the norm \(\sqrt{\mathop{\sum }\nolimits_{i = 2}^{N}\mathop{\sum }\nolimits_{j = 1}^{m}{({\eta }_{i}^{(j)})}^{2}}\) for the calculation of the maximum Lyapunov exponent (being \({{\eta }}_{i}\equiv ({\eta }_{i}^{(1)},{\eta }_{i}^{(2)},...,{\eta }_{i}^{(m)})\)).

Stability of the synchronous solution requires as a necessary condition that Λmax, the maximum among the (conditional) Lyapunov exponents associated to all transverse modes, be negative. Given the node dynamics and the coupling functions, Λmax is in general function of the topology of the two-body interactions, the topology of the three body interactions, and the two coupling strengths σ1 and σ2, i.e., Λmax = \({{{\Lambda }}}_{\rm{max}}({\sigma }_{1},{\sigma }_{2},{{\mathcal{L}}}^{(1)},{{\mathcal{L}}}^{(2)})\).

It is important to notice that, in analogy with the classical MSF approach, also in the case of simplicial complexes one is, therefore, able to separate the motion along the synchronization manifold and that transverse to it, and such a crucial separation ultimately enables the study of stability of the synchronous manifold. For simplicial complexes, however, the higher complexity in the structure of the interactions yields a formalism requiring the analysis of a set of coupled differential equations, rather than of a single parametric variational equation (as in the case of the MSF). In other words, in the fully general case the set of equations describing the motion transverse to the synchronous manifold cannot be further decomposed into independent, decoupled modes, as it happens in the network case; however, the analysis of stability still requires a straightforward computation of a single quantity, i.e., the maximum Lyapunov exponent, which has to be performed on such a set of coupled, linear equations. In the more general case, the transverse modes are intertwined, such that stability has to be analyzed without reduction in dimensionality. However, we will momentarily show that there are relevant instances where such an expression can be simplified, up to recover a formalism that is identical to the classical MSF, allowing separation of the modes and reduction of the dimensionality of the problem to a single parameteric variational equation.

In analogy with the classification of systems made for synchronization of complex networks (Chapter 5 in ref. 1), one immediately realizes that, once specified the dynamical system taking place in each node (i.e., the function f), the various coupling functions g(1) and g(2), and the structure of the simplicial complex (i.e., \({{\mathcal{L}}}^{(1)}\) and \({{\mathcal{L}}}^{(2)}\)), all possible cases can be divided in three classes: (i) class I problems, where Λmax is positive in all the half plane (σ1 ≥ 0, σ2 ≥ 0), and therefore synchronization is never stable; (ii) class II problems, for which Λmax is negative within a unbounded area of the half plane (σ1 ≥ 0, σ2 ≥ 0); and (iii) class III problems, for which the area of the half plane (σ1 ≥ 0, σ2 ≥ 0) in which Λmax is negative is instead bounded, and therefore additional instabilities of the synchronous motion may occur at larger values of the coupling strengths. While class I problems are trivial (in that synchronization is never observed), examples of class II and class III problems are shown in Fig. 1 for simplicial complexes of Rössler oscillators62, and one easily sees that the predictions made by solving Eq. (3) are indeed fully confirmed by the simulations of the original system in Eq. (2).

Fig. 1: Synchronization in simplicial complexes of Rössler oscillators.

Contour plots of the time averaged (over an observation time T = 500) synchronization error E (see “Methods” for definition and the vertical bars of each panel for the color code) in the plane (σ1, σ2) for some examples of simplicial complexes (whose sketches are reported in the top left of each panel). Simulations refer to coupled Rössler oscillators (x = (x, y, z)T and f = (−yz, x+ay, b+z(xc))T) with parameters fixed in the chaotic regime (a = b = 0.2, c = 9). In ad, \({{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})={[{x}_{j}-{x}_{i},0,0]}^{T}\), while in (e) \({{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})={[0,{y}_{j}-{y}_{i},0]}^{T}\). As for the other coupling function, one has \({{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,{y}_{j}^{2}{y}_{k}-{y}_{i}^{3},0]}^{T}\) in (d) and \({{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{x}_{j}^{2}{x}_{k}-{x}_{i}^{3},0,0]}^{T}\) in all other panels. The blue continuous lines are the theoretical predictions of the synchronization thresholds obtained from Eq. (3). a, b, and c are examples of class III problems, whereas panels d and e are examples of class II problems.

Far from being limited to the case of D = 2, our approach can be extended straightforwardly to simplicial complexes of any order D. Each term on the right hand side of Eq. (1) can, indeed, be manipulated following exactly the same three conceptual steps described in the “Methods”. Once again, one is entitled to select the eigenvector set which diagonalizes \({{\mathcal{L}}}^{(1)}\), to introduce the new variables η = (V−1Im)δx. Following the very same steps which led us to write Eq. (3), one then obtains

$${\dot{{\eta }}}_{1} = \, {\rm{JF}}{{\eta }}_{1},\\ \dot{{{\eta }}_{i}} = \, ({\rm{JF}}-{\sigma }_{1}{\lambda }_{i}{{\rm{JG}}}^{(1)}){{\eta }}_{i}-{\sigma }_{2}\mathop{\sum }\limits_{j=2}^{N}{\tilde{{\mathcal{L}}}}_{ij}^{(2)}{{\rm{JG}}}^{(2)}{{\eta }}_{j}-\ldots \\ \, \quad-{\sigma }_{D}\mathop{\sum }\limits_{j=2}^{N}{\tilde{{\mathcal{L}}}}_{ij}^{(D)}{{\rm{JG}}}^{(D)}{{\eta }}_{j},$$

where JG(d)  =  J1g(d)(xs, …, xs)  +  J2g(d)(xs, …, xs) +…+ Jdg(d)(xs, …, xs) and the coefficients \({\tilde{{\mathcal{L}}}}_{ij}^{(d)}\) result from transforming \({{\mathcal{L}}}^{(d)}\) with the matrix that diagonalizes \({{\mathcal{L}}}^{(1)}\). As a result, one has conceptually the same reduction of the problem to a single, uncoupled, nonlinear system, plus a system of N − 1 coupled linear equations, from which the maximum Lyapunov exponent Λmax = \({{{\Lambda }}}_{\rm{max}}({\sigma }_{1},{\sigma }_{2},...,{\sigma }_{D},{{\mathcal{L}}}^{(1)},{{\mathcal{L}}}^{(2)},...,{{\mathcal{L}}}^{(D)})\) can be extracted and monitored (for each simplicial complex) in the D-dimensional hyper-space of the coupling strength parameters.

The MSF for synchronization in simplicial complexes

Our results can be greatly simplified in a series of relevant cases in which either the topology of the connectivity structure, or the coupling functions, allow to formulate our approach in terms of MSF. Once again, for the sake of illustration, we will start considering first the case of D = 2, and then the extension to any order D.

The first case is an all-to-all coupling, for which every two and three-body interaction is active. In this case, the classical Laplacian matrix is.

$${{\mathcal{L}}}_{ij}^{(1)}=\left\{\begin{array}{lll} -1 \hfill&\,{\text{for}}\,& i\,\ne\, j\hfill\\ N-1 &\,{\text{for}}\,& i=j.\end{array}\right.$$

Then, it is easy to rewrite \({{\mathcal{L}}}^{(2)}\), because the off diagonal terms \({{\mathcal{L}}}_{ij}^{(2)}\) (i ≠ j) represent the number of triangles formed by the link (i, j) which, in the present case, is simply equal to N − 2. Second, we consider the terms of the main diagonal \({{\mathcal{L}}}_{ii}^{(2)}\), the number of triangles having the node i as a vertex, which is

$${k}_{i}^{(2)}=\left(\begin{array}{c}N-1\\ 2\end{array}\right)=\frac{(N-1)(N-2)}{2}.$$

Consequently, one has that

$${{\mathcal{L}}}^{(2)}=(N-2)\ {{\mathcal{L}}}^{(1)}.$$

Starting from Eq. (2), applying the steps detailed in the Methods and noticing that in the all-to-all configuration λ2 = …λN = N, for each ηi (with \(i\in \left\{2,\ldots ,N\right\}\)), one obtains

$${\dot{{\eta }}}_{i}=[{\rm{JF}}-{\sigma }_{1}N{{\rm{JG}}}^{(1)}-{\sigma }_{2}N(N-2){{\rm{JG}}}^{(2)}]{{\eta }}_{i}.$$

In other words, in the all-to-all case, the variables ηi come out to be all uncoupled to each other, so that Λmax uniquely depends on σ1, σ2 and N, i.e., Λmax = Λmax(σ1, σ2, N).

In the more general case of a D-dimensional simplicial complex, it is easy to write the generalized Laplacian of order d as a function of the classical Laplacian matrix. In fact, the number of d-simplices having node i as a vertex and the number of d-simplices formed by the link (i, j) are respectively

$${k}_{i}^{(d)}=\left(\begin{array}{c}N-1\\ d\end{array}\right)=\frac{(N-1)(N-2)\ldots (N-d)}{d!}$$


$${k}_{ij}^{(d)}=\left(\begin{array}{c}N-2\\ d-1\end{array}\right)=\frac{(N-2)\ldots (N-d)}{(d-1)!}.$$

Given the definition of the generalized Laplacian, we find that

$${{\mathcal{L}}}^{(d)} = \, (N-d)\ {{\mathcal{L}}}^{(d-1)}\\ = \, (N-2)(N-3)\ldots (N-d){{\mathcal{L}}}^{(1)}.$$

Once again, one can derive a parametric equation analogous to Eq. (8), with a MSF (once fixed both the node dynamics and the coupling functions) which solely depends on the coupling coefficients and the number of nodes, i.e. Λmax = Λmax(σ1, σ2, …, σD, N)

$${\dot{{\eta }}}_{i}= \, \left[{\rm{JF}}-{\sigma }_{1}N{{\rm{JG}}}^{(1)}-{\sigma }_{2}N(N-2){{\rm{JG}}}^{(2)}-\ldots \ \right.\\ \, \left.-{\sigma }_{D}N(N-2)\ldots (N-D){{\rm{JG}}}^{(D)}\right]{{\eta }}_{i}.$$

Another interesting case is that of generalized diffusion interactions with natural coupling functions. This amounts to consider diffusive coupling functions, given by

$${{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j}) = \, {{\bf{h}}}^{(1)}({{\bf{x}}}_{j})-{{\bf{h}}}^{(1)}({{\bf{x}}}_{i}),\\ {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k}) = \, {{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})-{{\bf{h}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{i}),$$

where \({{\bf{h}}}^{(1)}:{{\mathbb{R}}}^{m}\longrightarrow {{\mathbb{R}}}^{m}\) and \({{\bf{h}}}^{(2)}:{{\mathbb{R}}}^{2m}\longrightarrow {{\mathbb{R}}}^{m}\). In addition, a condition of natural coupling is considered:


Equation (14) expresses, indeed, the fact that the coupling to node i from two-body and three-body interactions is essentially similar, in that a three-body interaction where two nodes are on the same state is equivalent to a two-body interaction. Here, our approach takes the form of a MSF with a particularly convenient expression, as it can be written as a function of a single parameter. In fact, in this case, the transverse modes can be fully decoupled (see the “Methods” for the full derivation) and a single parameter MSF can be defined, starting from the following m-dimensional linear parametric variational equation

$$\dot{{\eta }}=\left[J{\bf{f}}({{\bf{x}}}^{s})-\alpha J{{\bf{h}}}^{(1)}({{\bf{x}}}^{s})\right]{\eta }$$

from which the maximum Lyapunov exponent is calculated: Λmax = Λmax(α) with \(\alpha =\lambda ({\sigma }_{1}{{\mathcal{L}}}^{(1)}+{\sigma }_{2}{{\mathcal{L}}}^{(2)})\) or \(\alpha ={\sigma }_{1}\lambda ({{\mathcal{L}}}^{(1)}+r{{\mathcal{L}}}^{(2)})={\sigma }_{1}\lambda ({\mathcal{M}})\), where \({\mathcal{M}}\) is given by \({{\mathcal{L}}}^{(1)}+r{{\mathcal{L}}}^{(2)}\) with \(r=\frac{{\sigma }_{2}}{{\sigma }_{1}}\). The situation, is therefore, conceptually equivalent to that of synchronization in complex networks, with the effective matrix \({\mathcal{M}}\) playing the same role of the classical Laplacian: given the dynamical system f, the coupling functions h(1) and h(2), and the structure of connection of the simplicial complex (i.e., \({{\mathcal{L}}}^{(1)}\) and \({{\mathcal{L}}}^{(2)}\)) one can define three possible classes of problems:

  1. (i)

    class I problems, for which the curve Λmax = Λmax(α) does not intercept the abscissa and it is always positive. In this case synchronization is always forbidden, no matter which simplicial complex is used for connecting the dynamical systems;

  2. (ii)

    class II problems, for which the curve Λmax = Λmax(α) intercepts the abscissa only once at αc, and for which, therefore, the synchronization threshold is given by the self consistent equation \({\sigma }_{1}^{\rm{critical}}={\alpha }_{c}/{\lambda }_{2}[{\mathcal{M}}({\sigma }_{1}^{\rm{critical}},{\sigma }_{2}^{\rm{critical}})]\), i.e. it scales with the inverse of the second smallest eigenvalue of the effective matrix;

  3. (iii)

    class III problems, for which the curve Λmax = Λmax(α) intercepts the abscissa twice at α1 and α2 > α1. In this case, synchronization can be observed only if the entire eigenvalue spectrum of the effective matrix is such that \({\sigma }_{1}{\lambda }_{2}({\mathcal{M}})> {\alpha }_{1}\) and, at the same time, \({\sigma }_{1}{\lambda }_{N}({\mathcal{M}})<{\alpha }_{2}\). In this case, the parameter \(\frac{{\lambda }_{2}({\mathcal{M}})}{{\lambda }_{N}\left({\mathcal{M}}\right)}\) can be considered as a proxy measure of synchronizability of the simplicial complex, in that the closer is such a parameter to unity (the more compact is the spectrum of eigenvalue of \({\mathcal{M}}\)) the larger can be the range of coupling strengths for which the two above synchronization conditions can be satisfied.

We have so far considered the case of D = 2. In the fully general scenario, the condition for natural coupling is given by

$${{\bf{h}}}^{(D)}({\bf{x}},\ldots ,{\bf{x}})=\ldots ={{\bf{h}}}^{(2)}({\bf{x}},{\bf{x}})={{\bf{h}}}^{(1)}({\bf{x}}).$$

The equation for the MSF is formally analogous to Eq. (15), where now \(\alpha ={\sigma }_{1}{\lambda }({{\mathcal{M}}}^{(D)})\) parameterizes the eigenvalues of the effective matrix of order D

$${{\mathcal{M}}}^{(D)}={{\mathcal{L}}}^{(1)}+\frac{{\sigma }_{2}}{{\sigma }_{1}}{{\mathcal{L}}}^{(2)}+\ldots +\frac{{\sigma }_{D}}{{\sigma }_{1}}{{\mathcal{L}}}^{(D)}.$$

In summary, we have shown that, while in the general case the transverse modes are intertwined, in the case of all-to-all coupling or of natural coupling functions a significant dimensionality reduction of the stability analysis problem is obtained, through the formulation of a MSF (Eq. (12) for all-to-all coupling and Eq. (15) for natural coupling).

Synchronization in simplicial complexes of chaotic systems

Following is a series of results confirming the validity and wide applicability of our approach. We focus on two paradigmatic three-dimensional (\({\bf{x}}={(x,y,z)}^{T}\in {{\mathbb{R}}}^{3}\)) chaotic systems, namely the Rössler oscillator62 and the Lorenz system63, and, as a real-world example of neuron dynamics, on the Hindmarsh-Rose (HR) model64 (see the “Methods” for the equations describing the three systems, as well as for the setting of parameters and of stipulations for the numerical simulations). In particular, we start with considering the more general case with diffusive coupling, then we discuss our results on neuron dynamics and on the MSF cases of all-to-all and natural coupling, where we also show an analysis carried out on a real-world structure. Finally, we move away from the study of complete synchronization and illustrate an example of cluster synchronization in simplicial complexes.

The general case

Our discussion begins with going back to Fig. 1, where we have considered a few elementary configurations of simplicial complexes, chosen in order to illustrate the classes of problems that one can deal with even when the structures involve only a small number of nodes. In particular, Fig. 1 reveals that synchronization in the general case crucially depends on the topology and the coupling functions: the same configuration can in fact feature different dynamics when diverse mechanisms regulate the coupling and, conversely, the same coupling functions may lead to different behaviors when the topology of interactions changes.

As an example, let us consider the full dynamical equations of coupled Rössler oscillators, when the coupling functions are chosen as \({{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})={[{x}_{j}-{x}_{i},0,0]}^{T}\) and \({{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{x}_{j}^{2}{x}_{k}-{x}_{i}^{3},0,0]}^{T}\). They read

$${\dot{x}}_{i}= \, -{y}_{i}-{z}_{i}+{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{a}_{ij}^{(1)}({x}_{j}-{x}_{i})\\ \, +{\sigma }_{2}\mathop{\sum }\limits_{j=1}^{N}\mathop{\sum }\limits_{k=1}^{N}{a}_{ijk}^{(2)}({x}_{j}^{2}{x}_{k}-{x}_{i}^{3}),\\ {\dot{y}}_{i} = \, {x}_{i}+a{y}_{i},\\ {\dot{z}}_{i} = \, b+{z}_{i}({x}_{i}-c),$$

In each of the configurations considered, the state of the system is monitored by the average synchronization error E defined in the “Methods”. Figure 1 reports E(σ1, σ2) for different simplicial complexes (shown as insets in the panels) and coupling functions, along with the theoretical predictions provided by Eq. (3) (the blue, continuous, lines superimposed to the diagrams of the synchronization error). In all the cases, the numerical simulations are in very good agreement with the theoretical predictions for the synchronization thresholds.

The results of Fig. 1 suggest several interesting considerations. Indeed, in the cases reported in panels a and b of Fig. 1 synchronization may be achieved using either two-body or three-body interactions only (for very small σ1 indeed there is a range of values of σ2 leading to synchronization, and viceversa), while in the case of panel c synchronization is forbidden for very small values of σ1. In the last case, in fact, the two triangles do not have a common edge as in Fig. 1a, nor a common node as in Fig. 1b, and therefore interactions through links becomes essential for synchronization. Finally, one notice that there are scenarios, as in panels d and e, where the synchronization region is unbounded. As already mentioned, Fig. 1 provides examples of two of the three possible classes of behavior, with class III behavior in Fig. 1a–c, and class II in Fig. 1d (where synchronization exists in an unbounded region of the coupling coefficient regulating pairwise interactions, i.e., σ1) and in Fig. 1e (where synchronization exists in an unbounded region of the coupling coefficient regulating three-body interactions, i.e., σ2).

Applications to neuron dynamics

We now discuss the applicability of our framework to the study of neuron dynamics. Synchronization in neural activity is of utmost importance. On the one hand, synchronized network oscillations are known to play a role in establishing ensembles of neurons in a task-dependent, flexible manner40. On the other hand, synchronization of neural activity is associated to epileptic seizures41,42,43. Recent evidences in neuroscience have pointed out the existence of higher-order interactions between neurons44. In particular, astrocytes and other glial cells are considered a plausible biological source of high-order interactions45,46, as they make contact with thousands of synapses and actively modulate their function65. Although how to account for these interactions in nonlinear models of neuron dynamics is still an open problem, here we discuss an example showing the suitability of our framework to study neuronal synchronization in the presence of high-order coupling. As a pratical case study, we here consider an ensemble of HR neurons, subject not only to pairwise coupling but also to three-body interactions. The system is described by

$${\dot{x}}_{i} = \, {y}_{i}+3{x}_{i}^{2}-{x}_{i}^{3}-{z}_{i}+I+{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{a}_{ij}^{(1)}\tanh \left(\frac{{x}_{j}-{x}_{i}}{0.5}\right)\\ \, \quad+{\sigma }_{2}\mathop{\sum }\limits_{j=1}^{N}\mathop{\sum }\limits_{k=1}^{N}{a}_{ijk}^{(2)}\tanh \left(\frac{{x}_{j}+{x}_{k}-2{x}_{i}}{0.5}\right),\\ {\dot{y}}_{i} = \, 1-5{x}_{i}^{2}-{y}_{i},\\ {\dot{z}}_{i} = \, -r{z}_{i}+rs({x}_{i}+1.6),$$

where the non-diffusive coupling functions on the membrane potential account for possible saturation phenomena. Figure 2 shows the results, representing further examples of class II problems, where synchronization in neuronal activity is achieved in an unbounded region of the coupling coefficients σ1 and σ2. We notice that, in this case, three-body interactions are beneficial for synchronization as they lower the value of the pairwise coupling strength needed to achieve it.

Fig. 2: Synchronization in simplicial complexeses of Hindmarsh–Rose neurons.

Contour plots of the time averaged (over an observation time T = 500) synchronization error E (see “Methods” for definition and the vertical bars of each panel for the color code) in the plane (σ1, σ2) for simplicial complexes of HR neurons coupled as in Eq. (19). Parameters are fixed in the chaotic regime (r = 0.006, s = 4, I = 3.2). ac refer to three different simplicial complexes corresponding to the structures considered in Fig. 1a–c. The blue continuous lines are the theoretical predictions of the synchronization thresholds obtained from Eq. (3).

MSF cases

Let us now move to discuss other results, which refer to the cases where our approach yields a MSF. We start with the all-to-all coupling case where, according to Eq. (8), one obtains a MSF that is function of N, σ1 and σ2. We then consider a simplicial complex of Rössler oscillators with all-to-all coupling, described by

$${\dot{x}}_{i}= \, -{y}_{i}-{z}_{i}+{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}({x}_{j}-{x}_{i})+{\sigma }_{2}\mathop{\sum }\limits_{j=1, j\neq i}^{N}\mathop{\sum }\limits_{k=1, k\neq i}^{N}({x}_{j}^{2}{x}_{k}-{x}_{i}^{3}),\\ {\dot{y}}_{i}= \, {x}_{i}+a{y}_{i},\\ {\dot{z}}_{i}= \, b+{z}_{i}({x}_{i}-c).$$

The results are shown in Fig. 3 for three values of N (N = 10, N = 50, and N = 100): the synchronous manifold is stable in a bounded region of the semiplane (σ1 > 0, σ2 > 0) delimited by blue (N = 10), red (N = 50) and black (N = 100) lines. One immediately sees that such a stability region moves toward the origin when N is increased. Hence, increasing N reduces the lower and upper thresholds for achieving synchronization.

Fig. 3: Synchronization in a simplicial complex of Rössler oscillators with all-to-all coupling.

Lower and upper boundary curves for the region where synchronization is stable, at different values of N. The color codes for the different curves is reported at the top of the panel.

Finally, we consider the case of natural coupling. Here, in full analogy with what occurs for networks, the MSF is a function of a single parameter, i.e., Λmax = Λmax(α) with \(\alpha =\lambda ({\sigma }_{1}{{\mathcal{L}}}^{(1)}+{\sigma }_{2}{{\mathcal{L}}}^{(2)})\) or \(\alpha ={\sigma }_{1}\lambda ({{\mathcal{L}}}^{(1)}+r{{\mathcal{L}}}^{(2)})={\sigma }_{1}\lambda ({\mathcal{M}})\). This enables the study of synchronization stability into two steps, one pertaining only to the node dynamics and coupling functions, providing Λmax = Λmax(α), and a second step, where the condition Λmax(α) < 0 is checked at the points \(\alpha =\{{\sigma }_{1}{\lambda }_{2}({\mathcal{M}}),\ldots ,{\sigma }_{1}{\lambda }_{N}({\mathcal{M}})\}\).

We calculated the MSF for the Rössler oscillator and the Lorenz system with several choices of the coupling functions: \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[{x}_{j}^{3},0,0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{x}_{j}^{2}{x}_{k},0,0]}^{T}\); \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,{x}_{j}^{3},0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,{x}_{j}^{2}{x}_{k},0]}^{T}\); \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,0,{x}_{j}^{3}]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,0,{x}_{j}^{2}{x}_{k}]}^{T}\); \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[{y}_{j}^{3},0,0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j}, {{\bf{x}}}_{k})= {[{y}_{j}^{2}{y}_{k},0,0]}^{T}\)... \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,0,{z}_{j}^{3}]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,0,{z}_{j}^{2}{z}_{k}]}^{T}\).

The results are shown in Fig. 4 for the Rössler oscillator and in Fig. 5 for the Lorenz system. Both cases exhibit a variety of behaviors that actually encompass all possible classes of MSF. In the case of Rössler oscillator we have one class III example (Fig. 4a), one class II example (Fig. 4e), while all remaining cases do correspond to class I. In the case of the Lorenz system we have several examples of class I behavior (Fig. 5c, f–h); three class II examples (Fig. 4a, d, e), and one class III example with a very narrow region for synchronization (Fig. 4b). Moreover, in Fig. 4i the MSF assumes negative values in two different intervals of α; overall, this represents a further example of class III behavior, providing however the extra scenario where increasing the coupling strength one can achieve alternating regions of synchronization and desynchronization.

Fig. 4: Synchronization in simplicial complexes of Rössler oscillators, in the case of natural coupling.

The Master Stability Function is here calculated taking into account several coupling functions. a \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[{x}_{j}^{3},0,0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{x}_{j}^{2}{x}_{k},0,0]}^{T}\), b \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[{y}_{j}^{3},0,0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{y}_{j}^{2}{y}_{k},0,0]}^{T}\), c \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[{z}_{j}^{3},0,0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{z}_{j}^{2}{z}_{k},0,0]}^{T}\), d \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,{x}_{j}^{3},0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,{x}_{j}^{2}{x}_{k},0]}^{T}\), e \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,{y}_{j}^{3},0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,{y}_{j}^{2}{y}_{k},0]}^{T}\), f \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,{z}_{j}^{3},0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,{z}_{j}^{2}{z}_{k},0]}^{T}\), g \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,0,{x}_{j}^{3}]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,0,{x}_{j}^{2}{x}_{k}]}^{T}\), h \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,0,{y}_{j}^{3}]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,0,{y}_{j}^{2}{y}_{k}]}^{T}\), i \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,0,{z}_{j}^{3}]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,0,{z}_{j}^{2}{z}_{k}]}^{T}\).

Fig. 5: Synchronization in simplicial complexes of Lorenz systems, in the case of natural coupling.

The Master Stability Function is here calculated taking into account several coupling functions. a \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[{x}_{j}^{3},0,0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{x}_{j}^{2}{x}_{k},0,0]}^{T}\), b \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[{y}_{j}^{3},0,0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{y}_{j}^{2}{y}_{k},0,0]}^{T}\), c \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[{z}_{j}^{3},0,0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{z}_{j}^{2}{z}_{k},0,0]}^{T}\), d \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,{x}_{j}^{3},0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,{x}_{j}^{2}{x}_{k},0]}^{T}\), e \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,{y}_{j}^{3},0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,{y}_{j}^{2}{y}_{k},0]}^{T}\), f \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,{z}_{j}^{3},0]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,{z}_{j}^{2}{z}_{k},0]}^{T}\), g \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,0,{x}_{j}^{3}]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,0,{x}_{j}^{2}{x}_{k}]}^{T}\), h \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,0,{y}_{j}^{3}]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,0,{y}_{j}^{2}{y}_{k}]}^{T}\), i \({{\bf{h}}}^{(1)}({{\bf{x}}}_{j})={[0,0,{z}_{j}^{3}]}^{T}\) and \({{\bf{h}}}^{(2)}({{\bf{x}}}_{j},{{\bf{x}}}_{k})={[0,0,{z}_{j}^{2}{z}_{k}]}^{T}\).

Real-world structures

As an example of a real-world structure, we apply our method to a social system modeling the interactions between the members of a university sport club, the so-called Zachary karate club data set66. The original social system is described in terms of a network consisting of N = 34 nodes and 78 links. Since the links form 45 triangles, several simplicial complexes can be constructed from this network, depending on which and how many nodes forming a triangle are effectively taken into consideration as being part of a 2-simplex or, on the contrary, as only connected by three pairwise interactions. In this way, we will be able to investigate the relevance of three-body interactions in mechanisms of collective behavior, such as consensus and synchronization, in social systems. It is indeed well known that pairwise interactions are not always enough to capture the complex behavior of many systems, including social systems44. For instance, processes of social contagion can occur in different ways, either through pairwise interactions (the links of a network), or in groups of three or more individuals (higher-order simplices), and it has been shown that models of diffusion on simplicial complexes can reproduce well the complex mechanisms of influence and reinforcement that are at work in the formation of opinions and in the adoption of novelties67,68. At first, let us consider the case where all triangles are considered as 2-simplexes. In this way, the members of the Zachary karate club may have both pairwise, when they are connected by a network link, and three-body interactions, when they belong to the same triangle (2-simplex). The presence of a link indicates a social interaction among the two nodes of the link, whereas a 2-simplex can be interpreted as a social interaction involving three members of the club, such as a discussion to which all of them simultaneously participated. Oscillators have usually been used to describe the units of a coupled dynamical system when modeling opinion formation in social systems50,69. As dynamical units we have decided to use chaotic oscillators, as it can be relevant to study synchronization in the more general scenario in which the opinions do not necessarily converge to a fixed stationary state70,71. In particular, we associate to each node a Rössler oscillator and focus on the class III case, selecting the coupling functions as \({{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})={[{x}_{j}^{3}-{x}_{i}^{3},0,0]}^{T}\) and \({{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})={[{x}_{j}^{2}{x}_{k}-{x}_{i}^{3},0,0]}^{T}\). With these assumptions, the dynamics of each node i is described by

$${\dot{x}}_{i}= \, -{y}_{i}-{z}_{i}+{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{a}_{ij}^{(1)}({x}_{j}^{3}-{x}_{i}^{3})\\ \, +{\sigma }_{2}\mathop{\sum }\limits_{j=1}^{N}\mathop{\sum }\limits_{k=1}^{N}{a}_{ijk}^{(2)}({x}_{j}^{2}{x}_{k}-{x}_{i}^{3}),\\ {\dot{y}}_{i}= \, {x}_{i}+a{y}_{i},\\ {\dot{z}}_{i}= \, b+{z}_{i}({x}_{i}-c).$$

Equations (21) are then simulated for different values of σ1 and σ2. The average synchronization error and the predictions provided by the MSF (15) are illustrated in Fig. 6a that shows the crucial role played by the pairwise links, as synchronization turns out to be impossible when only three-body interactions are considered, i.e., when σ1 = 0.

Fig. 6: Synchronization in Zachary karate club structure.

Synchronization is studied in simplicial complexes extracted from the interactions characterizing the Zachary karate club network. a Synchronization error (color code reported in the bar at the right of the panel) vs. σ1 and σ2 for the simplicial complex obtained when all the triangles are considered as being 2-simplexes. The red line delimits the area of stability of the synchronous solution predicted by the MSF. b λ2 vs. the percentage of 2-simplexes in the structure, p2s (see text for definition); c λ2/λN vs. p2s. In b and c three different values of r are considered, with the color code for the plotted curves being reported in the corresponding insets.

Next, we take the original network, and build different simplicial complexes by considering an increasing percentage (labeled as p2s) of triangles in the original structure as true 2-simplexes, that is, an increasing percentage of social interactions taking place among groups of three members of the club. For each of these structures, we determine the effective matrix \({\mathcal{M}}\) in (41), and calculate its spectrum of eigenvalues, and in particular we calculate the quantities \({\lambda }_{2}({\mathcal{M}})\) and \({\lambda }_{2}({\mathcal{M}})/{\lambda }_{N}({\mathcal{M}})\) (to simplify the notation here we shortly refer to these quantities as λ2 and λ2/λN). The former quantity provides the scaling of synchronization for class II systems, while the latter quantity (λ2/λN) is a proxy of synchronizability for class III systems. The larger are the two quantities, the easier is to obtain synchronization. Fig. 6b, c illustrates the results at three values of \(r=\frac{{\sigma }_{2}}{{\sigma }_{1}}\). One finds that increasing p2s has the effect of increasing λ2 (thus it facilitates synchronization in class II systems), but simultaneously dwindles λ2/λN (thus hindering synchronization in class III). Furthermore, Fig. 6 reveals that a larger value of \(r=\frac{{\sigma }_{2}}{{\sigma }_{1}}\) leads to larger values of λ2, but smaller values of λ2/λN, thus suggesting a beneficial impact of stronger three-body interactions for class II systems and an opposite effect on class III systems.

Cluster synchronization in simplicial complexes

In complex networks, symmetries may induce cluster synchronization, a regime where nodes group into clusters of units synchronized to each other30. Network symmetries are permutations of the nodes preserving the connectivity pattern; they form a mathematical group, where each element may be represented by a permutation matrix R with elements rij = 1 if nodes i and j permute, and rij = 0 otherwise. The relevant property is that the orbits of the symmetry group associated to the network represent a partition into clusters that contain nodes that may synchronize each other. Group-theoretical considerations determine the exact composition and stability of clusters defined by the symmetry group30.

Extending the notion of cluster synchronization to simplicial complexes requires a formal definition of symmetries in the general framework of multi-body interactions. Although this goes beyond the purpose of this paper, here, we illustrate an example of a simplicial complex displaying cluster synchronization. The core idea is that symmetry-related nodes must be flow invariant. Since the flow now comprises pairwise as well as higher-order interactions, symmetries must preserve the invariance for all the interactions taking place in the simplicial complex. Note that the same general principle is at the basis of the onset of cluster synchronization in multilayer networks where the symmetries guarantee that synchronized nodes have equal dynamical variables when inter-layer coupling is also included72.

In simplicial complexes, the flow invariance of symmetry-related nodes is obtained when the same symmetries hold for all the Laplacians involved in the dynamical equations of the nodes. Indicating with Ri with i = 1, …, np the np permutation matrices describing representing the symmetry group associated to the cluster synchronization state, this requires that the Laplacians satisfy the following Lyapunov equations30,73:




for i = 1, …, ng.

To illustrate our results, we consider the two simplicial complexes shown in Fig. 7a, b, that have the same set of links, but different 2-simplices. The symmetries existing for the common network backbone induce the following partition of the nodes: V1 = {1, 2}, V2 = {7, 8}, V3 = {9, 10}, V4 = {11, 12}, V5 = {3}, V6 = {4}, V7 = {5}, V8 = {6}. Hence, the two simplicial complexes satisfy Eq. (22) for this symmetry group. However, for the simplicial complex in Fig. 7a, Eq. (22) do not hold, while the simplicial complex in Fig. 7b satisfies them.

Fig. 7: Cluster synchronization in simplicial complexes of Rössler oscillators.

a A simplicial complex where the symmetries of \({{\mathcal{L}}}^{(2)}\) do not match those of \({{\mathcal{L}}}^{(1)}\). b A simplicial complex where the symmetries of \({{\mathcal{L}}}^{(2)}\) match those of \({{\mathcal{L}}}^{(1)}\). c Synchronization error as a function of σ1 for the simplicial complex ia. d Synchronization error as a function of σ1 for the simplicial complex in panel b. In both cases, σ2 has been set to σ2 = 0.2.

We numerically study cluster synchronization monitoring the average synchronization error in each non-trivial cluster \({e}_{{V}_{h}}={\left\langle \sqrt{{\sum }_{i,j\in {V}_{h}}\parallel {{\bf{x}}}_{i}(t)-{{\bf{x}}}_{j}(t){\parallel }^{2}}\right\rangle }_{T}\) for h = 1, …, 4 and the average overall synchronization error E as in Eq. (45) to measure the onset of complete synchronization. Figure 7c, d shows the results for σ1 [0, 1] and σ2 = 0.2. As it can be observed, for the simplicial complex of Fig. 7b there is a interval of values of σ1, i.e., σ1 [0.1, 0.62], where the units in the four clusters are synchronized in the absence of complete synchronization, whereas for the simplicial complex of Fig. 7a V1 is the only cluster that synchronizes before complete synchronization is achieved. These results show that higher-order interactions can modulate the pattern of synchronization emerging in the simplicial complex, as a diverse arrangement of the same number of 2-simplices (two in our example) led to different synchronous clusters.


Collective emergent phenomena in complex systems are the result of the interactions of many elementary systems, that may occur through different mechanisms. We have here formulated the most general model accounting for many-body interactions of arbitrary order among dynamical systems of arbitrary nature, and we have given explicit necessary conditions for synchronization to set up in these structures in a stable way.

Under the only hypothesis of non-invasiveness of the coupling functions (which is the only assumption impossible to be disregarded, as it is the fundamental basis for the very same existence and invariance of the synchronization solution), we have derived the conditions for stability of the synchronous motion, which involve the use of generalized Laplacian matrices mapping the effects of high-order interactions. Moreover, we have even shown that, in some relevant cases, our approach ultimately provides a MSF, which formalizes the interplay between topology of the simplicial complex and dynamics of the single units. Finally, our theoretical derivations have been complemented by a series of numerical results, which have fully confirmed the validity and generality of the approach, and case studies, where our technique crucially enables to take into account the fundamental presence of higher-order interactions, whose effect, previously, was not possible to address.

We note that our method is based on linear stability, therefore providing a local analysis of synchronization. This analysis can be complemented by other techniques, such as the basin stability74, aiming at characterizing the basin of attraction of the synchronous manifold. Similar techniques require extensive numerical simulations of the full nonlinear model for many different initial conditions, but provide an important characterization of the system behavior, specially in the presence of multistability.

Our results pave the way to several novel studies. First, the generality of the assumptions made renders it applicable in a wide range of practical cases, and we expect that our method could be of value in a plethora of experimental and/or practical circumstances, in order to make a series of a-priori predictions on the emergence of synchronization.

Second, the fact that our method can be used irrespectively on the coupling functions offers the possibility to apply it for the investigation of diverse coupling mechanisms that may occur at different orders of the interactions. In particular, questions like what exact role do such interactions play in shaping the path to synchronization and its robustness against heterogeneities in the oscillator dynamics, or what is the difference in using one or another coupling mechanism, can actually be tackled and clarified by our approach. Answering these questions, indeed, is of crucial importance from the perspective of engineering mechanisms for achieving synchronization in man-made systems. For instance, power grids are currently synchronized by exploiting only pairwise interactions, whereas more functional and more performing configurations could be designed, thanks to our method, by the use of higher order interactions.

Third, our study focuses on what is possibly the most common and widely studied form of synchronization, that is, the regime where all the units follow the same trajectory. However, as also mentioned in the introduction, many other different forms of synchronization exist, including cluster synchronization, Chimera and Bellerophon states, remote synchronization, etc... All such states have been so far studied in structures with pairwise interactions. The emergence of such states, or even of novel ones, in simplicial complexes, as well as their stability, are very intriguing problems and certainly constitute directions for further research (an example limited to the case of cluster synchronization has been discussed in “Results”).


Networks and higher-order structures of interactions

A network is a collection of nodes and of edges connecting pairs of nodes. Mathematically, it is represented by a graph \({\mathcal{G}}=({\mathcal{V}},{\mathcal{E}})\), which consists of a set \({\mathcal{V}}\) with \(N=| {\mathcal{V}}|\) elements called vertices (or nodes), and a set \({\mathcal{E}}\) whose K elements, called edges or links, are pairs of nodes (i, j) (i, j = 1, 2, …, N and i ≠ j). As graphs explicitly refer to pairwise interactions, networks have been very successful in capturing the properties of coupled dynamical systems in all such cases in which the interactions can be expressed (or approximated) as a sum of two-body terms75. Conversely, their limits emerge when it comes to model higher-order interactions. In fact, the presence of a triangle of three nodes i, j, k in a network, e.g., the presence of the three links (i, j), (i, k), (j, k) in the corresponding graph, is not able to capture the difference between a three-body interaction of the three individuals, from the sum of three pairwise interactions. Notice that these are two completely different situations, with completely different social mechanisms and dynamics at work67.

Simplicial complexes are instead the proper mathematical structures for describing high-order interactions. A simplicial complex is an aggregate of simplices, objects that generalize links and can in general be of different dimension. A d-simplex, or simplex of dimension d, σ is, in its simplest definition, a collection of d + 1 nodes. In this way, a 0-simplex is a node, a 1-simplex is a link, a 2-simplex (i, j, k) is a two-dimensional object made by three nodes, usually called a (full) triangle, a 3-simplex is a tetrahedron, i.e., a three-dimensional object and so on. It is now possible to differentiate between a three-body interaction, and three bodies in pairwise interactions: the first case will be represented by a complete triangle, a two-dimensional simplex, while the second case will consist of three one-dimensional objects. Hence, in the following of this paper, simplices of dimension d will be used to describe the structure of (d + 1)-body interactions.

Finally, a simplicial complex \({\mathcal{S}}\) on a given set of nodes \({\mathcal{V}}\), with \(| {\mathcal{V}}| =N\), is a collection of M simplices, \({\mathcal{S}}=\{{\sigma }_{1},{\sigma }_{2},\ldots ,{\sigma }_{M}\}\), with the extra requirement that, for any simplex \(\sigma \in {\mathcal{S}}\), all the simplices \(\sigma ^{\prime}\) with \(\sigma ^{\prime} \subset \sigma\), i.e., all the simplices built from subsets of σ, are also contained in \({\mathcal{S}}\). Due to this requirement, simplicial complexes are a very particular type of hypergraphs76. Simplicial complexes have shown to be appropriate in the context of social systems67,77,78 and they will turn very useful to study coupled dynamical systems. We indicate as Md, d = 1, 2, …, D the number of d-simplices present in \({\mathcal{S}}\) (where D, the order of the simplicial complex, is the dimension of the largest simplex in \({\mathcal{S}}\)), with the constraint that \(\mathop{\sum }\nolimits_{d=1}^{D}{M}_{d}=M\).

As a mathematical representation of simplicial complexes, we use here a formalism which generalizes directly the concept of adjacency matrix for a network. The adjacency matrix A of a graph \({\mathcal{G}}\) is a N × N matrix, such that entry aij is 1 when edge \((i,j)\in {\mathcal{E}}\), and 0 otherwise. The idea can be extended to simplicial complexes by considering tensors instead of matrices. In fact, for each dimension d, we can define the \({\underbrace {N \times N \times \ldots \times N}}_{d + 1}\) adjacency tensor A(d), whose entry \({a}_{{i}_{1},\ldots ,{i}_{d+1}}^{(d)}\) is equal to 1 if the d-simplex (i1, …, id+1) belongs to the simplex \({\mathcal{S}}\), and is 0 otherwise17. Notice that each tensor is symmetric with respect to its d + 1 indices, which means that the value of a given entry \({a}_{{i}_{1},\ldots ,{i}_{d+1}}^{(d)}\) is equal to the value of the entries corresponding to any permutation of the indices.

With the definition above, A(1) coincides with the standard adjacency matrix A, while the N  ×  N  ×  N adjacency tensor A(2) characterizes two-dimensional objects: one has \({a}_{ijk}^{(2)}=1\) if the three nodes i, j, k form a full triangle, and otherwise \({a}_{ijk}^{(2)}=0\). As a conclusion, it is possible to map completely the connectivity structure of a simplicial complex \({\mathcal{S}}\) into the entire set of D adjacency tensors A(d), d = 1, 2, …, D.

A node i of a simplicial complex \({\mathcal{S}}\) cannot be, therefore, characterized only by giving its degree \({k}_{i}=\mathop{\sum }\nolimits_{j=1}^{N}{a}_{ij}^{(1)}\), but one needs instead to account for the number of simplices of any dimension, incident in i. It is therefore extremely useful to define the generalized d-degree, \({k}_{i}^{(d)}\), of a node i as

$${k}_{i}^{(d)}=\frac{1}{d!}\mathop{\sum }\limits_{{i}_{1}=1}^{N}\mathop{\sum }\limits_{{i}_{2}=1}^{N}\ldots \mathop{\sum }\limits_{{i}_{d}=1}^{N}{a}_{i,{i}_{1},{i}_{2},\ldots ,\,{i}_{d}}^{(d)},$$

with d = 1, 2, …, D so that \({k}_{i}^{(1)}\) coincides with the standard degree of node i, \({k}_{i}^{(2)}\) counts the number of triangles (2-simplices) to which i participates

$${k}_{i}^{(2)}=1/2\mathop{\sum }\limits_{j=1}^{N}\mathop{\sum }\limits_{k=1}^{N}{a}_{ijk}^{(2)},$$

\({k}_{i}^{(3)}\) the number of tetrahedrons, and so on.

Analogously, we can also define the generalized d-degree \({k}_{ij}^{(d)}\) of a link (i, j) as the number of d-simplices to which link (i, j) is part of. We can write its expression in terms of the adjacency tensor A(d) of dimension d, with d = 1, 2, …, D, as17

$${k}_{ij}^{(d)}=\frac{1}{(d-1)!}\mathop{\sum }\limits_{{i}_{1}=1}^{N}\mathop{\sum }\limits_{{i}_{2}=1}^{N}\ldots \mathop{\sum }\limits_{{i}_{d-1}=1}^{N}{a}_{i,j,{i}_{1},{i}_{2},\ldots ,{i}_{d-1}}^{(d)},$$

so that \({k}_{ij}^{(1)}={a}_{ij}^{(1)}\), while \({k}_{ij}^{(2)}\) counts the number of triangles (2-simplices) to which (i, j) participates

$${k}_{ij}^{(2)}=\mathop{\sum }\limits_{k=1}^{N}{a}_{ijk}^{(2)},$$

and so on.

The Laplacian is a matrix that is of particular importance in many linear processes such as diffusion in graphs, but also turns useful in the linearization of nonlinear systems, for instance when we study the stability of a synchronized state in a networked dynamical system. The Laplacian matrix L = {lij} of a graph can be defined as L = K − A, where K is the diagonal matrix having the node degrees as diagonal elements. We give here a definition of generalized Laplacian describing the case of systems with high-order interactions. The generalized Laplacian of order d, with d = 1, 2, …, D, is a matrix \({{\mathcal{L}}}^{(d)}\) whose elements are defined as

$${{\mathcal{L}}}_{ij}^{(d)}=\left\{\begin{array}{lll}0&\,{\text{for}}\,& i\ne j \quad\,{\text{and}}\,\quad {a}_{ij}^{(1)}=0\\ -(d-1)!{k}_{ij}^{(d)}&\,{\text{for}}\,& i\ne j\quad\,{\text{and}}\,\quad {a}_{ij}^{(1)}=1\\ d!{k}_{i}^{(d)}&\,{\text{for}}\,& i=j,\hfill\end{array}\right.$$

where \({k}_{ij}^{(d)}\) is the generalized d-degree of the link (i, j), and \({k}_{i}^{(d)}\) is the generalized d-degree of node i. Replacing Eqs. (24) and (26) in Eq. (28), in the case D = 2, we get an equivalent expression for the generalized Laplacian:

$${{\mathcal{L}}}_{ij}^{(2)}=\left\{\begin{array}{ll}-\sum _{k}{a}_{ijk}^{(2)}&\,{\text{for}}\hfill\,\quad i\ne j\quad\\ -\sum _{\ell \ne i}{{\mathcal{L}}}_{i\ell }^{(2)}&\,{\text{for}}\,\qquad i=j,\end{array}\right.$$

Notice that \({{\mathcal{L}}}^{(1)}\) recovers exactly the classical Laplacian matrix. This definition of generalized Laplacian will turn useful in our study.

Derivation of Eq. (3)

To derive the conditions for the stability of the synchronization solution xs, one first considers small perturbations around the synchronous state, i.e., δxi = xi − xs, and performs a linear stability analysis of Eq. (2). One has

$${\dot{\delta {\bf{x}}}}_{i}= \, J{\bf{f}}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{i}+{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{a}_{ij}^{(1)}\left[\frac{\partial {{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})}{\partial {{\bf{x}}}_{i}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s})}\delta {{\bf{x}}}_{i}\right. \left.+\frac{\partial {{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})}{\partial {{\bf{x}}}_{j}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s})}\delta {{\bf{x}}}_{j}\right]\\ \, +{\sigma }_{2}\mathop{\sum }\limits_{j=1}^{N}\mathop{\sum }\limits_{k=1}^{N}{a}_{ijk}^{(2)}\left[\frac{\partial {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})}{\partial {{\bf{x}}}_{i}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})}\delta {{\bf{x}}}_{i}\right. +\frac{\partial {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})}{\partial {{\bf{x}}}_{j}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})}\delta {{\bf{x}}}_{j}\\ \, \left.+\frac{\partial {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})}{\partial {{\bf{x}}}_{k}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})}\delta {{\bf{x}}}_{k}\right],$$

where Jf(xs) denotes the m × m Jacobian matrix of the function f, evaluated at the synchronous state xs. The first, very important, conceptual step in our derivation consists in noticing that all coupling functions are synchronization noninvasive (i.e., g(1)(x, x) ≡ 0 and g(2)(x, x, x) ≡ 0). As their value is then constant (equal to zero) at the synchronization manifold, it immediately follows that their total derivative vanishes as well, which implies on its turn that

$$ \,\frac{\partial {{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})}{\partial {{\bf{x}}}_{i}}{\Bigg| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s})}+\frac{\partial {{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})}{\partial {{\bf{x}}}_{j}}{\Bigg| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s})}= 0,\\ \,\frac{\partial {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})}{\partial {{\bf{x}}}_{i}}{\Bigg| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})}+\frac{\partial {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})}{\partial {{\bf{x}}}_{j}}{\Bigg| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})}+ \\ \, \quad+\frac{\partial {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})}{\partial {{\bf{x}}}_{k}}{\Bigg| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})}= 0.$$

Then, one can factor out the terms \(\frac{\partial {{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})}{\partial {{\bf{x}}}_{i}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s})}\delta {{\bf{x}}}_{i}\) and \(\frac{\partial {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})}{\partial {{\bf{x}}}_{i}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})}\delta {{\bf{x}}}_{i}\) in the summations (both of them, indeed, do not depend on the indices of the summations). Furthermore, one has that \(\mathop{\sum }\nolimits_{j=1}^{N}{a}_{ij}^{(1)}={k}_{i}^{(1)}\) and \(\mathop{\sum }\limits_{j=1}^{N}\mathop{\sum }\nolimits_{k=1}^{N}{a}_{ijk}^{(2)}=2{k}_{i}^{(2)}\). Plugging back the resulting terms inside the summations, and using Eq. (31), one eventually obtains

$${\dot{\delta {\bf{x}}}}_{i}= \, J{\bf{f}}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{i}-{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{{\mathcal{L}}}_{ij}^{(1)}J{{\bf{g}}}^{(1)}({{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{j}\\ \, -{\sigma }_{2}\mathop{\sum }\limits_{j=1}^{N}\mathop{\sum }\limits_{k=1}^{N}{\tau }_{ijk}\left[{J}_{1}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{j} +{J}_{2}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{k}\right],$$

where we introduced a tensor T whose elements are \({\tau }_{ijk}=2{k}_{i}^{(2)}{\delta }_{ijk}-{a}_{ijk}^{(2)}\) for i, j, k = 1, …, N, and simplified the notation as

$$J{{\bf{g}}}^{(1)}({{\bf{x}}}^{s},{{\bf{x}}}^{s}) = \, \frac{\partial {{\bf{g}}}^{(1)}({{\bf{x}}}_{i},{{\bf{x}}}_{j})}{\partial {{\bf{x}}}_{j}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s})},\\ {J}_{1}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s}) = \, \frac{\partial {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})}{\partial {{\bf{x}}}_{j}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})},\\ {J}_{2}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s}) = \, \frac{\partial {{\bf{g}}}^{(2)}({{\bf{x}}}_{i},{{\bf{x}}}_{j},{{\bf{x}}}_{k})}{\partial {{\bf{x}}}_{k}}{| }_{({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})}.$$

Already at this stage, it is fundamental to remark that our approach does not require a diffusive functional form for the interplay among the network nodes, and therefore we are actually encompassing an extremely broad class of coupling functions. For instance, our approach allows the formal treatment of the Kuramoto model50, where m = 1, each network unit i is identified by the instantaneous phase θi of an oscillator, and the coupling between nodes i and j is given by the function \(\sin ({\theta }_{j}-{\theta }_{i})\), which is not diffusive.

Let us now make our second, conceptual, step, which will allow us to greatly simplify the last term on the right hand side of Eq. (32). Such a term refers to three-body interactions, and we now show how to map it into a single summation involving the generalized Laplacian matrix. This is done by remarking that the two Jacobian matrices J1g(2)(xs, xs, xs) and J2g(2)(xs, xs, xs) are both independent on k and j. Accordingly, Eq. (32) becomes

$${\dot{\delta}} {\bf{x}}_{i}= \, J{\bf{f}}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{i}-{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{{\mathcal{L}}}_{ij}^{(1)}J{{\bf{g}}}^{(1)}({{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{j}\\ \, -{\sigma }_{2}\left[\sum_{j=1}^{N}{J}_{1}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{j}\sum_{k=1}^{N}{\tau }_{ijk} +\sum_{k=1}^{N}{J}_{2}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{k}\sum_{j=1}^{N}{\tau }_{ijk}\right].$$

Then, using the symmetric property of T, namely \(\sum _{k}{\tau }_{ijk}=\sum _{k}{\tau }_{ikj}\), we have

$${\dot{\delta {\bf{x}}}}_{i}= \, J{\bf{f}}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{i}-{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{{\mathcal{L}}}_{ij}^{(1)}J{{\bf{g}}}^{(1)}({{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{j}\\ \, -{\sigma }_{2}\left[\mathop{\sum }\limits_{j=1}^{N}{J}_{1}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{j}{{\mathcal{L}}}_{ij}^{(2)}\right. \left.+\mathop{\sum }\limits_{k=1}^{N}{J}_{2}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{k}{{\mathcal{L}}}_{ik}^{(2)}\right]\\ = \, J{\bf{f}}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{i}-{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{{\mathcal{L}}}_{ij}^{(1)}J{{\bf{g}}}^{(1)}({{\bf{x}}}^{s},{{\bf{x}}}^{s})\delta {{\bf{x}}}_{j} -{\sigma }_{2}\mathop{\sum }\limits_{j=1}^{N}{{\mathcal{L}}}_{ij}^{(2)}\left[{J}_{1}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})\right.\\ \, \left.+{J}_{2}{{\bf{g}}}^{(2)}({{\bf{x}}}^{s},{{\bf{x}}}^{s},{{\bf{x}}}^{s})\right]\delta {{\bf{x}}}_{j}.$$

Let us now rewrite Eq. (35) in block form by introducing the stack vector \(\delta {\bf{x}}={[\delta {{\bf{x}}}_{1}^{T},\delta {{\bf{x}}}_{2}^{T},\ldots ,\delta {{\bf{x}}}_{N}^{T}]}^{T}\) and denoting by JF = Jf(xs), JG(1) = Jg(1)(xs, xs) and JG(2) = J1g(2)(xs, xs, xs) + J2g(2)(xs, xs, xs). One obtains

$$\dot{\delta {\bf{x}}}=\left[{{\rm{I}}}_{N}\otimes {\rm{JF}}-{\sigma }_{1}{{\mathcal{L}}}^{(1)}\otimes {{\rm{JG}}}^{(1)}-{\sigma }_{2}{{\mathcal{L}}}^{(2)}\otimes {{\rm{JG}}}^{(2)}\right]\delta {\bf{x}}.$$

The third, and final, conceptual step is to remark that all generalized Laplacians \({{\mathcal{L}}}^{(d)}\) are symmetric real-valued zero-row-sum matrices. Therefore: (i) they are all diagonalizable; (ii) for each one of them the set of eigenvalues is made of real non-negative numbers, and the corresponding set of eigenvectors constitutes a orthonormal basis of \({{\mathbb{R}}}^{N}\); (iii) they all share, as the smallest of their eigenvalues, λ1 ≡ 0, whose associated eigenvector \(\frac{1}{\sqrt{N}}\,{(1,1,1,...,1)}^{T}\) is aligned along the synchronization manifold; (iv) as in general they do not commute, the sets of eigenvectors corresponding to all others of their eigenvalues are different from one another, and yet any perturbation to the synchronization manifold (which, by definition, lies in the tangent space) can be expanded as linear combination of one whatever of such eigenvector sets (the relevant consequence is that one can arbitrarily select any of the generalized Laplacians as the reference for the choice of the basis of the transverse space, and all other eigenvector sets will map to such a basis by means of unitary matrix transformations).

We are then fully entitled to take, as reference basis, the one constituted by the eigenvectors of the classic Laplacian \({{\mathcal{L}}}^{(1)}\) (V = [v1, v2, …, vN]), and consider new variables η = (V−1 Im)δx. We get

$$\dot{{\eta }}= \, ({{\rm{V}}}^{-1}\otimes {{\rm{I}}}_{m})\left[{{\rm{I}}}_{N}\otimes {\rm{JF}}-{\sigma }_{1}{{\mathcal{L}}}^{(1)}\otimes {{\rm{JG}}}^{(1)}\right.\\ \,\,\left.-{\sigma }_{2}{{\mathcal{L}}}^{(2)}\otimes {{\rm{JG}}}^{(2)}\right]({\rm{V}}\otimes {{\rm{I}}}_{m}){\eta }.$$

Furthermore, taking into account that \({{\rm{V}}}^{-1}{{\mathcal{L}}}^{(1)}{\rm{V}}={\rm{diag}}({\lambda }_{1},{\lambda }_{2},\ldots ,{\lambda }_{N})={{\rm{{{\Lambda }}}}}^{(1)}\), where 0 = λ1 < λ2 ≤ …λN are the eigenvalues of \({{\mathcal{L}}}^{(1)}\), and indicating with \({{\tilde{{\mathcal{L}}}}^{(2)}={{\rm{V}}}^{-1}{{\mathcal{L}}}^{(2)}{\rm{V}}}\) the transformed generalized Laplacian of order 2, one obtains that

$$\dot{{\eta }}=\left[{{\rm{I}}}_{N}\otimes {\rm{JF}}-{\sigma }_{1}{{\rm{{{\Lambda }}}}}^{(1)}\otimes {{\rm{JG}}}^{(1)}-{\sigma }_{2}{\tilde{{\mathcal{L}}}}^{(2)}\otimes {{\rm{JG}}}^{(2)}\right]{\eta }.$$

As \({{\mathcal{L}}}^{(2)}\) is zero-row sum (i.e. \({{\mathcal{L}}}^{(2)}{{\bf{v}}}_{1}=0\)), Eq. (3) are finally obtained from Eq. (38).

Derivation of the MSF in the case of natural coupling

In the case of natural coupling as in Eq. (14), one has that J1h(2)(xs, xs) + J2h(2)(xs, xs) = Jh(1)(xs). The consequence is that the equations of the linearized dynamics in Eq. (35) can be rewritten as follows

$${\dot{\delta {\bf{x}}}}_{i}= \, J{\bf{f}}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{i}-{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{{\mathcal{L}}}_{ij}^{(1)}J{{\bf{h}}}^{(1)}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{j}\\ \, -{\sigma }_{2}\mathop{\sum }\limits_{j=1}^{N}{{\mathcal{L}}}_{ij}^{(2)}J{{\bf{h}}}^{(1)}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{j}\\ = \, J{\bf{f}}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{i}\\ \, -\mathop{\sum }\limits_{j=1}^{N}\left[{\sigma }_{1}{{\mathcal{L}}}_{ij}^{(1)}+{\sigma }_{2}{{\mathcal{L}}}_{ij}^{(2)}\right]J{{\bf{h}}}^{(1)}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{j}.$$

Alternatively, one can consider the zero-row sum, symmetric, effective matrix \({\mathcal{M}}\), given by

$${\mathcal{M}}={{\mathcal{L}}}^{(1)}+r{{\mathcal{L}}}^{(2)},\qquad r=\frac{{\sigma }_{2}}{{\sigma }_{1}}.$$

and rewrite Eq. (39) as follows

$${\dot{\delta {\bf{x}}}}_{i}=J{\bf{f}}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{i}-{\sigma }_{1}\mathop{\sum }\limits_{j=1}^{N}{{\mathcal{M}}}_{ij}\,J{{\bf{h}}}^{(1)}({{\bf{x}}}^{s})\delta {{\bf{x}}}_{j}.$$

where we notice that the eigenvalues of \({\mathcal{M}}\) depend on the ratio r of the coupling coefficients.

Equation (41) allows to establish a formal full analogy between the case of a simplicial complex and that of a network with weights given by the coefficients of the effective matrix \({\mathcal{M}}\). In this case, by diagonalizing the effective matrix \({\mathcal{M}}\), the transverse modes can be fully decoupled such that Eq. (15) is obtained, which prompts for the definition of a single-parameter MSF.

Numerical simulations

In our numerical simulations, we used two paradigmatic chaotic systems for the study of synchronization in systems of coupled units. The isolated dynamics of the Rössler oscillator is described by

$$\dot{x} = \, -y-z,\\ \dot{y} = \, x+ay,\\ \dot{z} = \, b+z(x-c),$$

while the equations for the Lorenz system are

$$\dot{x} = \, \sigma (y-x),\\ \dot{y} = \, x(\rho -z)-y,\\ \dot{z} = \, xy-\beta z,$$

In both cases, the parameters are fixed so as the resulting dynamics is chaotic. Namely, for the Rössler oscillator we selected a = b = 0.2, c = 9, and for the Lorenz system σ = 10, ρ = 28, and β = 8/3.

Furthermore, as a real-world example, we have considered the HR model for the neuron, whose isolated dynamics is described by the set of equations

$$\dot{x} = \, y+3{x}^{2}-{x}^{3}-z+I,\\ \dot{y} = \, 1-5{x}^{2}-y,\\ \dot{z} = \, -rz+rs(x+1.6),$$

Here we fixed r = 0.006, s = 4, I = 3.2, so that the resulting dynamics is chaotic64.

In all cases, the state of the system is monitored by the average synchronization error defined as

$$E={\left\langle {\left(\frac{1}{N(N-1)}\mathop{\sum }\limits_{i,j = 1}^{N}\parallel {{\bf{x}}}_{j}-{{\bf{x}}}_{i}{\parallel }^{2}\right)}^{\frac{1}{2}}\right\rangle }_{T},$$

where T is a sufficiently large window of time where the synchronization error is averaged, after discarding the transient.

Numerical integrations of the simplicial complexes of chaotic units are performed by means of an Euler algorithm, with integration step δt = 10−4, in a windows of time equal to 2T with T = 500.

For the calculation of the maximum Lyapunov exponent of the transverse modes in Eq. (3) we used the algorithm reported in ref. 79 (pp. 116–117) with the following parameters: integration step size δt = 10−3, number of iterations per cycle I = 10000, number of cycles C = 5.

For the calculation of the MSF (15) we made use of the algorithm for the computation of the entire spectrum of Lyapunov exponents in ref. 80 (with parameters: integration step size of the Euler algorithm δt = 10−5, length of the simulation L = 2500, windows of averaging T = 0.9L).

Data availability

All data needed to evaluate the conclusions in the paper are present in the paper itself. Additional data related to this paper may be requested to the corresponding authors.

Code availability

The code for the numerical simulations presented in this article is available from the corresponding authors upon reasonable request.


  1. 1.

    Boccaletti, S., Latora, V., Moreno, Y., Chavez, M. & Hwang, D.-U. Complex networks: structure and dynamics. Phys. Rep. 424, 175–308 (2006).

    ADS  MathSciNet  MATH  Article  Google Scholar 

  2. 2.

    Petri, G. et al. Homological scaffolds of brain functional networks. J. R. Soc. Interface 11, 20140873 (2014).

    CAS  PubMed  PubMed Central  Article  Google Scholar 

  3. 3.

    Lord, L.-D. et al. Insights into brain architectures from the homological scaffolds of functional connectivity networks. Front. Syst. Neurosci. 10, 85 (2016).

    PubMed  PubMed Central  Article  Google Scholar 

  4. 4.

    Lee, H., Kang, H., Chung, M. K., Kim, B.-N. & Lee, D. S. Persistent brain network homology from the perspective of dendrogram. IEEE Trans. Med. Imaging. 31, 2267–2277 (2012).

    PubMed  Article  PubMed Central  Google Scholar 

  5. 5.

    Sizemore, A. E. et al. Cliques and cavities in the human connectome. J. Comp. Neurosci. 44, 115–145 (2018).

    MathSciNet  MATH  Article  Google Scholar 

  6. 6.

    Estrada, E. & Ross, G. J. Centralities in simplicial complexes. applications to protein interaction networks. J. Theor. Biol. 438, 46–60 (2018).

    MathSciNet  CAS  PubMed  MATH  Article  PubMed Central  Google Scholar 

  7. 7.

    Sizemore, A. E., Karuza, E. A., Giusti, C. & Bassett, D. S. Knowledge gaps in the early growth of semantic feature networks. Nat. Hum. Behav. 2, 682–692 (2018).

    PubMed  PubMed Central  Article  Google Scholar 

  8. 8.

    Carletti, T., Battiston, F., Cencetti, G. & Fanelli, D. Random walks on hypergraphs. Phys. Rev. E 101, 022308 (2020).

    ADS  MathSciNet  CAS  PubMed  Article  PubMed Central  Google Scholar 

  9. 9.

    Patania, A., Petri, G. & Vaccarino, F. The shape of collaborations. EPJ Data Sci. 6, 18 (2017).

    MATH  Article  Google Scholar 

  10. 10.

    Petri, G., Scolamiero, M., Donato, I. & Vaccarino, F. Topological strata of weighted complex networks. PLoS ONE 8, e66506 (2013).

    ADS  CAS  PubMed  PubMed Central  Article  Google Scholar 

  11. 11.

    Sizemore, A., Giusti, C. & Bassett, D. S. Classification of weighted networks through mesoscale homological features. J. Complex Netw. 5, 245–273 (2016).

    MathSciNet  Google Scholar 

  12. 12.

    Aleksandrov, P. S. Combinatorial Topology, vol. 1 (Courier Corporation, 1998).

  13. 13.

    Carlsson, G. Topology and data. Bull. Am. Math. Soc. 46, 255–308 (2009).

    MathSciNet  MATH  Article  Google Scholar 

  14. 14.

    Salnikov, V., Cassese, D. & Lambiotte, R. Simplicial complexes and complex systems. Eur. J. Phys. 40, 014001 (2018).

    MATH  Article  Google Scholar 

  15. 15.

    Sizemore, A. E., Phillips-Cremins, J. E., Ghrist, R. & Bassett, D. S. The importance of the whole: topological data analysis for the network neuroscientist. Netw. Neurosci. 3, 656–673 (2019).

    PubMed  PubMed Central  Article  Google Scholar 

  16. 16.

    Costa, A. & Farber, M. Random simplicial complexes. Configuration Spaces 129–153 (Springer, 2016)

  17. 17.

    Courtney, O. T. & Bianconi, G. Generalized network structures: the configuration model and the canonical ensemble of simplicial complexes. Phys. Rev. E 93, 062311 (2016).

    ADS  PubMed  Article  CAS  PubMed Central  Google Scholar 

  18. 18.

    Bianconi, G. & Rahmede, C. Complex quantum network manifolds in dimension d > 2 are scale-free. Sci. Rep. 5, 13979 (2015).

    ADS  PubMed  PubMed Central  Article  Google Scholar 

  19. 19.

    Petri, G. & Barrat, A. Simplicial activity driven model. Phys. Rev. Lett. 121, 228301 (2018).

    ADS  CAS  PubMed  Article  PubMed Central  Google Scholar 

  20. 20.

    Pikovsky, A. Kurths, J., Rosenblum, M. & Kurths, J. Synchronization: a Universal Concept in Nonlinear Sciences, vol. 12 (Cambridge University Press, 2003).

  21. 21.

    Boccaletti, S., Pisarchik, A. N., Del Genio, C. I. & Amann, A. Synchronization: from Coupled Systems to Complex Networks (Cambridge University Press, 2018).

  22. 22.

    Shahal, S. et al. Synchronization of complex human networks. Nat. Commun. 11, 1–10 (2020).

    Article  CAS  Google Scholar 

  23. 23.

    Barahona, M. & Pecora, L. M. Synchronization in small-world systems. Phys. Rev. Lett. 89, 054101 (2002).

    ADS  PubMed  Article  CAS  PubMed Central  Google Scholar 

  24. 24.

    Chavez, M., Hwang, D.-U., Amann, A., Hentschel, H. G. E. & Boccaletti, S. Synchronization is enhanced in weighted complex networks. Phys. Rev. Lett. 94, 218701 (2005).

    ADS  CAS  PubMed  Article  Google Scholar 

  25. 25.

    del Genio, C. I., Gómez-Gardeñes, J., Bonamassa, I. & Boccaletti, S. Synchronization in networks with multiple interaction layers. Sci. Adv. 2, e1601679 (2016).

  26. 26.

    Gutiérrez, R. et al. Emerging meso-and macroscales from synchronization of adaptive networks. Phys. Rev. Lett. 107, 234103 (2011).

    ADS  PubMed  Article  CAS  Google Scholar 

  27. 27.

    Avalos-Gaytán, V. et al. Emergent explosive synchronization in adaptive complex networks. Phys. Rev. E 97, 042301 (2018).

    ADS  PubMed  Article  PubMed Central  Google Scholar 

  28. 28.

    Gambuzza, L. V. et al. Analysis of remote synchronization in complex networks. Chaos 23, 043103 (2013).

    ADS  MathSciNet  PubMed  MATH  Article  PubMed Central  Google Scholar 

  29. 29.

    Nicosia, V., Valencia, M., Chavez, M., Díaz-Guilera, A. & Latora, V. Remote synchronization reveals network symmetries and functional modules. Phys. Rev. Lett. 110, 174102 (2013).

    ADS  PubMed  Article  CAS  PubMed Central  Google Scholar 

  30. 30.

    Pecora, L. M., Sorrentino, F., Hagerstrom, A. M., Murphy, T. E. & Roy, R. Cluster synchronization and isolated desynchronization in complex networks with symmetries. Nat. Commun. 5, 1–8 (2014).

    Article  CAS  Google Scholar 

  31. 31.

    Gambuzza, L. V., Frasca, M. & Latora, V. Distributed control of synchronization of a group of network nodes. IEEE Trans. Autom. Control 64, 365–372 (2018).

    MathSciNet  MATH  Article  Google Scholar 

  32. 32.

    Abrams, D. M. & Strogatz, S. H. Chimera states for coupled oscillators. Phys. Rev. Lett. 93, 174102 (2004).

    ADS  PubMed  Article  CAS  PubMed Central  Google Scholar 

  33. 33.

    Panaggio, M. J. & Abrams, D. M. Chimera states: coexistence of coherence and incoherence in networks of coupled oscillators. Nonlinearity 28, R67 (2015).

    ADS  MathSciNet  MATH  Article  Google Scholar 

  34. 34.

    Bi, H. et al. Coexistence of quantized, time dependent, clusters in globally coupled oscillators. Phys. Rev. Lett. 117, 204101 (2016).

    ADS  PubMed  Article  PubMed Central  Google Scholar 

  35. 35.

    Xu, C., Boccaletti, S., Guan, S. & Zheng, Z. Origin of Bellerophon states in globally coupled phase oscillators. Phys. Rev. E 98, 050202 (2018).

    ADS  CAS  Article  Google Scholar 

  36. 36.

    DiPatti, F., Fanelli, D., Miele, F. & Carletti, T. Benjamin-Feir instabilities on directed networks. Chaos Solitons Fractals 96, 8–16 (2017).

    ADS  MathSciNet  MATH  Article  Google Scholar 

  37. 37.

    DiPatti, F., Fanelli, D., Miele, F. & Carletti, T. Ginzburg-Landau approximation for self-sustained oscillators weakly coupled on complex directed graphs. Commun. Nonlinear Sci. Numer. Simul. 56, 447–456 (2018).

    ADS  MathSciNet  MATH  Article  Google Scholar 

  38. 38.

    Cencetti, G. et al. Topological stabilization for synchronized dynamics on networks. Eur Phys. J. B 90, 9 (2017).

    ADS  MathSciNet  Article  CAS  Google Scholar 

  39. 39.

    Boccaletti, S. et al. Explosive transitions in complex networks’ structure and dynamics: Percolation and synchronization. Phys. Rep. 660, 1–94 (2016).

    ADS  MathSciNet  MATH  Article  Google Scholar 

  40. 40.

    Buschman, T. J., Denovellis, E. L., Diogo, C., Bullock, D. & Miller, E. K. Synchronous oscillatory neural ensembles for rules in the prefrontal cortex. Neuron 76, 838–846 (2012).

    CAS  PubMed  PubMed Central  Article  Google Scholar 

  41. 41.

    Jiruska, P. et al. Synchronization and desynchronization in epilepsy: controversies and hypotheses. J. Physiol. 591, 787–797 (2013).

    CAS  PubMed  Article  PubMed Central  Google Scholar 

  42. 42.

    Fisher, R. S. et al. Ilae official report: a practical clinical definition of epilepsy. Epilepsia 55, 475–482 (2014).

    PubMed  Article  PubMed Central  Google Scholar 

  43. 43.

    Jirsa, V. K., Stacey, W. C., Quilichini, P. P., Ivanov, A. I. & Bernard, C. On the nature of seizure dynamics. Brain 137, 2210–2230 (2014).

    PubMed  PubMed Central  Article  Google Scholar 

  44. 44.

    Battiston, F. et al. Networks beyond pairwise interactions: structure and dynamics. Phys. Rep. 874, 1–92 (2020).

    ADS  MathSciNet  Article  Google Scholar 

  45. 45.

    Fellin, T. et al. Neuronal synchrony mediated by astrocytic glutamate through activation of extrasynaptic nmda receptors. Neuron 43, 729–743 (2004).

    CAS  PubMed  Article  PubMed Central  Google Scholar 

  46. 46.

    Tlaie, A., Leyva, I. & Sendiña-Nadal, I. High-order couplings in geometric complex networks of neurons. Phys. Rev. E 100, 052305 (2019).

    ADS  CAS  PubMed  Article  PubMed Central  Google Scholar 

  47. 47.

    Mickalide, H. & Kuehn, S. Higher-order interaction between species inhibits bacterial invasion of a phototroph-predator microbial community. Cell Syst. 9, 521–533 (2019).

    CAS  PubMed  Article  PubMed Central  Google Scholar 

  48. 48.

    Neuhäuser, L., Mellor, A. & Lambiotte, R. Multibody interactions and nonlinear consensus dynamics on networked systems. Phys. Rev. E 101, 032310 (2020).

    ADS  MathSciNet  PubMed  Article  PubMed Central  Google Scholar 

  49. 49.

    Krawiecki, A. Chaotic synchronization on complex hypergraphs. Chaos Solitons Fractals 65, 44–50 (2014).

    ADS  MathSciNet  MATH  Article  Google Scholar 

  50. 50.

    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).

    ADS  Article  Google Scholar 

  51. 51.

    Rodrigues, F. A., Peron, T. K. D., Ji, P. & Kurths, J. The Kuramoto model in complex networks. Phys. Rep. 610, 1–98 (2016).

    ADS  MathSciNet  MATH  Article  Google Scholar 

  52. 52.

    Tanaka, T. & Aoyagi, T. Multistable attractors in a network of phase oscillators with three-body interactions. Phys. Rev. Lett. 106, 224101 (2011).

    ADS  PubMed  Article  CAS  PubMed Central  Google Scholar 

  53. 53.

    Skardal, P. S. & Arenas, A. Abrupt desynchronization and extensive multistability in globally coupled oscillator simplexes. Phys. Rev. Lett. 122, 248301 (2019).

    ADS  CAS  PubMed  Article  PubMed Central  Google Scholar 

  54. 54.

    Skardal, P. S. & Arenas, A. Higher-order interactions in complex networks of phase oscillators promote abrupt synchronization switching. Commun. Phys. 3, 218 (2020).

  55. 55.

    Millán, A. P., Torres, J. J. & Bianconi, G. Explosive higher-order Kuramoto dynamics on simplicial complexes. Phys. Rev. Lett. 124, 218301 (2020).

    ADS  MathSciNet  PubMed  Article  PubMed Central  Google Scholar 

  56. 56.

    Lucas, M., Cencetti, G. & Battiston, F. Multiorder laplacian for synchronization in higher-order networks. Phys. Rev. Res. 2, 033410 (2020).

    CAS  Article  Google Scholar 

  57. 57.

    Pecora, L. M. & Carroll, T. L. Master stability functions for synchronized coupled systems. Phys. Rev. Lett. 80, 2109 (1998).

    ADS  CAS  Article  Google Scholar 

  58. 58.

    Sun, J., Bollt, E. M. & Nishikawa, T. Master stability functions for coupled nearly identical dynamical systems. EPL (Europhys. Lett.) 85, 60011 (2009).

    ADS  Article  Google Scholar 

  59. 59.

    Stilwell, D. J., Bollt, E. M. & Roberson, D. G. Sufficient conditions for fast switching synchronization in time-varying network topologies. SIAM J. Appl. Dyn. Syst. 5, 140–156 (2006).

    ADS  MathSciNet  MATH  Article  Google Scholar 

  60. 60.

    Frasca, M., Buscarino, A., Rizzo, A., Fortuna, L. & Boccaletti, S. Synchronization of moving chaotic agents. Phys. Rev. Lett. 100, 044102 (2008).

    ADS  PubMed  Article  CAS  Google Scholar 

  61. 61.

    Zhou, J., Zou, Y., Guan, S., Liu, Z. & Boccaletti, S. Synchronization in slowly switching networks of coupled oscillators. Sci. Rep. 6, 1–8 (2016).

    Article  CAS  Google Scholar 

  62. 62.

    Rössler, O. E. An equation for continuous chaos. Phys. Lett. A 57, 397–398 (1976).

    ADS  MATH  Article  Google Scholar 

  63. 63.

    Strogatz, S. H. Nonlinear Dynamics and Chaos with Student Solutions Manual: with Applications to Physics, Biology, Chemistry, and Engineering (CRC press, 2018).

  64. 64.

    Huang, L., Chen, Q., Lai, Y.-C. & Pecora, L. M. Generic behavior of master-stability functions in coupled nonlinear dynamical systems. Phys. Rev. E 80, 036204 (2009).

    ADS  Article  CAS  Google Scholar 

  65. 65.

    Allen, N. J. & Barres, B. A. Glia-more than just brain glue. Nature 457, 675–677 (2009).

    ADS  CAS  PubMed  Article  Google Scholar 

  66. 66.

    Zachary, W. W. An information flow model for conflict and fission in small groups. J. Anthropol. Res. 33, 452–473 (1977).

    Article  Google Scholar 

  67. 67.

    Iacopini, I., Petri, G., Barrat, A. & Latora, V. Simplicial models of social contagion. Nature Commun. 10, 2485 (2019).

    ADS  Article  Google Scholar 

  68. 68.

    Iacopini, I., DiBona, G., Ubaldi, E., Loreto, V. & Latora, V. Interacting discovery processes on complex networks. Phys. Rev. Lett. 125, 248301 (2020).

    ADS  CAS  PubMed  Article  PubMed Central  Google Scholar 

  69. 69.

    Castellano, C., Fortunato, S. & Loreto, V. Statistical physics of social dynamics. Rev. Mod. Phys. 81, 591 (2009).

    ADS  Article  Google Scholar 

  70. 70.

    Pluchino, A., Latora, V. & Rapisarda, A. Changing opinions in a changing world: a new perspective in sociophysics. Int. J. Mod. Phys. C 16, 515–531 (2005).

    ADS  MATH  Article  Google Scholar 

  71. 71.

    Pluchino, A., Boccaletti, S., Latora, V. & Rapisarda, A. Opinion dynamics and synchronization in a network of scientific collaborations. Phys. A: Stat. Mech. Appl. 372, 316–325 (2006).

    Article  Google Scholar 

  72. 72.

    DellaRossa, F. et al. Symmetries and cluster synchronization in multilayer networks. Nat. Commun. 11, 1–17 (2020).

    Google Scholar 

  73. 73.

    Gambuzza, L. V., Frasca, M., Sorrentino, F., Pecora, L. M. & Boccaletti, S. Controlling symmetries and clustered dynamics of complex networks. IEEE Trans. Netw. Sci. Eng. arXiv:2011.11122v1 (2020).

  74. 74.

    Menck, P. J., Heitzig, J., Marwan, N. & Kurths, J. How basin stability complements the linear-stability paradigm. Nat. Phys. 9, 89–92 (2013).

    CAS  Article  Google Scholar 

  75. 75.

    Latora, V., Nicosiam, V. & Russo, G. Complex Networks: Principles, Methods and Applications (Cambridge University Press, 2017).

  76. 76.

    Berge, C. Graphs and Hypergraphs, North-Holl Math. Libr. (North-Holland, Amsterdam, 1973).

  77. 77.

    Kee, K. F., Sparks, L., Struppa, D. C. & Mannucci, M. Social groups, social media, and higher dimensional social structures: a simplicial model of social aggregation for computational communication research. Commun. Q 61, 35–58 (2013).

    Article  Google Scholar 

  78. 78.

    Alvarez-Rodriguez, U. et al. Evolutionary dynamics of higher-order interactions. Nat. Hum. Behav. (2021).

  79. 79.

    Sprott, J. C. Chaos and Time-series Analysis, vol. 69 (Citeseer, 2003).

  80. 80.

    Wolf, A., Swift, J. B., Swinney, H. L. & Vastano, J. A. Determining Lyapunov exponents from a time series. Phys. D: Nonlinear Phenom. 16, 285–317 (1985).

    ADS  MathSciNet  MATH  Article  Google Scholar 

Download references


F.D.P., S.L. and S.B. acknowledge funding from the project EXPLICS granted by the Italian Ministry of Foreign Affairs and International Cooperation. R.C. and M.R. acknowledge funding from the project PGC2018-101625-B-I00, granted by the Spanish Ministry of Science and Innovation. L.V.G. and M.F. acknowledge the support of the Italian Ministry for Research and Education through the Research Program PRIN 2017 (Grant 2017CWMF93, project VECTORS). V.L. acknowledges support from the Leverhulme Trust Research Fellowship ‘‘CREATE: the network components of creativity and success’’, RF-2019-059.

Author information




S.B. and V.L. conceived the research. M.F and S.B. developed the theory. L.V.G. and L.G. carried out the simulations. F.D.P., S.L., M.R. and R.C. contributed to the development of the theoretical and numerical computations. All authors wrote the manuscript.

Corresponding authors

Correspondence to M. Frasca or V. Latora or S. Boccaletti.

Ethics declarations

Competing interests

The authors declare no competing interests.

Additional information

Peer review informationNature Communications thanks Xiaoqun Wu, and the other, anonymous, reviewer(s) for their contribution to the peer review of this work. Peer reviewer reports are available.

Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Supplementary information

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Gambuzza, L.V., Di Patti, F., Gallo, L. et al. Stability of synchronization in simplicial complexes. Nat Commun 12, 1255 (2021).

Download citation

Further reading

  • Growing scale-free simplices

    • Kiriil Kovalenko
    • , Irene Sendiña-Nadal
    • , Nagi Khalil
    • , Alex Dainiak
    • , Daniil Musatov
    • , Andrei M. Raigorodskii
    • , Karin Alfaro-Bittner
    • , Baruch Barzel
    •  & Stefano Boccaletti

    Communications Physics (2021)


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.


Quick links

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing