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:2106.01292

Reversible Cellular Automata as Integrable Interactions Round-a-Face: Deterministic, Stochastic, and Quantized

Tomaž Prosen

Published Jun 2, 2021• 10 citations
arXivHTMLPDF

Abstract

A family of reversible deterministic cellular automata, including the rules 54 and 201 of [Bobenko et al., Commun. Math. Phys. 158, 127 (1993)] as well as their kinetically constrained quantum (unitary) or stochastic deformations, is shown to correspond to integrable Floquet circuit models with local interactions round-a-face. Using inhomogeneous solutions of the star-triangle relation with a one or two dimensional spectral parameter, changing their functional form depending on the orientation, we provide an explicit construction of the transfer matrix and establish its conservation law and involutivity properties. Integrability is independently demonstrated by numerically exploring the spectral statistics via the Berry-Tabor conjecture. Curiously, we find that the deformed rule 54 model generically possesses no other local conserved quantities besides the net soliton current.

DOI
10.48550/arxiv.2106.01292

Related papers

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

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

Chiara Paletta, Tomaž Prosen

Abstract 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 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.

Journal of Physics A Mathematical and Theoretical•Jul 29, 2026•0 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

Exact matrix product decay modes of a boundary driven cellular automaton

Prosen, Tomaž, Buča, Berislav

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.

•Mar 2, 2018•40 citations

Exact matrix product decay modes of a boundary driven cellular automaton

Tomaž Prosen, Berislav Buča

We study integrability properties of a reversible deterministic cellular automaton (Rule 54 of (Bobenko et al 1993 Commun. Math. Phys . 158 127)) 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.

arXiv:1705.06645•Journal of Physics A Mathematical and Theoretical•Aug 11, 2017•32 citations

On Two Non-Ergodic Reversible Cellular Automata, One Classical, the Other Quantum

Tomaž Prosen

We propose and discuss two variants of kinetic particle models—cellular automata in 1 + 1 dimensions—that have some appeal due to their simplicity and intriguing properties, which could warrant further research and applications. The first model is a deterministic and reversible automaton describing two species of quasiparticles: stable massless matter particles moving with velocity ±1 and unstable standing (zero velocity) field particles. We discuss two distinct continuity equations for three conserved charges of the model. While the first two charges and the corresponding currents have support of three lattice sites and represent a lattice analogue of the conserved energy–momentum tensor, we find an additional conserved charge and current with support of nine sites, implying non-ergodic behaviour and potentially signalling integrability of the model with a highly nested R-matrix structure. The second model represents a quantum (or stochastic) deformation of a recently introduced and studied charged hardpoint lattice gas, where particles of different binary charge (±1) and binary velocity (±1) can nontrivially mix upon elastic collisional scattering. We show that while the unitary evolution rule of this model does not satisfy the full Yang–Baxter equation, it still satisfies an intriguing related identity which gives birth to an infinite set of local conserved operators, the so-called glider operators.

arXiv:2304.01130•Entropy•Apr 30, 2023•4 citations
A family of reversible deterministic cellular automata, including the rules 54 and 201 of [Bobenko et al., Commun. Math. Phys. 158, 127 (1993)] as well as their kinetically constrained quantum (unitary) or stochastic deformations, is shown to correspond to integrable Floquet circuit models with local interactions round-a-face. Using inhomogeneous solutions of the star-triangle relation with a one or two dimensional spectral parameter, changing their functional form depending on the orientation, we provide an explicit construction of the transfer matrix and establish its conservation law and involutivity properties. Integrability is independently demonstrated by numerically exploring the spectral statistics via the Berry-Tabor conjecture. Curiously, we find that the deformed rule 54 model generically possesses no other local conserved quantities besides the net soliton current.
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.
Abstract 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 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.
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.
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.
We study integrability properties of a reversible deterministic cellular automaton (Rule 54 of (Bobenko et al 1993 Commun. Math. Phys . 158 127)) 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.
We propose and discuss two variants of kinetic particle models—cellular automata in 1 + 1 dimensions—that have some appeal due to their simplicity and intriguing properties, which could warrant further research and applications. The first model is a deterministic and reversible automaton describing two species of quasiparticles: stable massless matter particles moving with velocity ±1 and unstable standing (zero velocity) field particles. We discuss two distinct continuity equations for three conserved charges of the model. While the first two charges and the corresponding currents have support of three lattice sites and represent a lattice analogue of the conserved energy–momentum tensor, we find an additional conserved charge and current with support of nine sites, implying non-ergodic behaviour and potentially signalling integrability of the model with a highly nested R-matrix structure. The second model represents a quantum (or stochastic) deformation of a recently introduced and studied charged hardpoint lattice gas, where particles of different binary charge (±1) and binary velocity (±1) can nontrivially mix upon elastic collisional scattering. We show that while the unitary evolution rule of this model does not satisfy the full Yang–Baxter equation, it still satisfies an intriguing related identity which gives birth to an infinite set of local conserved operators, the so-called glider operators.