arXiv++ Combinatorics

The Laplacian matrix of a graph $G$ is $L(G)=D(G)-A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees. According to the Matrix-Tree Theorem, the number of spanning trees in $G$ is equal to any cofactor of an entry of $L(G)$. A rooted forest is a union of disjoint rooted trees. We consider the matrix $W(G)=I+L(G)$ and prove that the $(i,j)$-cofactor of $W(G)$ is equal to the number of spanning rooted forests of $G$, in which the vertices $i$ and $j$ belong to the same tree rooted at $i$. The determinant of $W(G)$ equals the total number of spanning rooted forests, therefore the $(i,j)$-entry of the matrix $W^{-1}(G)$ can be considered as a measure of relative ''forest-accessibility'' of vertex $i$ from $j$ (or $j$ from $i$). These results follow from somewhat more general theorems we prove, which concern weighted multigraphs. The analogous theorems for (multi)digraphs are also established. These results provide a graph-theoretic interpretation for the adjugate to the Laplacian characteristic matrix.

We study the properties of several proximity measures for the vertices of weighted multigraphs and multidigraphs. Unlike the classical distance for the vertices of connected graphs, these proximity measures are applicable to weighted structures and take into account not only the shortest, but also all other connections, which is desirable in many applications. To apply these proximity measures to unweighted structures, every edge should be assigned the same weight which determines the proportion of taking account of two routes, from which one is one edge longer than the other. Among the proximity measures we consider path accessibility, route accessibility, relative forest accessibility along with its components, accessibility via dense forests, and connection reliability. A number of characteristic conditions is introduced and employed to characterize the proximity measures. A topological interpretation is obtained for the Moore-Penrose generalized inverse of the Laplacian matrix of a weighted multigraph.

We study spanning diverging forests of a digraph and related matrices. It is shown that the normalized matrix of out forests of a digraph coincides with the transition matrix in a specific observation model for Markov chains related to the digraph. Expression are given for the Moore-Penrose generalized inverse and the group inverse of the Kirchhoff (Laplacian) matrix. These expressions involve the matrix of maximum out forest of the digraph. Every matrix of out forests with a fixed number of arcs and the normalized matrix of out forests are represented as polynomials in the Kirchhoff matrix; with the help of these identities new proofs are given for the matrix-forest theorem and some other statements. A connection is specified between the forest dimension of a digraph and the degree of an annihilating polynomial for the Kirchhoff (Laplacian) matrix. Some accessibility measures for digraph vertices are considered. These are based on the enumeration of spanning forests.

A Laplacian matrix is a square real matrix with nonpositive off-diagonal entries and zero row sums. As a matrix associated with a weighted directed graph, it generalizes the Laplacian matrix of an ordinary graph. A standardized Laplacian matrix is a Laplacian matrix with the absolute values of the off-diagonal entries not exceeding 1/n, where n is the order of the matrix. We study the spectra of Laplacian matrices and relations between Laplacian matrices and stochastic matrices. We prove that the standardized Laplacian matrices are semiconvergent. The multiplicities of 0 and 1 as the eigenvalues of a standardized Laplacian matrix are equal to the in-forest dimension of the corresponding digraph and one less than the in-forest dimension of the complementary digraph, respectively. These eigenvalues are semisimple. The spectrum of a standardized Laplacian matrix belongs to the meet of two closed disks, one centered at 1/n, another at 1-1/n, each having radius 1-1/n, and two closed angles, one bounded with two half-lines drawn from 1, another with two half-lines drawn from 0 through certain points. The imaginary parts of the eigenvalues are bounded from above by 1/(2n) cot(pi/2n); this maximum converges to 1/pi as n goes to infinity. Keywords: Laplacian matrix; Laplacian spectrum of graph; Weighted directed graph; Forest dimension of digraph; Stochastic matrix

