Current browse context:
cs.FL
Change to browse by:
References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Amenability of groups is characterized by Myhill's Theorem
(Submitted on 30 May 2016 (v1), last revised 7 Jun 2016 (this version, v2))
Abstract: We prove a converse to Myhill's "Garden-of-Eden" theorem and obtain in this manner a characterization of amenability in terms of cellular automata: "A group $G$ is amenable if and only if every cellular automaton with carrier $G$ that has gardens of Eden also has mutually erasable patterns."
This answers a question by Schupp, and solves a conjecture by Ceccherini-Silberstein, Mach\`i and Scarabotti.
An appendix by Dawid Kielak proves that group rings without zero divisors are Ore domains precisely when the group is amenable, answering a conjecture attributed to Guba.
Submission history
From: Laurent Bartholdi [view email][v1] Mon, 30 May 2016 08:14:59 GMT (9kb)
[v2] Tue, 7 Jun 2016 23:46:35 GMT (36kb)
Link back to: arXiv, form interface, contact.