arXiv++ Combinatorics

A hypergraph is called uniform when every hyperedge contains the same number of vertices, otherwise, it is called non-uniform. In the real world, many systems give rise to non-uniform hypergraphs, such as email networks and co-authorship networks. A uniform hypergraph has a natural one-to-one correspondence with its adjacency tensor. In 2019, Benson proposed the eigenvector centrality of uniform hypergraphs via its adjacency tensor. In this paper, we define an adjacency tensor for hypergraphs and propose the eigenvector centrality for hypergraphs. When the hypergraph is uniform, our proposed eigenvector centrality reduces to Benson's. When each edge of the uniform hypergraph contains exactly two vertices, our proposed centrality reduces to the eigenvector centrality of graphs. We conducted experiments on several real-world hypergraph datasets. The results show that, compared to traditional centrality measures, the proposed centrality measure provides a unique perspective for identifying important vertices and can also effectively identify them.

Hypergraphs have been a powerful tool to represent higher-order interactions, where hyperedges can connect an arbitrary number of nodes. Quantifying the relative importance of nodes and hyperedges in hypergraphs is a fundamental problem in network analysis. In this paper, we propose a new tensor-based centrality measure for general hypergraphs. We use a third-order tensor to represent the relationship between nodes and hyperedges. The tensor's positive Perron vector is defined as the centrality vector of the hypergraph. The existence and uniqueness of this centrality vector are guaranteed by the Perron-Frobenius theorem for tensors. This new centrality measure captures a higher-order mutual reinforcement mechanism: a node's importance is determined by the importance of its incident hyperedges and the other nodes within these hyperedges; symmetrically, a hyperedge's importance is determined by the importance of its constituent nodes and the other hyperedges containing these nodes. We further provide a combinatorial interpretation by proving that the centrality vector represents the limit geometric capacity of two-steps expansion trees. We illustrate the centrality measure on real-world hypergraph datasets.

The $k$-core of a graph is its largest subgraph with minimum degree at least $k$, a fundamental concept for uncovering hierarchical structures. In this paper, we establish a connection between the $k$-core and the high-order spectra of graphs, a concept originally introduced by Cvetković, Doob, and Sachs. Specifically, we consider the high-order spectra defined via the $k$-adjacency tensor. Within this framework, we prove that a graph admits a non-empty $k$-core if and only if the spectral radius of the $k$-adjacency tensor is greater than or equal to $1$. Moreover, when the $k$-core exists, vertices corresponding to positive entries in the Perron vector of the $k$-adjacency tensor belong to the $k$-core. We thus define the $k$-order eigenvector centrality via the Perron vector, which provides both membership identification and a measure of relative influence within the $k$-core. Numerical experiments confirm our theoretical findings and illustrate the properties of this centrality measure in some real-world networks.

The Perron-Frobenius theorem of nonnegative matrices is a classical result on spectral theory of matrices, which has wide applications in many domains. In this paper, we give the Perron-Frobenius theorem for dual tensors, that is, a dual tensor with weakly irreducible nonnegative standard part has a positive dual eigenvalue with a positive dual eigenvector. We give an explicit formula for the dual part of the positive dual eigenvector by using generalized inverses of an $M$-matrix. By considering the natural correspondence between tensors (matrices) and hypergraphs (graphs), some basic properties on the positive dual eigenvalue and positive dual eigenvector of hypergraphs are obtained. As applications, we introduce dual centrality measures for vertices of graphs and hypergraphs. By introducing a dual perturbation, vertices that are tied under eigenvector centrality can be effectively distinguished. In our numerical experiments, by perturbing specific structures, we successfully differentiated vertices in regular graphs and hypergraphs that were previously indistinguishable.

