Searcharxiv⌕ Search

arXiv subjects

Szabolcs Horvát

Publications and source records attributed to Szabolcs Horvát.

8 recordsLinked to original sources

igraph enables fast and robust network analysis across programming languages

Networks or graphs are widely used across the sciences to represent relationships of many kinds. igraph (https://igraph.org) is a general-purpose software library for graph construction, analysis, and visualisation, combining fast and robust performance with a low entry barrier. igraph pairs a fast core written in C with beginner-friendly interfaces in Python, R, and Mathematica. Over the last two decades, igraph has expanded substantially. It now scales to billions of edges, supports Mathematica and interactive plotting, integrates with Jupyter notebooks and other network libraries, includes new graph layouts and community detection algorithms, and has streamlined the documentation with examples and Spanish translations. Modern testing features such as continuous integration, address sanitizers, stricter typing, and memory-managed vectors have also increased robustness. Hundreds of bug reports have been fixed and a community forum has been opened to connect users and developers. Specific effort has been made to broaden use and community participation by women, non-binary people, and other demographic groups typically underrepresented in open source software.

cs.SI↗

Impossible ecologies: Interaction networks and stability of coexistence in ecological communities

Does an ecological community allow stable coexistence? Identifying the general principles that determine the answer to this question is a central problem of theoretical ecology. Random matrix theory approaches have uncovered the general trends of the effect of competitive, mutualistic, and predator-prey interactions between species on stability of coexistence. However, an ecological community is determined not only by the counts of these different interaction types, but also by their network arrangement. This cannot be accounted for in a direct statistical description that would enable random matrix theory approaches. Here, we therefore develop a different approach, of exhaustive analysis of small ecological communities, to show that this arrangement of interactions can influence stability of coexistence more than these general trends. We analyse all interaction networks of $N\leqslant 5$ species with Lotka-Volterra dynamics by combining exact results for $N\leqslant 3$ species and numerical exploration. Surprisingly, we find that a very small subset of these networks are "impossible ecologies", in which stable coexistence is non-trivially impossible. We prove that the possibility of stable coexistence in general ecologies is determined by similarly rare "irreducible ecologies". By random sampling of interaction strengths, we then show that the probability of stable coexistence varies over many orders of magnitude even in ecologies that differ only in the network arrangement of identical ecological interactions. Finally, we demonstrate that our approach can reveal the effect of evolutionary or environmental perturbations of the interaction network. Overall, this work reveals the importance of the full structure of the network of interactions for stability of coexistence in ecological communities.

q-bio.PE↗

Community Detection in Directed Weighted Networks using Voronoi Partitioning

Community detection is a ubiquitous problem in applied network analysis, yet efficient techniques do not yet exist for all types of network data. Most techniques have been developed for undirected graphs, and very few exist that handle directed and weighted networks effectively. Here we present such an algorithm based on Voronoi partitionings. As an added benefit, this method can directly employ edge weights that represent lengths, in contrast to algorithms that operate with connection strengths, requiring ad-hoc transformations of length data. We demonstrate the method on inter-areal brain connectivity, air transportation networks, as well as on randomly generated benchmark networks. The algorithm can handle dense graphs where weights are the main factor determining communities. The hierarchical structure of networks can also be detected, as shown for the brain. Its time efficiency is comparable with other state-of-the-art algorithms, the most costly part being Dijkstra's shortest paths algorithm.

physics.soc-ph↗

IGraph/M: graph theory and network analysis for Mathematica

IGraph/M is an efficient general purpose graph theory and network analysis package for Mathematica. IGraph/M serves as the Wolfram Language interfaces to the igraph C library, and also provides several unique pieces of functionality not yet present in igraph, but made possible by combining its capabilities with Mathematica's. The package is designed to support both graph theoretical research as well as the analysis of large-scale empirical networks.

physics.soc-ph↗

Connectedness matters: Construction and exact random sampling of connected graphs

We describe a new method for the random sampling of connected networks with a specified degree sequence. We consider both the case of simple graphs and that of loopless multigraphs. The constraints of fixed degrees and of connectedness are two of the most commonly needed ones when constructing null models for the practical analysis of physical or biological networks. Yet handling these constraints, let alone combining them, is non-trivial. Our method builds on a recently introduced novel sampling approach that constructs graphs with given degrees independently (unlike edge-switching Markov Chain Monte Carlo methods) and efficiently (unlike the configuration model), and extends it to incorporate the constraint of connectedness. Additionally, we present a simple and elegant algorithm for directly constructing a single connected realization of a degree sequence, either as a simple graph or a multigraph. Finally, we demonstrate our sampling method on a realistic scale-free example, as well as on degree sequences of connected real-world networks, and show that enforcing connectedness can significantly alter the properties of sampled networks.

physics.soc-ph↗

Tight Localizations of Feedback Sets

The classical NP-hard feedback arc set problem (FASP) and feedback vertex set problem (FVSP) ask for a minimum set of arcs $\varepsilon \subseteq E$ or vertices $ν\subseteq V$ whose removal $G\setminus \varepsilon$, $G\setminus ν$ makes a given multi-digraph $G=(V,E)$ acyclic, respectively. Though both problems are known to be APX-hard, approximation algorithms or proofs of inapproximability are unknown. We propose a new $\mathcal{O}(|V||E|^4)$-heuristic for the directed FASP. While a ratio of $r \approx 1.3606$ is known to be a lower bound for the APX-hardness, at least by empirical validation we achieve an approximation of $r \leq 2$. The most relevant applications, such as circuit testing, ask for solving the FASP on large sparse graphs, which can be done efficiently within tight error bounds due to our approach.

cs.DM↗

Reducing Degeneracy in Maximum Entropy Models of Networks

Based on Jaynes' maximum entropy principle, exponential random graphs provide a family of principled models that allow the prediction of network properties as constrained by empirical data (observables). However, their use is often hindered by the degeneracy problem characterized by spontaneous symmetry-breaking, where predictions fail. Here we show that degeneracy appears when the corresponding density of states function is not log-concave, which is typically the consequence of nonlinear relationships between the constraining observables. Exploiting these nonlinear relationships here we propose a solution to the degeneracy problem for a large class of systems via transformations that render the density of states function log-concave. The effectiveness of the method is illustrated on examples.

cond-mat.stat-mech↗

Complex phase space of a simple synchronization model

The phase-space of a simple synchronization model is thoroughly investigated. The model considers two-mode stochastic oscillators, coupled through a pulse-like interaction controlled by simple optimization rules. A complex phase space is uncovered as a function of two relevant model parameters that are related to the optimization threshold and the periods of the two oscillation modes. Several phases with different periodic global output signals are identified. It is shown that the system exhibits partial synchronization under unexpectedly general conditions.

nlin.AO↗