Indexed metadata

Graphs with three eigenvalues from group divisible designs

Gary Greaves, Jose Yip

Source record

Source: arXiv

Published: Oct 15, 2026

arXiv: 2610.21724

Open original source ↗

Source abstract

We construct biregular graphs with three distinct eigenvalues from semiregular group divisible designs. For every prime power qq, we use the spectral structure of Muzychuk's Construction~A on q+1q+1 copies of AG⁡(2,q2)\operatorname{AG}(2,q^2) to produce suitable group divisible designs. The resulting biregular graphs have 2q5+q4+q22q^5+q^4+q^2 vertices and distinct eigenvalues q5+q3+q2q^5+q^3+q^2, q2q^2, and −q2-q^2. Their coherent closures have rank 1212 and type [3225]\left[\begin{smallmatrix}3&2\\2&5\end{smallmatrix}\right]. We also determine the four-class symmetric association schemes that are the coherent closures of the auxiliary graphs in this family. Computational searches provide further graphs on 8181 and 156156 vertices, using Muzychuk's Construction~B and a generalised quadrangle, respectively; their coherent closures have ranks 1313 and 1010. The 156156-vertex example has a strongly regular design as its coherent closure, of type [3223]\left[\begin{smallmatrix}3&2\\2&3\end{smallmatrix}\right], answering a question of the authors. We also realise a 126126-vertex example by switching a strongly regular graph.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.

Graphs with three eigenvalues from group divisible designs — Mathematical Frontier Network