Table of Contents
Fetching ...

On co-edge-regular graphs with 4 distinct eigenvalues

Hong-Jun Ge, Jack H. Koolen

TL;DR

The paper refutes Tan et al.'s conjecture by constructing two infinite families of connected co-edge-regular graphs with four distinct eigenvalues and a fixed smallest eigenvalue: one family lacking $-1$ as an eigenvalue and another that is cospectral with certain clique-extensions of Latin Square graphs, thereby showing that spectral data alone cannot determine these graphs. It develops a combinatorial characterization for such graphs, leverages Haemers-Tonchev-type constructions to produce level-2 counterexamples, and introduces twisted Latin Square graphs TLS$(q,n)$ showing level-3 co-edge-regularity and cospectrality with Latin Square clique extensions. The TLS construction relies on group-divisible orthogonal arrays and parallel classes, and yields infinite families with explicit spectra, including $-1$ and another negative eigenvalue, broadening the landscape of co-edge-regular graphs with four eigenvalues. Together, these results demonstrate the richness and complexity of the spectral theory of co-edge-regular graphs and illustrate limitations of spectral characterizations in this graph class.

Abstract

Tan et al. conjectured that connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, when having sufficiently large valency, belong to two different families of graphs. In this paper we construct two new infinite families of connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, thereby disproving their conjecture. Moreover, one of these constructions demonstrates that clique-extensions of Latin Square graphs are not determined by their spectrum.

On co-edge-regular graphs with 4 distinct eigenvalues

TL;DR

The paper refutes Tan et al.'s conjecture by constructing two infinite families of connected co-edge-regular graphs with four distinct eigenvalues and a fixed smallest eigenvalue: one family lacking as an eigenvalue and another that is cospectral with certain clique-extensions of Latin Square graphs, thereby showing that spectral data alone cannot determine these graphs. It develops a combinatorial characterization for such graphs, leverages Haemers-Tonchev-type constructions to produce level-2 counterexamples, and introduces twisted Latin Square graphs TLS showing level-3 co-edge-regularity and cospectrality with Latin Square clique extensions. The TLS construction relies on group-divisible orthogonal arrays and parallel classes, and yields infinite families with explicit spectra, including and another negative eigenvalue, broadening the landscape of co-edge-regular graphs with four eigenvalues. Together, these results demonstrate the richness and complexity of the spectral theory of co-edge-regular graphs and illustrate limitations of spectral characterizations in this graph class.

Abstract

Tan et al. conjectured that connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, when having sufficiently large valency, belong to two different families of graphs. In this paper we construct two new infinite families of connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, thereby disproving their conjecture. Moreover, one of these constructions demonstrates that clique-extensions of Latin Square graphs are not determined by their spectrum.

Paper Structure

This paper contains 13 sections, 27 theorems, 23 equations.

Key Result

Theorem 1.1

Let $\lambda\geq 2$ be an integer. Except for finitely many exceptions, any strongly regular graph with smallest eigenvalue $-\lambda$ is a Steiner graph, a Latin Square graph, or a complete multipartite graph.

Theorems & Definitions (46)

  • Theorem 1.1: cf. N79
  • Theorem 1.2: cf. HAYAT19
  • Theorem 1.3: cf. TKX20
  • Conjecture 1.4: cf. TKX20
  • Theorem 1.5
  • Lemma 2.1
  • Conjecture 2.2: cf. Gold06
  • Theorem 2.3: cf. van99
  • Theorem 2.4
  • Definition 2.5
  • ...and 36 more