Some notes
second largest eigenvalue λ ≤ c√∆ for some small constant c
The best possible
Expander graph
;