arXiv++ Combinatorics

Temporal networks -- sequences of time-stamped contacts among nodes -- constitute the finest-grained representation of dynamic interaction data; however, geometric and topological analyses of such networks have remained largely confined to time-aggregated or snapshot-based approximations. Such reductions destroy the temporal ordering and interevent statistics essential for understanding spreading dynamics, synchronization, and information flow. This study proposes a geometric framework that lifts a contact-sequence temporal network into a genuine simplicial complex through a prism construction adapted from algebraic topology. On this spatiotemporal prism complex, we develop the Forman--Ricci curvature in its original CW-complex form and contrast it with an augmented variant widely used in network science. We prove that the two variants coincide under uniform weights, derive a closed-form expression for their pointwise discrepancy in the general case, and identify the precise conditions under which they diverge -- conditions generically satisfied in temporal networks because temporal edges carry interval-dependent weights. Numerical experiments on three synthetic contact-network models (Erd\H os--Rényi, activity-driven, and bursty) and on the SocioPatterns Hypertext 2009 face-to-face contact dataset quantitatively confirm the theoretical predictions: the two Forman variants disagree on $56$--$67\%$ of the $1$-simplices -- predominantly the temporal and diagonal simplices -- while remaining strongly correlated according to the Pearson coefficient. The proposed framework provides a principled, parameter-free method for assigning discrete Ricci curvature to each contact event, thereby opening a new geometric avenue for temporal data analysis.

The signless Laplacian spectral radius has emerged as a crucial spectral parameter in network science. This paper establishes new extremal results in spectral graph theory by investigating the signless Laplacian spectral radius ($Q$-index) of graphs with forbidden subgraphs. We present a $Q$-spectral analog of classical Nosal-type theorems, providing sharp conditions that guarantee the existence of either a $4$-cycle or a large star $K_{1,m-k}$ in a graph. The main theorem states that for integers $k \geq 0$ and graphs $G$ with size $m \geq \max\{7k+31, k^2+8(k+1)\}$, if $q(G) \geq q(S^+_{m,k+1})$, then $G$ must contain a $4$-cycle or $K_{1,m-k}$, unless $G$ is isomorphic to the extremal graph $S^+_{m,k+1}$ formed by adding $k+1$ independent edges to the star $K_{1,m-k-1}$. This result refines previous work on star embeddings by Wang and Guo [Journal of Algebraic Combinatorics, 59 (2024) 213--224], and completes the $Q$-spectral counterpart to Wang's adjacency spectral theorem for $4$-cycle containment [Discrete Math., 345 (2022) 112973]. Our analysis reveals new insights into how signless Laplacian eigenvalues encode graph structure, with tight bounds demonstrated through explicit extremal graph constructions and asymptotic analysis.

Similarity notions between vertices in a graph, such as structural and regular equivalence, are one of the main ingredients in clustering tools in complex network science. We generalise structural and regular equivalences for undirected hypergraphs and provide a characterisation of structural and regular equivalences of undirected graphs and hypergraphs through neighbourhood graphs and Ollivier-Ricci curvature. Our characterisation sheds new light on these similarity notions opening a new avenue for their exploration. These characterisations also enable the construction of a possibly wide family of regular partitions, thereby offering a new route to a task that has so far been computationally challenging.

Measuring similarity between complex objects is a fundamental task in many scientific fields. When objects are represented as graphs, graph similarity/distance measures offer a powerful framework for quantifying structural resemblance. Those comparative measures play a key role in domains such as network science, chemoinformatics, and social network analysis. While methods like graph edit distance and graph kernels are widely used, they can be computationally intensive or fail to capture fine structural variations, since they require graphs without any structural uncertainty. Another class of methods is based on using topological indices to encode structural information of the graphs, followed by the application of distance or similarity measures for real numbers to obtain corresponding graph-level metrics. In this paper, we introduce a novel class of distance/similarity measures which are based on multiple topological indices. Since they are generally computed in polynomial time, our method is computationally efficient in practice. We demonstrate its effectiveness through comparisons and show that it captures subtle structural information meaningfully. Additionally, we explore its applicability in two domains: analyzing random graph models in network theory and assessing molecular similarity among isomers in chemoinformatics. These preliminary results suggest that our approach holds promise for graph comparison across disciplines.

Vulnerability measures and topological indices are crucial in solving various problems such as the stability of the communication networks and development of mathematical models for chemical compounds. In 1947, Harry Wiener introduced a topological index related to molecular branching. Since then, more than 100 topological indices for graphs were introduced. Many graph polynomials play important roles in measuring such indices. Hosoya polynomial is among many of them. Introduced by Hosoya in 1988, the Hosoya polynomial of a given graph $G$ is a polynomial with the coefficients being the numbers of pairs of vertices in $G$ with all possible distances. For a given graph $G$, an extension graph is called Mycielskian graph of $G$, defined by Mycielski in 1955. In this paper, we investigate relationships between the Hosoya polynomial of any graph and that of its Mycielskian graph. The results are applied to compute the vulnerability measures, closeness and betweenness centrality, and the extended Wiener indices of selected graphs and their Mycielskian graphs. In the network science, these measures are commonly used to describe certain connectivity properties of a network. It is fascinating to see how graph polynomials are useful in other scientific fields.

