English

Universal groups of cellular automata

Group Theory 2023-05-09 v3 Formal Languages and Automata Theory Dynamical Systems

Abstract

We prove that the group of reversible cellular automata (RCA), on any alphabet AA, contains a subgroup generated by three involutions which contains an isomorphic copy of every finitely generated group of RCA on any alphabet BB. This result follows from a case study of groups of RCA generated by symbol permutations and partial shifts (equivalently, partitioned cellular automata) with respect to a fixed Cartesian product decomposition of the alphabet. For prime alphabets, we show that this group is virtually cyclic, and that for composite alphabets it is non-amenable. For alphabet size four, it is a linear group. For non-prime non-four alphabets, it contains copies of all finitely generated groups of RCA. We also prove this property for the group generated by RCA of biradius one on any full shift with large enough alphabet, and also for some perfect finitely generated groups of RCA.

Keywords

Cite

@article{arxiv.1808.08697,
  title  = {Universal groups of cellular automata},
  author = {Ville Salo},
  journal= {arXiv preprint arXiv:1808.08697},
  year   = {2023}
}

Comments

47 pages, 1 figure. This is closer to the published version. The main additions are the figure and incorporating my short preprint 2002.12713. Comments welcome!

R2 v1 2026-06-23T03:44:27.237Z