Directed Percolation Arising in Stochastic Cellular Automata Analysis

Cellular automata are both seen as a model of computation and as tools to model real life systems. Historically they were studied under synchronous dynamics where all the cells of the system are updated at each time step. Meanwhile the question of probabilistic dynamics emerges: on the one hand, to develop cellular automata which are capable of reliable computation even when some random errors occur [24,14,13]; on the other hand, because synchronous dynamics is not a reasonable assumption to simulate real life systems. Among cellular automata a specific class was largely studied in synchronous dynamics : the elementary cellular automata (ECA). These are the "simplest" cellular automata. Nevertheless they exhibit complex behaviors and even Turing universality. Several studies [20,7,8,5] have focused on this class under i¾?-asynchronous dynamics where each cell has a probability i¾?to be updated independently. It has been shown that some of these cellular automata exhibit interesting behavior such as phase transition when the asynchronicity rate i¾?varies. Due to their richness of behavior, probabilistic cellular automata are also very hard to study. Almost nothing is known of their behavior [20]. Understanding these "simple" rules is a key step to analyze more complex systems. We present here a coupling between oriented percolation and ECA 178 and confirms observations made in [5] that percolation may arise in cellular automata. As a consequence this coupling shows that there is a positive probability that the ECA 178 does not reach a stable configuration as soon as the initial configuration is not a stable configuration and i¾?> 0.996. Experimentally, this result seems to stay true as soon as i¾?> i¾? c ≈ 0.5.

[1]  Henryk Fuks,et al.  Probabilistic cellular automata with conserved quantities , 2003, nlin/0305051.

[2]  T. E. Ingerson,et al.  Structure in asynchronous cellular automata , 1984 .

[3]  Damien Regnault,et al.  Progresses in the analysis of stochastic 2D cellular automata: A study of asynchronous 2D minority , 2007, Theor. Comput. Sci..

[4]  Maxime Crochemore,et al.  Finding Patterns In Given Intervals , 2007, Fundam. Informaticae.

[5]  Palash Sarkar,et al.  A brief history of cellular automata , 2000, CSUR.

[6]  Grégoire Nicolis,et al.  Synchronous versus asynchronous dynamics in spatially distributed systems , 1994 .

[7]  Damien Regnault,et al.  Abrupt Behaviour Changes in Cellular Automata under Asynchronous Dynamics , 2006 .

[8]  Henryk Fukś eb 2 00 3 Non-deterministic density classification with diffusive probabilistic cellular automata , .

[9]  Nazim Fatès,et al.  Asynchronous Behavior of Double-Quiescent Elementary Cellular Automata , 2006, LATIN.

[10]  Peter GBcsl Reliable Cellular Automata with Self-organization , 1997 .

[11]  Nicolas Ollinger The Intrinsic Universality Problem of One-Dimensional Cellular Automata , 2003, STACS.

[12]  Marcos Kiwi,et al.  LATIN 2006: Theoretical Informatics , 2006, Lecture Notes in Computer Science.

[13]  Nazim Fatès,et al.  An Experimental Study of Robustness to Asynchronism for Elementary Cellular Automata , 2004, Complex Syst..

[14]  C. Fortuin,et al.  On the random-cluster model: I. Introduction and relation to other models , 1972 .

[15]  Matthew Cook,et al.  Universality in Elementary Cellular Automata , 2004, Complex Syst..

[16]  B. Schönfisch,et al.  Synchronous and asynchronous updating in cellular automata. , 1999, Bio Systems.

[17]  Péter Gács,et al.  A Simple Three-Dimensional Real-Time Reliable Cellular Array , 1988, J. Comput. Syst. Sci..

[18]  Nazim Fatès,et al.  Fully Asynchronous Behavior of Double-Quiescent Elementary Cellular Automata , 2005, MFCS.

[19]  Geoffrey Grimmett The Random-Cluster Model , 2002, math/0205237.

[20]  Péter Gács,et al.  Reliable computation with cellular automata , 1983, J. Comput. Syst. Sci..

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

[22]  Béla Bollobás,et al.  Large deviations for mean field models of probabilistic cellular automata , 2006 .

[23]  Rodney A. Brooks,et al.  Asynchrony induces stability in cellular automata based models , 1994 .

[24]  D. V. Dmitriev,et al.  Antiferromagnetic Ising chain in a mixed transverse and longitudinal magnetic field , 2003 .

[25]  Michel Rigo,et al.  Abstract numeration systems and tilings , 2005 .

[26]  Nazim Fatès,et al.  Directed Percolation Phenomena in Asynchronous Elementary Cellular Automata , 2006, ACRI.