The metric dimension of a graph measures how uniquely vertices may be identified using a set of landmark vertices. This concept is frequently used in the study of network architecture, location-based problems and communication. Given a graph $G$, the metric dimension, denoted as $\dim(G)$, is the minimum size of a resolving set, a subset of vertices such that for every pair of vertices in $G$, there exists a vertex in the resolving set whose shortest path distance to the two vertices is different. This subset of vertices helps to uniquely determine the location of other vertices in the graph. A basis is a resolving set with a least cardinality. Finding a basis is a problem with practical applications in network design, where it is important to efficiently locate and identify nodes based on a limited set of reference points. The Cartesian product of $P_m$ and $P_n$ is the grid network in network science. In this paper, we investigate two novel types of grids in network science: the Villarceau grid Type I and Type II. For each of these grid types, we find the precise metric dimension.

Quantum adiabatic optimization has long been expected to outperform classical methods in solving NP-type problems. While this has been proven in certain experiments, its main applications still reside in academic problems where the size of the system to be solved would not represent an obstacle to any modern desktop computer. Here we develop a systematic procedure to find the global optima of the modularity function to discover community structure in complex networks solely relying on pure annealers rather than hybrid solutions. We bypass the one-hot encoding constraints by hierarchically and recursively encoding binary instances of the problem that can be solved without the need to guess the exact penalties for the Lagrange multipliers. We study the variability, and robustness of the annealing process as a function of network size, directness of connections, topology, and the resolution of the communities. We show how our approach produces meaningful and at least equally optimal solutions to state-of-the-art community detection algorithms while maintaining tractable computing times. Lastly, due to its recursive nature, the annealing process returns intermediate subdivisions thus offering interpretable rather than black-box solutions. These \textit{dendrograms} can be used to unveil normal and pathological hidden hierarchies in brain networks hence opening the door to clinical workflows. Overall, this represents a first step towards an applicable practice-oriented usage of pure quantum annealing potentially bridging two segregated communities in modern science and engineering; that of network science and quantum computing.

Random hypergraph is a broad concept used to describe probability distributions over hypergraphs, which are mathematical structures with applications in various fields, e.g., complex systems in physics, computer science, social sciences, and network science. Ensemble methods, on the other hand, are crucial both in physics and machine learning. In physics, ensemble theory helps bridge the gap between the microscopic and macroscopic worlds, providing a statistical framework for understanding systems with a vast number of particles. In machine learning, ensemble methods are valuable because they improve predictive accuracy, reduce overfitting, lower prediction variance, mitigate bias, and capture complex relationships in data. However, there is limited research on applying ensemble methods to a set of random hypergraphs. This work aims to study the connectivity behavior of an ensemble of random hypergraphs. Specifically, it focuses on quantifying the random behavior of the algebraic connectivity of these ensembles through tail bounds. We utilize Laplacian tensors to represent these ensemble random hypergraphs and establish mathematical theorems, such as Courant-Fischer and Lieb-Seiringer theorems for tensors, to derive tail bounds for the algebraic connectivity. We derive three different tail bounds, i.e., Chernoff, Bennett, and Bernstein bounds, for the algebraic connectivity of ensemble hypergraphs with respect to different random hypergraphs assumptions.

We study generalized quasirandom graphs whose vertex set consists of $q$ parts (of not necessarily the same sizes) with edges within each part and between each pair of parts distributed quasirandomly; such graphs correspond to the stochastic block model studied in statistics and network science. Lovász and Sós showed that the structure of such graphs is forced by homomorphism densities of graphs with at most $(10q)^q+q$ vertices; subsequently, Lovász refined the argument to show that graphs with $4(2q+3)^8$ vertices suffice. Our results imply that the structure of generalized quasirandom graphs with $q\ge 2$ parts is forced by homomorphism densities of graphs with at most $4q^2-q$ vertices, and, if vertices in distinct parts have distinct degrees, then $2q+1$ vertices suffice. The latter improves the bound of $8q-4$ due to Spencer.

