arXiv++ Combinatorics

To a subshift over a finite alphabet, one can naturally associate an infinite family of finite graphs, called its Rauzy graphs. We show that for a subshift of subexponential complexity the Rauzy graphs converge to the line $\mathbf{Z}$ in the sense of Benjamini-Schramm convergence if and only if its complexity function $p(n)$ is unbounded and satisfies $\lim_n\frac{p(n+1)}{p(n)} = 1$. We then apply this criterion to many examples of well-studied dynamical systems. If the subshift is moreover uniquely ergodic then we show that the limit of labelled Rauzy graphs if it exists can be identified with the unique invariant measure. In addition we consider an example of a non uniquely ergodic system recently studied by Cassaigne and Kaboré and identify a continuum of invariant measures with subsequential limits of labelled Rauzy graphs.

If $G$ is a group and $S$ a generating set, $G$ canonically embeds into the automorphism group of its Cayley graph and it is natural to try to minimize, over all generating sets, the index of this inclusion. This infimum is called the Cayley index of the group. In a recent series of works, we have characterized the infinite finitely generated groups with Cayley index $1$. We complement this characterization by showing that the Cayley index is $2$ in the remaining cases and is attained for a finite generating set.

We prove that every connected locally finite regular graph has a double cover which is isomorphic to a Schreier graph.

We characterize the finitely generated groups that admit a Cayley graph whose only automorphisms are the translations, confirming a conjecture by Watkins from 1976. The proof relies on random walk techniques. As a consequence, every finitely generated group admits a Cayley graph with countable automorphism group. We also treat the case of directed graphs.

We show that every finitely generated group G with an element of order at least $(5rank(G))^{12}$ admits a locally finite directed Cayley graph with automorphism group equal to G. If moreover G is not generalized dihedral, then the above Cayley directed graph does not have bigons. On the other hand, if G is neither generalized dicyclic nor abelian and has an element of order at least $(2rank(G))^{36}$, then it admits an undirected Cayley graph with automorphism group equal to G. This extends classical results for finite groups and free products of groups. The above results are obtained as corollaries of a stronger form of rigidity which says that the rigidity of the graph can be observed in a ball of radius 1 around a vertex. This strong rigidity result also implies that the Cayley (di)graph covers very few (di)graphs. In particular, we obtain Cayley graphs of Tarski monsters which essentially do not cover other quasi-transitive graphs. We also show that a finitely generated group admits a locally finite labelled unoriented Cayley graph with automorphism group equal to itself if and only if it is neither generalized dicyclic nor abelian with an element of order greater than 2.

We give a characterization of isomorphisms between Schreier graphs in terms of the groups, subgroups and generating systems. This characterization may be thought as a graph analog of Mostow's rigidity theorem for hyperbolic manifolds. This allows us to give a transitivity criterion for Schreier graphs. Finally, we show that Tarski monsters satisfy a strong simplicity criterion.

We describe the infinite family of spider-web graphs $S_{k,M,N }$, $k \geq 2$, $M \geq 1$ and $N \geq 0$, studied in physical literature as tensor products of well-known de Brujin graphs $B_{k,N}$ and cyclic graphs $C_M$ and show that these graphs are Schreier graphs of the lamplighter groups $L_k = Z/kZ \wr Z$. This allows us to compute their spectra and to identify the infinite limit of $S_{k,M,N}$, as $N, M \to\infty$, with the Cayley graph of the lamplighter group $L_k$. This is the final version of the article, taking in account comments from the referees and with an extended introduction.