Abstract
Higher-order networks have emerged as a powerful framework to model complex systems and their collective behavior. Going beyond pairwise interactions, they encode structured relations among arbitrary numbers of units through representations such as simplicial complexes and hypergraphs. So far, the choice between simplicial complexes and hypergraphs has often been motivated by technical convenience. Here, using synchronization as an example, we demonstrate that the effects of higher-order interactions are highly representation-dependent. In particular, higher-order interactions typically enhance synchronization in hypergraphs but have the opposite effect in simplicial complexes. We provide theoretical insight by linking the synchronizability of different hypergraph structures to (generalized) degree heterogeneity and cross-order degree correlation, which in turn influence a wide range of dynamical processes from contagion to diffusion. Our findings reveal the hidden impact of higher-order representations on collective dynamics, highlighting the importance of choosing appropriate representations when studying systems with nonpairwise interactions.
Similar content being viewed by others
Introduction
For the past three decades, networks have been successfully used to model complex systems with many interacting units. In their traditional form, networks only encode pairwise interactions1,2. Growing evidence, however, suggests that a node may often experience the influence of multiple other nodes in a nonlinear fashion and that such higher-order interactions cannot be decomposed into pairwise ones3,4,5,6,7. Examples can be found in a wide variety of domains including human dynamics8, collaborations9, ecological systems10, and the brain11,12. Higher-order interactions not only impact the structure of these systems13,14,15,16,17,18,19,20,21, they also often reshape their collective dynamics22,23,24,25,26,27. Indeed, they have been shown to induce novel collective phenomena, such as explosive transitions28, in a variety of dynamical processes including diffusion29,30, consensus31,32, spreading33,34,35, and evolution36.
Despite many recent theoretical advances37,38,39,40,41,42, little attention has so far been given to how higher-order interactions are best represented43. There are two mathematical frameworks that are most commonly used to model systems with higher-order interactions: hypergraphs44 and simplicial complexes45. In most cases, the two representations have been used interchangeably and the choice for one or the other often appears to be motivated by technical convenience. For example, topological data analysis46 and Hodge decomposition47 require simplicial complexes. Here, we ask: Are there hidden consequences of choosing one higher-order representation over the other that could significantly impact the collective dynamics?
Answering this question is important given that, currently, reliable real-world hypergraph data are still scarce (with most existing ones concentrated in social systems), especially for complex dynamical systems such as the brain. For these systems, in order to study the effect of higher-order interactions, we have to start from data on pairwise networks and infer the potential nonpairwise connections48. A popular practice is to assume homophily between pairwise and nonpairwise interactions (e.g., by attaching three-body interactions to closed triangles in the network), effectively choosing simplicial complex as the higher-order representation. However, if different ways of adding hyperedges can fundamentally change the collective dynamics, then conclusions drawn from investigating a single higher-order representation could be misleading.
To explore this issue, we focus on synchronization—a paradigmatic process for the emergence of order in populations of interacting entities. It underlies the function of many natural and man-made systems49,50, from circadian clocks51 and vascular networks52 to the brain53. Nonpairwise interactions arise naturally in synchronization from the phase reduction of coupled oscillator populations54,55,56,57,58. A key question regarding higher-order interactions in this context is: When do they promote synchronization? Recently, hyperedge-enhanced synchronization has been observed for a wide range of node dynamics39,41,59,60,61. It is thus tempting to conjecture that nonpairwise interactions synchronize oscillators more efficiently than pairwise ones. This seems physically plausible given that higher-order interactions enable more nodes to exchange information simultaneously, thus allowing more efficient communication and ultimately leading to enhanced synchronization performance.
In this article, we show that whether higher-order interactions promote or impede synchronization is highly representation-dependent. In particular, through a rich-get-richer effect, higher-order interactions consistently destabilize synchronization in simplicial complexes. On the other hand, higher-order interactions tend to stabilize synchronization in a broad class of hypergraphs, including random hypergraphs and semi-structured hypergraphs constructed from synthetic networks as well as brain connectome data. Offering a theoretical underpinning for the representation-dependent synchronization performance, we link the opposite trends to the different higher-order degree heterogeneities under the two representations. Furthermore, we investigate the impact of cross-order degree correlations for different families of hypergraphs. Since degree heterogeneity and degree correlation play a key role not only in synchronization but also in other dynamical processes such as diffusion and contagion, the effect of higher-order representations discovered here is likely to be crucial in complex systems beyond coupled oscillators.
Results
Higher-order interactions hinder synchronization in simplicial complexes but facilitate it in random hypergraphs
To isolate the effect of higher-order interactions from node dynamics, we consider a simple system consisting of n identical phase oscillators39, whose states θ = (θ1, ⋯ , θn) evolve according to
Equation (1) is a natural generalization of the Kuramoto model62 that includes interactions up to order two (i.e., three-body interactions). The oscillators have natural frequency ω and the coupling strengths at each order are γ1and γ2, respectively. The adjacency tensors determine which oscillators interact: Aij = 1 if nodes i and j have a first-order interaction, and zero otherwise. Similarly, Bijk = 1 if and only if nodes i, j and k have a second-order interaction. All interactions are assumed to be unweighted and undirected. The (generalized) degrees are given by \({k}_{i}^{(1)}=\mathop{\sum }\nolimits_{j=1}^{n}{A}_{ij}\) and \({k}_{i}^{(2)}=\frac{1}{2}\mathop{\sum }\nolimits_{j,k=1}^{n}{B}_{ijk}\), respectively. Here, we normalize Bijk by a factor of two to avoid double counting the same 2-simplex.
The parameter αcontrols the relative strength of the first- and second-order interactions, from all first-order (α = 0) to all second-order (α = 1), allowing us to keep the total coupling budget constant and compare the effects of pairwise and non-pairwise interactions fairly. In addition, we normalize each coupling strength by the average degree of the corresponding order, 〈k(ℓ)〉.
Finally, we normalize the second-order coupling function by an additional factor of two so that each interaction contributes to the dynamics with an equal weight regardless of the number of oscillators involved. Note that another interaction term of the form \(\sin (2{\theta }_{j}-{\theta }_{k}-{\theta }_{i})\) appears naturally in other formulations obtained from phase reduction54,55,57. This type of term was shown to be dynamically equivalent to that in Eq. (1) when considering the linearized dynamics around full synchrony39. Indeed, they yield the same contribution to the Laplacian as long as they are properly normalized by the factor in front of θi, as we did.
Synchronization, θi = θj for all i ≠ j, is a solution of Eq. (1) and we are interested in the effect of α on its stability. The system allows analytical treatment following the multiorder Laplacian approach introduced in ref. 39. We define the second-order Laplacian as
which is a natural generalization of the graph Laplacian \({L}_{ij}^{(1)}\equiv {L}_{ij}={k}_{i}{\delta }_{ij}-{A}_{ij}\). Here, we used the generalized degree \({k}_{i}^{(2)}=\frac{1}{2}\mathop{\sum }\nolimits_{j,k=1}^{n}{B}_{ijk}\) and the second-order adjacency matrix \({A}_{ij}^{(2)}=\mathop{\sum }\nolimits_{k=1}^{n}{B}_{ijk}\).
Using the standard linearization technique, the evolution of a generic small perturbation δ θ = (δθ1, ⋯ , δθn) to the synchronization state can now be written as
in which the multiorder Laplacian is defined as
We then sort the eigenvalues of the multiorder Laplacian Λ1 ≥ Λ2 ≥ … ≥ Λn−1 ≥ Λn = 0. The Lyapunov exponents of Eq. (4) are simply the opposite of those eigenvalues. We set λi = −Λn+1−i so that 0 = λ1 ≥ λ2 ≥ … ≥ λn. The second Lyapunov exponent λ2 = − Λn−1 determines synchronization stability: λ2 < 0 indicates stable synchrony, and larger absolute values indicate a quicker recovery from perturbations.
We start by showing numerically the effect of α (the proportion of coupling strength assigned to second-order interactions) on λ2. By considering the two classes of structures shown in Fig. 1: simplicial complexes and random hypergraphs, we find that these two canonical constructions exhibit opposite trends.
The construction of random hypergraphs is determined by wiring probabilities pd: a d-hyperedge is created between any d + 1 of the n nodes with probability pd64. Here, we focus on d up to 2, so the random hypergraphs are constructed by specifying p1 = p and p2 = p△. Simplicial complexes are special cases of hypergraphs and have the additional requirement that if a second-order interaction (i, j, k) exists, then the three corresponding first-order interactions (i, j), (i, k), and (j, k) must also exist. We construct simplicial complexes by first generating an Erdös-Rényi graph with wiring probability p, and then adding a three-body interaction to every three-node clique in the graph (also known as flag complexes).
Figure 1 shows that higher-order interactions impede synchronization in simplicial complexes, but improve it in random hypergraphs. For simplicial complexes, the maximum transverse Lyapunov exponent λ2 increases with α for all p (data shown for p = 0.5 in Fig. 1). For random hypergraphs, the opposite monotonic trend holds for p ≃ p△. For p significantly larger than p△, the curve becomes U-shaped, with the minimum at an optimal 0 < α* < 1, as shown in Fig. 2.
Our findings also hold when we control the simplicial complex and random hypergraph to have the same number of connections (see Supplementary Fig. S1) and for simplicial complexes obtained by filling empty triangles in random hypergraphs33, as shown in Supplementary Fig. S2. We note that instead of filling every pairwise triangle in the graph, we can also fill the triangles with a certain probability. As long as the probability is not too close to zero, the results in the paper remain the same (see Supplementary Fig. S3). One can also construct simplicial complexes from structures other than Erdös-Rényi graphs, such as small-world networks65. The results above are robust to the choice of different network structures. In Supplementary Figs. S4 and S5, we show similar results for simplicial complexes constructed from more structured networks, including small-world and scale-free networks.
Linking higher-order representation, degree heterogeneity, and synchronization performance
To gain analytical insight on synchronization stability, we note that the extreme values of the spectrum of a Laplacian can be related to the extreme values of the degrees of the associated graph: λn can be bounded by the maximum degree \({k}_{\max }\) from both directions, \(\frac{n}{n-1}{k}_{\max } \, \le \,|{\lambda }_{n}|\, \le \, 2{k}_{\max }\)66; and λ2 can be bounded by the minimum degree \({k}_{\min }\) from both directions, \(2{k}_{\min }-n+2 \, \le \,|{\lambda }_{2}|\, \le \, \frac{n}{n-1}{k}_{\min }\)67. For the multiorder Laplacian, the degree \({k}_{i}^{{{{{{{{\rm{(mul)}}}}}}}}}\) is given by the weighted sum of degrees of different orders, in this case \({k}_{i}^{{{{{{{{\rm{(mul)}}}}}}}}}=\frac{1-\alpha }{\langle {k}^{(1)}\rangle }{k}_{i}^{(1)}+\frac{\alpha }{\langle {k}^{(2)}\rangle }{k}_{i}^{(2)}={L}_{ii}^{{{{{{{{\rm{(mul)}}}}}}}}}\). In Fig. 2, we show that \(\frac{n}{n-1}{k}_{\min }\) is a good approximation for ∣λ2∣in random hypergraphs and is able to explain the U-shape observed for λ2(α).
These degree-based bounds allow us to understand the opposite dependence on α for random hypergraphs and simplicial complexes. For simplicial complexes, the reason for the deterioration of synchronization stability is the following: Adding 2-simplices to triangles makes the network more heterogeneous (degree-rich nodes get richer; well-connected parts of the network become even more highly connected), thus making the Laplacian eigenvalues (and Lyapunov exponents) more spread out.
To quantify this rich-get-richer effect, we focus on simplicial complexes constructed from Erdös-Rényi graphs G(n, p). In this case, we can derive the relationship between the first-order degrees k(1) and second-order degrees k(2) (below we suppress the subscript i to ease the notation when possible). If node i has first-order degree k(1), then there are at most \(\left(\begin{array}{l}{k}^{(1)}\\ 2\end{array}\right)\) 2-simplices that can potentially be attached to it. For example, when node i is connected to nodes j and k, then the 2-simplex Δijk is present if and only if node j is also connected to node k. Because the edges are independent in G(n, p), when the network is not too sparse, we should expect about \(p\left(\begin{array}{l}{k}^{(1)}\\ 2\end{array}\right)\) 2-simplices attached to node i:
This quadratic dependence of k(2) on k(1) provides a foundation for the rich-get-richer effect. To further quantify how the degree heterogeneity changes going from the first-order interaction to the second-order interaction, we calculate the following heterogeneity ratio
If r > 1, it means there is higher degree heterogeneity among 2-simplices than in the pairwise network, which translates into worse synchronization stability in the presence of higher-order interactions. Plugging Eq. (6) into Eq. (7), we obtain
This shows that the coupling structure of 2-simplices is always more heterogeneous than 1-simplices for simplicial complexes constructed from Erdös-Rényi graphs. Moreover, the more heterogeneous the pairwise network is, the greater the difference between first-order and second-order couplings in terms of heterogeneity. Specifically, because Erdös-Rényi graphs are more heterogeneous for smaller p, the heterogeneity ratio r becomes larger for smaller p.
Figure 3a shows k(1) vs. k(2) for three simplicial complexes with n = 300 and various values of p. The relationship between k(1) and k(2) is well predicted by Eq. (6). The heterogeneity ratio r is marked beside each data set and closely follows Eq. (8). Figure 3b shows r as a function of p for n = 300. The error bar represents the standard deviation estimated from 1000 samples. The data confirm our prediction that r > 1 for all considered simplicial complexes, and the difference between the first-order and second-order degree heterogeneities is most pronounced when the pairwise connections are sparse.
Next, we turn to the case of random hypergraphs and explain why higher-order interactions promote synchronization in this case (assuming that p = p△). For Erdös-Rényi graphs G(n, p), the degree of each node is a random variable drawn from the binomial distribution \(B(k;n,p)=\left(\begin{array}{l}n\\ k\end{array}\right){p}^{k}{q}^{n-k}\), where \(\left(\begin{array}{l}n\\ k\end{array}\right)\) is the binomial coefficient and q = 1 − p. There are some correlations among the degrees, because if an edge connects nodes i and j, then it adds to the degree of both nodes. However, the induced correlations are weak and the degrees can almost be treated as independent random variables for sufficiently large n (the degrees would be truly independent if the Erdös-Rényi graphs were directed). The distribution of the maximum degree for large n is given in ref. 68:
where \(f(n,\, y)=1-\frac{\log \log n}{4\log n}-\frac{\log (\sqrt{2\pi })}{2\log n}+\frac{y}{2\log n}.\)
For generalized degrees k(2), the degree correlation induced by three-body couplings is stronger than the case of pairwise interactions, but it is still a weak correlation for large n. To estimate the expected value of the maximum degree, one needs to solve the following problem from order statistics: Given a binomial distribution and n independent random variables ki drawn from it, what is the expected value of the largest random variable \({{{{{{{\rm{E}}}}}}}}[{k}_{\max }]\)? Denoting the cumulative distribution of B(N, p) as F(N, p), where N = (n − 1)(n − 2)/2 is the number of possible 2-simplices attached to a node, the cumulative distribution of \({k}_{\max }^{(2)}\) is simply given by F(N, p)n. However, because F(N, p) does not have a closed-form expression, it is not easy to extract useful information from the result above.
To gain analytical insights, we turn to Eq. (9) with n replaced by N, which serves as an upper bound for the distribution of \({k}_{\max }^{(2)}\). To see why, notice that Eq. (9) gives the distribution of \({k}_{\max }^{(1)}\) for n (weakly-correlated) random variables \({k}_{i}^{(1)}\)drawn from B(n, p). For \({k}_{\max }^{(2)}\), we are looking at n random variables \({k}_{i}^{(2)}\) with slightly stronger correlations than \({k}_{i}^{(1)}\), now drawn from B(N, p). Thus, Eq. (9) with n replaced by N gives the distribution of \({k}_{\max }^{(2)}\) if one had more samples (N instead of n) and weaker correlations. Both factors lead to an overestimation of \({{{{{{{\rm{E}}}}}}}}[{k}_{\max }^{(2)}]\), but their effects are expected to be small.
To summarize, we have
Solving \({{{{{{{{\rm{e}}}}}}}}}^{-{{{{{{{{\rm{e}}}}}}}}}^{-{y}_{0}}}=\frac{1}{2}\) gives y0 ≈ 0.52. Plugging y0into the left-hand side of Eq. (9) and (10) yields an estimate of the expected values of \({k}_{\max }^{(1)}\) and \({k}_{\max }^{(2)}\), respectively. (Note that here for simplicity, we use the median to approximate the expected value). Through symmetry, one can also easily obtain the expected values of \({k}_{\min }^{(1)}\) and \({k}_{\min }^{(2)}\). To measure the degree heterogeneity, we can compute the heterogeneity indexes
which controls λ2 through degree-based bounds. Here, the expected values of the mean degree are given by \({{{{{{{\rm{E}}}}}}}}[\overline{{k}^{(1)}}]=pn\) and \({{{{{{{\rm{E}}}}}}}}[\overline{{k}^{(2)}}]=pN\), respectively.
Now, how do the first-order and second-order degree heterogeneities compare against each other? Using Eq. (9) to (11), we see that
For large n, we can assume f(n, y0) ≈ f(N, y0) ≈ 1 and simplify Eq. (12) into
First, note that \(\frac{{h}^{(1)}}{{h}^{(2)}} \, > \, 1\) for almost all n, which translates into better synchronization stability in the presence of higher-order interactions. The scaling also tells us that, as n is increased, the difference in degree heterogeneities becomes more pronounced. The theoretical lower bound [Eq. (13)] is compared to simulation results in Fig. 4, which show good agreement. Intuitively, the (normalized) second-order Laplacian has a much narrower spectrum compared to the first-order Laplacian with the same p because binomial distributions are more concentrated for larger n (i.e., there is much less relative fluctuation around the mean degree for k(2) compared to k(1)).
Exploring the hypergraph space with synthetic networks and brain networks
So far we have focused mostly on simplicial complexes and random hypergraphs, which offered analytical insights into how higher-order representations influence collective dynamics. However, a vast portion of the hypergraph space is occupied by hypergraphs that are not simplicial complexes or random hypergraphs. What is the effect of higher-order interactions there? To explore the hypergraph space more thoroughly, we first construct simplicial complexes from both synthetic networks and real brain networks. We then study the synchronization stability of these structures as they move further and further away from being a simplicial complex. We find that as the distance to being a simplicial complex is increased, higher-order interactions quickly switch from impeding synchronization to promoting synchronization. This echoes the analytical results obtained above for simplicial complexes and random hypergraphs, and it supports our conclusion that higher-order interactions enhance synchronization in a broad class of (both structured and random) hypergraphs, except when they are close to being a simplicial complex.
Specifically, we consider the animal connectome data from Neurodata.io (https://neurodata.io/project/connectomes/), which consists of neuronal networks from different brain regions and different animal species. We chose brain networks because it has been shown that nonpairwise interactions and synchronization dynamics are both important in the brain5,69. For the sake of computational efficiency, we selected six networks spanning three different species (worm, monkey, and cat) that are neither too dense nor too sparse. Specifically, for each brain network, we first construct a simplicial complex by filling all 3-cliques (i.e., closed triangles) with 2-simplices. In reality, not all 3-cliques imply the existence of three-body interactions, and not all three-body interactions reside within 3-cliques. Thus, we continue by shuffling each 2-simplex to a random location in the hypergraph with probability ps. This allows us to explore hypergraph structures beyond simplicial complexes and random hypergraphs, with ps also serving as a proxy for the distance between the hypergraph structure and the original simplicial complex.
Figure 5 shows the synchronization stability λ2(α) for hypergraphs constructed from the six brain networks at different values of shuffling probability ps. Here, each curve represents an average λ2(α) over 100 independent realizations of the hypergraph structure at a given ps. We see that as ps is increased, for all systems, the curves change from going upward (or staying level for the disconnected C. elegans posterior network) with α to going downward with α, signaling a transition from hyperedge-impeded synchronization to hyperedge-enhanced synchronization. Thus, the opposite trends we observed for simplicial complexes and random hypergraphs remain valid for a broad class of hypergraphs constructed from real-world networks.
Figure 6 summarizes the same result from a different perspective by plotting λ2(α = 0.5) against λ2(α = 0) at different values of ps (other choices of the two α values give similar results). As psis increased from 0 to 1 and the hypergraph structure moves further away from being a simplicial complex, we see all six systems transition from the upper-left half of the plot (higher-order interactions impeding synchronization) to the lower-right half of the plot (higher-order interactions promoting synchronization). Moreover, the transitions happen fairly rapidly, with all systems crossing the diagonal line at ps < 0.2.
We also find similar results for hypergraphs constructed from synthetic networks including scale-free and small-world networks, which we show in Supplementary Figs. S6 and S7, and for real-world hypergraphs (Supplementary Fig. S8). One additional thing worth noting in Supplementary Figs. S6 and S7 are that as long as the network is not too sparse or dense, changing the network density mostly shifts all curves together in the vertical direction without affecting the transition from hyperedge-impeded synchronization to hyperedge-enhanced synchronization.
The role of degree correlation
Cross-order degree correlation, defined as the correlation between the degree vectors at each order, \({{{{{{{\rm{DC}}}}}}}}={{{{{{{\rm{corr}}}}}}}}(\{{k}_{i}^{(1)}\},\, \{{k}_{i}^{(2)}\})\), has been shown to affect epidemic spreading and synchronization, where it can promote the onset of bistability and hysteresis70,71. By construction, degree correlation is large and positive in simplicial complexes due to the inclusion condition and close to zero in random hypergraphs. Here, we investigate the effect of cross-order degree correlation on synchronization to provide a more complete picture of why higher-order representations matter.
To isolate the effects of degree correlation from those of degree heterogeneity, we propose a method to fix the latter while changing the former. Starting from a simplicial complex, we first select two nodes: a node i included in only a few triangles (low \({k}_{i}^{(2)}\)) and a node j included in many triangles (large \({k}_{j}^{(2)}\)). Then we swap their respective values of k(2) by swapping the 2-simplices to which node i and node j belong. The hyperedge membership swap has the expected effect: it lowers the degree correlation without changing the degree heterogeneity. The extent to which the swap lowers the correlation depends on the respective degrees of the nodes at each order. In particular, a simple way to maximize this effect is to iteratively swap the nodes that have the lowest and the largest k(2). Note that this swapping procedure is different from the shuffling procedure used for Figs. 5 and 6 (shuffling does not preserve the second-order degree sequence).
In Fig. 7, we show the result of the hyperedge membership swap on the cat brain network. The starting simplicial complex is the one used in Fig. 5, for which we do not swap any memberships. Then, we build two hypergraphs from it by selecting 5 and 15 pairs of nodes and swapping their 2-simplices as described above. As a result, λ2 is lowered for intermediate values of α. Importantly, though, the endpoints λ2(α = 0) and λ2(α = 1) remain unchanged, since only one order of interactions is present. These observations are confirmed on hypergraphs constructed from the other five brain networks (Supplementary Fig. S9) and from synthetic networks (Supplementary Fig. S10).
To summarize, lowering the cross-order degree correlation can help improve the synchronization stability when there is a mixture of pairwise and nonpairwise interactions. Intuitively, this makes sense because negative correlation allows the degree heterogeneity from two different orders of interactions to compensate each other and homogenize the hypergraph structure.
Discussion
To conclude, using simple phase oscillators, we have shown that higher-order interactions promote synchronization in a broad class of hypergraphs but impede it in simplicial complexes. We have identified higher-order degree heterogeneity and degree correlation as the underlying mechanism driving these opposite trends. Although we only considered two-body and three-body couplings, this framework naturally extends to larger group interactions.
Do the lessons learned here for phase oscillators carry over to more general oscillator dynamics? The generalized Laplacians used here have been shown to work for arbitrary oscillator dynamics and coupling functions41. Moreover, the spread of eigenvalues of each Laplacian carries critical information regarding the synchronizability of the corresponding level of interactions. Thus, once different orders of coupling functions have been properly normalized, we expect the findings here to transfer to systems beyond coupled phase oscillators. That is, for generic oscillator dynamics, higher-order interactions should in general promote synchronization if the hyperedges are more uniformly distributed than their pairwise counterpart. In the future, it would be interesting to generalize our results to systems with nonreciprocal interactions72,73,74,75.
Finally, while here we focused on the synchronization of coupled oscillators, our results are likely to have implications for other processes. These include processes as different as diffusion30, contagion70, and evolutionary processes36, in which degree heterogeneity and degree correlation play a key role, and yet the differences between simplicial complexes and hypergraphs have been mostly treated as inconsequential. All in all, our results suggest that simplicial complexes and hypergraphs cannot always be used interchangeably and future research should consider the influence of the chosen representation when interpreting their results.
Data availability
The brain connectome data used in Figs. 5 to 7 can be found at https://neurodata.io/project/connectomes/. All other data needed to evaluate our results are present in the paper. Additional data related to this paper may be requested from the authors.
Code availability
The code to reproduce the main results is available at https://github.com/maximelucas/HOI_shape_sync_differentlyor on Zenodo https://doi.org/10.5281/zenodo.766211376, and makes use of the XGI library77.
References
Boccaletti, S., Latora, V., Moreno, Y., Chavez, M. & Hwang, D.-U. Complex networks: structure and dynamics. Phys. Rep. 424, 175–308 (2006).
Newman, M. E. J. Networks: An Introduction (Oxford University Press, 2010).
Lambiotte, R., Rosvall, M. & Scholtes, I. From networks to optimal higher-order models of complex systems. Nat. Phys. 15, 313–320 (2019).
Battiston, F. et al. Networks beyond pairwise interactions: structure and dynamics. Phys. Rep. 874, 1–92 (2020).
Torres, L., Blevins, A. S., Bassett, D. & Eliassi-Rad, T. The why, how, and when of representations for complex systems. SIAM Rev. 63, 435–485 (2021).
Battiston, F. et al. The physics of higher-order interactions in complex systems. Nat. Phys. 17, 1093–1098 (2021).
Battiston, F. & Petri, G. Higher-Order Systems (Springer, 2022).
Cencetti, G., Battiston, F., Lepri, B. & Karsai, M. Temporal properties of higher-order interactions in social networks. Sci. Rep. 11, 7028 (2021).
Patania, A., Petri, G. & Vaccarino, F. The shape of collaborations. EPJ Data Sci. 6, 18 (2017).
Grilli, J., Barabás, G., Michalska-Smith, M. J. & Allesina, S. Higher-order interactions stabilize dynamics in competitive network models. Nature 548, 210–213 (2017).
Petri, G. et al. Homological scaffolds of brain functional networks. J. R. Soc. Interface 11, 20140873 (2014).
Giusti, C., Ghrist, R. & Bassett, D. S. Two’s company, three (or more) is a simplex. J. Comput. Neurosci. 41, 1–14 (2016).
Estrada, E. & Rodríguez-Velázquez, J. A. Subgraph centrality and clustering in complex hyper-networks. Phys. A 364, 581–594 (2006).
Benson, A. R., Abebe, R., Schaub, M. T., Jadbabaie, A. & Kleinberg, J. Simplicial closure and higher-order link prediction. Proc. Natl Acad. Sci. USA 115, E11221–E11230 (2018).
Benson, A. R. Three hypergraph eigenvector centralities. SIAM J. Math. Data Sci. 1, 293–312 (2019).
Musciotto, F., Battiston, F. & Mantegna, R. N. Detecting informative higher-order interactions in statistically validated hypergraphs. Commun. Phys. 4, 218 (2021).
Carletti, T., Fanelli, D. & Lambiotte, R. Random walks and community detection in hypergraphs. J. Phys. Complex 2, 015011 (2021).
Eriksson, A., Edler, D., Rojas, A., de Domenico, M. & Rosvall, M. How choosing random-walk model and network representation matters for flow-based community detection in hypergraphs. Commun. Phys. 4, 133 (2021).
Chodrow, P. S., Veldt, N. & Benson, A. R. Generative hypergraph clustering: from blockmodels to modularity. Sci. Adv. 7, eabh1303 (2021).
Contisciani, M., Battiston, F. & De Bacco, C. Inference of hyperedges and overlapping communities in hypergraphs. Nat. Commun. 13, 7229 (2022).
Lotito, Q. F., Musciotto, F., Montresor, A. & Battiston, F. Higher-order motif analysis in hypergraphs. Commun. Phys. 5, 79 (2022).
Bick, C., Ashwin, P. & Rodrigues, A. Chaos in generically coupled phase oscillator networks with nonpairwise interactions. Chaos 26, 094814 (2016).
Bick, C. Heteroclinic dynamics of localized frequency synchrony: heteroclinic cycles for small populations. J. Nonlin. Sci. 29, 2571–2600 (2019).
Skardal, P. S. & Arenas, A. Abrupt desynchronization and extensive multistability in globally coupled oscillator simplexes. Phys. Rev. Lett. 122, 248301 (2019).
Skardal, P. S. & Arenas, A. Higher order interactions in complex networks of phase oscillators promote abrupt synchronization switching. Commun. Phys. 3, 218 (2020).
Xu, C., Wang, X. & Skardal, P. S. Bifurcation analysis and structural stability of simplicial oscillator populations. Phys. Rev. Res. 2, 023281 (2020).
Zhang, Y., Latora, V. & Motter, A. E. Unified treatment of synchronization patterns in generalized networks with higher-order, multilayer, and temporal interactions. Commun. Phys. 4, 195 (2021).
Kuehn, C. & Bick, C. A universal route to explosive phenomena. Sci. Adv. 7, eabe3824 (2021).
Schaub, M. T. & Segarra, S. Flow smoothing and denoising: graph signal processing in the edge-space. In 2018 IEEE Global Conference on Signal and Information Processing (GlobalSIP), 735–739 (IEEE, 2018).
Carletti, T., Battiston, F., Cencetti, G. & Fanelli, D. Random walks on hypergraphs. Phys. Rev. E 101, 022308 (2020).
Neuhäuser, L., Mellor, A. & Lambiotte, R. Multibody interactions and nonlinear consensus dynamics on networked systems. Phys. Rev. E 101, 032310 (2020).
DeVille, L. Consensus on simplicial complexes: results on stability and synchronization. Chaos 31, 023137 (2021).
Iacopini, I., Petri, G., Barrat, A. & Latora, V. Simplicial models of social contagion. Nat. Commun. 10, 2485 (2019).
Ferraz de Arruda, G., Tizzani, M. & Moreno, Y. Phase transitions and stability of dynamical processes on hypergraphs. Commun. Phys. 4, 24 (2021).
Chowdhary, S., Kumar, A., Cencetti, G., Iacopini, I. & Battiston, F. Simplicial contagion in temporal higher-order networks. J. Phys. Complex 2, 035019 (2021).
Alvarez-Rodriguez, U. et al. Evolutionary dynamics of higher-order interactions in social networks. Nat. Hum. Behav. 5, 586–595 (2021).
Gong, C. C. & Pikovsky, A. Low-dimensional dynamics for higher-order harmonic, globally coupled phase-oscillator ensembles. Phys. Rev. E 100, 062210 (2019).
Millán, A. P., Torres, J. J. & Bianconi, G. Explosive higher-order kuramoto dynamics on simplicial complexes. Phys. Rev. Lett. 124, 218301 (2020).
Lucas, M., Cencetti, G. & Battiston, F. Multiorder Laplacian for synchronization in higher-order networks. Phys. Rev. Res. 2, 033410 (2020).
Arnaudon, A., Peach, R. L., Petri, G. & Expert, P. Connecting hodge and sakaguchi-kuramoto through a mathematical framework for coupled oscillators on simplicial complexes. Commun. Phys. 5, 211 (2022).
Gambuzza, L. V. et al. Stability of synchronization in simplicial complexes. Nat. Commun. 12, 1255 (2021).
Salova, A. & D’Souza, R. M. Cluster synchronization on hypergraphs. arXiv:2101.05464 (2021).
Baccini, F., Geraci, F. & Bianconi, G. Weighted simplicial complexes and their representation power of higher-order network data and topology. Phys. Rev. E 106, 034319 (2022).
Berge, C. Hypergraphs: Combinatorics of Finite Sets (Elsevier, 1984).
Hatcher, A. Algebraic Topology (Cambridge University Press, 2002).
Patania, A., Vaccarino, F. & Petri, G. Topological analysis of data. EPJ Data Sci. 6, 7 (2017).
Schaub, M. T., Benson, A. R., Horn, P., Lippner, G. & Jadbabaie, A. Random walks on simplicial complexes and the normalized Hodge 1-Laplacian. SIAM Rev. 62, 353–391 (2020).
Young, J.-G., Petri, G. & Peixoto, T. P. Hypergraph reconstruction from network data. Commun. Phys. 4, 135 (2021).
Pikovsky, A., Rosenblum, M. & Kurths, J. Synchronization: A Universal Concept in Nonlinear Sciences (Cambridge University Press, 2003).
Arenas, A., Díaz-Guilera, A., Kurths, J., Moreno, Y. & Zhou, C. Synchronization in complex networks. Phys. Rep. 469, 93–153 (2008).
Leloup, J.-C. & Goldbeter, A. Toward a detailed computational model for the mammalian circadian clock. Proc. Natl Acad. Sci. USA 100, 7051–7056 (2003).
Bračič Lotrič, M. & Stefanovska, A. Synchronization and modulation in the human cardiorespiratory system. Phys. A 283, 451–461 (2000).
Cumin, D. & Unsworth, C. P. Generalising the Kuramoto model for the study of neuronal synchronisation in the brain. Phys. D. 226, 181–196 (2007).
Ashwin, P. & Rodrigues, A. Hopf normal form with SN symmetry and reduction to systems of nonlinearly coupled phase oscillators. Phys. D. 325, 14–24 (2016).
León, I. & Pazó, D. Phase reduction beyond the first order: the case of the mean-field complex Ginzburg-Landau equation. Phys. Rev. E 100, 012211 (2019).
Matheny, M. H. et al. Exotic states in a simple network of nanoelectromechanical oscillators. Science 363, eaav7932 (2019).
Gengel, E., Teichmann, E., Rosenblum, M. & Pikovsky, A. High-order phase reduction for coupled oscillators. J. Phys. Complex 2, 015005 (2020).
Nijholt, E., Ocampo-Espindola, J. L., Eroglu, D., Kiss, I. Z. & Pereira, T. Emergent hypernetworks in weakly coupled oscillators. Nat. Commun. 13, 4849 (2022).
Skardal, P. S., Arola-Fernández, L., Taylor, D. & Arenas, A. Higher-order interactions can better optimize network synchronization. Phys. Rev. Res. 3, 043193 (2021).
Kovalenko, K. et al. Contrarians synchronize beyond the limit of pairwise interactions. Phys. Rev. Lett. 127, 258301 (2021).
Parastesh, F., Mehrabbeik, M., Rajagopal, K., Jafari, S. & Perc, M. Synchronization in Hindmarsh–Rose neurons subject to higher-order interactions. Chaos 32, 013125 (2022).
Kuramoto, Y. Chemical Oscillations, Waves, and Turbulence (Springer-Verlag, 1984).
Zhang, Y. & Strogatz, S. H. Designing temporal networks that synchronize under resource constraints. Nat. Commun. 12, 3273 (2021).
Dewar, M. et al. Subhypergraphs in non-uniform random hypergraphs. arXiv:1703.07686 (2018).
Watts, D. J. & Strogatz, S. H. Collective dynamics of ‘small-world’ networks. Nature 393, 440–442 (1998).
Zhang, X.-D. The Laplacian eigenvalues of graphs: a survey. arXiv:1111.2897 (2011).
de Abreu, N. M. M. Old and new results on algebraic connectivity of graphs. Linear Algebra Its Appl. 423, 53–73 (2007).
Bollobás, B. The distribution of the maximum degree of a random graph. Discret. Math. 32, 201–203 (1980).
Reinhart, R. M. & Nguyen, J. A. Working memory revived in older adults by synchronizing rhythmic brain circuits. Nat. Neurosci. 22, 820–827 (2019).
Landry, N. W. & Restrepo, J. G. The effect of heterogeneity on hypergraph contagion models. Chaos 30, 103117 (2020).
Adhikari, S., Restrepo, J. G. & Skardal, P. S. Synchronization of phase oscillators on complex hypergraphs. Chaos 33, 033116 (2023).
Brady, F. M., Zhang, Y. & Motter, A. E. Forget partitions: cluster synchronization in directed networks generate hierarchies. arXiv:2106.13220 (2021).
Fruchart, M., Hanai, R., Littlewood, P. B. & Vitelli, V. Non-reciprocal phase transitions. Nature 592, 363–369 (2021).
Tang, Y., Shi, D. & Lü, L. Optimizing higher-order network topology for synchronization of coupled phase oscillators. Commun. Phys. 5, 96 (2022).
Gallo, L. et al. Synchronization induced by directed higher-order interactions. Commun. Phys. 5, 263 (2022).
Zhang*, Y., Lucas*, M. & Battiston, F. Higher-order interactions shape collective dynamics differently in hypergraphs and simplicial complexes (code repository: HOI_shape_sync_differently) (2023). https://github.com/maximelucas/HOI_shape_sync_differently. v1.0.
Landry, N. W. et al. CompleX Group Interactions (XGI). https://github.com/ComplexGroupInteractions/xgi. v0.5.1.
Acknowledgements
We thank Alessio Lapolla, George Cantwell, Giovanni Petri, Nicholas Landry, and Steven Strogatz for insightful discussions. Y.Z. acknowledges support from the Schmidt Science Fellowship and Omidyar Fellowship. M.L. acknowledges partial support from Intesa Sanpaolo Innovation Center.
Author information
Authors and Affiliations
Contributions
Y.Z., M.L., and F.B. conceived the research. Y.Z. and M.L. performed the research. Y.Z., M.L., and F.B. wrote the manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Peer review
Peer review information
Nature Communications thanks the other, anonymous, reviewer(s) for their contribution to the peer review of this work. Peer reviewer reports are available.
Additional information
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 http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhang, Y., Lucas, M. & Battiston, F. Higher-order interactions shape collective dynamics differently in hypergraphs and simplicial complexes. Nat Commun 14, 1605 (2023). https://doi.org/10.1038/s41467-023-37190-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467-023-37190-9
This article is cited by
-
Collective dynamics of swarmalators with higher-order interactions
Communications Physics (2024)
-
Enhancing predictive accuracy in social contagion dynamics via directed hypergraph structures
Communications Physics (2024)
-
Multiplex measures for higher-order networks
Applied Network Science (2024)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.