Strongly explicit Ramanujan 2-lift towers via Hilbert modular forms

Olga Kharlampovich, Igor Pak, Alina Vdovina

Expander graphs have been central objects of study for over fifty years. Ramanujan graphs attain the asymptotically optimal nontrivial adjacency-eigenvalue threshold for infinite f…