Searcharxiv⌕ Search

arXiv subjects

Guilherme Ferraz de Arruda

Publications and source records attributed to Guilherme Ferraz de Arruda.

At least 19 recordsLinked to original sources

Beyond expressiveness in pairwise and higher-order models

The debate over pairwise and higher-order models is often framed as a contest of expressive power. This framing is misleading. A graph with arbitrary multivariate node functions can reproduce the node-level dynamics of many hypergraph models, but the hypergraph's grouping information does not thereby disappear: it may simply move from the structure to the rule. We separate four notions frequently conflated here: structural representation, functional representability, statistical identifiability, and mechanistic adequacy. We then prove that interaction order, the number of variables that must act jointly in some term of any additive decomposition of a node's update, is the same in every exact representation: no change of structural language can lower it. As a description-length problem, at the unrestricted algorithmic level a fixed compiler redistributes information between structure and rule at constant overhead, so expressiveness alone cannot privilege either language. Preferences arise only relative to explicit model classes, code families, and data. This yields an operational minimum-description-length criterion combining structural cost, conditional rule cost, and imperfect fit. Within it, for $M$ disjoint groups of size $k$, the clique projection's edge list is asymptotically $k-1$ times longer than the hyperedge list it replaces: the projection encodes the same grouping at higher cost. Examples from diffusion, Boolean dynamics, ecology, and ambiguous projections give graph-preferred, hypergraph-preferred, and unresolved cases; for bipartite and multilayer lifts, cost, fit, and identifiability tie, and the choice turns on which entities are posited as primitive. The position is symmetric: higher-order structure should not be inferred from phenomenology alone, nor does a graph's ability to emulate a system make it the most parsimonious or adequate description.

physics.soc-ph↗

The Informational Cost of Structure: Representational Complexity in Networked Dynamical Systems

How much information is required to represent a dynamical system in terms of an interaction structure and an evolution rule? We address this question using algorithmic information theory. We introduce Representational Complexity, the excess description length of a structure-plus-rule model relative to the shortest possible description of the dynamics itself. This intrinsic description defines a universal lower bound: no exact structural representation can be more concise. If arbitrary rules are allowed, graphs, hypergraphs, and other formalisms can all reach this bound by shifting information between structure and dynamics, so expressiveness alone cannot distinguish them. Meaningful differences arise only when scientific modeling restricts the admissible structures and rules. Within this setting, we identify conditions under which graph and hypergraph descriptions are informationally equivalent, and show how graph-preferred, hypergraph-preferred, and mixed regimes can emerge when those conditions are relaxed. Because Kolmogorov complexity is not computable, we complement the formal results with explicit description-length estimates. Our framework reframes the choice of network representation as a question of informational cost and mechanistic transparency rather than universal expressive power.

cs.IT↗

Multilayer network science: theory, methods, and applications

Multilayer network science has emerged as a central framework for analysing interconnected and interdependent complex systems. Its relevance has grown substantially with the increasing availability of rich, heterogeneous data, which makes it possible to uncover and exploit the inherently multilayered organisation of many real-world networks. In this review, we summarise recent developments in the field. On the theoretical and methodological front, we outline core concepts and survey advances in community detection, dynamical processes, temporal networks, higher-order interactions, and machine-learning-based approaches. On the application side, we discuss progress across diverse domains, including interdependent infrastructures, spreading dynamics, computational social science, economic and financial systems, ecological and climate networks, science-of-science studies, network medicine, and network neuroscience. We conclude with a forward-looking perspective, emphasizing the need for standardised datasets and software, deeper integration of temporal and higher-order structures, and a transition toward genuinely predictive models of complex systems.

physics.soc-ph↗

Nesting Controls Phase Transitions in Higher-Order Contagion

The organization of higher-order interactions plays a central role in shaping collective dynamics, yet a general structural principle governing contagion on hypergraphs remains lacking. Here we introduce a nesting coefficient that quantifies how lower-order interactions are embedded within higher-order ones, defining a continuum between simplicial complexes and random hypergraphs. Using a higher-order susceptible-infected-susceptible model, we show that increasing nesting lowers the activation threshold and suppresses discontinuous transitions, while weak embedding favors explosive behavior. We further demonstrate that correlations between nesting and interaction order modulate the onset of activity while only weakly affecting transition discontinuity. Analysis of synthetic and empirical networks reveals that nesting strongly predicts hysteresis, establishing it as a key structural determinant of phase transitions in higher-order systems.

