Showing 1–2 of 2 results for author: Moorhouse, G E

The Eigenvalues of the Graphs $D(4,q)$

Authors: G. Eric Moorhouse, Shuying Sun, Jason Williford

Abstract: 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 pr… ▽ More 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. △ Less

Submitted 13 January, 2017; originally announced January 2017.

MSC Class: 05C50; 05C25

Double Covers of Symplectic Dual Polar Graphs

Authors: G. Eric Moorhouse, Jason Williford

Abstract: 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,… ▽ More 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. △ Less

Submitted 21 September, 2015; v1 submitted 4 April, 2015; originally announced April 2015.

MSC Class: 05E30 (Primary); 51A50; 51E20 (Secondary)