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.

We explain how certain tools from convex analysis and probability theory may be used in order to obtain counting results for the number of words with prescribed frequencies of letters in regular languages.

We develop further Cannon's method of cone types for finding the growth function of a group, which can also be used to find the coordination sequences of certain infinite graphs. We then apply this method to compute the growth functions and series of the wallpaper groups (the 2 dimensional crystallographic groups). The paper has a number of illustrating colored figures and tables summarizing the results.

We introduce the notion of the Automatic Logarithm $\mathcal L_{\mathcal A, \mathcal B}$ with the purpose of studying the expanding properties of Schreier graphs of action of the group generated by two finite initial Mealy automata $\mathcal A$ and $\mathcal B$ on the levels of a regular $d$-ary rooted tree $\mathcal T$, where $\mathcal A$ is level-transitive and of bounded activity. $\mathcal L_{\mathcal A, \mathcal B}$ computes the lengths of chords in this family of graphs. Formally, $\mathcal L$ is a map $\partial \mathcal T \rightarrow \mathbb{Z}_d$ from the boundary of the tree to the integer $p$-adics whose values are determined by a Moore machine. The distribution of its outputs yields a probabilistic measure $μ$ on $\partial \mathcal T$, which in some cases can be computed by a Mealy-type machine (we then say that $μ$ is finite-state). We provide a criterion to determine whether $μ$ is finite-state. A number of examples illustrating the different cases with $\mathcal A$ being the adding machine is provided.

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.

Finite dimensional representations of the Hanoi Towers group are used to calculate the spectra of the finite graphs associated to the Hanoi Towers Game on three pegs (the group serves as a renorm group for the game). These graphs are Schreier graphs of the action of the Hanoi Towers group on the levels of the rooted ternary tree. The spectrum of the limiting graph (Schreier graph of the action on the boundary of the tree) is also provided.

We present an accessible introduction to basic results on groups of intermediate growth.