Amenability of groups is characterized by Myhill's Theorem

Laurent Bartholdi, Dawid Kielak

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…