Search

Let $G_{n,\gamma}$ be the set of all connected graphs on $n$ vertices with domination number $\gamma$. A graph is called a minimizer graph if it attains the minimum spectral radius among $G_{n,\gamma}$. Very recently, Liu, Li and Xie [Linear Algebra and its Applications 673 (2023) 233--258] proved that the minimizer graph over all graphs in $\mathbb{G}_{n,\gamma}$ must be a tree. Moreover, they determined the minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for even $n$, and posed the conjecture on the minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for odd $n$. In this paper, we disprove the conjecture and completely determine the unique minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for odd $n$.

It is well known that a graph $G$ has a symmetric spectrum if and only if it is bipar?tite, a signed graph $\Gamma=(G,\sigma)$ has a symmetric spectrum if $G$ is bipartite. However, there exists a spectrally symmetric signed graph $\Gamma=(G,\sigma)$ such that $G$ is not bipar?tite. In this paper, we focus to characterize the signed graphs with symmetric spectra. Some necessary and (or) sufficient conditions for spectrally symmetric signed graphs are given. Moreover, some methods to construct signed graphs with symmetric spec?tra are found and infinite families of these signed graphs are produced.

The signless Laplacian matrix in graph spectra theory is a remarkable matrix of graphs, and it is extensively studied by researchers. In 1981, Cvetkovi\'{c} pointed $12$ directions in further investigations of graph spectra, one of which is "classifying and ordering graphs". Along with this classic direction, we pay our attention on the order of the largest eigenvalue of the signless Laplacian matrix of graphs, which is usually called the $Q$-index of a graph. Let $\mathbb{G}(m, g)$ (resp. $\mathbb{G}(m, \geq g)$) be the family of connected graphs on $m$ edges with girth $g$ (resp. no less than $g$), where $g\ge3$. In this paper, we firstly order the first $(\lfloor\frac{g}{2}\rfloor+2)$ largest $Q$-indices of graphs in $\mathbb{G}(m, g)$, where $m\ge 3g\ge 12$. Secondly, we order the first $(\lfloor\frac{g}{2}\rfloor+3)$ largest $Q$-indices of graphs in $\mathbb{G}(m, \geq g)$, where $m\ge 3g\ge 12$. As a complement, we give the first five largest $Q$-indices of graphs in $\mathbb{G}(m, 3)$ with $m\ge 9$. Finally, we give the order of the first eleven largest $Q$-indices of all connected graphs with size $m$.

A topological index reflects the physical, chemical and structural properties of a molecule, and its study has an important role in molecular topology, chemical graph theory and mathematical chemistry. It is a natural problem to characterize non-isomorphic graphs with the same topological index value. By introducing a relation on trees with respect to edge division vectors, denoted by $\langle\mathcal{T}_n, \preceq \rangle$, in this paper we give some results for the relation order in $\langle\mathcal{T}_n, \preceq \rangle$, it allows us to compare the size of the topological index value without relying on the specific forms of them, and naturally we can determine which trees have the same topological index value. Based on these results we characterize some classes of trees that are uniquely determined by their edge division vectors and construct infinite classes of non-isomorphic trees with the same topological index value, particularly such trees of order no more than $10$ are completely determined.

Let $\mathbb{G}_{n,\alpha}$ be the set of connected graphs with order $n$ and independence number $\alpha$. Given $k=n-\alpha$, the graph with minimum spectral radius among $\mathbb{G}_{n,\alpha}$ is called the minimizer graph. Stevanovi\'{c} in the classical book [D. Stevanovi\'{c}, Spectral Radius of Graphs, Academic Press, Amsterdam, 2015.] pointed that determining minimizer graph in $\mathbb{G}_{n,\alpha}$ appears to be a tough problem on page $96$. Very recently, Lou and Guo in \cite{Lou} proved that the minimizer graph of $\mathbb{G}_{n,\alpha}$ must be a tree if $\alpha\ge\lceil\frac{n}{2}\rceil$. In this paper, we further give the structural features for the minimizer graph in detail, and then provide of a constructing theorem for it. Thus, theoretically we completely determine the minimizer graphs in $\mathbb{G}_{n,\alpha}$ along with their spectral radius for any given $k=n-\alpha\le \frac{n}{2}$. As an application, we determine all the minimizer graphs in $\mathbb{G}_{n,\alpha}$ for $\alpha=n-1,n-2,n-3,n-4,n-5,n-6$ along with their spectral radii, the first four results are known in \cite{Xu,Lou} and the last two are new.

