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$.

The Complexity of Inversion in Groups

Complexity of inversion of functions on the reals

A generalization of the Brauer-Fowler theorem

A generalization of the Brauer–Fowler theorem

Commuting Involutions in Finite Simple Groups

Computable Rings, Groups And Their Isomorphisms

Derangements in non-Frobenius groups

Torsion invariants of complexes of groups

Finite Simple Groups in the Primitive Positive Constructability Poset

Groups and algebraic complexity

PSEUDO CORE INVERTIBILITY AND DMP INVERTIBILITY IN TWO SEMIGROUPS OF A RING WITH INVOLUTION

Towards the Automorphism Conjecture I: Combinatorial Control

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

The fundamental group of the $p$-subgroup complex

On a coarse invertibility spectrum for coarse groups

Group invertibility of the sum in rings and its applications

Involutions in finite simple groups as products of conjugates

Compactifications of pseudofinite and pseudo-amenable groups

The Complexity of Iterated Reversible Computation

On finite groups in which the twisted conjugacy classes of the unit element are subgroups