arXiv++ Combinatorics

We give explicit estimates between the spectral radius and the densities of short cycles for finite d-regular graphs. This allows us to show that the essential girth of a finite d-regular Ramanujan graph G is at least c log log |G|. We prove that infinite d-regular Ramanujan unimodular random graphs are trees. Using Benjamini-Schramm convergence this leads to a rigidity result saying that if most eigenvalues of a d-regular finite graph G fall in the Alon-Boppana region, then the eigenvalue distribution of G is close to the spectral measure of the d-regular tree. Kesten showed that if a Cayley graph has the same spectral radius as its universal cover, then it must be a tree. We generalize this to unimodular random graphs.

The term "strong approximation" is used to describe phenomena where an arithmetic group as well as all of its Zariski dense subgroups have a large image in the congruence quotients. We exhibit analogues of such phenomena in a probabilistic, rather than arithmetic, setting. Let T be the binary rooted tree, Aut(T) its automorphism group. To a given m-tuple a = {a_1,a_2,...,a_m} in Aut(T), we associate a tower of 2m-regular Schreier graphs ...X_n-->X_{n-1}-->...-->X_0. The vertices of X_n are the n^{th} level of the tree and two such are connected by an edge if a generator takes one to the other. When {a_i} are independent Haar-random elements of Aut(T) we retrieve the standard model for iterated random 2-lifts studied, for example by Bilu-Linial. If w={w_1,w_2,...,w_l} are words in the free group F_m, the random substitutions w(a) := {w_1(a),...,w_l(a)} give rise to new models for random towers of 2l-regular graphs: ...Y_n-->Y_{n-1}-->...-->Y_0. With the above notation, the following hold almost surely, for every non cyclic subgroup D in F_m: (i) the graphs $Y_n$ have a bounded number of connected components, (ii) these connected components form a family of expander graphs, (iii) the closure of D has positive Hausdorff dimension as a subgroup of the (metric) group Aut(T).

Let T be a d-regular tree (d > 2) and A=Aut(T), its automorphism group. Let G be a group generated by n independent Haar-random elements of A. We show that almost surely, every nontrivial element of G has finitely many fixed points on T.

We construct an infinite family of (q+1)-regular Ramanujan graphs X_n of girth 1. We also give covering maps X_{n+1} --> X_n such that the minimal common covering of all the graphs is the universal covering tree.