Distortion element in the automorphism group of a full shift

Abstract

We show that there is a distortion element in a finitely-generated subgroup $G$ of the automorphism group of the full shift, namely an element of infinite order whose word norm grows polylogarithmically. As a corollary, we obtain a lower bound on the entropy dimension of any subshift containing a copy of $G$, and that a sofic shift's automorphism group contains a distortion element if and only if the sofic shift is uncountable. We obtain also that groups of Turing machines and the higher-dimensional Brin-Thompson groups $mV$ admit distortion elements; in particular, $2V$ (unlike $V$) does not admit a proper action on a CAT$(0)$ cube complex. The distortion element is essentially the SMART machine.

arXiv comment64 pages, 6 figures; improved exposition

References in corpus (10)

• Higher Dimensional Thompson Groups
• Distortion in transformation groups
• The group of reversible Turing machines
• Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V
• Strong distortion in transformation groups
• Closed Systems of Invertible Maps
• Graph and wreath products of cellular automata
• Reversible k-valued logic circuits are finitely generated for odd k
• Residual finiteness and strict distortion of cyclic subgroups of solvable groups
• Sofically presented dynamical systems