We introduce and analyze a novel family of power indices tailored for sharing networks in technological markets, where firms operate competitively within, but not across, distinct industrial sectors. In these settings, inter-firm collaboration structures emerge from formal technology licensing agreements. The proposed indices are defined over graphs with a priori unions and combine two key centrality measures - degree-based and rescaled eigenvector centrality - modulated by positive market coefficients that reflect sectoral dynamics. We first explore the monotonicity properties of these indices, highlighting their responsiveness to local changes in network structure. Interestingly, major economic actors exhibit structural stability when inter-sectoral technological spillovers are minimal. Building on these findings, we provide theoretical underpinnings by characterizing the indices as the Shapley values of a family of coherent and economically interpretable transferable utility (TU) games defined over such graphs. However, for a broad class of network structures, the core of these TU games is often empty, signaling inherent instability in technological sharing arrangements. Finally, we offer an axiomatic foundation for this family of indices, proving independence of the proposed axioms. This axiomatization extends naturally to exchange networks, even when stage-propagation coefficients are not positive.

The identification of vertices that play a central role in network analysis is a fundamental challenge. Although traditional centrality measures have been extensively employed for this purpose, the increasing complexity of modern networks necessitates the use of sophisticated metrics. The concept of Forman curvature has recently garnered significant attention as a promising approach. We define the Forman curvature for multiplex graphs, which are a category of complex networks characterized by multiple layers of connections between nodes. We then prove the key properties of the Forman curvature in the context of multiplex graphs and show its usefulness in identifying vertices occupying central positions within these networks. Moreover, through a series of comparative experiments with traditional graph features and graph kernels, we demonstrate that the Forman curvature can function as an effective metric for classifying the overall structure of networks.

We introduce new centrality measures, called ksi-centrality and normalized ksi-centrality measure the importance of a node up to the importance of its neighbors. First, we show that normalized ksi-centrality can be rewritten in terms of the Laplacian matrix such that its expression is similar to the local clustering coefficient. After that we introduce average normalized ksi-coefficient and show that for a random Erdos-Renyi graph it is almost the same as average clustering coefficient. It also shows behavior similar to the clustering coefficient for the Windmill and Wheel graphs. Finally, we show that the distributions of ksi centrality and normalized ksi centrality distinguish networks based on real data from artificial networks, including the Watts-Strogatz, Barabasi-Albert and Boccaletti-Hwang-Latora small-world networks. Furthermore, we show the relationship between normalized ksi centrality and the average normalized ksi coefficient and the algebraic connectivity of the graph and the Chegeer number.

Graphs depict pairwise relationships between objects within a system. Higher-order interactions (HOIs), which involve more than two objects simultaneously, are common in nature. Such interactions can change the stability of a complex system. Hypergraphs can represent an HOI as an arbitrary subset of vertices. However, they fail to capture the specific roles of the vertices involved, which can be highly asymmetric, particularly in the case of interaction modifications. We introduce pangraphs, a robust and quantitative generalisation of graphs that accurately captures arbitrarily complex higher-order interactions. We demonstrate that several higher-order representations proposed in the literature are specific instances of pangraphs. Additionally, we introduce an incidence multilayer digraph representation of a pangraph, referred to as Levi digraph. We adapt degree and Katz centrality measures to the pangraph framework and show that a consistent generalisation of recursive graph measures cannot be simplified to a Levi digraph of a pangraph. We construct a pangraph for a real-world coffee agroecosystem and compare Katz centrality between its dihypergraph and pangraph representations, both analytically and numerically. The choice of representation significantly affects centrality values and alters vertex ranks. Additionally, we emphasise the use of real-valued incidence matrices to quantify interaction strengths and the roles of vertices within the system.

The use of graph centrality measures applied to biological networks, such as protein interaction networks, underpins much research into identifying key players within biological processes. This approach however is restricted to dyadic interactions and it is well-known that in many instances interactions are polyadic. In this study we illustrate the merit of using hypergraph centrality applied to a hypernetwork as an alternative. Specifically, we review and propose an extension to a recently introduced node and edge nonlinear hypergraph centrality model which provides mutually dependent node and edge centralities. A Saccharomyces Cerevisiae protein complex hypernetwork is used as an example application with nodes representing proteins and hyperedges representing protein complexes. The resulting rankings of the nodes and edges are considered to see if they provide insight into the essentiality of the proteins and complexes. We find that certain variations of the model predict essentiality more accurately and that the degree-based variation illustrates that the centrality-lethality rule extends to a hypergraph setting. In particular, through exploitation of the models flexibility, we identify small sets of proteins densely populated with essential proteins. One of the key advantages of applying this model to a protein complex hypernetwork is that it also provides a classification method for protein complexes, unlike previous approaches which are only concerned with classifying proteins.

