Abstract:We study an abstract group of reversible Turing machines. In our model, each machine is interpreted as a homeomorphism over a space which represents a tape filled with symbols and a head carrying a state. These homeomorphisms can only modify the tape at a bounded distance around the head, change the state and move the head in a bounded way. We study three natural subgroups arising in this model: the group of finite-state automata, which generalizes the topological full groups studied in topological dynamics and the theory of orbit-equivalence; the group of oblivious Turing machines whose movement is independent of tape contents, which generalizes lamplighter groups and has connections to the study of universal reversible logical gates; and the group of elementary Turing machines, which are the machines which are obtained by composing finite-state automata and oblivious Turing machines. We show that both the group of oblivious Turing machines and that of elementary Turing machines are finitely generated, while the group of finite-state automata and the group of reversible Turing machines are not. We show that the group of elementary Turing machines has undecidable torsion problem. From this, we also obtain that the group of cellular automata (more generally, the automorphism group of any uncountable one-dimensional sofic subshift) contains a finitely-generated subgroup with undecidable torsion problem. We also show that the torsion problem is undecidable for the topological full group of a full $\mathbb{Z}^d$-shift on a non-trivial alphabet if and only if $d \geq 2$.

On (bi)reversible automata generating lamplighter groups

Cross-wired lamplighter groups and linearity of automata groups

The concept of self-similar automata over a changing alphabet and lamplighter groups generated by such automata

Profinite rigidity of lamplighter groups

Automata groups generated by Cayley machines of groups of nilpotency class two

Lamplighter-like geometry of groups

On wreath product occurring as subgroup of automata group

Dead ends on wreath products and lamplighter groups

Regular maps from the lamplighter to metabelian groups

Pattern preserving quasi-isometries in lamplighter groups and other related groups

Higher rank lamplighter groups are graph automatic

The group of reversible Turing machines: subgroups, generators and computability

The geometry of twisted conjugacy classes in wreath products

Ulam stability of lamplighters and Thompson groups

The Poisson boundary of wreath products

Quadratic equations in the lamplighter group

On the subgroup membership problem in bounded automata groups

Automatic groups associated with word orders other than shortlex

Wreath-like products of groups and their von Neumann algebras II: Outer automorphisms

On elementary amenable bounded automata groups

The Lamplighter groups have infinite weak cop number