Expander graphs, in general, and Ramanujan graphs, in
particular, have been objects of intensive research in the last
four decades. Many application came out, initially to computer
science and combinatorics and more recently also to pure
mathematics...