Related papers: Cross-wired lamplighter groups and linearity of au…

A finitely generated group is said to be an automata group if it admits a faithful self-similar finite-state representation on some regular $m$-tree. We prove that if $G$ is a subgroup of an automata group, then for each finitely generated…

We construct the representations of Cayley graphs of wreath products using finite automata, pushdown automata and nested stack automata. These representations are in accordance with the notion of Cayley automatic groups introduced by…

If $G$ is a finitely generated group and $X$ is a Cayley graph of $G$, denote by $\mathcal{C}_1^X(G)$ the subgroup of all automorphisms of $X$ commensurating $G$ and fixing the vertex corresponding to the identity. Building on the work of…

In this paper we characterize when a Cayley automaton semigroup is a group, is trivial, is finite, is free, is a left zero semigroup, or is a right zero semigroup.

We show that there are Cayley automatic groups that are not Cayley biautomatic. In addition, we show that there are Cayley automatic groups with undecidable Conjugacy Problem and that the Isomorphism Problem is undecidable in the clas of…

We extend the classical Stallings theory (describing subgroups of free groups as automata) to direct products of free and abelian groups: after introducing enriched automata (i.e., automata with extra abelian labels), we obtain an explicit…

We prove that any finite system of interacted automata can not leave some finite arear of Calley graph of periodic group. If group has non-periodic element, then its Calley graph can be explored by some finite automata with 3 pebbles. If…

In this article, we state and prove a general criterion which prevents some groups from acting properly on finite-dimensional CAT(0) cube complexes. As an application, we show that, for every non-trivial finite group $F$, the lamplighter…

We prove that the topological full group $[[X]]$ of a two-sided full shift $X = \Sigma^{\mathbb{Z}}$ contains every right-angled Artin group (also called a graph group). More generally, we show that the family of subgroups with "linear…

We show that whether loops can be shortcut in a group's Cayley graph depends on the choice of finite generating set. Our example is the direct product of two rank-2 free groups and a consequence is that this group has asymptotic cones with…

We prove a Central Limit Theorem for the drift of a non-elementary random walk with a finite exponential moment on a wreath product $A\wr H=\bigoplus_{H} A\rtimes H$ with $A$ a non-trivial finite group and $H$ a finitely generated…

We show that the lamplighter group L has a system of generators for which the spectrum of the discrete Laplacian on the Cayley graph is a union of an interval and a countable set of isolated points accumulating to a point outside this…

This paper deals with graph automaton groups associated with trees and some generalizations. We start by showing some algebraic properties of tree automaton groups. Then we characterize the associated semigroup, proving that it is…

This article is dedicated to the asymptotic geometry of wreath products $F\wr H := \left( \bigoplus_H F \right) \rtimes H$ where $F$ is a finite group and $H$ a one-ended finitely presented group. Our main result is a complete…

We prove that a wreath product of an abelian group and a non-amenable group is not strongly Ulam stable. Previously this was known for groups containing free subgroups, due to work of Burger, Ozawa and Thom, and for some surface groups, due…

After reviewing automaton semigroups, we introduce Cayley Automata and the corresponding Cayley Automaton semigroups. We investigate which semigroups are isomorphic to their Cayley Automaton semigroup and give some results for special…

The first example of a non-residually finite group in the classes of finitely presented small-cancelation groups, automatic groups, and CAT(0) groups was constructed by Wise as the fundamental group of a complete square complex (CSC for…

In this article, we study the asymptotic behaviour of conjugacy separability for wreath products of abelian groups. We fully characterise the asymptotic class in the case of lamplighter groups and give exponential upper and lower bounds for…

A characterization is completed for finite groups acting arc-transitively on maps with square-free Euler characteristic, associated with infinite families of regular maps of square-free Euler characteristic presented. This is based on a…

We consider Turing machines as actions over configurations in $\Sigma^{\mathbb{Z}^d}$ which only change them locally around a marked position that can move and carry a particular state. In this setting we study the monoid of Turing machines…