A graph is minimally $k$-connected ($k$-edge-connected) if it is $k$-connected ($k$-edge-connected) and deleting arbitrary chosen edge always leaves a graph which is not $k$-connected ($k$-edge-connected). A classic result of minimally $k$-connected graph is given by Mader who determined the extremal size of a minimally $k$-connected graph of high order in 1937. Naturally, for a fixed size of a minimally $k$-(edge)-connected graphs, what is the extremal spectral radius? In this paper, we determine the maximum spectral radius for the minimally $2$-connected ($2$-edge-connected) graphs of given size, moreover the corresponding extremal graphs are also determined., Comment: 15 pages, 5 figures

In this paper, we introduce the notion of the quadratic graph, that is a graph whose eigenvalues are integral or quadratic algebraic integral, and determine nine infinite families of quadratic starlike trees, which are just all the quadratic starlike trees including integral starlike trees. Thus the quadratic starlike trees are completely characterized, and moreover, the display expressions for the characteristic polynomials of the quadratic starlike trees are also given.

For a simple graph $G$ with $n$ vertices, $m$ edges and signless Laplacian eigenvalues $q_{1} \geq q_{2} \geq \cdots \geq q_{n} \geq 0$, its the signless Laplacian energy $QE(G)$ is defined as $QE(G) = \sum_{i=1}^{n}|q_{i} - \bar{d} |$, where $\bar{d} = \frac{2m}{n}$ is the average vertex degree of $G$. In this paper, we obtain two lower bounds ( see Theorem 3.1 and Theorem 3.2 ) and one upper bound for $QE(G)$ ( see Theorem 3.3 ), which improve some known bounds of $QE(G)$, and moreover, we determine the corresponding extremal graphs that achieve our bounds. By subproduct, we also get some bounds for $QE(G)$ of regular graph $G$., Comment: 19 pages

Recently, D. Vuki$\check{c}$evi$\acute{c}$ and J. Sedlar in \cite{Vuki} introduced an order "$\preceq$" on $\mathcal{T}_n$, the set of trees on $n$ vertices, such that the topological index $F$ of a graph is a function defined on the order set $\langle\mathcal{T}_n,\preceq\rangle$. It provides a new approach to determine the extremal graphs with respect to topological index $F$. By using the method they determined the common maximum and/or minimum graphs of $\mathcal{T}_n$ with respect to topological indices of Wiener type and anti-Wiener type. Motivated by their researches we further study the order set $\langle\mathcal{T}_n,\preceq\rangle$ and give a criterion to determine its order, which enable us to get the common extremal graphs in four prescribed subclasses of $\langle\mathcal{T}_n,\preceq\rangle$. All these extremal graphs are confirmed to be the common maximum and/or minimum graphs with respect to the topological indices of Wiener type and anti-Wiener type. Additionally, we calculate the exact values of Wiener index for the extremal graphs in the order sets $\langle\mathcal{C}(n,k),\preceq\rangle$, $\langle\mathcal{T}_{n}(q),\preceq\rangle$ and $\langle\mathcal{T}_{n}^\Delta,\preceq\rangle$., Comment: 27 pages

The quadratic embedding constant (QE constant) of a graph is a new characteristic value of a graph defined through the distance matrix. We derive formulae for the QE constants of the join of two regular graphs, double graphs and certain lexicographic product graphs. Examples include complete bipartite graphs, wheel graphs, friendship graphs, completely split graph, and some graphs associated to strongly regular graphs., Comment: 20 pages

In this paper we consider $r$-regular graphs $G$ that admit the vertex set partition such that one of the induced subgraphs is the join of an $s$-vertex clique and a $t$-vertex co-clique and represents a star complement for an eigenvalue $\mu$ of $G$. The cases in which one of the parameters $s, t$ is less than 2 or $\mu=r$ are already resolved. It is conjectured in [J. Wang, X. Yuan, L. Liu, Regular graphs with a prescribed complete multipartite graph as a star complement, Linear Algebra Appl.~579 (2019) 302--319] that if $s, t\geq 2$ and $\mu\neq r$, then $\mu=-2, t=2$ and $G=\overline{(s+1)K_2}$. For $\mu=-t$ we verify this conjecture to be true. We further study the case in which $\mu\neq-t$ and confirm the conjecture provided $t^2-4\mu^2t-4\mu^3=0$. For the remaining possibility we determine the structure of a putative counterexample and relate its existence to the existence of a particular 2-class block design. It occurs that the smallest counterexample would have 1265 vertices., Comment: 18 pages

