{"id":"arxiv/2610.39485","url":"https://arxiv.org/abs/2610.39485","tags":["math.CO","cs.DM","math.NT"],"score":0,"title":"Strongly explicit Ramanujan 2-lift towers via Hilbert modular forms","domain":"math.CO","source":"arxiv","authors":["Olga Kharlampovich","Igor Pak","Alina Vdovina"],"reviews":0,"subject":"math.CO","summary":"Expander graphs have been central objects of study for over fifty years. Ramanujan graphs attain the asymptotically optimal nontrivial adjacency-eigenvalue threshold for infinite fixed-degree families. The original arithmetic constructions by Lubotzky-Phillips-Sarnak (1988) and Margulis (1988), and the iterative $2$-lift method of Bilu-Linial (2006) provide different approaches to Ramanujan graph constructions. Motivated by work on Mealy automata, we combine both approaches to give the following new arithmetic construction. For every prime $p\\equiv 1\\pmod {17}$, we construct a infinite tower…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}