Table of Contents
Fetching ...

Counting cospectral graphs obtained via switching

Aida Abiad, Nils Van de Berg, Robin Simoens

TL;DR

The paper develops a general counting framework for graphs that admit a cospectral mate via switching, unifying GM, WQH, AH, and Fano switching schemes. It proves an asymptotically tight formula $\frac{1}{|Aut_Q(\Gamma)|}\,|V_Q|^{n-m}\,g_{n-m}\,(1+o(1))$ for the number of non-isomorphic cospectral mates per switching method, under distinguishing and switching-distinguishing conditions. The results are specialized to several known switching methods (GM$_4$, GM$_6$, GM$_8$, WQH$_6$, WQH$_8$, AH$_6$, Fano) with explicit constants, and complemented by computer enumeration up to $n=10$ that confirms the asymptotics and reveals method-frequency differences. The work advances understanding of the prevalence of cospectral graphs and provides tools toward Haemers' conjecture by offering scalable bounds across switching families. It also discusses limitations, such as applicability to Laplacian or other matrices, and outlines avenues for extending the framework to higher levels and broader switching constructions.

Abstract

Switching is an operation on a graph that does not change the spectrum of the adjacency matrix, thus producing cospectral graphs. An important activity in the field of spectral graph theory is the characterization of graphs by their spectrum. Hence, switching provides a tool for disproving the existence of such a characterization. This paper presents a general framework for counting the number of graphs that have a non-isomorphic cospectral graph through a switching method, expanding on the work by Haemers and Spence [European Journal of Combinatorics, 2004]. Our framework is based on a different counting approach, which allows it to be used for all known switching methods for the adjacency matrix. From this, we derive asymptotic results, which we complement with computer enumeration results for graphs up to $10$ vertices.

Counting cospectral graphs obtained via switching

TL;DR

The paper develops a general counting framework for graphs that admit a cospectral mate via switching, unifying GM, WQH, AH, and Fano switching schemes. It proves an asymptotically tight formula for the number of non-isomorphic cospectral mates per switching method, under distinguishing and switching-distinguishing conditions. The results are specialized to several known switching methods (GM, GM, GM, WQH, WQH, AH, Fano) with explicit constants, and complemented by computer enumeration up to that confirms the asymptotics and reveals method-frequency differences. The work advances understanding of the prevalence of cospectral graphs and provides tools toward Haemers' conjecture by offering scalable bounds across switching families. It also discusses limitations, such as applicability to Laplacian or other matrices, and outlines avenues for extending the framework to higher levels and broader switching constructions.

Abstract

Switching is an operation on a graph that does not change the spectrum of the adjacency matrix, thus producing cospectral graphs. An important activity in the field of spectral graph theory is the characterization of graphs by their spectrum. Hence, switching provides a tool for disproving the existence of such a characterization. This paper presents a general framework for counting the number of graphs that have a non-isomorphic cospectral graph through a switching method, expanding on the work by Haemers and Spence [European Journal of Combinatorics, 2004]. Our framework is based on a different counting approach, which allows it to be used for all known switching methods for the adjacency matrix. From this, we derive asymptotic results, which we complement with computer enumeration results for graphs up to vertices.

Paper Structure

This paper contains 18 sections, 24 theorems, 26 equations, 2 figures, 5 tables.

Key Result

Theorem 1

There are at least $n^3g_{n-1}(\frac{1}{24}-o(1))$ graphs on $n$ vertices with a cospectral mate.

Figures (2)

  • Figure 1: Regular graphs on 4 vertices.
  • Figure 2: All $\mathrm{GM}_{6}$-switching graphs up to complementation and the size of their automorphism group.

Theorems & Definitions (47)

  • Theorem 1: enumeration
  • Theorem 2
  • Theorem 3: asymmetricgraphs
  • Corollary 4: oberschelp67
  • Theorem 5: Godsil-McKay switching GMswitching
  • Theorem 6: Wang-Qiu-Hu switching WQHswitching
  • Theorem 7: $\mathrm{AH}_{6}$-switching, switchingpaperAHswitching
  • Theorem 8: Fano switching, AHswitchingswitchingpaper
  • Definition 1
  • Definition 2
  • ...and 37 more