About the Garden of Eden Theorems for Cellular Automata in the Hyperbolic Plane

The Garden of Eden theorems are well known theorems established by Moore and Myhill in the early sixties connecting injectivity and surjectivity for the global function of cellular automata in the (Euclidean) plane. In this paper, it is shown that the properties established by Moore and Myhill are no more true for cellular automata in the hyperbolic plane.

[1]  Maurice Margenstern.  The Domino Problem of the Hyperbolic Plane is Undecidable , 2007, Bull. EATCS.

[2]  Maurice Margenstern.  On a Characterization of Cellular Automata in Tilings of the Hyperbolic Plane , 2008, Int. J. Found. Comput. Sci..

[3]  Filippo Mignosi,et al.  Garden of Eden Configurations for Cellular Automata on Cayley Graphs of Groups , 1993, SIAM J. Discret. Math..

[4]  E. F. Moore.  Machine Models of Self-Reproduction , 1962 .

[5]  E. F. Codd,et al.  Cellular automata , 1968 .

[6]  Maurice Margenstern.  Cellular Automata in Hyperbolic Spaces , 2009, Encyclopedia of Complexity and Systems Science.

[7]  Hans Zassenhaus,et al.  Generators and Relations for Discrete Groups, second edition (H. S. M. Coxeter and W. O. J. Moser) , 1965 .

[8]  J. Myhill.  The converse of Moore’s Garden-of-Eden theorem , 1963 .

[9]  Maurice Margenstern.  The Injectivity of the Global Function of a Cellular Automaton in the Hyperbolic Plane is Undecidable , 2009, Fundam. Informaticae.

[10]  Maurice Margenstern,et al.  New Tools for Cellular Automata in the Hyperbolic Plane , 2000, J. Univers. Comput. Sci..

[11]  Jarkko Kari.  The Tiling Problem Revisited (Extended Abstract) , 2007, MCU.

[12]  Tullio Ceccherini-Silberstein,et al.  Amenable groups and cellular automata , 1999 .

[13]  Maurice Margenstern.  About the domino problem in the hyperbolic plane, a new solution: complement , 2007, ArXiv.

[14]  J. Kari.  The tiling problem revisited , 2007 .

[15]  Jarkko Kari,et al.  Reversibility and Surjectivity Problems of Cellular Automata , 1994, J. Comput. Syst. Sci..

[16]  H. Coxeter,et al.  Generators and relations for discrete groups , 1957 .

[17]  Yu Song,et al.  A New Universal Cellular Automaton on the Pentagrid , 2009, Parallel Process. Lett..

[18]  Maurice Margenstern,et al.  A Universal Cellular Automaton on the Ternary Heptagrid , 2008, Electron. Notes Theor. Comput. Sci..

[19]  Maurice Margenstern,et al.  A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane , 1999, J. Univers. Comput. Sci..

[20]  Maurice Margenstern,et al.  NP problems are tractable in the space of cellular automata in the hyperbolic plane , 2001, Theor. Comput. Sci..