English

On the eigenvalues of the graphs $D(5, q)$

Combinatorics 2023-01-02 v2 Representation Theory

Abstract

Let q=peq = p^e, where pp is a prime and ee is a positive integer. The family of graphs D(k,q)D(k, q), defined for any positive integer kk and prime power qq, were introduced by Lazebnik and Ustimenko in 1995. To this day, the connected components of the graphs D(k,q)D(k, q), provide the best known general lower bound for the size of a graph of given order and given girth. Furthermore, Ustimenko conjectured that the second largest eigenvalue of D(k,q)D(k, q) is always less than or equal to 2q2\sqrt{q}. If true, this would imply that for a fixed qq and kk growing, D(k,q)D(k, q) would define a family of expanders that are nearly Ramanujan. In this paper we prove the smallest open case of the conjecture, showing that for all odd prime powers qq, the second largest eigenvalue of D(5,q)D(5, q) is less than or equal to 2q2\sqrt{q}.

Cite

@article{arxiv.2207.04629,
  title  = {On the eigenvalues of the graphs $D(5, q)$},
  author = {Himanshu Gupta and Vladislav Taranchuk},
  journal= {arXiv preprint arXiv:2207.04629},
  year   = {2023}
}

Comments

15 Pages

R2 v1 2026-06-25T00:48:01.334Z