In this paper we study the statistical properties of a reversible cellular automaton in two out-of-equilibrium settings. In the first part we consider two instances of the initial value problem, corresponding to the inhomogeneous quench and the local quench. Our main result is an exact matrix product expression of the time evolution of the probability distribution, which we use to determine the time evolution of the density profiles analytically. In the second part we study the model on a finite lattice coupled with stochastic boundaries. Once again we derive an exact matrix product expression of the stationary distribution, as well as the particle current and density profiles in the stationary state. The exact expressions reveal the existence of different phases with either ballistic or diffusive transport depending on the boundary parameters.
In this paper we study the statistical properties of a reversible cellular automaton in two out-of-equilibrium settings. In the first part we consider two instances of the initial value problem, corresponding to the inhomogeneous quench and the local quench. Our main result is an exact matrix product expression of the time evolution of the probability distribution, which we use to determine the time evolution of the density profiles analytically. In the second part we study the model on a finite lattice coupled with stochastic boundaries. Once again we derive an exact matrix product expression of the stationary distribution, as well as the particle current and density profiles in the stationary state. The exact expressions reveal the existence of different phases with either ballistic or diffusive transport depending on the boundary parameters.
In this paper we study the statistical properties of a reversible cellularautomaton in two out-of-equilibrium settings. In the first part we consider twoinstances of the initial value problem, corresponding to the inhomogeneousquench and the local quench. Our main result is an exact matrix productexpression of the time evolution of the probability distribution, which we useto determine the time evolution of the density profiles analytically. In thesecond part we study the model on a finite lattice coupled with stochasticboundaries. Once again we derive an exact matrix product expression of thestationary distribution, as well as the particle current and density profilesin the stationary state. The exact expressions reveal the existence ofdifferent phases with either ballistic or diffusive transport depending on theboundary parameters.
Abstract We review recent results on an exactly solvable model of nonequilibrium statistical mechanics, specifically the classical rule 54 reversible cellular automaton and some of its quantum extensions. We discuss the exact microscopic description of nonequilibrium dynamics as well as the equilibrium and nonequilibrium stationary states. This allows us to obtain a rigorous handle on the corresponding emergent hydrodynamic description, which is treated as well. Specifically, we focus on two different paradigms of rule 54 dynamics. Firstly, we consider a finite chain driven by stochastic boundaries, where we provide exact matrix product descriptions of the nonequilibrium steady state, most relevant decay modes, as well as the eigenvector of the tilted Markov chain yielding exact large deviations for a broad class of local and extensive observables. Secondly, we treat the explicit dynamics of macro-states on an infinite lattice and discuss exact closed form results for dynamical structure factor, multi-time-correlation functions and inhomogeneous quenches. Remarkably, these results prove that the model, despite its simplicity, behaves like a regular fluid with coexistence of ballistic (sound) and diffusive (heat) transport. Finally, we briefly discuss quantum interpretation of rule 54 dynamics and explicit results on dynamical spreading of local operators and operator entanglement.
We study the dynamics and statistics of the Rule 150 reversible cellular automaton (RCA). This is a one-dimensional lattice system of binary variables with synchronous (Floquet) dynamics that corresponds to a bulk deterministic and reversible discretized version of the kinetically constrained "exclusive one-spin facilitated" (XOR) Fredrickson-Andersen (FA) model, where the local dynamics is restricted: A site flips if and only if its adjacent sites are in different states from each other. Similar to other RCA that have been recently studied, such as Rule 54 and Rule 201, the Rule 150 RCA is integrable, however, in contrast is noninteracting: The emergent quasiparticles, which are identified by the domain walls, behave as free fermions. This property allows us to solve the model by means of matrix product ansatz. In particular, we find the exact equilibrium and nonequilibrium stationary states for systems with closed (periodic) and open (stochastic) boundaries, respectively, resolve the full spectrum of the time evolution operator and, therefore, gain access to the relaxation dynamics, and obtain the exact large deviation statistics of dynamical observables in the long-time limit.
Abstract We propose an interacting many-body space–time-discrete Markov chain model, which is composed of an integrable deterministic and reversible cellular automaton (rule 54 of Bobenko et al 1993 Commun. Math. Phys. 158 127 ) on a finite one-dimensional lattice , and local stochastic Markov chains at the two lattice boundaries which provide chemical baths for absorbing or emitting the solitons. Ergodicity and mixing of this many-body Markov chain is proven for generic values of bath parameters, implying the existence of a unique nonequilibrium steady state . The latter is constructed exactly and explicitly in terms of a particularly simple form of matrix product ansatz which is termed a patch ansatz. This gives rise to an explicit computation of observables and k -point correlations in the steady state as well as the construction of a nontrivial set of local conservation laws. The feasibility of an exact solution for the full spectrum and eigenvectors (decay modes) of the Markov matrix is suggested as well. We conjecture that our ideas can pave the road towards a theory of integrability of boundary driven classical deterministic lattice systems.
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 neighbors are unexcited. We show that the RCA201 (Floquet-PXP) model exhibits ballistic propagation of interacting quasiparticles-or solitons-corresponding to the domain walls between nontrivial threefold vacuum states. Starting from the quasiparticle picture, we find the exact matrix product state form of the nonequilibrium stationary state for a range of boundary conditions, including both periodic and stochastic. We discuss further implications of the integrability of the model.
We study integrability properties of a reversible deterministic cellular automaton (the rule 54 of [Bobenko et al., Commun. Math. Phys. 158, 127 (1993)]) and present a bulk algebraic relation and its inhomogeneous extension which allow for an explicit construction of Liouvillian decay modes for two distinct families of stochastic boundary driving. The spectrum of the many-body stochastic matrix defining the time propagation is found to separate into sets, which we call orbitals, and the eigenvalues in each orbital are found to obey a distinct set of Bethe-like equations. We construct the decay modes in the first orbital (containing the leading decay mode) in terms of an exact inhomogeneous matrix product ansatz, study the thermodynamic properties of the spectrum and the scaling of its gap, and provide a conjecture for the Bethe-like equations for all the orbitals and their degeneracy.