1: \begin{abstract}

2: We study for each fixed integer $g \ge 2$, for all primes $\ell$ and $p$ with $\ell \neq p$,

3: finite regular directed graphs associated with 

4: the set of equivalence classes of $\ell$-marked principally polarized superspecial abelian varieties of dimension $g$ in 

5: characteristic $p$, and show that the adjacency matrices have real eigenvalues with spectral gaps independent of $p$.

6: This implies a rapid mixing property of natural random walks on the family of isogeny graphs beyond the elliptic curve case and suggests

7: a potential construction of     

8: the Charles-Goren-Lauter type cryptographic hash functions for abelian varieties. 

9: We give explicit lower bounds for the gaps in terms of 

10: the Kazhdan constant for the symplectic group when $g \ge 2$,

11: and discuss optimal values in view of the theory of 

12: automorphic representations when $g=2$. 

13: As a by-product, we also show that the finite regular directed graphs constructed by 

14: Jordan-Zaytman also has the same property. 

15: \end{abstract}

16: