arXiv++ Combinatorics

Let $L$ denote the Laplacian matrix of a graph $G$. We study continuous quantum walks on $G$ defined by the transition matrix $U(t)=\exp\left(itL\right)$. The initial state is of the pair state form, $e_a-e_b$ with $a,b$ being any two vertices of $G$. We provide two ways to construct infinite families of graphs that have perfect pair transfer. We study a "transitivity" phenomenon which cannot occur in vertex state transfer. We characterize perfect pair state transfer on paths and cycles. We also study the case when quantum walks are generated by the unsigned Laplacians of underlying graphs and the initial states are of the plus state form, $e_a+e_b$. When the underlying graphs are bipartite, plus state transfer is equivalent to pair state transfer.

Let $G$ be a strongly connected and balanced directed graph. The Laplacian matrix of $G$ is then the matrix (not necessarily symmetric) $L:=D-A$, where $A$ is the adjacency matrix of $G$ and $D$ is the diagonal matrix such that the row sums and the column sums of $L$ are equal to zero. Let $L^†=[l^†_{ij}]$ be the Moore-Penrose inverse of $L$. We define the resistance between any two vertices $i$ and $j$ of $G$ by $r_{ij}:=l^†_{ii}+l^†_{jj}-2l^†_{ij}$. In this paper, we derive some interesting properties of the resistance and the corresponding resistance matrix $[r_{ij}]$.

The Laplacian matrix of a graph $G$ is denoted by $L(G)=D(G)-A(G)$, where $D(G)=diag(d(v_{1}),\ldots , d(v_{n}))$ is a diagonal matrix and $A(G)$ is the adjacency matrix of $G$. Let $G_1$ and $G_2$ be two graphs. A one-edge connection of two graphs $G_1$ and $G_2$ is a graph $G=G_1\odot_{uv} G_2$ with $V(G)=V(G_1)\cup V(G_2)$ and $E(G)= E(G_1)\cup E(G_2)\cup \{e=uv\}$, where $u\in V(G_1)$ and $v\in V(G_2)$. We investigate the multiplicity of the Laplacian eigenvalue $2$ of $G_1\odot_{uv} G_2$, while the unicyclic graphs $G_1$ and $G_2$ have $2$ among their Laplacian eigenvalues, by using their Laplacian characteristic polynomials. Some structural conditions ensuring the presence of the existence $2$ in the $G=G_1\odot_{uv} G_2$ where both $G_1$ and $G_2$ have $2$ as Laplacian eigenvalue, have been investigated, while, here we study the existence Laplacian eigenvalue $2$ in $G=G_1\odot_{uv} G_2$ where at most one of $G_1$ or $G_2$ has $2$ as Laplacian eigenvalue.

We present an elementary proof of a generalization of Kirchoff's matrix tree theorem to directed, weighted graphs. The proof is based on a specific factorization of the Laplacian matrices associated to the graphs, which only involves the two incidence matrices that capture the graph's topology. We also point out how this result can be used to calculate principal eigenvectors of the Laplacian matrices.

A graph $G$ is said to be determined by the spectrum of its Laplacian matrix (DLS) if every graph with the same spectrum is isomorphic to $G$. van Dam and Haemers (2003) conjectured that almost all graphs have this property, but that is known to be the case only for a very few families. In some recent papers it is proved that the friendship graphs and starlike trees are DLS. If a friendship graph and a starlike tree are joined by merging their vertices of degree greater than 2, then the resulting graph is called a path-friendship graph. In this paper, it is proved that the path-friendship graphs are also DLS.

We study the Laplacian eigenvalues of the zero divisor graph $Γ\left(\mathbb{Z}_{n}\right)$ of the ring $\mathbb{Z}_{n}$ and prove that $Γ\left(\mathbb{Z}_{p^t}\right)$ is Laplacian integral for every prime $p$ and positive integer $t\geq 2$. We also prove that the Laplacian spectral radius and the algebraic connectivity of $Γ\left(\mathbb{Z}_{n}\right)$ for most of the values of $n$ are, respectively, the largest and the second smallest eigenvalues of the vertex weighted Laplacian matrix of a graph which is defined on the set of proper divisors of $n$. The values of $n$ for which algebraic connectivity and vertex connectivity of $Γ\left(\mathbb{Z}_{n}\right)$ coincide are also characterized.

Kirchhoff's Matrix-Tree Theorem asserts that the number of spanning trees in a finite graph can be computed from the determinant of any of its reduced Laplacian matrices. In many cases, even for well-studied families of graphs, this can be computationally or algebraically taxing. We show how two well-known results from linear algebra, the Matrix Determinant Lemma and the Schur complement, can be used to elegantly count the spanning trees in several significant families of graphs.

