5c5d3ed9624937e9.tex
1: \begin{abstract}
2:     In this paper we construct explicit LPS-type Ramanujan graphs from each definite quaternion algebra over $\Q$ of class number 1, extending the constructions of \cite{LPS} and \cite{Chiu}, and answering in the affirmative a question raised in \cite{Jo}. We do this by showing that for each definite quaternion algebra $\mathcal H$ over $\mathbb Q$ of class number 1 with maximal order $\mathcal O$, if $G = \mathcal H^\times/Z(\mathcal H^\times)$ and $p$ is prime such that $G(\Q_p) \cong \PGL_2(\Q_p)$ then there exists a congruence $p$-arithmetic subgroup of $G$ which acts simply transitively on the Bruhat-Tits tree of $G(\Q_p)$.
3: \end{abstract}