arXiv++ Combinatorics

Threshold graphs are generated from one node by repeatedly adding a node that links to all existing nodes or adding a node without links. In the weighted threshold graph, we add a new node in step $i$, which is linked to all existing nodes by a link of weight $w_i$. In this work, we consider the set ${\cal A}_N$ that contains all Laplacian matrices of weighted threshold graphs of order $N$. We show that ${\cal A}_N$ forms a commutative algebra. Using this, we find a common basis of eigenvectors for the matrices in ${\cal A}_N$. It follows that the eigenvalues of each matrix in ${\cal A}_N$ can be represented as a linear transformation of the link weights. In addition, we prove that, if there are just three or fewer different weights, two weighted threshold graphs with the same Laplacian spectrum must be isomorphic.

We propose the spectral degree exponent as a novel graph metric. Although Hofmeister \cite{HofmeisterThesis} has studied the same metric, we generalise Hofmeister's work to weighted graphs. We provide efficient iterative formulas and bounds for the spectral degree exponent and provide highly accurate asymptotic expansions for the spectral degree exponent for several families of graphs. Furthermore, we uncover a close relation between the spectral degree exponent and the well-known degree assortativity, by showing high correlations between the two metrics in all small graphs, several random graph models and many real-world graphs.

The $k$-th power of the adjacency matrix of a simple undirected graph represents the number of walks with length $k$ between pairs of nodes. As a walk where no node repeats, a path is a walk where each node is only visited once. The set of paths constitutes a relatively small subset of all possible walks. We introduce three types of walks, representing subsets of all possible walks. Considered types of walks allow for deriving an analytic solution for the number of paths of a certain length between node pairs in a matrix form. Depending on the path length, different approaches possess the lowest computational complexity. We also propose a recursive algorithm for determining all paths in a graph, which can be generalised to directed (un)weighted networks.

The symmetric nonnegative inverse eigenvalue problem (SNIEP) asks which sets of numbers (counting multiplicities) can be the eigenvalues of a symmetric matrix with nonnegative entries. While examples of such matrices are abundant in linear algebra and various applications, this question is still open for matrices of dimension $N\geq 5$. One of the approaches to solve the SNIEP was proposed by George W. Soules, relying on a specific type of eigenvectors (Soules vectors) to derive sufficient conditions for this problem. Elsner et al. later showed a canonical way to construct all Soules vectors, based on binary rooted trees. While Soules vectors are typically treated as a totally ordered set of vectors, we propose in this article to consider a relaxed alternative: a partially ordered set of Soules vectors. We show that this perspective enables a more complete characterization of the sufficient conditions for the SNIEP. In particular, we show that the set of eigenvalues that satisfy these sufficient conditions is a convex cone, with symmetries corresponding to the automorphisms of the binary rooted tree from which the Soules vectors were constructed. As a second application, we show how Soules vectors can be used to construct graph Laplacian matrices with a given spectrum and describe a number of interesting connections with the concepts of hierarchical random graphs, equitable partitions and effective resistance.

Graphs are a central object of study in various scientific fields, such as discrete mathematics, theoretical computer science and network science. These graphs are typically studied using combinatorial, algebraic or probabilistic methods, each of which highlights the properties of graphs in a unique way. Here, we discuss a novel approach to study graphs: the simplex geometry (a simplex is a generalized triangle). This perspective, proposed by Miroslav Fiedler, introduces techniques from (simplex) geometry into the field of graph theory and conversely, via an exact correspondence. We introduce this graph-simplex correspondence, identify a number of basic connections between graph characteristics and simplex properties, and suggest some applications as example.

In this paper we study a random graph with $N$ nodes, where node $j$ has degree $D_j$ and $\{D_j\}_{j=1}^N$ are i.i.d. with $\prob(D_j\leq x)=F(x)$. We assume that $1-F(x)\leq c x^{-τ+1}$ for some $τ>3$ and some constant $c>0$. This graph model is a variant of the so-called configuration model, and includes heavy tail degrees with finite variance. The minimal number of edges between two arbitrary connected nodes, also known as the graph distance or the hopcount, is investigated when $N\to \infty$. We prove that the graph distance grows like $\log_νN$, when the base of the logarithm equals $ν=\expec[D_j(D_j -1)]/\expec[D_j]>1$. This confirms the heuristic argument of Newman, Strogatz and Watts \cite{NSW00}. In addition, the random fluctuations around this asymptotic mean $\log_ν{N}$ are characterized and shown to be uniformly bounded. In particular, we show convergence in distribution of the centered graph distance along exponentially growing subsequences.