arXiv++ Combinatorics

Over a decade ago, Koolen, Hayat, and Iqbal posed the problem of whether the distance spectrum determines bipartiteness within the class of connected graphs. In this paper, we resolve this problem in the negative: we explicitly construct an infinite family of counterexamples, where each pair comprises a connected bipartite graph and a connected non-bipartite graph with equal distance spectra.

Spectral characterization of graphs for various graph matrices constitutes a central topic in spectral graph theory. Let $G$ be a graph with adjacency matrix $A(G)$, diagonal degree matrix $\Deg(G)$, distance matrix $D(G)$, and transmission matrix \(\Trs(G)\), respectively. Recently, Alfaro and Zapata (2024) introduced the degree-distance matrices \(\Ddegp(G)=\Deg(G)+D(G)\) and \(\Ddeg(G)=\Deg(G)-D(G)\), together with the transmission-adjacency matrices \(\Atrsp(G)=\Trs(G)+A(G)\) and \(\Atrs(G)=\Trs(G)-A(G)\). Based on computational evidence for trees on at most \(20\) vertices, they conjectured that all trees are determined by the spectra of \(\Ddegp\) as well as \(\Ddeg\). In this paper, we disprove these conjectures by constructing an infinite family of pairs of non-isomorphic trees. More precisely, for each integer \(r\ge 3\), we construct a pair of trees on \(17r-15\) vertices which are simultaneously cospectral with respect to the following six matrices \[ A,\quad L,\quad Q,\quad D,\quad \Ddegp,\quad \Ddeg . \] The construction is based on an \(r\)-regularized leaf extension and an equitable-partition reduction. We also record a simple sign-switching observation for transmission-adjacency matrices: if \(G\) is bipartite, then \(\Atrs(G)\) and \(\Atrsp(G)\) are similar via a diagonal \(\{\pm1\}\)-matrix and have the same Smith normal form. Consequently, for trees, the spectral and Smith normal form problems for \(\Atrs\) and \(\Atrsp\) are equivalent.

A graph \(G\) is said to be \emph{determined by its spectrum} if every graph cospectral with \(G\) is isomorphic to \(G\). A \emph{T-shape tree} is defined as a tree containing exactly one vertex of maximum degree three. For any three positive integers \(\ell_1\),\(\ell_2\) and \(\ell_3\) with \( \ell_1\leq \ell_2\leq \ell_3\), we denote by \(T(\ell_1,\ell_2,\ell_3)\) the unique \(T\)-shape tree such that deleting its degree-three vertex \(v\) yields three disjoint paths \(P_{\ell_1}\), \(P_{\ell_2}\), and \(P_{\ell_3}\), i.e., \(T(\ell_1,\ell_2,\ell_3)-v = P_{\ell_1}\cup P_{\ell_2}\cup P_{\ell_3}\), where \(P_k\) stands for the path graph on \(k\) vertices. In this paper, we establish a complete spectral characterization for the complements of \(T\)-shape trees, settling a long-standing conjecture posed by Wang and Xu (2006). Specifically, we prove that the complement of \(T(\ell_1,\ell_2,\ell_3)\) is spectrally determined if and only if \((\ell_1,\ell_2,\ell_3) \notin \{(\ell,\ell,2\ell-2):\ell\ge2\}\). Moreover, all cospectral mates of the complement of the \(T\)-shape tree \(T(\ell,\ell,2\ell-2)\) are identified for every integer \(\ell\geq 2\).