The distance matrix $\mathcal{D}(G)$ of a graph $G$ is the matrix containing the pairwise distances between vertices. The transmission of a vertex $v_i$ in $G$ is the sum of the distances from $v_i$ to all other vertices and $T(G)$ is the diagonal matrix of transmissions of the vertices of the graph. The normalized distance Laplacian, $\mathcal{D}^{\mathcal {L}}(G)=I-T(G)^{-1/2}\mathcal{D}(G) T(G)^{-1/2}$, is introduced. This is analogous to the normalized Laplacian matrix, $\mathcal{L}(G)=I-D(G)^{-1/2}A(G)D(G)^{-1/2}$, where $D(G)$ is the diagonal matrix of degrees of the vertices of the graph and $A(G)$ is the adjacency matrix. Bounds on the spectral radius of $\mathcal{D}^{\mathcal {L}}$ and connections with the normalized Laplacian matrix are presented. Twin vertices are used to determine eigenvalues of the normalized distance Laplacian. The generalized distance characteristic polynomial is defined and its properties discussed. Finally, $\mathcal{D}^{\mathcal {L}}$-cospectrality is studied for all graphs on 10 and fewer vertices, providing evidence that the normalized distance Laplacian has fewer cospectral pairs than other matrices.

The weighted spanning tree enumerator of a graph $G$ with weighted edges is the sum of the products of edge weights over all the spanning trees in $G$. In the special case that all of the edge weights equal $1$, the weighted spanning tree enumerator counts the number of spanning trees in $G$. The Weighted Matrix-Tree Theorem asserts that the weighted spanning tree enumerator can be calculated from the determinant of a reduced weighted Laplacian matrix of $G$. That determinant, however, is not always easy to compute. In this paper, we show how two well-known results from linear algebra, the Matrix Determinant Lemma and the method of Schur complements, can be used to elegantly compute the weighted spanning tree enumerator for several families of graphs.

The distance matrix $\mathcal{D}(G)$ of a graph $G$ is the matrix containing the pairwise distances between vertices, and the distance Laplacian matrix is $\mathcal{D}^L(G)=T(G)-\mathcal{D}(G)$, where $T(G)$ is the diagonal matrix of row sums of $\mathcal{D}(G)$. We establish several general methods for producing $\mathcal{D}^L$-cospectral graphs that can be used to construct infinite families. We provide examples showing that various properties are not preserved by $\mathcal{D}^L$-cospectrality, including examples of $\mathcal{D}^L$-cospectral strongly regular and circulant graphs. We establish that the absolute values of coefficients of the distance Laplacian characteristic polynomial are decreasing, i.e., $|δ^L_{1}|\geq \dots \geq |δ^L_{n}|$ where $δ^L_{k}$ is the coefficient of $x^k$.

For a given complex square matrix $A$ with constant row sum, we establish two new eigenvalue inclusion sets. Using these bounds, first we derive bounds for the second largest and smallest eigenvalues of adjacency matrices of $k$-regular graphs. Then, we establish some bounds for the second largest and the smallest eigenvalues of the normalized adjacency matrices of graphs and the second smallest eigenvalue and the largest eigenvalue of the Laplacian matrices of graphs. Sharpness of these bounds are verified by examples.

Let $D(G)$ and $D^Q(G)= Diag(Tr) + D(G)$ be the distance matrix and distance signless Laplacian matrix of a simple strongly connected digraph $G$, respectively, where $Diag(Tr)=\textrm{diag}(D_1,D_2,$ $\ldots,D_n)$ be the diagonal matrix with vertex transmissions of the digraph $G$. To track the gradual change of $D(G)$ into $D^Q(G)$, in this paper, we propose to study the convex combinations of $D(G)$ and $Diag(Tr)$ defined by $$D_α(G)=αDiag(Tr)+(1-α)D(G), \ \ 0\leq α\leq1.$$ This study reduces to merging the distance spectral and distance signless Laplacian spectral theories. The eigenvalue with the largest modulus of $D_α(G)$ is called the $D_α$ spectral radius of $G$, denoted by $μ_α(G)$. We determine the digraph which attains the maximum (or minimum) $D_α$ spectral radius among all strongly connected digraphs. Moreover, we also determine the digraphs which attain the minimum $D_α$ spectral radius among all strongly connected digraphs with given parameters such as dichromatic number, vertex connectivity or arc connectivity.

