arXiv++ Combinatorics

For all $k \geq 3$, we show how one can explicitly construct an infinite family of $k$-regular graphs all of which have second largest eigenvalue satisfying the bound $O(k^{1/2})$. This resolves an open problem of Reingold, Vadhan and Wigderson.

We show that the gap between the two greatest eigenvalues of the generalised Petersen graphs $P(n,k)$ tends to zero as $n \rightarrow \infty$. Moreover, we provide explicit upper bounds on the size of this gap. It follows that these graphs have poor expansion properties for large values of $n$. We also show that a positive proportion of the eigenvalues of $P(n,k)$ tend to the valency.

The method of Murty and Cioabă shows how one can use results about gaps between primes to construct families of almost-Ramanujan graphs. In this paper we give a simpler construction which avoids the search for perfect matchings and thus eliminates the need for computation. A couple of recent explicit bounds on the gap between consecutive primes are then used to give the construction of $k$-regular families with explicit lower bounds on the spectral gaps. We then show that a result of Ben-Aroya and Ta-Shma can be improved using our simpler construction on the assumption of the Riemann Hypothesis, which sheds some more light on a question raised by Reingold, Vadhan and Widgerson.