physics.soc-ph↗

Rumor propagation on hypergraphs

The rapid spread of information and rumors through social media platforms, especially in group settings, motivates the need for more sophisticated models of rumor propagation. Traditional pairwise models do not account for group interactions, a limitation that we address by proposing a higher-order rumor model based on hypergraphs. Our model incorporates a group-based annihilation mechanism, where a spreader becomes a stifler when the fraction of hyperedges aware of the rumor exceeds a threshold. Our model has two distinct subcritical behaviors: exponential and power-law decay, which can coexist depending on the heterogeneity of the hypergraph. Interestingly, our analysis reveals continuous phase transitions in both homogeneous and heterogeneous hypergraphs, challenging the idea that higher-order interactions lead to discontinuous transitions. Finally, we validate our model using empirical data from Telegram and email cascades, providing additional evidence that real-world rumor propagation tends to occur near criticality. These results open the door to a more detailed understanding of rumor dynamics in higher-order systems.

physics.soc-ph↗

On the temporal resolution limits of numerical simulations in complex systems

In this paper we formalize, using the Nyquist-Shannon theorem, a fundamental temporal resolution limit for numerical experiments in complex systems. A consequence of this limit is aliasing, the introduction of spurious frequencies due to sampling. By imposing these limits on the uncertainty principle in harmonic analysis, we show that by increasing the sampling interval $Δt$, we can also artificially stretch the temporal behavior of our numerical experiment. Importantly, in limiting cases, we could even observe a new artificially created absorbing state. Our findings are validated in deterministic and stochastic simulations. In deterministic systems, we analyzed the Kuramoto model in which aliasing could be observed. In stochastic simulations, we formalized and compared different simulation approaches and showed their temporal limits. Gillespie-like simulations fully capture the continuous-time Markov chain processes, being lossless. Asynchronous cellular automata methods capture the same transitions as the continuous-time process but lose the temporal information about the process. Finally, synchronous cellular automata simulations solve a sampled chain. By comparing these methods, we show that if $Δt$ is not small enough, the cellular automata approach fails to capture the original continuous-time Markov chain since the sampling is already built into the simulation method. Our results point to a fundamental limitation that cannot be overcome by traditional methods of numerical simulations.

physics.soc-ph↗

Assigning Entities to Teams as a Hypergraph Discovery Problem

We propose a team assignment algorithm based on a hypergraph approach focusing on resilience and diffusion optimization. Specifically, our method is based on optimizing the algebraic connectivity of the Laplacian matrix of an edge-dependent vertex-weighted hypergraph. We used constrained simulated annealing, where we constrained the effort agents can exert to perform a task and the minimum effort a task requires to be completed. We evaluated our methods in terms of the number of unsuccessful patches to drive our solution into the feasible region and the cost of patching. We showed that our formulation provides more robust solutions than the original data and the greedy approach. We hope that our methods motivate further research in applying hypergraphs to similar problems in different research areas and in exploring variations of our methods.

cs.SI↗

Contagion dynamics on higher-order networks

Understanding the dissemination of diseases, information, and behavior stands as a paramount research challenge in contemporary network and complex systems science. The COVID-19 pandemic and the proliferation of misinformation are relevant examples of the importance of these dynamic processes, which have recently gained more attention due to the potential of higher-order networks to unlock new avenues for their investigation. Despite being in its early stages, the examination of social contagion in higher-order networks has witnessed a surge of novel research and concepts, revealing different functional forms for the spreading dynamics and offering novel insights. This review presents a focused overview of this body of literature and proposes a unified formalism that covers most of these forms. The goal is to underscore the similarities and distinctions among various models, to motivate further research on the general and universal properties of such models. We also highlight that while the path for additional theoretical exploration appears clear, the empirical validation of these models through data or experiments remains scant, with an unsettled roadmap as of today. We therefore conclude with some perspectives aimed at providing possible research directions that could contribute to a better understanding of this class of dynamical processes, both from a theoretical and a data-oriented point of view.

physics.soc-ph↗

Robustness and complexity of directed and weighted metabolic hypergraphs

