arXiv++ Combinatorics

For an $n$-vertex graph $G$, and a rooted graph $H^{(v)}$ with $v$ as the root, the rooted product graph $G\circ H^{(v)}$ is obtained from $G$ and $n$ copies of $H$ by identifying the root of the $i$th copy of $H$ with the $i$th vertex of $G$ for each $i$. As a refinement of the controllability criterion of $G\circ H^{(v)}$ obtained recently by Shan and Liu (2025), we obtain an explicit formula for the determinant of the walk matrix of $G\circ H^{(v)}$. Furthermore, for an important family of graphs $\mathcal{F}$ that are determined by their generalized spectrum (DGS), we introduce the concept of $\mathcal{F}$-preservers and provide a sufficient condition for a rooted graph to be an $\mathcal{F}$-preserver. A list of $\mathcal{F}$-preservers of small order is provided, which leads to many new infinite families of DGS-graphs using rooted products.

Two graphs $G$ and $H$ are \emph{cospectral} if the adjacency matrices share the same spectrum. Constructing cospectral non-isomorphic graphs has been studied extensively for many years and various constructions are known in the literature, e.g. the famous GM-switching method. In this paper, we shall construct cospectral graphs via regular rational orthogonal matrix $Q$ with level two and three. We provide two straightforward algorithms to characterize with adjacency matrix $A$ of graph $G$ such that $Q^TAQ$ is again a (0,1)-matrix, and introduce two new switching methods to construct families of cospectral graphs which generalized the GM-switching to some extent.

Let $G$ be an $n$-vertex graph and $Q(G)$ be its signless Laplacian matrix. The $Q$-walk matrix of $G$, denoted by $W_Q(G)$, is $[e,Q(G)e,\ldots,Q^{n-1}(G)e]$, where $e$ is the all-one vector. Let $G\circ P_m$ be the graph obtained from $G$ and $n$ copies of the path $P_m$ by identifying the $i$-th vertex of $G$ with an endvertex of the $i$-th copy of $P_m$ for each $i$. We prove that, $$\det W_Q(G\circ P_m)=\pm (\det Q(G))^{m-1}(\det W_Q(G))^m$$ holds for any $m\ge 2$. This gives a signless Laplacian counterpart of the following recently established identity [17]: $$\det W_A(G\circ P_m)=\pm (\det A(G))^{\lfloor\frac{m}{2}\rfloor}(\det W_A(G))^m,$$ where $A(G)$ is the adjacency matrix of $G$ and $W_A(G)=[e,A(G)e,\ldots,A^{n-1}(G)e]$. We also propose a conjecture to unify the above two equalities.

The walk matrix of an $n$-vertex graph $G$ with adjacency matrix $A$, denoted by $W(G)$, is $[e,Ae,\ldots,A^{n-1}e]$, where $e$ is the all-ones vector. Let $G\circ P_m$ be the rooted product of $G$ and a rooted path $P_m$ (taking an endvertex as the root), i.e., $G\circ P_m$ is a graph obtained from $G$ and $n$ copies of $P_m$ by identifying each vertex of $G$ with an endvertex of a copy of $P_m$. Mao-Liu-Wang (2015) and Mao-Wang (2022) proved that, for $m=2$ and $m\in\{3,4\}$, respectively$$\det W(G\circ P_m)=\pm a_0^{\lfloor\frac{m}{2}\rfloor}(\det W(G))^m,$$ where $a_0$ is the constant term of the characteristic polynomial of $G$. Furthermore, Mao-Wang (2022) conjectured that the formula holds for any $m\ge 2$. In this note, we verify this conjecture using the technique of Chebyshev polynomials.

A graph $G$ is said to be \emph{determined by its spectrum} if any graph having the same spectrum as $G$ is isomorphic to $G$. Let $K_n \setminus P_{\ell}$ be the graph obtained from $K_n$ by removing edges of $P_\ell$, where $P_\ell$ is a path of length $\ell-1$ which is a subgraph of a complete graph $K_n$. Cámara and Haemers~\cite{MC} conjectured that $K_n \backslash P_{\ell}$ is determined by its adjacency spectrum for every $2\leq \ell \leq n$. In this paper we show that the conjecture is true for $7\leq \ell \leq9$.