We investigate an application of network centrality measures to portfolio optimization, by generalizing the method in [Pozzi, Di Matteo and Aste, \emph{Spread of risks across financial markets: better to invest in the peripheries}, Scientific Reports 3:1665, 2013], that however had significant limitations with respect to the state of the art in network theory. In this paper, we systematically compare many possible variants of the originally proposed method on S\&P 500 stocks. We use daily data from twenty-seven years as training set and their following year as test set. We thus select the best network-based methods according to different viewpoints including for instance the highest Sharpe Ratio and the highest expected return. We give emphasis in new centrality measures and we also conduct a thorough analysis, which reveals significantly stronger results compared to those with more traditional methods. According to our analysis, this graph-theoretical approach to investment can be used successfully by investors with different investment profiles leading to high risk-adjusted returns.

This paper introduces the concepts of spectral influence and spectral cyclicality, both derived from the largest eigenvalue of a graph's adjacency matrix. These two novel centrality measures capture both diffusion and interdependence from a local and global perspective respectively. We propose a new clustering algorithm that identifies communities with high cyclicality and interdependence, allowing for overlaps. To illustrate our method, we apply it to input-output analysis within the context of the Moroccan economy.

We introduce a novel method, called Dispersion Entropy for Graph Signals, $DE_G$, as a powerful tool for analysing the irregularity of signals defined on graphs. We demonstrate the effectiveness of $DE_G$ in detecting changes in the dynamics of signals defined on synthetic and real-world graphs, by defining mixed processing on random geometric graphs or those exhibiting with small-world properties. Remarkably, $DE_G$ generalises the classical dispersion entropy for univariate time series, enabling its application in diverse domains such as image processing, time series analysis, and network analysis, as well as in establishing theoretical relationships (i.e., graph centrality measures, spectrum). Our results indicate that $DE_G$ effectively captures the irregularity of graph signals across various network configurations, successfully differentiating between distinct levels of randomness and connectivity. Consequently, $DE_G$ provides a comprehensive framework for entropy analysis of various data types, enabling new applications of dispersion entropy not previously feasible, and revealing relationships between graph signals and its graph topology.

We consider several families of network centrality measures induced by graph kernels, which include some well-known measures and many new ones. The Self-consistency and Bridge axioms, which appeared earlier in the literature, are closely related to certain kernels and one of the families. We obtain a necessary and sufficient condition for Self-consistency, a sufficient condition for the Bridge axiom, indicate specific measures that satisfy these axioms, and show that under some additional conditions they are incompatible. PageRank centrality applied to undirected networks violates most conditions under study and has a property that according to some authors is ``hard to imagine'' for a centrality measure. We explain this phenomenon. Adopting the Self-consistency or Bridge axiom leads to a drastic reduction in survey time in the culling method designed to select the most appropriate centrality measures.

The significance of the PageRank algorithm in shaping the modern Internet cannot be overstated, and its Complex Network theory foundations continue to be a subject of research. In this article we carry out a systematic study of the structural and parametric controllability of PageRank's outcomes, translating a spectral Graph Theory problem into a geometric one, where a natural characterization of its rankings emerges. Furthermore, we show that the change of perspective employed can be applied to the biplex PageRank proposal, performing numerical computations on both real and synthetic network datasets to compare centrality measures used.

In this paper, we consider three variations on standard PageRank: Non-backtracking PageRank, $μ$-PageRank, and $\infty$-PageRank, all of which alter the standard formula by adjusting the likelihood of backtracking in the algorithm's random walk. We show that in the case of regular and bipartite biregular graphs, standard PageRank and its variants are equivalent. We also compare each centrality measure and investigate their clustering capabilities.

