1: \begin{abstract}

2: In their seminal paper, Lubotzky, Phillips and Sarnak (LPS) defined the notion of regular Ramanujan graphs and gave an explicit construction of infinite families of $(p+1)$-regular Ramanujan Cayley graphs, for infinitely many primes $p$.

3: In this paper we extend the work of LPS and its successors to bigraphs (biregular bipartite graphs), in several aspects: We compare the combinatorial properties of various generalizations of the notion of Ramanujan graphs, define a notion of Cayley bigraphs, and give explicit constructions of infinite families of $(p^3+1,p+1)$-regular Ramanujan Cayley bigraphs, for infinitely many primes $p$.

4: 

5: Both the LPS graphs and our ones are arithmetic, arising as quotients of Bruhat-Tits trees by congruence subgroups of arithmetic lattices in a $p$-adic group, $PGL_2(\Q_p)$ for LPS and $PU_3(\Q_p)$ for us. In both cases the Ramanujan property relates to the Ramanujan Conjecture (RC), on the respective groups. But while for $PGL_2$ the RC holds unconditionally, this is not so in the case of $PU_3$. We find explicit cases where the RC does and does not hold, and use this to construct arithmetic non-Ramanujan $(p^3+1,p+1)$-Cayley bigraphs as well, and prove that nevertheless they satisfy the Sarnak-Xue density hypothesis.

6: 

7: 

8: On the combinatorial side, we present a pseudorandomness characterization of Ramanujan bigraphs, and a more general notion of biexpanders. We also show that the graphs we construct exhibit the cutoff phenomenon with bounded window size for the mixing time of non-backtracking random walk, either as a consequence of the Ramanujan property, or of the Sarnak-Xue density hypothesis.

9: Finally, we present some other applications which follow from our work: Golden and super golden gates for $PU(3)$, Ramanujan and non-Ramanujan complexes of type $\widetilde{A}_2$, optimal strong approximation for $p$-arithmetic subgroups of $PU_3$ and the vanishing Betti numbers of Picard modular surfaces.

10: \end{abstract}

11: