ramanujan-expander

Ramanujan graphs and Alon-Boppana spectral optimality for edge growth