We study the matrices Q_k of in-forests of a weighted digraph G and their connections with the Laplacian matrix L of G. The (i,j) entry of Q_k is the total weight of spanning converging forests (in-forests) with k arcs such that i belongs to a tree rooted at j. The forest matrices, Q_k, can be calculated recursively and expressed by polynomials in the Laplacian matrix; they provide representations for the generalized inverses, the powers, and some eigenvectors of L. The normalized in-forest matrices are row stochastic; the normalized matrix of maximum in-forests is the eigenprojection of the Laplacian matrix, which provides an immediate proof of the Markov chain tree theorem. A source of these results is the fact that matrices Q_k are the matrix coefficients in the polynomial expansion of adj(a*I+L). Thereby they are precisely Faddeev's matrices for -L. Keywords: Weighted digraph; Laplacian matrix; Spanning forest; Matrix-forest theorem; Leverrier-Faddeev method; Markov chain tree theorem; Eigenprojection; Generalized inverse; Singular M-matrix

The matrices of spanning rooted forests are studied as a tool for analysing the structure of digraphs and measuring their characteristics. The problems of revealing the basis bicomponents, measuring vertex proximity, and ranking from preference relations / sports competitions are considered. It is shown that the vertex accessibility measure based on spanning forests has a number of desirable properties. An interpretation for the normalized matrix of out-forests in terms of information dissemination is given. Keywords: Laplacian matrix, spanning forest, matrix-forest theorem, proximity measure, bicomponent, ranking, incomplete tournament, paired comparisons

A metrized graph is a finite weighted graph whose edges are thought of as line segments. In this expository paper, we study the Laplacian operator on a metrized graph and some important functions related to it, including the ``j-function'', the effective resistance, and eigenfunctions of the Laplacian. We discuss the relationship between metrized graphs and electrical networks, which provides some physical intuition for the concepts being dealt with. We also discuss the relation between the Laplacian on a metrized graph and the combinatorial Laplacian matrix. We introduce the``canonical measure'' on a metrized graph, which arises naturally when considering the Laplacian of the effective resistance function. Finally, we discuss a generalization of classical Fourier analysis which utilizes eigenfunctions of the Laplacian on a metrized graph. During the course of the paper, we obtain a proof of Foster's network theorem and of an intriguing series identity.

The sandpile group of a connected graph is the group of recurrent configurations in the abelian sandpile model on this graph. We study the structure of this group for the case of regular trees. A description of this group is the following: Let T(d,h) be the d-regular tree of depth h and let V be the set of its vertices. Denote the adjacency matrix of T(d,h) by A and consider the modified Laplacian matrix D:=dI-A. Let the rows of D span the lattice L in Z^V. The sandpile group of T(d,h) is Z^V/L. We compute the rank, the exponent and the order of this abelian group and find a cyclic Hall-subgroup of order (d-1)^h. We find that the base (d-1)-logarithm of the exponent and of the order are asymptotically 3h^2/pi^2 and c_d(d-1)^h, respectively. We conjecture an explicit formula for the ranks of all Sylow subgroups.

Uniform spanning trees are a statistical model obtained by taking the set of all spanning trees on a given graph (such as a portion of a cubic lattice in d dimensions), with equal probability for each distinct tree. Some properties of such trees can be obtained in terms of the Laplacian matrix on the graph, by using Grassmann integrals. We use this to obtain exact exponents that bound those for the power-law decay of the probability that k distinct branches of the tree pass close to each of two distinct points, as the size of the lattice tends to infinity.

The critical group K(G) of a directed graph G=(V,E) is the cokernel of the transpose of the Laplacian matrix of G acting on the integer lattice Z^V. For undirected graphs G, this has been considered by Bacher, de la Harpe, and Nagnibeda, and by Biggs. We prove several things, among which are: K(G/p) is a subgroup of K(G) when p is an equitable partition and G is strongly connected; for undirected graphs, the torsion subgroup of K(G) depends only on the graphic matroid of G; and, the `dollar game' of Biggs can be generalized to give a combinatorial interpretation for the elements of K(G), when G is strongly connected.