arXiv++ Combinatorics

We construct infinite families of graphs that are determined by their generalized spectrum. This construction is based on new formulae for the determinant of the walk matrix of a graph. The graphs constructed here all satisfy a lower divisibility for the determinant of their walk matrix.

Let $S_n(\mathbb{Z})$ and $O_n(\mathbb{Q})$ denote the set of all $n\times n$ symmetric matrices over the ring of integers $\mathbb{Z}$ and the set of all $n\times n$ orthogonal matrices over the field of rational numbers $\mathbb{Q}$, respectively. The paper is mainly concerned with the following problem: Given a matrix $A\in {S_n(\mathbb{Z})}$. How can one find all rational orthogonal matrices $Q\in{O_n(\mathbb{Q})}$ such that $Q^TAQ\in {S_n(\mathbb{Z})}$, and in particular, when does $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ imply that $Q$ is \emph{a signed permutation matrix} (i.e., the matrix obtained from a permutation matrix $P$ by replacing each 1 in $P$ with 1 or $-1$)? A surprisingly simple answer was given in terms of whether the discriminant of the characteristic polynomial of $A$ is odd and square-free, which partially answers the above questions. More precisely, let $Δ_A=\pm \res(φ,φ')$ be \emph{the discriminant of matrix $A$}, where $\res(φ,φ')$ is \emph{the resultant} of the characteristic polynomial $φ$ of $A$ and its derivative $φ'$. We show that if $Δ_A$ is odd and square-free, then $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ implies that $Q$ is a signed permutation matrix. As an application, we present a simple and efficient method for testing whether a graph is determined by the generalized spectrum, which significantly extends our previous work.

Let $G=(X,Y;E)$ be a bipartite graph, where $X$ and $Y$ are color classes and $E$ is the set of edges of $G$. Lovász and Plummer \cite{LoPl86} asked whether one can decide in polynomial time that a given bipartite graph $G=(X,Y; E)$ admits a 1-anti-factor, that is subset $F$ of $E$ such that $d_F(v)=1$ for all $v\in X$ and $d_F(v)\neq 1$ for all $v\in Y$. Cornuéjols \cite{CHP} answered this question in the affirmative. Yu and Liu \cite{YL09} asked whether, for a given integer $k\geq 3$, every $k$-regular bipartite graph contains a 1-anti-factor. This paper answers this question in the affirmative.