Metabolic networks are probably among the most challenging and important biological networks. Their study provides insight into how biological pathways work and how robust a specific organism is against an environment or therapy. Here we propose a directed hypergraph with edge-dependent vertex weight as a novel framework to represent metabolic networks. This hypergraph-based representation captures higher-order interactions among metabolites and reactions, as well as the directionalities of reactions and stoichiometric weights, preserving all essential information. Within this framework, we propose the communicability and the search information as metrics to quantify the robustness and complexity of directed hypergraphs. We explore the implications of network directionality on these measures and illustrate a practical example by applying them to the small-scale e\_coli\_core model. Additionally, we compare the robustness and the complexity of 30 different models of metabolism, connecting structural and biological properties. Our findings show that antibiotic resistance is associated with high structural robustness, while the complexity can distinguish between eukaryotic and prokaryotic organisms.

physics.soc-ph↗

From unbiased to maximal entropy random walks on hypergraphs

Random walks have been intensively studied on regular and complex networks, which are used to represent pairwise interactions. Nonetheless, recent works have demonstrated that many real-world processes are better captured by higher-order relationships, which are naturally represented by hypergraphs. Here, we study random walks on hypergraphs. Due to the higher-order nature of these mathematical objects, one can define more than one type of walks. In particular, we study the unbiased and the maximal entropy random walk on hypergraphs, emphasizing their similarities and differences. We characterize these processes through their stationary distributions and the associated hitting times, which we obtain analytically. To illustrate our findings, we present a toy example and conduct extensive analyses of artificial and real hypergraphs, providing insights into both their structural and dynamical properties. We hope that our findings motivate further research extending the analysis to different classes of random walks as well as to practical applications.

physics.soc-ph↗

Multistability, intermittency and hybrid transitions in social contagion models on hypergraphs

Although ubiquitous, interactions of groups of individuals (e.g., modern messaging applications, group meetings, or even a parliament discussion) are not yet thoroughly studied. Frequently, single-groups are modeled as critical-mass dynamics, which is a widespread concept used not only by academics but also by politicians and the media. However, less explored questions are how a collection of groups will behave and how the intersection between these groups might change the global dynamics. Here, we formulate this process in terms of binary state dynamics on hypergraphs. We showed that our model has a very rich and unexpected behavior that goes beyond discontinuous transitions. In particular, we might have multistability and intermittency as a consequence of bimodal state distributions. By using artificial random models, we demonstrated that this phenomenology could be associated with community structures. Specifically, we might have multistability or intermittency by controlling the number of bridges between two communities with different densities. The introduction of bridges destroys multistability but creates an intermittent behavior. Furthermore, we provide an analytical formulation showing that the observed pattern for the order parameter and susceptibility are compatible with hybrid phase transitions. Our findings open new paths for research, ranging from physics, on the formal calculation of quantities of interest, to social sciences, where new experiments can be designed.

physics.soc-ph↗

The physics of higher-order interactions in complex systems

Complex networks have become the main paradigm for modelling the dynamics of interacting systems. However, networks are intrinsically limited to describing pairwise interactions, whereas real-world systems are often characterized by higher-order interactions involving groups of three or more units. Higher-order structures, such as hypergraphs and simplicial complexes, are therefore a better tool to map the real organization of many social, biological and man-made systems. Here, we highlight recent evidence of collective behaviours induced by higher-order interactions, and we outline three key challenges for the physics of higher-order systems.

physics.soc-ph↗

Evolutionary dynamics of higher-order interactions in social networks

We live and cooperate in networks. However, links in networks only allow for pairwise interactions, thus making the framework suitable for dyadic games, but not for games that are played in groups of more than two players. Here, we study the evolutionary dynamics of a public goods game in social systems with higher-order interactions. First, we show that the game on uniform hypergraphs corresponds to the replicator dynamics in the well-mixed limit, providing a formal theoretical foundation to study cooperation in networked groups. Secondly, we unveil how the presence of hubs and the coexistence of interactions in groups of different sizes affects the evolution of cooperation. Finally, we apply the proposed framework to extract the actual dependence of the synergy factor on the size of a group from real-world collaboration data in science and technology. Our work provides a way to implement informed actions to boost cooperation in social groups.

physics.soc-ph↗

Social contagion on higher-order structures

In this Chapter, we discuss the effects of higher-order structures on SIS-like processes of social contagion. After a brief motivational introduction where we illustrate the standard SIS process on networks and the difference between simple and complex contagions, we introduce spreading processes on higher-order structures starting from the most general formulation on hypergraphs and then moving to several mean-field and heterogeneous mean-field approaches. The results highlight the rich phenomenology brought by taking into account higher-order contagion effects: both continuous and discontinuous transitions are observed, and critical mass effects emerge. We conclude with a short discussion on the theoretical results regarding the nature of the epidemic transition and the general need for data to validate these models.

