We prove that q+1-regular Morgenstern Ramanujan graphs Xq,g (depending on g∈Fq[t]) have diameter at most [Formula presented] (at least for odd q and irreducible g) provided that a twisted Linnik–Selberg conjecture over Fq(t) is true. This would break the 30 year-old upper bound of 2logq|Xq,g|+O(1), a consequence of a well-known upper bound on the diameter of regular Ramanujan graphs proved by Lubotzky, Phillips, and Sarnak using the Ramanujan bound on Fourier coefficients of modular forms. We also unconditionally construct infinite families of Ramanujan graphs that prove that [Formula presented] cannot be improved.
All Science Journal Classification (ASJC) codes
- Algebra and Number Theory