A graph $G$ is said to be determined by its generalized spectrum (DGS for short) if for any graph $H$, $H$ and $G$ are cospectral with cospectral complements implies that $H$ is isomorphic to $G$. It turns out that whether a graph $G$ is DGS is closely related to the arithmetic properties of its walk-matrix. More precisely, let $A$ be the adjacency matrix of a graph $G$, and let $W =[e, Ae, A^2e,...,A^{n-1}e]$ ($e$ is the all-one vector) be its \textit{walk-matrix}. Denote by $\mathcal{G}_n$ the set of all graphs on $n$ vertices with $\det(W)\neq 0$. In [Wang, Generalized spectral characterization of graphs revisited, The Electronic J. Combin., 20 (4),(2013), #$P_4$], the author defined a large family of graphs $$\mathcal{F}_n = \{G \in{\mathcal{G}_n}|\frac{\det(W)}{2^{\lfloor\frac{n}{2}\rfloor}}{is~ an ~odd~ square-free~ integer}\}$$ (which may have positive density among all graphs, as suggested by some numerical experiments) and conjectured every graph in $\mathcal{F}_n$ is DGS. In this paper, we show that the conjecture is actually true, thereby giving a simple arithmetic condition for determining whether a graph is DGS.

A graph $G$ is $r$-equitably $k$-colorable if its vertex set can be partitioned into $k$ independent sets, any two of which differ in size by at most $r$. The $r$-equitable chromatic threshold of a graph $G$, denoted by $χ_{r=}^*(G)$, is the minimum $k$ such that $G$ is $r$-equitably $k'$-colorable for all $k'\ge k$. Let $G\times H$ denote the Kronecker product of graphs $G$ and $H$. In this paper, we completely determine the exact value of $χ_{r=}^*(K_m\times K_n)$ for general $m,n$ and $r$. As a consequence, we show that for $r\ge 2$, if $n\ge \frac{1}{r-1}(m+r)(m+2r-1)$ then $K_m\times K_n$ and its spanning supergraph $K_{m(n)}$ have the same $r$-equitable colorability, and in particular $χ_{r=}^*(K_m\times K_n)=χ_{r=}^*(K_{m(n)})$, where $K_{m(n)}$ is the complete $m$-partite graph with $n$ vertices in each part.

A graph $G$ is said to be \textit{determined by its generalized spectrum} (DGS for short) if for any graph $H$, $H$ and $G$ are cospectral with cospectral complements implies that $H$ is isomorphic to $G$. In \cite{WX,WX1}, Wang and Xu gave some methods for determining whether a family of graphs are DGS. In this paper, we shall review some of the old results and present some new ones along this line of research.

A proper vertex coloring of a graph is equitable if the sizes of color classes differ by at most 1. The equitable chromatic number of a graph $G$, denoted by $χ_=(G)$, is the minimum $k$ such that $G$ is equitably $k$-colorable. The equitable chromatic threshold of a graph $G$, denoted by $χ_=^*(G)$, is the minimum $t$ such that $G$ is equitably $k$-colorable for $k \ge t$. In this paper, we give the exact values of $χ_=(K_{m_1,..., m_r} \times K_n)$ and $χ_=^*(K_{m_1,..., m_r} \times K_n)$ for $\sum_{i = 1}^r m_i \leq n$.

A proper vertex coloring of a graph is equitable if the sizes of color classes differ by at most one. The equitable chromatic number of a graph $G$, denoted by $χ_=(G)$, is the minimum $k$ such that $G$ is equitably $k$-colorable. The equitable chromatic threshold of a graph $G$, denoted by $χ_=^*(G)$, is the minimum $t$ such that $G$ is equitably $k$-colorable for $k\ge t$. We develop a formula and a linear-time algorithm which compute the equitable chromatic threshold of an arbitrary complete multipartite graph.

We investigate the nilpotence of a kind of circulant matrices $T_{n,m}$ over field $Z_p$ where $T_{n,m}= \sum_{i = 0}^{m - 1} {S_n^i}$ and $S_n$ is the fundamental circulant matrix of order $n$. The necessary and sufficient condition on $n$ and $m$ for determining nilpotence of $T_{n,m}$ over $Z_p$ is presented. Moreover, we obtain a formula for nilpotent index of $T_{n,m}$ when the condition is satisfied. As an application, we give a complete solution of a conjecture of C.Y.Zhang.

Let $κ(G)$ be the connectivity of $G$. The Kronecker product $G_1\times G_2$ of graphs $G_1$ and $G_2$ has vertex set $V(G_1\times G_2)=V(G_1)\times V(G_2)$ and edge set $E(G_1\times G_2)=\{(u_1,v_1)(u_2,v_2):u_1u_2\in E(G_1),v_1v_2\in E(G_2)\}$. In this paper, we prove that $κ(G\times K_2)=\textup{min}\{2κ(G), \textup{min}\{|X|+2|Y|\}\}$, where the second minimum is taken over all disjoint sets $X,Y\subseteq V(G)$ satisfying (1)$G-(X\cup Y)$ has a bipartite component $C$, and (2) $G[V(C)\cup \{x\}]$ is also bipartite for each $x\in X$.

Let $κ(G)$ be the connectivity of $G$ and $G\times H$ the direct product of $G$ and $H$. We prove that for any graphs $G$ and $K_n$ with $n\ge 3$, $κ(G\times K_n)=min\{nκ(G),(n-1)δ(G)\}$, which was conjectured by Guji and Vumar.

Let $κ'(G)$ be the edge connectivity of $G$ and $G\times H$ the direct product of $G$ and $H$. Let $H$ be an arbitrary dense graph with minimal degree $δ(H)>|H|/2$. We prove that for any graph $G$, $κ'(G\times H)=\textup{min}\{2κ'(G)e(H),δ(G)δ(H)\}$, where $e(H)$ denotes the number of edges in $H$. In addition, the structure of minimum edge cuts is described. As an application, we present a necessary and sufficient condition for $G\times K_n(n\ge3)$ to be super edge connected.

Let $k$, $m$ and $r$ be three integers such that $2\leq k\leq m\leq r$. Let $G$ be a $2r$-regular, $2m$-edge-connected graph of odd order. We obtain some sufficient conditions, which guarantee $G-v$ contains a $k$-factor for all $v\in V(G)$.