The maximal spectral radius of a digraph with (m+1)^2 - s edges
Jan Snellman
备注：
11 pages, 9 eps figures. To be presented at the conference FPSAC03. Submitted to Electronic Journal of Linear Algebra. Keywords: Spectral radius, digraphs, 0-1 matrices, Perron-Frobenius theorem, number of walks
发表信息：
Electronic Journal of Linear Algebra, vol 10 (2003), pp 179-189
It is known that the spectral radius of a digraph with k edges is \le \sqrt{k}, and that this inequality is strict except when k is a perfect square. For k=m^2 + \ell, \ell fixed, m large, Friedland showed that the optimal digraph is obtained from the complete digraph on m vertices by adding one extra vertex, and a corresponding loop, and then connecting it to the first \lfloor \ell/2\rfloor vertices by pairs of directed edges (this is for odd \ell, for even \ell we add one extra edge to the new vertex).
Using a combinatorial reciprocity theorem by Gessel, and a classification by Backelin on the digraphs on s edges having a maximal number of walks of length two, we obtain the following result: for fixed 0< s \neq 4, k=(m+1)^2 - s, m large, the maximal spectral radius of a digraph with k edges is obtained by the digraph which is constructed from the complete digraph on m+1 vertices by removing the loop at the last vertex together with \lfloor s/2 \rfloor pairs of directed edges that connect to the last vertex (if s is even, remove an extra edge connecting to the last vertex).
The spectral radius ρ(G) of a digraph G is the maximum modulus of the eigenvalues of its adjacency matrix. We present bounds on ρ(G) that are often tighter and are applicable to a larger class of digraphs than previously reported bounds. Calculating the final bound pair is particularly suited to sparse digraphs. For strongly connected digraphs, we derive equality conditions for the bounds, relating to the outdegree regularity of the digraph. We also prove that the bounds hold with equality only if ρ(G) is the r-th root of an integer, where r divides the index of imprimitivity of G.
Inspired by the work of Backelin on non-commutative correspondences to Macaulay's theorem of the growth of the Hilbert series of affine algebras, we study embedding dimension dependant versions of his degree 2 to degree 3 result. In graph-theoretical terms, we study the following question: what is the maximal number of directed walks of length 2 in a digraph with (k) edges and (n) vertices? The problem can also be formulated as follows: maximize (< λ, λ^T >) when (λ) is a partition of (k), contained in an (n \times n) box. We show that for mild restrictions on (n), optimal digraphs are the ``s…
We prove a common generalization of the maximal independent arborescence packing theorem of Cs. Király and two of our earlier works about packing branchings in infinite digraphs.
Let X=(V, E) be a digraph. X is maximally connected, if κ(X)=δ(X). X is maximally arc-connected, if λ(X)=δ(X). And X is super arc-connected, if every minimum arc-cut of X is either the set of inarcs of some vertex or the set of outarcs of some vertex. In this paper, we will prove that the strongly connected Bi-Cayley digraphs are maximally connected and maximally arc-connected, and the most of strongly connected Bi-Cayley digraphs are super arc-connected.
We study the class of all finite directed graphs up to primitive positive constructability. The resulting order has a unique greatest element, namely the graph $P_1$ with one vertex and no edges. The graph $P_1$ has a unique greatest lower bound, namely the graph $P_2$ with two vertices and one directed edge. Our main result is a complete description of the greatest lower bounds of $P_2$; we call these graphs submaximal. We show that every graph that is not equivalent to $P_1$ and $P_2$ is below one of the submaximal graphs.
This paper presents a sharp upper bound for the spectral radius of simple digraphs with described number of arcs. Further, the extremal graphs which attain the maximum spectral radius among all simple digraphs with fixed arcs are investigated. In particular, we characterize all extremal simple digraphs with the maximum spectral radius among all simple digraphs with arcs number $e=2{k\choose 2}+t$ and $k>4t^4+4$.
We determine the digraphs which achieve the second, the third and the fourth minimum spectral radii respectively among strongly connected digraphs of order $n\ge 4$, and thus we answer affirmatively the problem whether the unique digraph which achieves the minimum spectral radius among all strongly connected bicyclic digraphs of order $n$ achieves the second minimum spectral radius among all strongly connected digraphs of order $n$ for $n\ge 4$ proposed in [H. Lin, J. Shu, A note on the spectral characterization of strongly connected bicyclic digraphs, Linear Algebra Appl. 436 (2012) 2524--253…
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…
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 …
This paper is devoted to the study of directed graphs with extremal properties relative to certain metric functionals. We characterize up to isomorphism critical digraphs with infinite values of diameter, quasi-diameter, radius and quasi-radius. Moreover, maximal digraphs with finite values of radius and quasi-diameter are studied.
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 $λ…
For a nonnegative weakly irreducible tensor $\mathcal{A}$, we give some characterizations of the spectral radius of $\mathcal{A}$, by using the digraph of tensors. As applications, some bounds on the spectral radius of the adjacency tensor and the signless Laplacian tensor of the $k$-uniform hypergraphs are shown.
In $1967$, Vizing determined the maximum size of a graph with given order and radius. In $1973$, Fridman answered the same question for digraphs with given order and outradius. We investigate that question when restricting to biconnected digraphs. Biconnected digraphs are the digraphs with a finite total distance and hence the interesting ones, as we want to note a connection between minimizing the total distance and maximizing the size under the same constraints. We characterize the extremal digraphs maximizing the size among all biconnected digraphs of order $n$ and outradius $3$, as well as…
Let $A_α(G)$ be the $A_α$-matrix of a digraph $G$ and $λ_{α1}, λ_{α2}, \ldots, λ_{αn}$ be the eigenvalues of $A_α(G)$. Let $ρ_α(G)$ be the $A_α$ spectral radius of $G$ and $E_α(G)=\sum_{i=1}^n λ_{αi}^2$ be the $A_α$ energy of $G$ by using second spectral moment. Let $\mathcal{G}_n^m$ be the set of non-strongly connected digraphs with order $n$, which contain a unique strong component with order $m$ and some directed trees which are hung on each vertex of the strong component. In this paper, we characterize the digraph which has the maximal $A_α$ spectral radius and the maximal (minimal) $A_α$ …
In this paper, we characterize the extremal digraphs with the maximal or minimal $α$-spectral radius among some digraph classes such as rose digraphs, generalized theta digraphs and tri-ring digraphs with given size $m$. These digraph classes are denoted by $\mathcal{R}_{m}^k$, $\widetilde{\boldsymbolΘ}_k(m)$ and $\INF(m)$ respectively. The main results about spectral extremal digraph by Guo and Liu in \cite{MR2954483} and Li and Wang in \cite{MR3777498} are generalized to $α$-spectral graph theory. As a by-product of our main results, an open problem in \cite{MR3777498} is answered. Furthermo…
Given two structures $\mathcal{M}$ and $\mathcal{N}$ on the same domain, we say that $\mathcal{N}$ is a reduct of $\mathcal{M}$ if all $\emptyset$-definable relations of $\mathcal{N}$ are $\emptyset$-definable in $\mathcal{M}$. In this article the reducts of the Henson digraphs are classified. Henson digraphs are homogeneous countable digraphs that omit some set of finite tournaments. As the Henson digraphs are $\aleph_0$-categorical, determining their reducts is equivalent to determining all closed supergroups $G<$ Sym$(\mathbb{N})$ of their automorphism groups. A consequence of the classific…
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…
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 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…
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.
The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs. Building on this result, we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\geq 1$. A linear algorithm (in the number of edges) is presented to det…
The energy and iota energy of signed digraphs are respectively defined as the sum of absolute values of real parts and sum of absolute values of imaginary parts of its eigenvalues. Recently, Yang and Wang (2018) find the energy and iota energy ordering of digraphs in D(n) and compute the maximal energy and iota energy, where D(n) denotes the set of vertex-disjoint bicyclic digraphs of a fixed order n. In this paper, we investigate the energy ordering of signed digraphs in D(n,s) and finds the maximal energy, where D(n,s) denotes the set of vertex-disjoint bicyclic sidigraphs of a fixed order n…
It is proved that for any finite connected graph $G$, there exists an orientation of $G$ such that the spectral radius of the corresponding Hermitian adjacency matrix is smaller or equal to the spectral radius of the universal cover of $G$ (with equality if and only if $G$ is a tree). This resolves a problem proposed by Mohar. The proof uses the method of interlacing families of polynomials that was developed by Marcus, Spielman, and Srivastava in their seminal work on the existence of infinite families of Ramanujan graphs.
In 1984, Plesník determined the minimum total distance for given order and diameter and characterized the extremal graphs and digraphs. We prove the analog for given order and radius, when the order is sufficiently large compared to the radius. This confirms asymptotically a conjecture of Chen et al. We also state an analog of the conjecture of Chen et al for digraphs and prove it for sufficiently large order.
Let $D=(V,A)$ be a digraphs without isolated vertices. The first Zagreb index of a digraph $D$ defined as a summation over all arcs, $M_1(D)=\frac{1}{2}\sum\limits_{uv\in A}(d^{+}_{u}+d^{-}_v)$, where $d^{+}_u$(resp. $d^{-}_u$) denotes the out-degree (resp. in-degree) of the vertex $u$. In this paper, we give the maximal values and maximal digraphs of first Zagreb index over the set of all orientations of unicyclic graphs with $n$ vertices and matching number $m$ $(2\leq m\leq \lfloor \frac{n}{2}\rfloor)$.
The Kautz digraphs $K(d,\ell)$ are a well-known family of dense digraphs, widely studied as a good model for interconnection networks. Closely related to these, the cyclic Kautz digraphs $CK(d,\ell)$ were recently introduced by Böhmová, Huemer and the author, and some of its distance-related parameters were fixed. In this paper we propose a new approach to the cyclic Kautz digraphs by introducing the family of the subKautz digraphs $sK(d,\ell)$, from where the cyclic Kautz digraphs can be obtained as line digraphs. This allows us to give exact formulas for the distance between any two vertices…
In this paper, we obtain a sharp upper bound for the spectral radius of a nonnegative matrix. This result is used to present upper bounds for the adjacency spectral radius, the Laplacian spectral radius, the signless Laplacian spectral radius, the distance spectral radius, the distance Laplacian spectral radius, the distance signless Laplacian spectral radius of a graph or a digraph. These results are new or generalize some known results.
We show that the kite graph $K_4^{(n)}$ uniquely maximizes the distance spectral radius among all connected $4$-chromatic planar graphs on $n$ vertices.
A random geometric digraph $G_n$ is constructed by taking $\{X_1,X_2,... X_n\}$ in $\mathbb{R}^2$ independently at random with a common bounded density function. Each vertex $X_i$ is assigned at random a sector $S_i$ of central angle $α$ with inclination $Y_i$, in a circle of radius $r$ (with vertex $X_i$ as the origin). An arc is present from vertex $X_i$ to $X_j$, if $X_j$ falls in $S_i$. Suppose $k$ is fixed and $\{k_n\}$ is a sequence with $1\ll k_n\ll n^{1/2}$, as $n\to\infty$. We prove central limit theorems for $k-$ and $k_n-$nearest neighbor distance of out- and in-degrees in $G_n$. We…
Let $\mathscr{G}_{n,β}$ be the set of graphs of order $n$ with given matching number $β$. Let $D(G)$ be the diagonal matrix of the degrees of the graph $G$ and $A(G)$ be the adjacency matrix of the graph $G$. The largest eigenvalue of the nonnegative matrix $A_α(G)=αD(G)+A(G)$ is called the $α$-spectral radius of $G$. The graphs with maximal $α$-spectral radius in $\mathscr{G}_{n,β}$ are completely characterized in this paper. In this way we provide a general framework to attack the problem of extremal spectral radius in $\mathscr{G}_{n,β}$. More precisely, we generalize the known results on t…
In this paper, we present enumeration algorithms to list all preferred extensions of an argumentation framework. This task is equivalent to enumerating all maximal semikernels of a directed graph. For directed graphs on $n$ vertices, all preferred extensions can be enumerated in $O^*(3^{n/3})$ time and there are directed graphs with $Ω(3^{n/3})$ preferred extensions. We give faster enumeration algorithms for directed graphs with at most $0.8004\cdot n$ vertices occurring in $2$-cycles. In particular, for oriented graphs (digraphs with no 2-cycles) one of our algorithms runs in time $O(1.2321^n…
A mixed multigraph is a multigraph which may contain both undirected and directed edges. An orientation of a mixed multigraph $G$ is an assignment of exactly one direction to each undirected edge of $G$. A mixed multigraph $G$ can be oriented to a strongly connected digraph if and only if $G$ is bridgeless and strongly connected [Boesch and Tindell, Am. Math. Mon., 1980]. For each $r \in \mathbb{N}$, let $f(r)$ denote the smallest number such that any strongly connected bridgeless mixed multigraph with radius $r$ can be oriented to a digraph of radius at most $f(r)$. We improve the current bes…
Two models of a random digraph on $n$ vertices, $D(n,\text{Prob}(\text{arc})=p)$ and $D(n,\text{number of arcs}=m)$ are studied. In 1990, Karp for $D(n,p)$ and independently T. Łuczak for $D(n,m=cn)$ proved that for $c>1$, with probability tending to 1, there is an unique strong component of size of order $n$. Karp showed, in fact, that the giant component has likely size asymptotic to $nθ^2$, where $θ=θ(c)$ is the unique positive root of $1-θ=e^{-c θ}$. In this paper we prove that, for both random digraphs, the joint distribution of the number of vertices and number of arcs in the giant stron…
We characterize the r-graph with maximal p-spectral radius among the k-partite r-graphs of order n, and the 3-graph with maximal p-spectral radius among the k-chromatic 3-graphs of order n.
We discuss a variant of the Ramsey and the directed Ramsey problem. First, consider a complete graph on $n$ vertices and a two-coloring of the edges such that every edge is colored with at least one color and the number of bicolored edges $|E_{RB}|$ is given. The aim is to find the maximal size $f$ of a monochromatic clique which is guaranteed by such a coloring. Analogously, in the second problem we consider semicomplete digraph on $n$ vertices such that the number of bi-oriented edges $|E_{bi}|$ is given. The aim is to bound the size $F$ of the maximal transitive subtournament that is guaran…
Let $\mathcal{U}(n,k)$ and $Γ(n,k)$ be the set of the $k$-uniform linear and nonlinear unicyclic hypergraphs having perfect matchings with $n$ vertices respectively, where $n\geq k(k-1)$ and $k\geq 3$. By using some techniques of transformations and constructing the incidence matrices for the hypergraphs considered, we get the hypergraphs with the maximal spectral radii among three kinds of hypergraphs, namely $\mathcal{U}(n,k)$ with $n= 2k(k-1)$ and $n\geq 9k(k-1)$, $Γ(n,k)$ with $n\geq k(k-1)$, and $\mathcal{U}(n,k)\cup Γ(n,k)$ with $n\geq 2k(k-1)$, where $k\geq 3$.
The $α$-spectral radius of a connected graph $G$ is the spectral radius of $A_α$-matrix of $G$. In this paper, we discuss the methods for comparing $α$-spectral radius of graphs. As applications, we characterize the graphs with the maximal $α$-spectral radius among all unicyclic and bicyclic graphs of order $n$ with diameter $d$, respectively. Finally, we determine the unique graph with maximal signless Laplacian spectral radius among bicyclic graphs of order $n$ with diameter $d$.
In this paper we study properties and invariants of matrix codes endowed with the rank metric, and relate them to the covering radius. We introduce new tools for the analysis of rank-metric codes, such as puncturing and shortening constructions. We give upper bounds on the covering radius of a code by applying different combinatorial methods. We apply the various bounds to the classes of maximal rank distance and quasi maximal rank distance codes.
A $k$-cyclic graph is a connected graph of order $n$ and size $n+k-1$. In this paper, we determine the maximal signless Laplacian spectral radius and the corresponding extremal graph among all $C_{4}$-free $k$-cyclic graphs of order $n$. Furthermore, we determine the first three unicyclic, and bicyclic, $C_{4}$-free graphs whose spectral radius of the signless Laplacian is maximal. Similar results are obtained for the (combinatorial) Laplacian.
We describe the structure of those graphs that have largest spectral radius in the class of all connected graphs with a given degree sequence. We show that in such a graph the degree sequence is non-increasing with respect to an ordering of the vertices induced by breadth-first search. For trees the resulting structure is uniquely determined up to isomorphism. We also show that the largest spectral radius in such classes of trees is strictly monotone with respect to majorization.
We consider the problem of computing 2-center in maximal outerplanar graph. In this problem, we want to find an optimal solution where two centers cover all the vertices with the smallest radius. We provide the following result. We can compute the optimal centers and the optimal radius in $O(n^2)$ time for a given maximal outerplanar graph with $n$ vertices. We try to let the maximal outerplanar graph be cut into two subgraphs with an internal edge, each center will cover vertices which are continuous.
The signless Laplacian spectral radius of a graph is the largest eigenvalue of its signless Laplacian. In this paper, we prove that the graph $K_{2}\nabla P_{n-2}$ has the maximal signless Laplacian spectral radius among all planar graphs of order $n\geq 456$.
