Ramanujan local systems on graphs (Q1356377)

\textit{A. Lubotzky}, \textit{R. Phillips}, and \textit{P. Sarnak} [Combinatorica 8, No. 3, 261-277 (1988; Zbl 0661.05035)] define Ramanujan graphs as those with adjacency matrices having eigenvalues satisfying certain bounds. The present authors define and construct examples of Ramanujan local systems on graphs, using definite quaternion algebras over Q and the action of \(\text{GL}_2 (\text{Q}_p)\) on the \(p+1\) regular tree, for a prime \(p\). This generalizes the examples of Lubotzky et al., which are given as Cayley graphs of \(\text{PSL}_2\) of a finite field. The present graphs and local systems, initially constructed as quotients of an infinite tree, can also be described by a generalization of Cayley graphs.