physics.soc-ph↗

From subcritical behavior to elusive transitions in rumor models

Rumor and information spreading are natural processes that emerge from human-to-human interaction. Mathematically, this was explored in the popular Maki-Thompson model, where a phase transition was thought to be absent. Here, we show that a second-order phase transition is present in this model which is not captured by first-order mean-field approximations. Moreover, we propose and explore a modified version of the Maki-Thompson model that includes a forgetting mechanism. This modification changes the Markov chain's nature from infinitely many absorbing states in the classical setup to a single absorbing state. In practice, this allows us to use a plethora of analytic and numeric methods that permit the models' characterization. In particular, we find a counter-intuitive behavior in the subcritical regime of these models, where the lifespan of a rumor increases as the spreading rate drops, following a power-law relationship. This means that, even below the critical threshold, rumors can survive for a long time. Together, our findings suggest that the dynamic behavior of rumor models can be much richer than previously thought. Thus, we hope that our results motivate further research both analytically and numerically.

physics.soc-ph↗

Phase transitions and stability of dynamical processes on hypergraphs

Hypergraphs naturally represent higher-order interactions, which persistently appear from social interactions to neural networks and other natural systems. Although their importance is well recognized, a theoretical framework to describe general dynamical processes on hypergraphs is not available yet. In this paper, we bridge this gap and derive expressions for the stability of dynamical systems defined on an arbitrary hypergraph. The framework allows us to reveal that, near the fixed point, the relevant structure is the graph-projection of the hypergraph and that it is possible to identify the role of each structural order for a given process. We also analytically solve two dynamics of general interest, namely, social contagion and diffusion processes, and show that the stability conditions can be decoupled in structural and dynamical components. Our results show that in social contagion processes, only pairwise interactions play a role in the stability of the absorbing state, while for the diffusion dynamics, the order of the interactions plays a differential role. Ours is the first attempt to provide a general framework for further exploration of dynamical processes on hypergraphs.

physics.soc-ph↗

Universality of eigenvector delocalization and the nature of the SIS phase transition in multiplex networks

Universal spectral properties of multiplex networks allow us to assess the nature of the transition between disease-free and endemic phases in the SIS epidemic spreading model. In a multiplex network, depending on a coupling parameter, $p$, the inverse participation ratio ($IPR$) of the leading eigenvector of the adjacency matrix can be in two different structural regimes: (i) layer-localized and (ii) delocalized. Here we formalize the structural transition point, $p^*$, between these two regimes, showing that there are universal properties regarding both the layer size $n$ and the layer configurations. Namely, we show that $IPR \sim n^{-δ}$, with $δ\approx 1$, and revealed an approximately linear relationship between $p^*$ and the difference between the layers' average degrees. Furthermore, we showed that this multiplex structural transition is intrinsically connected with the nature of the SIS phase transition, allowing us to both understand and quantify the phenomenon. As these results are related to the universal properties of the leading eigenvector, we expect that our findings might be relevant to other dynamical processes in complex networks.

physics.soc-ph↗

Comparison of different spike train synchrony measures regarding their robustness to erroneous data from bicuculline induced epileptiform activity

As synchronized activity is associated with basic brain functions and pathological states, spike train synchrony has become an important measure to analyze experimental neuronal data. Many different measures of spike train synchrony have been proposed, but there is no gold standard allowing for comparison of results between different experiments. This work aims to provide guidance on which synchrony measure is best suitable to quantify the effect of epileptiform inducing substances (e.g. bicuculline (BIC)) in in vitro neuronal spike train data. Spike train data from recordings are likely to suffer from erroneous spike detection, such as missed spikes (false negative) or noise (false positive). Therefore, different time-scale dependent (cross-correlation, mutual information, spike time tiling coefficient) and time-scale independent (Spike-contrast, phase synchronization, A-SPIKE-synchronization, A-ISI-distance, ARI-SPIKE-distance) synchrony measures were compared in terms of their robustness to erroneous spike trains. As a result of the in silico manipulated data, Spike-contrast was the only measure being robust to false negative as well as false-positive spikes. Analyzing the experimental data set revealed that all measures were able to capture the effect of BIC in a statistically significant way, with Spike-contrast showing the highest statistical significance even at low spike detection thresholds. In summary, we suggest the usage of Spike-contrast to complement established synchrony measures, as it is time scale independent and robust to erroneous spike trains.

q-bio.QM↗