It was conjectured by Alon in the 1980s that random d-regular
graphs have the largest possible spectral gap (up to negligible
error) among all d-regular graphs. This conjecture was proved by
Friedman in 2004 in major tour de force. In recent years...
