arXiv++ Combinatorics

The graphs $D(k,q)$ have connected components $CD(k,q)$ giving the best known bounds on extremal problems with {\em forbidden\/} even cycles, and are denser than the well-known graphs of Lubotzky, Phillips, Sarnak and Margulis. Despite this, little about the spectrum and expansion properties of these graphs is known. In this paper we find the spectrum for $k=4$, the smallest open case. For each prime power $q$, the graph $D(4,q)$ is $q$-regular graph on $2q^4$ vertices, all of whose eigenvalues other than $\pm q$ are bounded in absolute value by $2\sqrt{q}$. Accordingly, these graphs are good expanders, in fact very close to Ramanujan.

Let $Γ=Γ(2n,q)$ be the dual polar graph of type $Sp(2n,q)$. Underlying this graph is a $2n$-dimensional vector space $V$ over a field ${\mathbb F}_q$ of odd order $q$, together with a symplectic (i.e. nondegenerate alternating bilinear) form $B:V\times V\to{\mathbb F}_q$. The vertex set of $Γ$ is the set ${\mathcal V}$ of all $n$-dimensional totally isotropic subspaces of $V$. If $q\equiv1$ mod 4, we obtain from $Γ$ a nontrivial two-graph $Δ=Δ(2n,q)$ on ${\mathcal V}$ invariant under $PSp(2n,q)$. This two-graph corresponds to a double cover $\widehatΓ\toΓ$ on which is naturally defined a $Q$-polynomial $(2n+1)$-class association scheme on $2|{\mathcal V}|$ vertices.