How does one generalize differential geometric constructs such as curvature of a manifold to the discrete world of graphs and other combinatorial structures? This problem carries significant importance for analyzing models of discrete spacetime in quantum gravity; inferring network geometry in network science; and manifold learning in data science. The key contribution of this paper is to introduce and validate a new estimator of discrete sectional curvature for random graphs with low metric-distortion. The latter are constructed via a specific graph sprinkling method on different manifolds with constant sectional curvature. We define a notion of metric distortion, which quantifies how well the graph metric approximates the metric of the underlying manifold. We show how graph sprinkling algorithms can be refined to produce hard annulus random geometric graphs with minimal metric distortion. We construct random geometric graphs for spheres, hyperbolic and euclidean planes; upon which we validate our curvature estimator. Numerical analysis reveals that the error of the estimated curvature diminishes as the mean metric distortion goes to zero, thus demonstrating convergence of the estimate. We also perform comparisons to other existing discrete curvature measures. Finally, we demonstrate two practical applications: (i) estimation of the earth's radius using geographical data; and (ii) sectional curvature distributions of self-similar fractals.

Spectrum graph theory not only facilitate comprehensively reflect the topological structure and dynamic characteristics of networks, but also offer significant and noteworthy applications in theoretical chemistry, network science and other fields. Let $L_{n}^{8,4}$ represent a linear octagonal-quadrilateral network, consisting of $n$ eight-member ring and $n$ four-member ring. The Möbius graph $Q_{n}(8,4)$ is constructed by reverse identifying the opposite edges, whereas cylinder graph $Q'_{n}(8,4)$ identifies the opposite edges by order. In this paper, the explicit formulas of Kirchhoff indices and complexity of $Q_{n}(8,4)$ and $Q'_{n}(8,4)$ are demonstrated by Laplacian characteristic polynomials according to decomposition theorem and Vieta's theorem. In surprise, the Kirchhoff index of $Q_{n}(8,4)$($Q'_{n}(8,4)$) is approximately one-third half of its Wiener index as $n\to\infty$.

Cluster algebras have recently become an important player in mathematics and physics. In this work, we investigate them through the lens of modern data science, specifically with techniques from network science and machine learning. Network analysis methods are applied to the exchange graphs for cluster algebras of varying mutation types. The analysis indicates that when the graphs are represented without identifying by permutation equivalence between clusters an elegant symmetry emerges in the quiver exchange graph embedding. The ratio between number of seeds and number of quivers associated to this symmetry is computed for finite Dynkin type algebras up to rank 5, and conjectured for higher ranks. Simple machine learning techniques successfully learn to classify cluster algebras using the data of seeds. The learning performance exceeds 0.9 accuracies between algebras of the same mutation type and between types, as well as relative to artificially generated data.

This article introduces a new approach to discrete curvature based on the concept of effective resistances. We propose a curvature on the nodes and links of a graph and present the evidence for their interpretation as a curvature. Notably, we find a relation to a number of well-established discrete curvatures (Ollivier, Forman, combinatorial curvature) and show evidence for convergence to continuous curvature in the case of Euclidean random graphs. Being both efficient to calculate and highly amenable to theoretical analysis, these resistance curvatures have the potential to shed new light on the theory of discrete curvature and its many applications in mathematics, network science, data science and physics.

Over the recent years, Graph Neural Networks have become increasingly popular in network analytic and beyond. With that, their architecture noticeable diverges from the classical multi-layered hierarchical organization of the traditional neural networks. At the same time, many conventional approaches in network science efficiently utilize the hierarchical approaches to account for the hierarchical organization of the networks, and recent works emphasize their critical importance. This paper aims to connect the dots between the traditional Neural Network and the Graph Neural Network architectures as well as the network science approaches, harnessing the power of the hierarchical network organization. A Hierarchical Graph Neural Network architecture is proposed, supplementing the original input network layer with the hierarchy of auxiliary network layers and organizing the computational scheme updating the node features through both - horizontal network connections within each layer as well as the vertical connection between the layers. It enables simultaneous learning of the individual node features along with the aggregated network features at variable resolution and uses them to improve the convergence and stability of the individual node feature learning. The proposed Hierarchical Graph Neural network architecture is successfully evaluated on the network embedding and modeling as well as network classification, node labeling, and community tasks and demonstrates increased efficiency in those.

Many popular models from the networks literature can be viewed through a common lens of contingency tables on network dyads, resulting in \emph{log-linear ERGMs}: exponential family models for random graphs whose sufficient statistics are linear on the dyads. We propose a new model in this family, the \emph{$p_1$-SBM}, which combines node and group effects common in network formation mechanisms. In particular, it is a generalization of several well-known ERGMs including the stochastic blockmodel for undirected graphs with known block assignment, the degree-corrected version of it, and the directed $p_1$ model without group structure. We frame the problem of testing model fit for the log-linear ERGM class through an exact conditional test whose $p$-value can be approximated efficiently in networks of both small and moderately large sizes. The sampling methods we build rely on a dynamic adaptation of Markov bases. We use quick estimation algorithms adapted from the contingency table literature and effective sampling methods rooted in graph theory and algebraic statistics. The performance and scalability of the method is demonstrated on two data sets from biology: the connectome of \emph{C. elegans} and the interactome of \emph{Arabidopsis thaliana}. These two networks -- a network and a protein-protein interaction network -- have been popular examples in the network science literature. Our work provides a model-based approach to studying them.

