arXiv++ Combinatorics

A finite, connected, $(d+1)$-regular graph $G$ is called Ramanujan if every its eigenvalue $λ$ satisfies either $λ=\pm (d+1)$ or $|λ|\leq 2\sqrt{d}$. The Ramanujan condition corresponds to the optimal rate of decay of correlations for the associated non-backtracking edge subshift. We consider a higher-dimensional generalization of this observation. We introduce the notion of a $d$-regular $\mathbb{Z}^δ$-subshift of finite type, and we define a Ramanujan subshift as a $d$-regular $\mathbb{Z}^δ$-subshift with an optimal rate of decay of correlations. We show that for every odd prime power $q\geq 3$ and dimension $δ<q$, there exists a $q$-regular Ramanujan $\mathbb{Z}^δ$-subshift. The construction is based on the quaternionic lattices over $\mathbb{F}_q(t)$ introduced by Rungtanapirom-Stix-Vdovina (2019). Each of our $q$-regular Ramanujan subshifts gives rise to a family of non-bipartite $(q+1)$-regular Ramanujan graphs. These graphs are very explicit and local in the strong sense: the neighbors of any vertex can be computed by an explicit Mealy automaton associated with the subshift. As a byproduct, for every odd prime power $q$, we get a single lifting rule that can be iterated to produce an infinite family of $(q+1)$-regular Ramanujan graphs.

Every self-similar group acts on the space $X^ω$ of infinite words over some alphabet $X$. We study the Schreier graphs $Γ_w$ for $w\in X^ω$ of the action of self-similar groups generated by bounded automata on the space $X^ω$. Using sofic subshifts we determine the number of ends for every Schreier graph $Γ_w$. Almost all Schreier graphs $Γ_w$ with respect to the uniform measure on $X^ω$ have one or two ends, and we characterize bounded automata whose Schreier graphs have two ends almost surely. The connection with (local) cut-points of limit spaces of self-similar groups is established.

For every infinite sequence $ω=x_1,x_2,...$, with $x_i\in\{0,1\}$, we construct an infinite 4-regular graph $X_ω$. These graphs are precisely the Schreier graphs of the action of a certain self-similar group on the space $\{0,1\}^{\infty}$. We solve the isomorphism and local isomorphism problems for these graphs, and determine their automorphism groups. Finally, we prove that all graphs $X_ω$ have intermediate growth.

Every automaton group naturally acts on the space $X^ω$ of infinite sequences over some alphabet $X$. For every $w\in X^ω$ we consider the Schreier graph $Γ_w$ of the action of the group on the orbit of $w$. We prove that for a large class of automaton groups all Schreier graphs $Γ_w$ have subexponential growth bounded above by $n^{(\log n)^m}$ with some constant $m$. In particular, this holds for all groups generated by automata with polynomial activity growth (in terms of S.Sidki), confirming a conjecture of V.Nekrashevych. We present applications to omega-periodic graphs and Hanoi graphs.