{"id":"arxiv/2610.25324","url":"https://arxiv.org/abs/2610.25324","tags":["math.CO"],"score":0,"title":"The Bellaterra graphs are Ramanujan","domain":"math.CO","source":"arxiv","authors":["Olga Kharlampovich","Alina Vdovina"],"reviews":0,"subject":"math.CO","summary":"The Bellaterra automaton gives three involutions of every set of binary words of a fixed length. We identify their Schreier graph at level $n$ with a cubic arithmetic graph over $\\Q(\\sqrt{17})$, and prove that every nonconstant adjacency eigenvalue satisfies the Ramanujan bound. In particular, this proves Malyshev-Pak's Conjecture that the Bellaterra graphs form a family of two-sided expanders.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-18","reactions":{}}