Centrality measures are used in network science to identify the most important vertices for transmission of information and dynamics on a graph. One of these measures, introduced by Estrada and collaborators, is the $β$-subgraph centrality, which is based on the exponential of the matrix $βA$, where $A$ is the adjacency matrix of the graph and $β$ is a real parameter ("inverse temperature"). We prove that for algebraic $β$, two vertices with equal $β$-subgraph centrality are necessarily cospectral. We further show that two such vertices must have the same degree and eigenvector centralities. Our results settle a conjecture of Estrada and a generalization of it due to Kloster, Král and Sullivan. We also discuss possible extensions of our results.

The heterogeneous structure implies that a very few nodes may play the critical role in maintaining structural and functional properties of a large-scale network. Identifying these vital nodes is one of the most important tasks in network science, which allow us to better conduct successful social advertisements, immunize a network against epidemics, discover drug target candidates and essential proteins, and prevent cascading breakdowns in power grids, financial markets and ecological systems. Inspired by the nested nature of real networks, we propose a decomposition method where at each step the nodes with the lowest degree are pruned. We have strictly proved that this so-called lowest degree decomposition (LDD) is a subdivision of the famous k-core decomposition. Extensive numerical analyses on epidemic spreading, synchronization and nonlinear mutualistic dynamics show that the LDD can more accurately find out the most influential spreaders, the most efficient controllers and the most vulnerable species than k-core decomposition and other well-known indices. The present method only makes use of local topological information, and thus has high potential to become a powerful tool for network analysis.

Cycle is the simplest structure that brings redundant paths in network connectivity and feedback effects in network dynamics. Focusing on cycle structure, this paper defines a new matrix, named cycle number matrix, to represent cycle information of a network, and an index, named cycle ratio, to quantify the node importance. Experiments on real networks suggest that cycle ratio contains rich information in addition to well-known benchmark indices, for example, the node rankings by cycle ratio are largely different from rankings by degree, H-index, coreness, betweenness and articulation ranking, while the rankings by degree, H-index, coreness are very similar to each other. Extensive experiments on identifying vital nodes that maintain network connectivity, facilitate network synchronization and maximize the early reach of spreading show that cycle ratio is competitive to betweenness and overall better than other benchmarks. We believe the in-depth analyses on cycle structure may yield novel insights, metrics, models and algorithms for network science.

We introduce a new directed graph model for social networks, based on the transitivity of triads. In the Iterated Local Directed Transitivity (ILDT) model, new nodes are born over discrete time-steps, and inherit the link structure of their parent nodes. The ILDT model may be viewed as a directed analogue of the ILT model for undirected graphs introduced in \cite{ilt}. We investigate network science and graph theoretical properties of ILDT digraphs. We prove that the ILDT model exhibits a densification power law, so that the digraphs generated by the models densify over time. The number of directed triads are investigated, and counts are given of the number of directed 3-cycles and transitive $3$-cycles. A higher number of transitive 3-cycles are generated by the ILDT model, as found in real-world, on-line social networks. In many instances of the chosen initial digraph, the model eventually generates graphs with Hamiltonian directed cycles. We finish with a discussion of the eigenvalues of the adjacency matrices of ILDT directed graphs, and provide further directions.

Many real networks in social sciences, biological and biomedical sciences or computer science have an inherent structure of simplicial complexes reflecting many-body interactions. Therefore, to analyse topological and dynamical properties of simplicial complex networks centrality measures for simplices need to be proposed. Many of the classical complex networks centralities are based on the degree of a node, so in order to define degree centrality measures for simplices (which would characterise the relevance of a simplicial community in a simplicial network), a different definition of adjacency between simplices is required. The aim of these notes is threefold: first we will use the recently introduced notions of higher order simplicial degrees to propose new degree based centrality measures in simplicial complexes. These theoretical centrality measures, such as the simplicial degree centrality or the eigenvector centrality would allow not only to study the relevance of a simplicial community and the quality of its higher-order connections in a simplicial network, but also they might help to elucidate topological and dynamical properties of simplicial networks; sencond, we define notions of walks and distances in simplicial complexes in order to study connectivity of simplicial networks and to generalise, to the simplicial case, the well known closeness and betweenness centralities (needed for instance to study the relevance of a simplicial community in terms of its ability of transmitting information); third, we propose a new clustering coefficient for simplices in a simplicial network, different from the one knows so far and which generalises the standard graph clustering of a vertex. This measure should be essential to know the density of a simplicial network in terms of its simplicial communities.