We study the out-of-equilibrium dynamics of the quantum cellular automaton known as "Rule 54". For a class of low-entangled initial states, we provide an analytic description of the effect of the global evolution on finite subsystems in terms of simple quantum channels, which gives access to the full thermalization dynamics at the microscopic level. As an example, we provide analytic formulae for the evolution of local observables and Rényi entropies. We show that, in contrast to other known examples of exactly solvable quantum circuits, Rule 54 does not behave as a simple Markovian bath on its own parts, and displays typical non-equilibrium features of interacting integrable many-body quantum systems such as finite relaxation rate and interaction-induced dressing effects. Our study provides a rare example where the full thermalization dynamics can be solved exactly at the microscopic level.
We introduce a novel method of quantum emulation of a classical reversible cellular automaton. By applying this method to a chaotic cellular automaton, the obtained quantum many-body system thermalizes while all the energy eigenstates and eigenvalues are solvable. These explicit solutions allow us to verify the validity of some scenarios of thermalization to this system. We find that two leading scenarios, the eigenstate thermalization hypothesis scenario and the large effective dimension scenario, do not explain thermalization in this model.
In this paper we study the space evolution in the Rule 54 reversible cellular automaton, which is a paradigmatic example of a deterministic interacting lattice gas. We show that the spatial translation of time configurations of the automaton is given in terms of local deterministic maps with the support that is small but bigger than that of the time evolution. The model is thus an example of space-time dual reversible cellular automaton, i.e. its dual is also (in general different) reversible cellular automaton. We provide two equivalent interpretations of the result; the first one relies on t…
Cellular automata have recently attracted a lot of attention as testbeds to explore the emergence of many-body quantum chaos and hydrodynamics. We consider the Rule 54 model, one of the simplest interacting integrable models featuring two species of quasiparticles (solitons), in the presence of an integrability-breaking perturbation that allows solitons to backscatter. We study the onset of thermalization and diffusive hydrodynamics in this model, compute perturbatively the diffusion constant of tracer particles, and comment on its relation to transport coefficients.
Inspired by extremely simplified view of the earthquakes we propose the stochastic domino cellular automaton model exhibiting avalanches. From elementary combinatorial arguments we derive a set of nonlinear equations describing the automaton. Exact relations between the average parameters of the model are presented. Depending on imposed triggering, the model reproduces both exponential and inverse power statistics of clusters.
We introduce a stochastic cellular automaton with power law spatial decaying long-range interactions. In some limit this model reduces to the Domany-Kinzel cellular automaton. Monte Carlo and mean field calculations of the phase diagram of the model for different ranges of interactions are compared.
A one-dimensional cellular automaton with a probabilistic evolution rule can generate stochastic surface growth in $(1 + 1)$ dimensions. Two such discrete models of surface growth are constructed from a probabilistic cellular automaton which is known to show a transition from a active phase to a absorbing phase at a critical probability associated with two particular components of the evolution rule. In one of these models, called model $A$ in this paper, the surface growth is defined in terms of the evolving front of the cellular automaton on the space-time plane. In the other model, called m…
We consider numerically the crossover scaling behavior from the directed percolation universality class to the compact directed percolation universality class within the one-dimensional Domany-Kinzel cellular automaton. Our results are compared to those of a recently performed field theoretical approach. In particular, the value of the crossover exponent phi=2 is confirmed.
We systematically investigate the effect of blockage sites in a cellular automaton model for traffic flow. Different scheduling schemes for the blockage sites are considered. None of them returns a linear relationship between the fraction of ``green'' time and the throughput. We use this information for a fast implementation of traffic in Dallas.
We introduce a new framework for constructing topological quantum memories, by recasting error recovery as a dynamical process on a field generating cellular automaton. We envisage quantum systems controlled by a classical hardware composed of small local memories, communicating with neighbours, and repeatedly performing identical simple update rules. This approach does not require any global operations or complex decoding algorithms. Our cellular automata draw inspiration from classical field theories, with a Coulomb-like potential naturally emerging from the local dynamics. For a 3D automato…
We investigate the inactive-active phase transition in an array of additive (exclusive-or) cellular automata under noise. The model is closely related with the Domany-Kinzel probabilistic cellular automaton, for which there are rigorous as well as numerical estimates on the transition probabilities. Here we characterize the critical behavior of the noisy additive cellular automaton by mean field analysis and finite-size scaling and show that its phase transition belongs to the directed percolation universality class of critical behavior. As a by-product of our analysis, we argue that the criti…
The one-dimensional dynamics of identical discrete elements that combine the properties of newtonian mechanical particles and cellular automata are investigated. It is shown that the motion of a cluster of combined discrete elements, which is the simplest observable object of the model, leads to the Feynman chessboard model whose continuous limit gives the Dirac equation.
We propose a new cellular automaton (CA), the Sweep Rule, which generalizes Toom's rule to any locally Euclidean lattice. We use the Sweep Rule to design a local decoder for the toric code in $d\geq 3$ dimensions, the Sweep Decoder, and rigorously establish a lower bound on its performance. We also numerically estimate the Sweep Decoder threshold for the three-dimensional toric code on the cubic and body-centered cubic lattices for phenomenological phase-flip noise. Our results lead to new CA decoders with provable error-correction thresholds for other topological quantum codes including the c…
We present a one dimensional reversible block cellular automaton, where the time evolution is dictated by a period 3 cycle of update rules. At each time step a subset of the cells is updated using a four site rule with two control bits and two action bits. The model displays rich dynamics. There are three types of stable particles, left movers, right movers and "frozen" bound states that only move as an effect of scattering with the left and right movers. Multi-particle scattering in the system is factorized. We embed the model into the canonical framework of Yang-Baxter integrability by rigor…
The cellular automaton model for traffic flow exhibits a jamming transition from a free-flow phase to a congested phase. In the deterministic case this transition corresponds to a critical point with diverging correlation length. In the presence of noise, however, no consistent picture has emerged up to now. We present data from numerical simulations which suggest the absence of critical behavior. The transition of the deterministic case is smeared out and one only observes the remnants of the critical point.
The first order phase transition of the three-dimensional Blume Capel are investigated using cooling algorithm which improved from Creutz Cellular Automaton for the $D/J=2.9$ parameter value in the first order phase transition region. The analysis of the data using the finite-size effect and the histogram technique indicate that the magnetic susceptibility maxima and the specific heat maxima increase with the system volume ($L^{d}$) at $% D/J=2.9$.
We present applications of a cellular automaton approach to pedestrian dynamics introduced in [1,2]. It is shown that the model is able to reproduce collective effects and self-organization phenomena encountered in pedestrian traffic, e.g. lane formation in counterflow through a large corridor and oscillations at doors. Furthermore we present simple examples where the model is applied to the simulation of evacuation processes.
Dynamic properties of a one-dimensional probabilistic cellular automaton are studied by monte-carlo simulation near a critical point which marks a second-order phase transition from a active state to a effectively unique absorbing state. Values obtained for the dynamic critical exponents indicate that the transition belongs to the universality class of directed percolation. Finally the model is compared with a previously studied one to show that a difference in the nature of the absorbing states places them in different universality classes.
The spin-1 Ising (BEG) model with the nearest-neighbour bilinear and biquadratic interactions and single-ion anisotropy is simulated on a cellular automaton which improved from the Creutz cellular automaton(CCA) for a simple cubic lattice. The simulations have been made for several sets of parameters $K/J$ and $D/J$ in the $-3<D/J\leq 0$ and $-1\leq K/J\leq 0$ parameter regions. The re-entrant and double re-entrant phase transitions of the BEG model are determined from the temperature variations of the thermodynamic quantities ($M$, $Q$ and $χ$). The phase diagrams characterizing phase transit…
The parity of a bit string of length $N$ is a global quantity that can be efficiently compute using a global counter in ${O} (N)$ time. But is it possible to find the parity using cellular automata with a set of local rule tables without using any global counter? Here, we report a way to solve this problem using a number of $r=1$ binary, uniform, parallel and deterministic cellular automata applied in succession for a total of ${O} (N^2)$ time.
We study the phase diagram and the critical behavior of a one-dimensional radius-1 two-state totalistic probabilistic cellular automaton having two absorbing states. This system exhibits a first-order phase transition between the fully occupied state and the empty state, two second-order phase transitions between a partially occupied state and either the fully occupied state or the empty state, and a second-order damage-spreading phase transition. It is found that all the second-order phase transitions have the same critical behavior as the directed percolation model. The mean-field approximat…
In this work a three-states cellular automaton proposed to describe part of a biological immune system is revisited. We obtain the dynamic critical exponent $z$ of the model by means of a recent technique that mixes different initial conditions. Moreover, by using two distinct approaches, we have also calculated the global persistence exponent $θ_{g}$, related to the probability that the order parameter of the model does not change its sign up to time $t$ [$P(t)\propto t^{-θ_{g}}$].
A new stochastic cellular automaton (CA) model of traffic flow, which includes slow-to-start effects and a driver's perspective, is proposed by extending the Burgers CA and the Nagel-Schreckenberg CA model. The flow-density relation of this model shows multiple metastable branches near the transition density from free to congested traffic, which form a wide scattering area in the fundamental diagram. The stability of these branches and their velocity distributions are explicitly studied by numerical simulations.
Nature of energy transport around a critical point is studied in the Creutz cellular automaton. Fourier heat law is confirmed to hold in this model by a direct measurement of heat flow under a temperature gradient. The thermal conductivity is carefully investigated near the phase transition by the use of the Kubo formula. As the result, the thermal conductivity is found to take a finite value at the critical point contrary to some previous works. Equal-time correlation of the heat flow is also analyzed by a mean-field type approximation to investigate the temperature dependence of thermal cond…
We study the order parameter probability distribution at the critical point for the three-dimensional spin-1/2 and spin-1 Ising models on the simple cubic lattice with periodic boundary conditions. The finite size scaling relation for the order parameter probability distribution is tested and verified numerically by microcanonical Creutz cellular automata simulations. The state critical exponent δ, which characteries the far tail regime of the scaling order parameter probability distribution, is estimated for 3-d Ising models using the cellular automaton simulations at the critical temperature…
We study a probabilistic cellular automaton to describe two population biology problems: the threshold of species coexistence in a predator-prey system and the spreading of an epidemic in a population. By carrying out time-dependent simulations we obtain the dynamic critical exponents and the phase boundaries (thresholds) related to the transition between an activestate, where prey and predators present a stable coexistence, and a prey absorbing state. The estimates for the critical exponents show that the transition belongs to the directed percolation universality class. In the limit where th…
In this paper we describe a relation between a microscopic stochastic traffic cellular automaton model (i.e., the STCA) and the macroscopic first-order continuum model (i.e., the LWR model). The innovative aspect is that we explicitly incorporate the STCA's stochasticity in the construction of the fundamental diagram used by the LWR model. We apply our methodology to a small case study, giving a comparison of both models, based on simulations, numerical, and analytical calculations of their tempo-spatial behavior.
We apply the transfer-matrix DMRG (TMRG) to a stochastic model, the Domany-Kinzel cellular automaton, which exhibits a non-equilibrium phase transition in the directed percolation universality class. Estimates for the stochastic time evolution, phase boundaries and critical exponents can be obtained with high precision. This is possible using only modest numerical effort since the thermodynamic limit can be taken analytically in our approach. We also point out further advantages of the TMRG over other numerical approaches, such as classical DMRG or Monte-Carlo simulations.
We investigate a cellular automaton (CA) model of traffic on a bi-directional two-lane road. Our model is an extension of the one-lane CA model of {Nagel and Schreckenberg 1992}, modified to account for interactions mediated by passing, and for a distribution of vehicle speeds. We chose values for the various parameters to approximate the behavior of real traffic. The density-flow diagram for the bi-directional model is compared to that of a one-lane model, showing the interaction of the two lanes. Results were also compared to experimental data, showing close agreement. This model helps bridg…
Based on a detailed microscopic test scenario motivated by recent empirical studies of single-vehicle data, several cellular automaton models for traffic flow are compared. We find three levels of agreement with the empirical data: 1) models that do not reproduce even qualitatively the most important empirical observations, 2) models that are on a macroscopic level in reasonable agreement with the empirics, and 3) models that reproduce the empirical data on a microscopic level as well. Our results are not only relevant for applications, but also shed new light on the relevant interactions in t…
We obtained the exact solution of a probabilistic cellular automaton related to the diagonal-to-diagonal transfer matrix of the six-vertex model on a square lattice. The model describes the flow of ants (or particles), traveling on a one-dimensional lattice whose sites are small craters containing sleeping or awake ants (two kinds of particles). We found the Bethe ansatz equations and the spectral gap for the time-evolution operator of the cellular automaton. From the spectral gap we show that in the asymmetric case it belongs to the Kardar-Parisi-Zhang (KPZ) universality class, exhibiting a d…
Recently Prosen and Mejía-Monasterio (J. Phys. A: Math. Theor. 49 (2016) 185003) obtained exact nonequilibrium steady states of an integrable and reversible cellular automaton driven by some stochastic boundary conditions. In this paper, we explore the possible extensions of their method by generalizing the boundary conditions. As the result, we find two cases where such an extension is possible. One is the case where a special condition is satisfied in a generalized boundary condition. The other is obtained by considering a conserved quantity as energy and boundaries as heat reservoirs. The l…
We introduce an efficient cellular automaton for the coagulation-fission process with diffusion 2A->3A, 2A->A in arbitrary dimensions. As the well-known Domany-Kinzel model, it is defined on a tilted hypercubic lattice and evolves by parallel updates. The model exhibits a non-equilibrium phase transition from an active into an absorbing phase and its critical properties are expected to be of the same type as in the pair contact process with diffusion. High-precision simulations on a parallel computer suggest that various quantities of interest do not show the expected power-law scaling, callin…
We study the growing patterns formed by a deterministic cellular automaton, the rotor-router model, in the presence of quenched noise. By the detailed study of two cases, we show that: (a) the boundary of the pattern displays KPZ fluctuations with a Tracy-Widom distribution, (b) as one increases the amount of randomness, the rotor-router path undergoes a transition from a recurrent to a transient walk. This transition is analysed here for the first time, and it is shown that it falls in the 3D Anisotropic Directed Percolation universality class.
In a roughening process, the growth exponent $β$ describes how the roughness $w$ grows with the time $t$: $w\sim t^β$. We determine the exponent $β$ of a growth process generated by the spatiotemporal patterns of the one dimensional Domany-Kinzel cellular automaton. The values obtained for $β$ shows a cusp at the frozen/active transition which permits determination of the transition line. The $β$ value at the transition depends on the scheme used: symmetric ($β\sim 0.83$) or non-symmetric ($β\sim 0.61$). Using damage spreading ideas, we also determine the active/chaotic transition line; this l…
The jamming behavior of a single lane traffic model based on a cellular automaton approach is studied. Our investigations concentrate on the so-called VDR model which is a simple generalization of the well-known Nagel-Schreckenberg model. In the VDR model one finds a separation between a free flow phase and jammed vehicles. This phase separation allows to use random walk like arguments to predict the resolving probabilities and lifetimes of jam clusters or disturbances. These predictions are in good agreement with the results of computer simulations and even become exact for a special case of …
Thermal noise in a cellular automaton refers to a random perturbation to its function which eventually leads this automaton to an equilibrium state controlled by a temperature parameter. We study the 1-dimensional majority-3 cellular automaton under this model of noise. Without noise, each cell in this automaton decides its next state by majority voting among itself and its left and right neighbour cells. Transfer matrix analysis shows that the automaton always reaches a state in which every cell is in one of its two states with probability 1/2 and thus cannot remember even one bit of informat…
We propose and study a new one-dimensional traffic flow cellular automaton (CA) model of high speed vehicles with the Fukui-Ishibashi-type acceleration for all cars and the Nagel-Schreckenberg-type (NS) stochastic delay only for the cars following the trail of the car ahead. The main difference in the delay scenario between the new model and the NS model is that a car with spacing ahead longer than the velocity limit $M$ may not be delayed in the new model. By using a car-oriented mean field theory, we derive the fundamental diagrams of the average speed as the function of car density analytic…
We study the dynamics of a bulk deterministic Floquet model, the Rule 201 synchronous one-dimensional reversible cellular automaton (RCA201). The system corresponds to a deterministic, reversible, and discrete version of the PXP model, whereby a site flips only if both its nearest neighbours are unexcited. We show that the RCA201/Floquet-PXP model exhibits ballistic propagation of interacting quasiparticles - or solitons - corresponding to the domain walls between non-trivial three-fold vacuum states. Starting from the quasiparticle picture, we find the exact matrix product state form of the n…
We construct the {\it quasi-stationary} (QS) probability distribution for the Domany-Kinzel stochastic cellular automaton (DKCA), a discrete-time Markov process with an absorbing state. QS distributions are derived at both the one- and two-site levels. We characterize the distribuitions by their mean, and various moment ratios, and analyze the lifetime of the QS state, and the relaxation time to attain this state. Of particular interest are the scaling properties of the QS state along the critical line separating the active and absorbing phases. These exhibit a high degree of similarity to the…
In this paper computer simulation results of higher order density correlation for cellular automaton models of traffic flow are presented. The examinations show the jamming transition as a function of both the density and the magnitude of noise and allow to calculate the velocity of upstream moving jams. This velocity is independent of the density and decreases with growing noise. The point of maximum flow in the fundamental diagram determines its value. For that it is not necessary to define explicitly jams in the language of the selected model, but only based upon the well defined characteri…
A cellular automaton model is presented for random walkers with biologically motivated interactions favoring local alignment and leading to collective motion or swarming behavior. The degree of alignment is controlled by a sensitivity parameter, and a dynamical phase transition exhibiting spontaneous breaking of rotational symmetry occurs at a critical parameter value. The model is analyzed using nonequilibrium mean field theory: Dispersion relations for the critical modes are derived, and a phase diagram is constructed. Mean field predictions for the two critical exponents describing the phas…
We present a 2-dimensional cellular automaton model for the simulation of pedestrian dynamics. The model is extremely efficient and allows simulations of large crowds faster than real time since it includes only nearest-neighbour interactions. Nevertheless it is able to reproduce collective effects and self-organization encountered in pedestrian dynamics. This is achieved by introducing a so-called floor field which mediates the long-range interactions between the pedestrians. This field modifies the transition rates to neighbouring cells. It has its own dynamics (diffusion and decay) and can …
A general stochastic traffic cellular automaton (CA) model, which includes slow-to-start effect and driver's perspective, is proposed in this paper. It is shown that this model includes well known traffic CA models such as Nagel-Schreckenberg model, Quick-Start model, and Slow-to-Start model as specific cases. Fundamental diagrams of this new model clearly show metastable states around the critical density even when stochastic effect is present. We also obtain analytic expressions of the phase transition curve in phase diagrams by using approximate flow-density relations at boundaries. These p…
We study the impact of a localized defect in a cellular automaton model for traffic flow which exhibits metastable states and phase separation. The defect is implemented by locally limiting the maximal possible flow through an increase of the deceleration probability. Depending on the magnitude of the defect three phases can be identified in the system. One of these phases shows the characteristics of stop-and-go traffic which can not be found in the model without lattice defect. Thus our results provide evidence that even in a model with strong phase separation stop-and-go traffic can occur i…
Stochastic surface growth models aid in studying properties of universality classes like the Kardar--Paris--Zhang class. High precision results obtained from large scale computational studies can be transferred to many physical systems. Many properties, such as roughening and some two-time functions can be studied using stochastic cellular automaton (SCA) variants of stochastic models. Here we present a highly efficient SCA implementation of a surface growth model capable of simulating billions of lattice sites on a single GPU. We also provide insight into cases requiring arbitrary random prob…
The mixed spin 3- spin 3/2 Ising model has been simulated using cooling algorithm on cellular automaton (CA). The simulations have been made in the interval -6<=D<=6 for J=1 for the square lattices with periodic boundary conditions. The ground state phase diagram of the model has different type ferrimagnetic orderings. Through D/J=2 line, compensation points occurs at kT/J=0. The values of the critical exponents ( ν, α, β and γ) are estimated within the framework of the finite-size scaling theory and power law relations for selected D/J values (-2, 0, 1, 2 and 4). The estimated critical expone…
We present theoretical arguments and simulation data indicating that the scaling of earthquake events in models of faults with long-range stress transfer is composed of at least three distinct regions. These regions correspond to three classes of earthquakes with different underlying physical mechanisms. In addition to the events that exhibit scaling, there are larger ``breakout'' events that are not on the scaling plot. We discuss the interpretation of these events as fluctuations in the vicinity of a spinodal critical point.
We present simulations of evacuation processes using a recently introduced cellular automaton model for pedestrian dynamics. This model applies a bionics approach to describe the interaction between the pedestrians using ideas from chemotaxis. Here we study a rather simple situation, namely the evacuation from a large room with one or two doors. It is shown that the variation of the model parameters allows to describe different types of behaviour, from regular to panic. We find a non-monotonic dependence of the evacuation times on the coupling constants. These times depend on the strength of t…
A deterministic cellular automaton rule defined on the Moore neighbourhood is studied as a model of epidemic propagation. The directed nature of the interaction between cells allows one to introduce the dependence on a disorder parameter that determines the fraction of ``in-phase'' cells. Phase-disorder is shown to produce peculiar changes in the dynamical and statistical properties of the different evolution regimes obtained by varying the infection and the immunization periods. In particular, the finite-velocity spreading of perturbations, characterizing chaotic evolution, can be prevented b…
