ϵ > 0. As an example, we give the first explicit family of 7-regular graphs with λ2(G), |λn (G)|
⩽ 2 … Essentially, this means we show there exist nearRamanujan graphs whose adjacency
lists are computable in polylogn time, and furthermore there is a polylog(n)-time randomized
algorithm for finding them with high probability. More precisely, the following statement holds: …