Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2110.15085 · Physical review. E

Exact solution of the “Rule 150” reversible cellular automaton

Joseph W. P. Wilkinson, Tomaž Prosen, Juan P. Garrahan

Published Mar 17, 2022• 12 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1103/physreve.105.034124

Related papers

Exact solution of the Floquet-PXP cellular automaton

Joseph W. P. Wilkinson, Katja Klobas, Tomaž Prosen +1 more

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.

arXiv:2006.06556•Physical review. E•Dec 3, 2020•31 citations

Rule 54: exactly solvable model of nonequilibrium statistical mechanics

Berislav Buča, Katja Klobas, Tomaž Prosen

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.

arXiv:2103.16543•Journal of Statistical Mechanics Theory and Experiment•Jul 1, 2021•64 citations

Two-species hardcore reversible cellular automaton: matrix ansatz for dynamics and nonequilibrium stationary state

Marko Medenjak, Vladislav Popkov, Tomaž Prosen +2 more

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.

arXiv:1903.10590•SciPost Physics•Jun 24, 2019•15 citations

Integrability of a deterministic cellular automaton driven by stochastic boundaries

Tomaž Prosen, Carlos Mejía-Monasterio

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.

arXiv:1512.01385•Journal of Physics A Mathematical and Theoretical•Apr 1, 2016•59 citations

Two-species hardcore reversible cellular automaton: matrix ansatz for dynamics and nonequilibrium stationary state

Marko Medenjak, Vladislav Popkov, Tomaž Prosen +2 more

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.

•Jan 1, 2019•19 citations

On the integrability structure of the deformed rule-54 reversible cellular automaton

Chiara Paletta, Tomaž Prosen

We study quantum and stochastic deformations of the rule-54 reversible cellular automaton (RCA54) on a 1+1-dimensional spatiotemporal lattice, focusing on their integrability structures in two distinct settings. First, for the quantum deformation, which turns the model into an interaction-round-a-face brickwork quantum circuit (either on an infinite lattice or with periodic boundary conditions), we show that the shortest-range nontrivial conserved charge commuting with the discrete-time evolution operator has a density supported on six consecutive sites. By constructing the corresponding range-6 Lax operator, we prove that this charge belongs to an infinite tower of mutually commuting conserved charges generated by higher-order logarithmic derivatives of the transfer matrix. With the aid of an intertwining operator, we further prove that the transfer matrix commutes with the discrete-time evolution operator. Second, for the stochastic deformation, which renders the model into a Markov-chain circuit, we investigate open boundary conditions that couple the system at its edges to stochastic reservoirs. In this setting, we explicitly construct the non-equilibrium steady state (NESS) by means of a staggered patch matrix ansatz, a hybrid construction combining the previously used commutative patch-state ansatz for the undeformed RCA54 with the matrix-product ansatz. Finally, we propose a simple empirical criterion for detecting integrability or exact solvability in a given model setup, introducing the notion of digit complexity.

math-phCross-listedarXiv:2603.25424•Mar 27, 2026•0 citations
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.
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.
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.
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.
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.
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.
We study quantum and stochastic deformations of the rule-54 reversible cellular automaton (RCA54) on a 1+1-dimensional spatiotemporal lattice, focusing on their integrability structures in two distinct settings. First, for the quantum deformation, which turns the model into an interaction-round-a-face brickwork quantum circuit (either on an infinite lattice or with periodic boundary conditions), we show that the shortest-range nontrivial conserved charge commuting with the discrete-time evolution operator has a density supported on six consecutive sites. By constructing the corresponding range-6 Lax operator, we prove that this charge belongs to an infinite tower of mutually commuting conserved charges generated by higher-order logarithmic derivatives of the transfer matrix. With the aid of an intertwining operator, we further prove that the transfer matrix commutes with the discrete-time evolution operator. Second, for the stochastic deformation, which renders the model into a Markov-chain circuit, we investigate open boundary conditions that couple the system at its edges to stochastic reservoirs. In this setting, we explicitly construct the non-equilibrium steady state (NESS) by means of a staggered patch matrix ansatz, a hybrid construction combining the previously used commutative patch-state ansatz for the undeformed RCA54 with the matrix-product ansatz. Finally, we propose a simple empirical criterion for detecting integrability or exact solvability in a given model setup, introducing the notion of digit complexity.