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.

Left-Cut-Percolation and Induced-Sidorenko Bigraphs

Sidorenko's conjecture for subdivisions and theta substitutions

Bigraph percolation problems

Extremal Numbers and Sidorenko’s Conjecture

Extremal numbers and Sidorenko's conjecture

Min Orderings and List Homomorphism Dichotomies for Graphs and Signed Graphs

Ramanujan Bigraphs

A very short proof of Sidorenko's inequality for counts of homomorphism between graphs

Linear balanceable and subcubic balanceable graphs

On large Sidon sets

Distributed And Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs

Strong SDP based bounds on the cutwidth of a graph

Flip Graph Connectivity for Arrangements of Pseudolines and Pseudocircles

Vital Edges for (s,t)-mincut: Efficient Algorithms, Compact Structures, and Optimal Sensitivity Oracle

Induced subgraphs density. IV. New graphs with the Erdős-Hajnal property

Minimal Obstructions for Polarity, Monopolarity, Unipolarity and (s, 1)-Polarity in Generalizations of Cographs

Dual Systolic Graphs

A CSP implementation of the bigraph embedding problem

Variations on Sidorenko's conjecture in tournaments

Directed path-decompositions

Getting to the Root of the Problem: Sums of Squares for Infinite Trees