The first construction of Ramanujan graphs is due to Lubotzky,
Phillips, and Sarnak (STOC 1986, Combinatorica 1987). Their
construction and analysis were deeply algebraic, and at the time it
seemed that only algebraic methods were strong enough to...