Let $\{e_{1},\ldots,e_{n}\}$ be the standard basis of abelian group $Z_{2}^{n}$, which can be also viewed as a linear space of dimension $n$ over the Galois filed $F_{2}$, and $\epsilon_{k}=e_k+e_{k+1}+\cdots+e_n$ for some $1\le k\le n-1$. It is well known that the so called enhanced hypercube $Q_{n, k}(1\le k \le n-1)$ is just the Cayley graph $Cay(Z_{2}^{n},S)$ where $S=\{e_{1},\ldots, e_{n},\epsilon_{k}\}$. In this paper, we obtain the spectrum of $Q_{n, k}$, from which we give an exact formula of the Kirchhoff index of the enhanced hypercube $Q_{n, k}$. Furthermore, we prove that, for a given $n$, $Kf(Q_{n, k})$ is increased with the increase of $k$. Finally, we get $\lim\limits_{n\to\infty}\frac{Kf(Q_{n, k})}{\frac{2^{2n}}{n+1}}=1$.

It is known that the automorphism group of the elementary abelian $2$-group $Z_2^n$ is isomorphic to the general linear group $GL(n,F_2)$ of degree $n$ over $F_2$. Let $W$ be the collection of permutation matrices of order $n$. It is clear that $W\le GL(n,F_2)$. In virtue of this, we consider the Cayley graph $Cay(Z_2^n,S)$, where $S$ is the union of some orbits under the action of $W$. We call such graphs the orbit Cayley graphs over $Z_2^n$. In this paper, we give eight infinite families of strongly regular graphs among orbit Cayley graphs over $Z_2^n$, in which six families are new as we know. By the way, we formulate the spectra of orbit Cayley graphs as well.

Let $n$, $k$ and $l$ be integers with $1\leq k

Let $\Gamma$ be a finite group acting transitively on $[n]=\{1,2,\ldots,n\}$, and let $G=\mathrm{Cay}(\Gamma,T)$ be a Cayley graph of $\Gamma$. The graph $G$ is called normal if $T$ is closed under conjugation. In this paper, we obtain an upper bound for the second (largest) eigenvalue of the adjacency matrix of the graph $G$ in terms of the second eigenvalues of certain subgraphs of $G$ (see Theorem 2.6). Using this result, we develop a recursive method to determine the second eigenvalues of certain Cayley graphs of $S_n$ and we determine the second eigenvalues of a majority of the connected normal Cayley graphs (and some of their subgraphs) of $S_n$ with $\max_{\tau\in T}|\mathrm{supp}(\tau)|\leq 5$, where $\mathrm{supp}(\tau)$ is the set of points in $[n]$ non-fixed by $\tau$., Comment: 26 pages

In 1977 Smith characterized graphs with exactly one positive eigenvalue. Since then, many particular results related to graphs with exactly two positive eigenvalues have emerged. In this paper we conclude this investigation by giving a full characterization of these graphs., Comment: 19 pages, 7 figures

The inertia of a graph $G$ is defined to be the triplet $In(G) = (p(G), n(G), $ $\eta(G))$, where $p(G)$, $n(G)$ and $\eta(G)$ are the numbers of positive, negative and zero eigenvalues (including multiplicities) of the adjacency matrix $A(G)$, respectively. Traditionally $p(G)$ (resp. $n(G)$) is called the positive (resp. negative) inertia index of $G$. In this paper, we introduce three types of congruent transformations for graphs that keep the positive inertia index and negative inertia index. By using these congruent transformations, we determine all graphs with exactly two positive eigenvalues and one zero eigenvalue., Comment: We have submitted a new version (arXiv:1805.09151v3). So, we are asking to withdraw this old version

Let $\mathcal{G}(n,k)$ be the set of connected graphs of order $n$ with one of the Laplacian eigenvalue having multiplicity $k$. It is well known that $\mathcal{G}(n,n-1)=\{K_n\}$. The graphs of $\mathcal{G}(n,n-2)$ are determined by Das, and the graphs of $\mathcal{G}(n,n-3)$ with four distinct Laplacian eigenvalues are determined by Mohammadian et al. In this paper, we determine the graphs of $\mathcal{G}(n,n-3)$ with three distinct Laplacian eigenvalues, and then the full characterization of the graphs in $\mathcal{G}(n,n-3)$ is completed., Comment: 7 pages