The graph invariant examined in this paper is the largest eigenvalue of the adjacency matrix of a graph. Previous work demonstrates the tight relationship between this invariant, the birth and death rate of a contagion spreading on the graph, and the trajectory of the contagion over time. We begin by conducting a simulation confirming this and explore bounds on the birth and death rate in terms of well-known graph invariants. As a result, the change in the largest eigenvalue resulting from removal of a vertex in the network is the best measure of effectiveness of interventions that slow the spread of a contagion. We define the spread centrality of a vertex $v$ in a graph $G$ as the difference between the largest eigenvalues of $G$ and $G-v$. While the spread centrality is a distinct centrality measure and serves as another graph invariant for distinguishing graphs, we found experimental evidence that vertices ranked by the spread centrality and those ranked by eigenvector centrality are strongly correlated. Since eigenvector centrality is easier to compute than the spread centrality, this justifies using eigenvector centrality as a measure of spread, especially in large networks with unknown portions. We also examine two strategies for selecting members of a population to vaccinate.

Liquid water, besides being fundamental for life on Earth, has long fascinated scientists due to several anomalies. Different hypotheses have been put forward to explain these peculiarities. The most accredited one foresees the presence in the supercooled region of two phases at different densities: the low-density liquid phase and the high-density liquid phase. In our previous work [Faccio et al., J. Mol. Liq. 355 (2022): 118922], we showed that it is possible to identify these two forms in water networks through a computational approach based on molecular dynamics simulation and on the calculation of the total communicability of the associated graph, in which the nodes correspond to water molecules and the edges represent the connections (interactions) between molecules. In this paper, we present a more in-depth investigation of the application of graph-theory based approaches to the analysis of the structure of water networks. In particular, we investigate different connectivity and centrality measures and we report on the use of a variety of global metrics aimed at giving a topological and geometrical characterization of liquid water.

In graph-based applications, a common task is to pinpoint the most important or ``central'' vertex in a (directed or undirected) graph, or rank the vertices of a graph according to their importance. To this end, a plethora of so-called centrality measures have been proposed in the literature. Such measures assess which vertices in a graph are the most important ones by analyzing the structure of the underlying graph. A family of centrality measures that are suited for graph databases has been recently proposed by relying on the following simple principle: the importance of a vertex in a graph is relative to the number of ``relevant'' connected subgraphs surrounding it; we refer to the members of this family as subgraph-based centrality measures. Although it has been shown that such measures enjoy several favourable properties, their absolute expressiveness remains largely unexplored. The goal of this work is to precisely characterize the absolute expressiveness of the family of subgraph-based centrality measures by considering both directed and undirected graphs. To this end, we characterize when an arbitrary centrality measure is a subgraph-based one, or a subgraph-based measure relative to the induced ranking. These characterizations provide us with technical tools that allow us to determine whether well-established centrality measures are subgraph-based. Such a classification, apart from being interesting in its own right, gives useful insights on the structural similarities and differences among existing centrality measures.

We extend the notion of nonbacktracking walks from unweighted graphs to graphs whose edges have a nonnegative weight. Here the weight associated with a walk is taken to be the product over the weights along the individual edges. We give two ways to compute the associated generating function, and corresponding node centrality measures. One method works directly on the original graph and one uses a line graph construction followed by a projection. The first method is more efficient, but the second has the advantage of extending naturally to time-evolving graphs. Computational results are also provided.

Let $G$ be a connected graph. The eccentricity of a path $P$, denoted by ecc$_G(P)$, is the maximum distance from $P$ to any vertex in $G$. In the \textsc{Central path} (CP) problem our aim is to find a path of minimum eccentricity. This problem was introduced by Cockayne et al., in 1981, in the study of different centrality measures on graphs. They showed that CP can be solved in linear time in trees, but it is known to be NP-hard in many classes of graphs such as chordal bipartite graphs, planar 3-connected graphs, split graphs, etc. We investigate the path eccentricity of a connected graph~$G$ as a parameter. Let pe$(G)$ denote the value of ecc$_G(P)$ for a central path $P$ of $G$. We obtain tight upper bounds for pe$(G)$ in some graph classes. We show that pe$(G) \leq 1$ on biconvex graphs and that pe$(G) \leq 2$ on bipartite convex graphs. Moreover, we design algorithms that find such a path in linear time. On the other hand, by investigating the longest paths of a graph, we obtain tight upper bounds for pe$(G)$ on general graphs and $k$-connected graphs. Finally, we study the relation between a central path and a longest path in a graph. We show that on trees, and bipartite permutation graphs, a longest path is also a central path. Furthermore, for superclasses of these graphs, we exhibit counterexamples for this property.