The Cheeger constant of a graph is the smallest possible ratio between the size of a subgraph and the size of its boundary. It is well known that this constant must be at least $\frac{λ_1}{2}$, where $λ_1$ is the smallest positive eigenvalue of the Laplacian matrix. The subject of this paper is a conjecture of the authors that for distance-regular graphs the Cheeger constant is at most $λ_1$. In particular, we prove the conjecture for the known infinite families of distance-regular graphs, distance-regular graphs of diameter 2 (the strongly regular graphs), several classes of imprimitive distance-regular graphs, and most distance-regular graphs with small valency.

Let $A(G)$ be the adjacent matrix and $D(G)$ the diagonal matrix of the degrees of a graph $G$, respectively. For $0 \leq α\leq 1$, the $A_α$ matrix $A_α(G) = αD(G) +(1-α)A(G)$ is given by Nikiforov. Clearly, $A_{0} (G)$ is the adjacent matrix and $2 A_{\frac{1}{2}}$ is the signless Laplacian matrix. A cactus is a connected graph such that any two of its cycles have at most one common vertex, that is an extension of the tree. The $A_α$-spectral radius of a cactus graph with $n$ vertices and $k$ cycles is explored. The outcomes obtained in this paper can imply previous bounds of Nikiforov et al., and Lovász and Pelikán. In addition, the corresponding extremal graphs are determined. Furthermore, we proposed all eigenvalues of such extremal cacti. Our results extended and enriched previous known results.

Let $G$ be a simple graph with the Laplacian matrix $L(G)$ and let $e(G)$ be the number of edges of $G$. A conjecture by Brouwer and a conjecture by Grone and Merris state that the sum of the $k$ largest Laplacian eigenvalues of $G$ is at most $e(G)+\binom{k+1}{2}$ and $\sum_{i=1}^{k}d_{i}^{*}$, respectively, where $(d_{i}^{*})_{i}$ is the conjugate of the degree sequence $(d_i)_{i}$. We generalize these conjectures to weighted graphs and symmetric matrices. Moreover, among other results we show that under some assumptions, concave upper bounds on convex functions of symmetric real matrices are equivalent to concave upper bounds on convex functions of $(0,1)$ matrices.

This paper further investigates \emph{Laplacian simplices}. A construction by Braun and the first author associates to a simple connected graph $G$ a simplex $\cP_G$ whose vertices are the rows of the Laplacian matrix of $G$. In this paper we associate to a reflexive $\cP_G$ a duality-preserving linear code $\cC(\cP_G)$. This new perspective allows us to build upon previous results relating graphical properties of $G$ to properties of the polytope $\cP_G$. In particular, we make progress towards a graphical characterization of reflexive $\cP_G$ using techniques from Ehrhart theory. We provide a systematic investigation of $\cC(\cP_G)$ for cycles, complete graphs, and graphs with a prime number of vertices. We construct an asymptotically good family of MDS codes. In addition, we show that any rational rate is achievable by such construction.

We study the eigenvectors of Laplacian matrices of trees. The Laplacian matrix is reduced to a tridiagonal matrix using the Schur complement. This preserves the eigenvectors and allows us to provide fomulas for the ratio of eigenvector entries. We also obtain bounds on the ratio of eigenvector entries along a path in terms of the eigenvalue and Perron values. The results are then applied to the Fiedler vector. Here we locate the extremal entries of the Fiedler vector and study classes of graphs such that the extremal entries can be found at the end points of the longest path.

A mixed graph is obtained from an unoriented graph by orienting a subset of its edges. Yu, Liu, and Qu in 2017 have established the expression for the determinant of Hermitian (quasi-) Laplacian matrix of a mixed graph. Here we find general expressions for all minors of Hermitian (quasi-) Laplacian matrix of mixed graphs.

A spanning tree of a graph is a connected subgraph on all vertices with the minimum number of edges. The number of spanning trees in a graph $G$ is given by Matrix Tree Theorem in terms of principal minors of Laplacian matrix of $G$. We show a similar combinatorial interpretation for principal minors of signless Laplacian $Q$. We also prove that the number of odd cycles in $G$ is less than or equal to $\frac{\det(Q)}{4}$, where the equality holds if and only if $G$ is a bipartite graph or an odd-unicyclic graph.

The \emph{resistance matrix} of a simple connected graph $G$ is denoted by $R$, and is defined by $R =(r_{ij})$, where $r_{ij}$ is the resistance distance between the vertices $i$ and $j$ of $G$. In this paper, we consider the resistance matrix of weighted graph with edge weights being positive definite matrices of same size. We derive a formula for the determinant and the inverse of the resistance matrix. Then, we establish an interlacing inequality for the eigenvalues of resistance and Laplacian matrices. Using this interlacing inequality, we obtain the inertia of the resistance matrix.