Given a matrix M of size n, a digraph D on n vertices is said to be the digraph of M, when M_{ij} is different from 0 if and only if (v_{i},v_{j}) is an arc of D. We give a necessary condition, called strong quadrangularity, for a digraph to be the digraph of a unitary matrix. With the use of such a condition, we show that a line digraph, LD, is the digraph of a unitary matrix if and only if D is Eulerian. It follows that, if D is strongly connected and LD is the digraph of a unitary matrix then LD is Hamiltonian. We conclude with some elementary observations. Among the motivations of this paper are coined quantum random walks, and, more generally, discrete quantum evolution on digraphs.
A digraph D is the pattern of a matrix M when D has an arc ij if and only if the ij-th entry of M is nonzero. Study the relationship between unitary matrices and their patterns is motivated by works in quantum chaology and quantum computation. In this note, we prove that if a Cayley digraph is a line digraph then it is the pattern of a unitary matrix. We prove that for any finite group with two generators there exists a set of generators such that the Cayley digraph with respect to such a set is a line digraph and hence the pattern of a unitary matrix.
The support of a matrix M is the (0,1)-matrix with ij-th entry equal to 1 if the ij-th entry of M is non-zero, and equal to 0, otherwise. The digraph whose adjacency matrix is the support of M is said to be the digraph of M. This paper observes some structural properties of digraphs of unitary matrices.
A set $S\subseteq V$ is called an {\em $q^+$-set} ({\em $q^-$-set}, respectively) if $S$ has at least two vertices and, for every $u\in S$, there exists $v\in S, v\neq u$ such that $N^+(u)\cap N^+(v)\neq \emptyset$ ($N^-(u)\cap N^-(v)\neq \emptyset$, respectively). A digraph $D$ is called {\em s-quadrangular} if, for every $q^+$-set $S$, we have $|\cup \{N^+(u)\cap N^+(v): u\neq v, u,v\in S\}|\ge |S|$ and, for every $q^-$-set $S$, we have $|\cup \{N^-(u)\cap N^-(v): u,v\in S)\}\ge |S|$. We conjecture that every strong s-quadrangular digraph has a Hamilton cycle and provide some support for thi…
We show that the adjacency matrix M of the line digraph of a d-regular digraph D on n vertices can be written as M=AB, where the matrix A is the Kronecker product of the all-ones matrix of dimension d with the identity matrix of dimension n and the matrix B is the direct sum of the adjacency matrices of the factors in a dicycle factorization of D.
We propose a quantum walk defined by digraphs (mixed graphs). This is like Grover walk that is perturbed by a certain complex-valued function defined by digraphs. The discriminant of this quantum walk is a matrix that is a certain normalization of generalized Hermitian adjacency matrices. Furthermore, we give definitions of the positive and negative supports of the transfer matrix, and clarify explicit formulas of their supports of the square. In addition, we give tables by computer on the identification of digraphs by their eigenvalues.
We define a zeta function woth respect to the twisted Grover matrix of a mixed digraph, and present an exponential expression and a determinant expression of this zeta function. As an application, we give a trace formula with respect to the twisted Grover matrix of a mixed digraph.
Construction of graphs with equal eigenvalues (co-spectral graphs) is an interesting problem in spectral graph theory. Seidel switching is a well-known method for generating co-spectral graphs. From a matrix theoretic point of view, Seidel switching is a combined action of a number of unitary operations on graphs. Recent works [1] and [2] have shown significant connections between graph and quantum information theories. Corresponding to Laplacian matrices of any graph there are quantum states useful in quantum computing. From this point of view, graph theoretical problems are meaningful in the…
A strongly connected digraph is called a cactoid-type if each of its blocks is a digraph consisting of finitely many oriented cycles sharing a common directed path. In this article, we find the formula for the determinant of the distance matrix for weighted cactoid-type digraphs and find its inverse, whenever it exists. We also compute the determinant of the distance matrix for a class of unweighted and undirected graphs consisting of finitely many cycles, sharing a common path.
We prove that every point-determining digraph $D$ contains a vertex $v$ such that $D-v$ is also point determining. We apply this result to show that for any $\{0,1\}$-matrix $M$, with $k$ diagonal zeros and $\ell$ diagonal ones, the size of a minimal $M$-obstruction is at most $(k+1)(\ell+1)$. This extends the results of Sumner, and of Feder and Hell, from undirected graphs and symmetric matrices to digraphs and general matrices.
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 …
Let $G$ be a digraph with adjacency matrix $A(G)$. Let $D(G)$ be the diagonal matrix with outdegrees of vertices of $G$. Nikiforov \cite{Niki} proposed to study the convex combinations of the adjacency matrix and diagonal matrix of the degrees of undirected graphs. Liu et al. \cite{LWCL} extended the definition to digraphs. For any real $α\in[0,1]$, the matrix $A_α(G)$ of a digraph $G$ is defined as $$A_α(G)=αD(G)+(1-α)A(G).$$ The largest modulus of the eigenvalues of $A_α(G)$ is called the $A_α$ spectral radius of $G$, denoted by $λ_α(G)$. This paper proves some extremal results about the spe…
In this paper, we extend the results given by Park {\em et al.} \cite{ppk} by studying the convergence of the matrix sequence $\{Γ(A^m)\}_{m=1}^\infty$ for a matrix $A \in \mathcal{B}_n$ the digraph of which is linearly connected with an arbitrary number of strong components. In the process for generalization, we concretize ideas behind their arguments. We completely characterize $A$ for which $\{Γ(A^m)\}_{m=1}^\infty$ converges. Then we find its limit when all of the irreducible diagonal blocks are of order at least two. We go further to characterize $A$ for which the limit of $\{Γ(A^m)\}_{m=…
The paper gives a thorough introduction to spectra of digraphs via its Hermitian adjacency matrix. This matrix is indexed by the vertices of the digraph, and the entry corresponding to an arc from $x$ to $y$ is equal to the complex unity $i$ (and its symmetric entry is $-i$) if the reverse arc $yx$ is not present. We also allow arcs in both directions and unoriented edges, in which case we use $1$ as the entry. This allows to use the definition also for mixed graphs. This matrix has many nice properties; it has real eigenvalues and the interlacing theorem holds for a digraph and its induced su…
In an earlier work, the author together with Guo [Hermitian adjacency matrix of digraphs and mixed graphs, J. Graph Theory 85 (2017) 217-248] introduced the Hermitian adjacency matrix of directed (and partially directed) graphs. However, it appears that a more natural Hermitian matrix exists, and it is the purpose of this note to bring this new Hermitian matrix to the attention of researchers in algebraic graph theory.
We study the maximum out forests of a (weighted) digraph and the matrix of maximum out forests. A maximum out forest of a digraph G is a spanning subgraph of G that consists of disjoint diverging trees and has the maximum possible number of arcs. If a digraph contains any out arborescences, then maximum out forests coincide with them. We provide a new proof to the Markov chain tree theorem saying that the matrix of Ces`aro limiting probabilities of an arbitrary stationary finite Markov chain coincides with the normalized matrix of maximum out forests of the weighted digraph that corresponds to…
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; w…
We introduce a zeta function of digraphs that determines, and is determined by, the spectra of all linear combinations of the adjacency matrix, its transpose, the out-degree matrix, and the in-degree matrix. In particular, zeta-equivalence of graphs encompasses simultaneous cospectrality with respect to the adjacency, the Laplacian, the signless Laplacian, and the normalized Laplacian matrix, respectively. In addition, we express zeta-equivalence in terms of Markov chains and in terms of invasions where each edge is replaced by a fixed digraph. We finish with a method for constructing zeta-equ…
We study the relationship between two key concepts in the theory of (di)graphs: the quotient digraph, and the lift $Γ^α$ of a base (voltage) digraph. These techniques contract or expand a given digraph in order to study its characteristics, or obtain more involved structures. This study is carried out by introducing a quotient-like matrix, with complex polynomial entries, which fully represents $Γ^α$. In particular, such a matrix gives the quotient matrix of a regular partition of $Γ^α$, and when the involved group is Abelian, it completely determines the spectrum of $Γ^α$. As some examples of…
The idiosyncratic polynomial of a graph $G$ with adjacency matrix $A$ is the characteristic polynomial of the matrix $ A + y(J-A-I)$, where $I$ is the identity matrix and $J$ is the all-ones matrix. It follows from a theorem of Hagos (2000) combined with an earlier result of Johnson and Newman (1980) that the idiosyncratic polynomial of a graph is reconstructible from the multiset of the idiosyncratic polynomial of its vertex-deleted subgraphs. For a digraph $G$ with adjacency matrix $A$, we define its idiosyncratic polynomial as the characteristic polynomial of the matrix $ A + y(J-A-I)+zA^{T…
Let $G$ be a digraph and $A(G)$ be the adjacency matrix of $G$. Let $D(G)$ be the diagonal matrix with outdegrees of vertices of $G$. For any real $α\in[0,1]$, Liu et al. \cite{LWCL} defined the matrix $A_α(G)$ as $$A_α(G)=αD(G)+(1-α)A(G).$$ The largest modulus of the eigenvalues of $A_α(G)$ is called the $A_α$ spectral radius of $G$. In this paper, we determine the digraphs which attain the maximum (or minimum) $A_α$ spectral radius among all strongly connected digraphs with given parameters such as girth, clique number, vertex connectivity or arc connectivity. We also discuss a number of ope…
Let $G$ be a digraph with adjacency matrix $A(G)$ and outdegrees diagonal matrix $D(G)$. For any real $α\in[0,1]$, the $A_α$ matrix $A_α(G)$ of a digraph $G$ is defined as $A_α(G)=αD(G)+(1-α)A(G)$. The eigenvalue of $A_α(G)$ with the largest modulus is called the $A_α$ spectral radius of $G$. In this paper, we first give some upper bounds for the $A_α$ spectral radius of a digraph and we also characterize the extremal digraphs attaining these bounds. Moreover, we define the $A_α$ energy of a digraph $G$ as $E^{A_α}(G)=\sum\limits_{i=1}^n(λ^α_i(G))^2$, where $n$ is the number of vertices and $λ…
The main goal of this work is to establish a bijection between Dyck words and a family of Eulerian digraphs. We do so by providing two algorithms implementing such bijection in both directions. The connection between Dyck words and Eulerian digraphs exploits a novel combinatorial structure: a binary matrix, we call Dyck matrix, representing the cycles of an Eulerian digraph.
Given a $\{ 0, 1, \ast \}$-matrix $M$, a minimal $M$-obstruction is a digraph $D$ such that $D$ is not $M$-partitionable, but every proper induced subdigraph of $D$ is. In this note we present a list of all the $M$-obstructions for every $2 \times 2$ matrix $M$. Notice that this note will be part of a larger paper, but we are archiving it now so we can cite the results.
In this paper, we completely characterize the digraphs of order $n$ whose $m$-step competition graphs are star graphs for positive integers $2\leq m < n$. This result in matrix version identifies the solution set to the matrix equation $X^m(X^T)^m= Λ_n+I_n$ for positive integers $2\leq m < n$ where $I_n$ is the identity matrix of order $n$ and $Λ_n$ is a $(0,1)$ Boolean matrix such that the first row and the first column consist of $1$'s except $(1,1)$-entry and the remaining entries are $0$, which is the adjacency matrix of a star graph of order $n$. We also derive meaningful properties of th…
Fix $c\in (0,1)$ and let $Γ$ be a $\lfloor c n\rfloor$-regular digraph on $n$ vertices drawn uniformly at random. We prove that when $n$ is large, the (non-symmetric) adjacency matrix $M$ of $Γ$ is invertible with high probability. The proof uses a couplings approach based on the switchings method of McKay and Wormald. We also rely on discrepancy properties for the distribution of edges in $Γ$, recently proved by the author, to overcome certain difficulties stemming from the dependencies between the entries of $M$.
A unified approach to the determination of eigenvalues and eigenvectors of specific matrices associated with directed graphs is presented. Matrices studied include the distance matrix, distance Laplacian, and distance signless Laplacian, in addition to the adjacency matrix, Laplacian, and signless Laplacian. Various sums of Kronecker products of nonnegative matrices are introduced to model the Cartesian and lexicographic products of digraphs. The Jordan canonical form is applied extensively to the analysis of spectra and eigenvectors. The analysis shows that Cartesian products provide a method…
We associate a signed digraph with a list of matrices whose dimensions permit them to be multiplied, and whose product is square. Cycles in this graph have a parity, that is, they are either even (termed e-cycles) or odd (termed o-cycles). The absence of e-cycles in the graph is shown to imply that the matrix product is a P0-matrix, i.e., all of its principal minors are nonnegative. Conversely, the presence of an e-cycle is shown to imply that there exists a list of matrices associated with the graph whose product fails to be a P0-matrix. The results generalise a number of previous results rel…
Let D be a strongly connected digraph and A(D) be the adjacency matrix of D. Let diag(D) be the diagonal matrix with outdegrees of the vertices of D and Q(D) = diag(D) + A(D) be the signless Laplacian matrix of D. The spectral radius of Q(D) is called the signless Laplacian spectral radius of D, denoted by q(D). In this paper, we give sharp bound on q(D) with outdegree sequence and compare the bound with some known bounds, establish some sharp upper or lower bound on q(D) with some given parameter such as clique number, girth or vertex connectivity, and characterize the corresponding extremal …
The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. A directed graph is said to support M if its adjacency matrix is the pattern of M. If M is an orthogonal matrix, then a digraph which supports M must satisfy a condition known as quadrangularity. We look at quadrangularity in tournaments and determine for which orders quadrangular tournaments exist. We also look at a more restrictive necessary condition for a digraph to support an orthogonal matrix, and give a construction for tournaments which meet this condition.
We prove that if a $7\times 7$ matrix is potentially stable, then it has at least 11 non-zero entries. The results for $n\times n$ matrix with $n$ up to 6 are known previously. We prove the result by making a list of possible associated digraphs with at most 10 edges, and then use algebraic conditions to show all of these digraphs or matrices cannot be potentially stable. In relation to this, we also determine the minimum number of edges in a strongly connected digraph depending on its circumference.
The cycle space of a graph corresponds to the kernel of an incidence matrix. We investigate an analogous subspace for digraphs. In the case of digraphs of graphs, where every edge is replaced by two oppositely directed arcs, we give a combinatorial description of a basis of such a space. We are motivated by a connection to the transition matrices of discrete-time quantum walks.
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,…
Condensation of the digraph associated with a reciprocal matrix and a vector
Center for Mathematics and Applications (NOVA Math)（数学与应用研究中心）；Department of Mathematics（数学系）；NOVA School of Science and Technology (NOVA FCT)（新里斯本科学技术学院）
The way to arrive at formula of zeta matrix for any graded posets with the finite set of minimal elements is delivered following the first reference. This is being achieved via adjacency and zeta matrix description of bipartite digraphs chains, the representatives of graded posets. The bipartite digraphs elements of such chains amalgamate to form corresponding cover relation graded poset digraphs with corresponding adjacency matrices being amalgamated throughout natural join as special adequate database operation. The colligation of reachability and connectivity with the presented description …
Let $G=(V(G) ,E(G))$ be a digraph without loops and multiarcs, where $V(G)=\{v_1,v_2,\ldots,v_n\}$ and $E(G)$ are the vertex set and the arc set of $G$, respectively. Let $d_i^{+}$ be the outdegree of the vertex $v_i$. Let $A(G)$ be the adjacency matrix of $G$ and $D(G)=\textrm{diag}(d_1^{+},d_2^{+},\ldots,d_n^{+})$ be the diagonal matrix with outdegrees of the vertices of $G$. Then we call $Q(G)=D(G)+A(G)$ the signless Laplacian matrix of $G$. The spectral radius of $Q(G)$ is called the signless Laplacian spectral radius of $G$, denoted by $q(G)$. In this paper, some upper bounds for $q(G)$ a…
We associate to a finite digraph $D$ a lattice polytope $P_D$ whose vertices are the rows of the Laplacian matrix of $D$. This generalizes a construction introduced by Braun and the third author. As a consequence of the Matrix-Tree Theorem, we show that the normalized volume of $P_D$ equals the complexity of $D$, and $P_D$ contains the origin in its relative interior if and only if $D$ is strongly connected. Interesting connections with other families of simplices are established and then used to describe reflexivity, $h^*$-polynomial, and integer decomposition property of $P_D$ in these cases…
We consider a discrete-time quantum walk, called the Grover walk, on a distance regular graph $X$. Given that $X$ has diameter $d$ and invertible adjacency matrix, we show that the square of the transition matrix of the Grover walk on $X$ is a product of at most $d$ commuting transition matrices of continuous-time quantum walks, each on some distance digraph of the line digraph of $X$. We also obtain a similar factorization for any graph $X$ in a Bose Mesner algebra.
We prove that the (non-symmetric) adjacency matrix of a uniform random $d$-regular directed graph on $n$ vertices is asymptotically almost surely invertible, assuming $\min(d,n-d)\ge C\log^2n$ for a sufficiently large constant $C>0$. The proof makes use of a coupling of random regular digraphs formed by "shuffling" the neighborhood of a pair of vertices, as well as concentration results for the distribution of edges recently obtained by the author (arXiv:1410.5595). We also apply our general approach to prove a.a.s.\ invertibility of Hadamard products $Σ\circ Ξ$, where $Ξ$ is a matrix of iid u…
We generalize the concept of strong walk-regularity to directed graphs. We call a digraph strongly $\ell$-walk-regular with $\ell >1$ if the number of walks of length $\ell$ from a vertex to another vertex depends only on whether the two vertices are the same, adjacent, or not adjacent. This generalizes also the well-studied strongly regular digraphs and a problem posed by Hoffman. Our main tools are eigenvalue methods. The case that the adjacency matrix is diagonalizable with only real eigenvalues resembles the undirected case. We show that a digraph $Γ$ with only real eigenvalues whose adjac…
In this paper, we obtain the sharp upper and lower bounds for the spectral radius of a nonnegative irreducible matrix. We also apply these bounds to various matrices associated with a graph or a digraph, obtain some new results or known results about various spectral radii, including the adjacency spectral radius, the signless Laplacian spectral radius, the distance spectral radius, the distance signless Laplacian spectral radius of a graph or a digraph.
We present an explicit formula for the determinant on the Metzler matrix of a digraph $D$. Furthermore, we introduce a walk-type zeta function with respect to this Metzler matrix of the symmetric digraph of a finite torus, and express its limit formula by using the integral expression.
Let $G$ be a connected graph with $V(G)=\{1,\dotsc,n\}$. Then the resistance distance between any two vertices $i$ and $j$ is given by $r_{ij}:=l_{ii}^† + l_{jj}^†-2 l_{ij}^†$, where $l_{ij}^†$ is the $(i,j)^{\rm th}$ entry of the Moore-Penrose inverse of the Laplacian matrix of $G$. For the resistance matrix $R:=[r_{ij}]$, there is an elegant formula to compute the inverse of $R$. This says that \[R^{-1}=-\frac{1}{2}L + \frac{1}{τ' R τ} ττ', \] where \[τ:=(τ_1,\dotsc,τ_n)'~~\mbox{and}~~ τ_{i}:=2- \sum_{\{j \in V(G):(i,j) \in E(G)\}} r_{ij}~~~i=1,\dotsc,n. \] A far reaching generalization of t…
Walks in a directed graph can be given a partially ordered structure that extends to possibly unconnected objects, called hikes. Studying the incidence algebra on this poset reveals unsuspected relations between walks and self-avoiding hikes. These relations are derived by considering truncated versions of the characteristic polynomial of the weighted adjacency matrix, resulting in a collection of matrices whose entries enumerate the self-avoiding hikes of length $\ell$ from one vertex to another.
Distance matrices of graphs were introduced by Graham and Pollack in 1971 to study a problem in communications. Since then, there has been extensive research on the distance matrices of graphs -- a 2014 survey by Aouchiche and Hansen on spectra of distance matrices of graphs lists more than 150 references. In the last ten years, variants such as the distance Laplacian, the distance signless Laplacian, and the normalized distance Laplacian matrix of a graph have been studied. After a brief description of the early history of the distance matrix and its motivating problem, this survey focuses on…
We use the \emph{unit-graphs} and the \emph{special unit-digraphs} on matrix rings to show that every $n \times n$ nonzero matrix over $\Bbb F_q$ can be written as a sum of two $\operatorname{SL}_n$-matrices when $n>1$. We compute the eigenvalues of these graphs in terms of Kloosterman sums and study their spectral properties; and prove that if $X$ is a subset of $\operatorname{Mat}_2 (\Bbb F_q)$ with size $|X| > \frac{2 q^3 \sqrt{q}}{q - 1}$, then $X$ contains at least two distinct matrices whose difference has determinant $α$ for any $α\in \Bbb F_q^{\ast}$. Using this result we also prove a …
We explore a paradigm which ties together seemingly disparate areas in number theory, additive combinatorics, and geometric combinatorics including the classical Waring problem, the Furstenberg-Sárközy theorem on squares in sets of integers with positive density, and the study of triangles (also called $2$-simplices) in finite fields. Among other results we show that if $\mathbb{F}_q$ is the finite field of odd order $q$, then every matrix in $Mat_d(\mathbb{F}_q), d \geq 2$ is the sum of a certain (finite) number of orthogonal matrices, this number depending only on $d$, the size of the matrix…
