Construct a compatible auxiliary graph for the first feasible parameter set
Construct a compatible 30-regular auxiliary graph on 54 vertices with spectrum \(\{[30]^1,[6]^9,[3]^8,[-3]^{36}\}\) for the transversal design, equivalently orthogonal array \(\mathrm{OA}(54,4,3,2)\), associated with the first row of Table 1, so that the auxiliary-graph identities required to produce a biregular graph with three distinct eigenvalues are satisfied.
References
The first row remains open: an orthogonal array with the required parameters is available, but a compatible auxiliary graph is not known.
— Graphs with three eigenvalues from group divisible designs
(2610.21724 - Greaves et al., 15 Oct 2026) in Remark \ref{rem:OA}, subsection “Feasible parameters and known constructions,” Section 2