Phase transitions in probabilistic cellular automata

We investigate the low-noise regime of a large class of probabilistic cellular automata, including the North-East-Center model of Toom. They are defined as stochastic perturbations of cellular automata with a binary state space and a monotonic transition function and possessing a property of erosion. These models were studied by Toom, who gave both a criterion for erosion and a proof of the stability of homogeneous space-time configurations. Basing ourselves on these major findings, we prove, for a set of initial conditions, exponential convergence of the induced processes toward the extremal invariant measure with a highly predominant state. We also show that this invariant measure presents exponential decay of correlations in space and in time and is therefore strongly mixing. This result is due to joint work with Augustin de Maere. For the two-dimensional probabilistic cellular automata in the same class and for the same extremal invariant measure, we give an upper bound to the probability of a block of cells with the opposite state. The upper bound decreases exponentially fast as the diameter of the block increases. This upper bound complements, for dimension 2, a lower bound of the same form obtained for any dimension greater than 1 by Fernandez and Toom. In order to prove these results, we use graphical objects that were introduced by Toom and we give a review of their construction.

[1]  Lise Ponselet,et al.  Exponential Decay of Correlations for Strongly Coupled Toom Probabilistic Cellular Automata , 2011, 1110.1540.

[2]  A simple stochastic cluster dynamics: rigorous results , 1991 .

[3]  Kellen Petersen August.  Real Analysis , 2009 .

[4]  Paula Gonzaga Sá,et al.  The Gacs-Kurdyumov-Levin automaton revisited , 1992 .

[5]  R. Fernández,et al.  Non-Gibbsianness of the invariant measures of non-reversible cellular automata with totally asymmetric noise , 2001, math-ph/0101014.

[6]  Jean Mairesse,et al.  A non-ergodic probabilistic cellular automaton with a unique invariant measure , 2010 .

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

[8]  Roberto H. Schonmann,et al.  Threshold θ ≥ 2 contact processes on homogeneous trees , 2008 .

[9]  G. Vichniac.  Simulating physics with cellular automata , 1984 .

[10]  Kihong Park,et al.  Ergodicity and mixing rate of one-dimensional cellular automata , 1997 .

[11]  B. Cipra.  An introduction to the Ising model , 1987 .

[12]  G. Keller,et al.  Communications in Mathematical Physics Uniqueness of the SRB Measure for Piecewise Expanding Weakly Coupled Map Lattices in Any Dimension , 2022 .

[13]  Béla Bollobás,et al.  Phase transitions in the neuropercolation model of neural populations with mixed local and non-local interactions , 2005, Biological Cybernetics.

[14]  A. Sokal,et al.  Regularity properties and pathologies of position-space renormalization-group transformations: Scope and limitations of Gibbsian theory , 1991, hep-lat/9210032.

[15]  Exponential convergence of Toom's probabilistic cellular automata , 1993 .

[16]  Lawrence Gray,et al.  A Reader's Guide to Gacs's “Positive Rates” Paper , 2001 .

[17]  Maury Bramson,et al.  A Useful Renormalization Argument , 1991 .

[18]  J. Lebowitz,et al.  Statistical mechanics of probabilistic cellular automata , 1990 .

[19]  Xiaofeng Xue.  Critical Density Points for Threshold Voter Models on Homogeneous Trees , 2012 .

[20]  J. R. G. Mendonça.  Monte Carlo investigation of the critical behavior of Stavskaya's probabilistic cellular automaton. , 2011, Physical review. E, Statistical, nonlinear, and soft matter physics.

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

[22]  Lawrence Gray,et al.  The Behavior of Processes with Statistical Mechanical Properties , 1987 .

[23]  Marina Diakonova,et al.  Mathematical Examples of Space-Time Phases , 2011, Int. J. Bifurc. Chaos.

[24]  Piotr Berman,et al.  Investigations of fault-tolerant networks of computers , 1988, STOC '88.

[25]  Bennett,et al.  Role of irreversibility in stabilizing complex and nonergodic behavior in locally interacting discrete systems. , 1985, Physical review letters.

[26]  Tommaso Toffoli,et al.  Cellular automata machines - a new environment for modeling , 1987, MIT Press series in scientific computation.

[27]  Béla Bollobás,et al.  Random majority percolation , 2010, Random Struct. Algorithms.

[28]  Lawrence Gray,et al.  The positive rates problem for attractive nearest neighbor spin systems on ℤ , 1982 .

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

[30]  R. Peierls.  On Ising's model of ferromagnetism , 1936, Mathematical Proceedings of the Cambridge Philosophical Society.

[31]  Stavskaya's Measure Is Weakly Gibbsian , 2006 .

[32]  S. Shlosman,et al.  (Almost) Gibbsian Description of the Sign Fields of SOS Fields , 1998 .

[33]  Peter Gacs,et al.  A new version of Toom's proof , 1995, ArXiv.

[34]  A. Montanari,et al.  Majority dynamics on trees and the dynamic cavity method , 2009, 0907.0449.

[35]  A. D. Maere.  Phase Transition and Correlation Decay in Coupled Map Lattices , 2009, 0906.3017.

[36]  D Makowiec.  Stationary states of Toom cellular automata in simulations. , 1999, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[37]  Kim C. Border,et al.  Infinite Dimensional Analysis: A Hitchhiker’s Guide , 1994 .

[38]  A. Toom,et al.  Chapter 4 CELLULAR AUTOMATA WITH ERRORS: PROBLEMS for STUDENTS of PROBABILITY , 2005 .

[39]  V. Klee,et al.  Helly's theorem and its relatives , 1963 .