Let $A_n$ denote the alternating group of degree $n$ with $n\geq 3$. The alternating group graph $AG_n$, extended alternating group graph $EAG_n$ and complete alternating group graph $CAG_n$ are the Cayley graphs $\mathrm{Cay}(A_n,T_1)$, $\mathrm{Cay}(A_n,T_2)$ and $\mathrm{Cay}(A_n,T_3)$, respectively, where $T_1=\{(1,2,i),(1,i,2)\mid 3\leq i\leq n\}$, $T_2=\{(1,i,j),(1,j,i)\mid 2\leq i

Let $G$ be a connected graph on $n$ vertices, and let $D(G)$ be the distance matrix of $G$. Let $\partial_1(G)\ge\partial_2(G)\ge\cdots\ge\partial_n(G)$ denote the eigenvalues of $D(G)$. In this paper, we characterize all connected graphs with $\partial_{3}(G)\leq -1$ and $\partial_{n-1}(G)\geq -2$. By the way, we determine all connected graphs with at most three distance eigenvalues different from $-1$ and $-2$., Comment: 17 pages, 3 figures

Let $\partial^L_1\ge\partial^L_2\ge\cdots\ge\partial^L_n$ be the distance Laplacian eigenvalues of a connected graph $G$ and $m(\partial^L_i)$ the multiplicity of $\partial^L_i$. It is well known that the graphs with $m(\partial^L_1)=n-1$ are complete graphs. Recently, the graphs with $m(\partial^L_1)=n-2$ have been characterized by Celso et al. In this paper, we completely determine the graphs with $m(\partial^L_1)=n-3$., Comment: 13 pages, 3 figures

Let $p$ be an odd prime, and $D_{2p}=\langle \tau,\sigma\mid \tau^p=\sigma^2=e,\sigma\tau\sigma=\tau^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we provide the number of (connected) Cayley (di-)graphs on $D_{2p}$ up to isomorphism by using the P\'{o}lya enumeration theorem. In the process, we also enumerate (connected) Cayley digraphs on $D_{2p}$ of out-degree $k$ up to isomorphism for each $k$., Comment: 14 pages, 0 figure

In this paper, we characterize all connected graphs with exactly three distinct normalized Laplacian eigenvalues of which one is equal to $1$, determine all connected bipartite graphs with at least one vertex of degree $1$ having exactly four distinct normalized Laplacian eigenvalues, and find all unicyclic graphs with three or four distinct normalized Laplacian eigenvalues., Comment: 17 pages, 1 figure

Let $S_n$ denote the symmetric group of degree $n$ with $n\geq 3$. Set $S=\{c_n=(1\ 2\ldots \ n),c_n^{-1},(1\ 2)\}$. Let $\Gamma_n=\mathrm{Cay}(S_n,S)$ be the Cayley graph on $S_n$ with respect to $S$. In this paper, we show that $\Gamma_n$ ($n\geq 13$) is a normal Cayley graph, and that the full automorphism group of $\Gamma_n$ is equal to $\mathrm{Aut}(\Gamma_n)=R(S_n)\rtimes \langle\mathrm{Inn}(\phi)\rangle\cong S_n\rtimes \mathbb{Z}_2$, where $R(S_n)$ is the right regular representation of $S_n$, $\phi=(1\ 2)(3\ n)(4\ n-1)(5\ n-2)\cdots$ $(\in S_n)$, and $\mathrm{Inn}(\phi)$ is the inner isomorphism of $S_n$ induced by $\phi$., Comment: 10 pages, 1 figure

An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. It is well known that a graph $G$ has exactly two main eigenvalues if and only if there exists a unique pair of integers $a$ and $b$ such that $\sum_{u\in N(v)}d(u)=ad(v)+b$ for every vertex $v\in V(G)$. We collect such connected graph $G$ in the set $\mathscr{G}(a,b)$. In this paper, we mainly focus to the existence of such $a$ and $b$, and give the necessary and sufficient condition for $\mathscr{G}(a,b)\neq\emptyset$. In addition, we give the bound for the vertex degrees of $G\in\mathscr{G}(a,b)$ and use the bound to characterize the graphs in $\mathscr{G}(a,b)$ for some feasible pairs $(a,b)$., Comment: 13 pages, 7 figures

Let $p$ be an odd prime, and $D_{2p}=\langle a,b\mid a^p=b^2=1,bab=a^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we completely classify the cubic Cayley graphs on $D_{2p}$ up to isomorphism by means of spectral method. By the way, we show that two cubic Cayley graphs on $D_{2p}$ are isomorphic if and only if they are cospectral. Moreover, we obtain the number of isomorphic classes of cubic Cayley graphs on $D_{2p}$ by using Gauss' celebrated law of quadratic reciprocity., Comment: 15 pages, 0 figure

In this paper, we completely characterize the graphs with third largest distance eigenvalue at most $-1$ and smallest distance eigenvalue at least $-3$. In particular, we determine all graphs whose distance matrices have exactly two eigenvalues (counting multiplicity) different from $-1$ and $-3$. It turns out that such graphs consist of three infinite classes, and all of them are determined by their distance spectra. We also show that the friendship graph is determined by its distance spectrum., Comment: 16 pages, 1 figure

In this paper, we give a necessary and sufficient condition for the integrality of Cayley graphs over the dihedral group $D_n=\langle a,b\mid a^n=b^2=1,bab=a^{-1}\rangle$. Moreover, we also obtain some simple sufficient conditions for the integrality of Cayley graphs over $D_n$ in terms of the Boolean algebra of $\langle a\rangle$, from which we find infinite classes of integral Cayley graphs over $D_n$. In particular, we completely determine all integral Cayley graphs over the dihedral group $D_p$ for a prime $p$., Comment: 15 pages. arXiv admin note: text overlap with arXiv:1307.6155 by other authors

Let $S_n$ and $A_n$ denote the symmetric group and alternating group of degree $n$ with $n\geq 3$, respectively. Let $S$ be the set of all $3$-cycles in $S_n$. The \emph{complete alternating group graph}, denoted by $CAG_n$, is defined as the Cayley graph $\mathrm{Cay}(A_n,S)$ on $A_n$ with respect to $S$. In this paper, we show that $CAG_n$ ($n\geq 4$) is not a normal Cayley graph. Furthermore, the automorphism group of $CAG_n$ for $n\geq 5$ is obtained, which equals to $\mathrm{Aut}(CAG_n)=(R(A_n)\rtimes \mathrm{Inn}(S_n))\rtimes \mathbb{Z}_2\cong (A_n\rtimes S_n)\rtimes \mathbb{Z}_2$, where $R(A_n)$ is the right regular representation of $A_n$, $\mathrm{Inn}(S_n)$ is the inner automorphism group of $S_n$, and $\mathbb{Z}_2=\langle h\rangle$, where $h$ is the map $\alpha\mapsto\alpha^{-1}$ ($\forall \alpha\in A_n$)., Comment: 9 pages, 1 figure

Let $\mathcal{G}(4,2)$ be the set of connected regular graphs with four distinct eigenvalues in which exactly two eigenvalues are simple, $\mathcal{G}(4,2,-1)$ (resp. $\mathcal{G}(4,2,0)$) the set of graphs belonging to $\mathcal{G}(4,2)$ with $-1$ (resp. $0$) as an eigenvalue, and $\mathcal{G}(4,\geq -1)$ the set of connected regular graphs with four distinct eigenvalues and second least eigenvalue not less than $-1$. In this paper, we prove the non-existence of connected graphs having four distinct eigenvalues in which at least three eigenvalues are simple, and determine all the graphs in $\mathcal{G}(4,2,-1)$. As a by-product of this work, we characterize all the graphs belonging to $\mathcal{G}(4,\geq-1)$ and $\mathcal{G}(4,2,0)$, respectively, and show that all these graphs are determined by their spectra., Comment: 13 pages, 1 figure

Harary and Schwenk posed the problem forty years ago: Which graphs have distinct adjacency eigenvalues? In this paper, we obtain a necessary and sufficient condition for an Hermitian matrix with simple spectral radius and distinct eigenvalues. As its application, we give an algebraic characterization to the Harary-Schwenk's problem. As an extension of their problem, we also obtain a necessary and sufficient condition for a positive semidefinite matrix with simple least eigenvalue and distinct eigenvalues, which can provide an algebraic characterization to their problem with respect to the (normalized) Laplacian matrix., Comment: 11 pages