Abstract: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 $p$. In this paper we extend the work of LPS and its successors to bigraphs (biregular bipartite graphs), in several aspects: we investigate 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 $p$. 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(\mathbb{Q}_p)$ for LPS and $PU_3(\mathbb{Q}_p)$ for us. In both cases the Ramanujan property relates to the Generalized Ramanujan Conjecture (GRC), on the respective groups. But while for $PGL_2$ the GRC holds unconditionally, this is not so in the case of $PU_3$. We find explicit cases where the GRC does and does not hold, and use this to construct arithmetic non-Ramanujan Cayley bigraphs as well, and prove that nevertheless they satisfy the Sarnak-Xue density hypothesis. 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 walks, either as a consequence of the Ramanujan property, or the density hypothesis. Finally, we present some other applications of our work: super golden gates for $PU_3$, Ramanujan and non-Ramanujan complexes of type $\tilde{A}_2$, optimal strong approximation for $p$-arithmetic subgroups of $PSU_3$ and vanishing of Betti numbers of Picard modular surfaces.

Condensed Ricci Curvature on Paley Graphs and their Generalizations

On the Paley graph of a quadratic character

Connected components and non-bipartiteness of generalized Paley graphs

Abelian and Non-Abelian Paley Type Group Schemes

The spectra of generalized Paley graphs of $(q^\ell+1)$-th powers and applications

Paley-like quasi-random graphs arising from polynomials

Spectral Pseudorandomness and the Road to Improved Clique Number Bounds for Paley Graphs

Distribution of power residues over shifted subfields and maximal cliques in generalized Paley graphs

On Balanced Characteristic Functions of Canonical Cliques in Paley Graphs of Square Order

Cliques of Orders Three and Four in the Paley-Type Graphs

Number of cliques of Paley-type graphs over finite commutative local rings

A generalization of the Perelman gluing theorem and applications

A degree 4 sum-of-squares lower bound for the clique number of the Paley graph

Ramanujan Bigraphs

Spectra and the exact number of Automorphisms of Paley-type graphs of order a product of n distinct primes

Ricci Curvature on Birth-Death Processes.

Perelman, Poincare, and the Ricci Flow

Ricci-flat Cubic Graphs with Girth Five

Parabolicity on Graphs

Positive Ricci curvature on connected sums of fibre bundles