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:2107.02184 · Journal of Mathematical Physics

Integrable spin chains and the Clifford group

Nick G. Jones, Noah Linden

Published Oct 1, 2022• 12 citations
arXivHTMLPDF

Abstract

We construct new families of spin chain Hamiltonians that are local, integrable, and translationally invariant. To do so, we make use of the Clifford group that arises in quantum information theory. We consider translation invariant Clifford group transformations that can be described by matrix product operators (MPOs). We classify translation invariant Clifford group transformations that consist of a shift operator and an MPO of bond dimension two—this includes transformations that preserve locality of all Hamiltonians and those that lead to non-local images of particular operators but, nevertheless, preserve locality of certain Hamiltonians. We characterize translation invariant Clifford group transformations that take single-site Pauli operators to local operators on at most five sites—examples of Quantum Cellular Automata—leading to a discrete family of Hamiltonians that are equivalent to the canonical XXZ model under such transformations. For spin chains solvable by the algebraic Bethe ansatz, we explain how conjugating by an MPO affects the underlying integrable structure. This allows us to relate our results to the usual classifications of integrable Hamiltonians. We also treat the case of spin chains solvable by free fermions.

DOI
10.1063/5.0095870

Related papers

Two-parameter families of matrix product operator integrals of motion in Heisenberg spin chains

Vsevolod I. Yashin

Recently, Fendley et al. (2025) [arXiv:2511.04674] revealed a new simple way to demonstrate the integrability of XYZ Heisenberg model by constructing a one-parameter family of integrals of motion in the matrix product operator (MPO) form with bond dimension 4. In this work, I report on the discovery of two-parameter families of MPOs that commute with Heisenberg spin chain Hamiltonian in case of various anisotropies (XXX, XXZ, XX, XY and XYZ). These solutions are connected by taking appropriate limits. For all cases except XYZ, I also write down Floquet charges of two-step Floquet protocols corresponding to the Trotterization. I describe a symbolic algebra approach for finding such integrals of motion and speculate about possible generalizations and applications.

cond-mat.stat-mechCross-listedarXiv:2602.19741•Feb 24, 2026•0 citations

Matrix-product operator dualities in integrable lattice models

Yuan Miao, Andras Molnar, Nick G. Jones

Matrix-product operators (MPOs) appear throughout the study of integrable lattice models, notably as the transfer matrices. They can also be used as transformations to construct dualities between such models, both invertible (including unitary) and non-invertible (including discrete gauging). We analyse how the local Yang--Baxter integrable structures are modified under such dualities. We see that the $\check{R}$-matrix, that appears in the baxterization approach to integrability, transforms in a simple manner. We further argue for a broad class of MPO dualities that the usual Yang--Baxter $R$-matrix should be extended. This extended $R$-matrix satisfies modified algebraic relations, including a modified Yang--Baxter algebra previously identified in the unitary case, that altogether give a local integrable structure underlying the commuting transfer matrices of the dual model. We illustrate these results with two case studies, analysing an invertible unitary MPO and a non-invertible MPO both applied to the canonical XXZ spin chain. The former is the cluster entangler, arising in the study of symmetry-protected topological phases, while the latter is the Kramers--Wannier duality. We show several results for MPOs with exact MPO inverses that are of independent interest.

cond-mat.stat-mechCross-listedarXiv:2602.17436•Journal of Physics A Mathematical and Theoretical•Feb 20, 2026•0 citations

Commuting Pauli Hamiltonians as maps between free modules

Jeongwan Haah

Abstract. We study unfrustrated spin Hamiltonians that consist of commuting tensor products of Pauli matrices. Assuming translation-invariance, a family of Hamiltonians that belong to the same phase of matter is described by a map between modules over the translation-group algebra, so homological methods are applicable. In any dimension every point-like charge appears as a vertex of a fractal operator, and can be isolated with energy barrier at most logarithmic in the separation distance. For a topologically ordered system in three dimensions, there must exist a point-like nontrivial charge. A connection between the ground state degeneracy and the number of points on an algebraic set is discussed. Tools to handle local Clifford unitary transformations are given.

•Jan 1, 2012•99 citations

Integrable spin chains and cellular automata with medium-range interaction

Tamás Gombor, Balázs Pozsgay

We study integrable spin chains and quantum and classical cellular automata with interaction range ℓ≥3. This is a family of integrable models for which there was no general theory so far. We develop an algebraic framework for such models, generalizing known methods from nearest-neighbor interacting chains. This leads to a new integrability condition for medium-range Hamiltonians, which can be used to classify such models. A partial classification is performed in specific cases, including U(1)-symmetric three-site interacting models, and Hamiltonians that are relevant for interaction-round-a-face models. We find a number of models which appear to be new. As an application we consider quantum brickwork circuits of various types, including those that can accommodate the classical elementary cellular automata on light cone lattices. In this family we find that the so-called Rule150 and Rule105 models are Yang-Baxter integrable with three-site interactions. We present integrable quantum deformations of these models, and derive a set of local conserved charges for them. For the famous Rule54 model we find that it does not belong to the family of integrable three-site models, but we cannot exclude Yang-Baxter integrability with longer interaction ranges.

arXiv:2108.02053•Physical review. E•Nov 22, 2021•82 citations

A Classification of Invertible Stabilizer Codes

Geiko, Roman, Shuklin, Georgii

We develop a framework for the classification of invertible translation-invariant stabilizer codes modulo condensation and stabilization with simple codes. Our stabilizer codes generalize the Pauli codes: they are extracted from local commuting projector Hamiltonians whose terms are made of local alphabets more general than the Pauli operators. In particular, not all such codes can be entangled/disentangled with Clifford Quantum Cellular Automata. We compute their Witt-equivalence classes in any spatial dimension in terms of relative L-theory groups. In particular, we show that the group of equivalence classes of such codes in three spatial dimensions is isomorphic to the Witt group of abelian topological orders in two spatial dimensions. In four spatial dimensions we obtain a group of order two, conjecturally corresponding to the non-trivial invertible phase. Additionally, we propose a representing spectrum for the generalized cohomology theory corresponding to the invertible stabilizer codes.

arXiv:2512.01142•Nov 30, 2025•0 citations

Clifford quantum cellular automata: Trivial group in 2D and Witt group in 3D

Jeongwan Haah

We study locality preserving automorphisms of operator algebras on D-dimensional uniform lattices of prime p-dimensional qudits quantum cellular automata (QCAs), specializing in those that are translation invariant (TI), and map every prime p-dimensional Pauli matrix to a tensor product of Pauli matrices (Clifford). We associate antihermitian forms of the unit determinant over Laurent polynomial rings to TI Clifford QCA with lattice boundaries and prove that the form determines the QCA up to Clifford circuits and shifts (trivial). It follows that every 2D TI Clifford QCA is trivial since the antihermitian form in this case is always trivial. Furthermore, we prove that for any D, the fourth power of any TI Clifford QCA is trivial. We present explicit examples of nontrivial TI Clifford QCA for D = 3 and any odd prime p and show that the Witt group of the finite field Fp is a subgroup of the group C(D=3,p) of all TI Clifford QCA modulo trivial ones. That is, C(D=3,p≡1mod4)⊇Z2×Z2 and C(D=3,p≡3mod4)⊇Z4. The examples are found by disentangling the ground state of a commuting Pauli Hamiltonian, which is constructed by coupling layers of prime dimensional toric codes such that an exposed surface has an anomalous topological order that is not realizable by commuting Pauli Hamiltonians strictly in two dimensions. In an appendix independent of the main body of this paper, we revisit a recent theorem of Freedman and Hastings that any two-dimensional QCA, which is not necessarily Clifford or translation invariant, is a constant depth quantum circuit followed by a shift. We give a more direct proof of the theorem without using any ancillas.

arXiv:1907.02075•Journal of Mathematical Physics•Sep 1, 2021•48 citations
We construct new families of spin chain Hamiltonians that are local, integrable, and translationally invariant. To do so, we make use of the Clifford group that arises in quantum information theory. We consider translation invariant Clifford group transformations that can be described by matrix product operators (MPOs). We classify translation invariant Clifford group transformations that consist of a shift operator and an MPO of bond dimension two—this includes transformations that preserve locality of all Hamiltonians and those that lead to non-local images of particular operators but, nevertheless, preserve locality of certain Hamiltonians. We characterize translation invariant Clifford group transformations that take single-site Pauli operators to local operators on at most five sites—examples of Quantum Cellular Automata—leading to a discrete family of Hamiltonians that are equivalent to the canonical XXZ model under such transformations. For spin chains solvable by the algebraic Bethe ansatz, we explain how conjugating by an MPO affects the underlying integrable structure. This allows us to relate our results to the usual classifications of integrable Hamiltonians. We also treat the case of spin chains solvable by free fermions.
Recently, Fendley et al. (2025) [arXiv:2511.04674] revealed a new simple way to demonstrate the integrability of XYZ Heisenberg model by constructing a one-parameter family of integrals of motion in the matrix product operator (MPO) form with bond dimension 4. In this work, I report on the discovery of two-parameter families of MPOs that commute with Heisenberg spin chain Hamiltonian in case of various anisotropies (XXX, XXZ, XX, XY and XYZ). These solutions are connected by taking appropriate limits. For all cases except XYZ, I also write down Floquet charges of two-step Floquet protocols corresponding to the Trotterization. I describe a symbolic algebra approach for finding such integrals of motion and speculate about possible generalizations and applications.
Matrix-product operators (MPOs) appear throughout the study of integrable lattice models, notably as the transfer matrices. They can also be used as transformations to construct dualities between such models, both invertible (including unitary) and non-invertible (including discrete gauging). We analyse how the local Yang--Baxter integrable structures are modified under such dualities. We see that the Rˇ\check{R}Rˇ-matrix, that appears in the baxterization approach to integrability, transforms in a simple manner. We further argue for a broad class of MPO dualities that the usual Yang--Baxter RRR-matrix should be extended. This extended RRR-matrix satisfies modified algebraic relations, including a modified Yang--Baxter algebra previously identified in the unitary case, that altogether give a local integrable structure underlying the commuting transfer matrices of the dual model. We illustrate these results with two case studies, analysing an invertible unitary MPO and a non-invertible MPO both applied to the canonical XXZ spin chain. The former is the cluster entangler, arising in the study of symmetry-protected topological phases, while the latter is the Kramers--Wannier duality. We show several results for MPOs with exact MPO inverses that are of independent interest.
Abstract. We study unfrustrated spin Hamiltonians that consist of commuting tensor products of Pauli matrices. Assuming translation-invariance, a family of Hamiltonians that belong to the same phase of matter is described by a map between modules over the translation-group algebra, so homological methods are applicable. In any dimension every point-like charge appears as a vertex of a fractal operator, and can be isolated with energy barrier at most logarithmic in the separation distance. For a topologically ordered system in three dimensions, there must exist a point-like nontrivial charge. A connection between the ground state degeneracy and the number of points on an algebraic set is discussed. Tools to handle local Clifford unitary transformations are given.
We study integrable spin chains and quantum and classical cellular automata with interaction range ℓ≥3. This is a family of integrable models for which there was no general theory so far. We develop an algebraic framework for such models, generalizing known methods from nearest-neighbor interacting chains. This leads to a new integrability condition for medium-range Hamiltonians, which can be used to classify such models. A partial classification is performed in specific cases, including U(1)-symmetric three-site interacting models, and Hamiltonians that are relevant for interaction-round-a-face models. We find a number of models which appear to be new. As an application we consider quantum brickwork circuits of various types, including those that can accommodate the classical elementary cellular automata on light cone lattices. In this family we find that the so-called Rule150 and Rule105 models are Yang-Baxter integrable with three-site interactions. We present integrable quantum deformations of these models, and derive a set of local conserved charges for them. For the famous Rule54 model we find that it does not belong to the family of integrable three-site models, but we cannot exclude Yang-Baxter integrability with longer interaction ranges.
We develop a framework for the classification of invertible translation-invariant stabilizer codes modulo condensation and stabilization with simple codes. Our stabilizer codes generalize the Pauli codes: they are extracted from local commuting projector Hamiltonians whose terms are made of local alphabets more general than the Pauli operators. In particular, not all such codes can be entangled/disentangled with Clifford Quantum Cellular Automata. We compute their Witt-equivalence classes in any spatial dimension in terms of relative L-theory groups. In particular, we show that the group of equivalence classes of such codes in three spatial dimensions is isomorphic to the Witt group of abelian topological orders in two spatial dimensions. In four spatial dimensions we obtain a group of order two, conjecturally corresponding to the non-trivial invertible phase. Additionally, we propose a representing spectrum for the generalized cohomology theory corresponding to the invertible stabilizer codes.
We study locality preserving automorphisms of operator algebras on D-dimensional uniform lattices of prime p-dimensional qudits quantum cellular automata (QCAs), specializing in those that are translation invariant (TI), and map every prime p-dimensional Pauli matrix to a tensor product of Pauli matrices (Clifford). We associate antihermitian forms of the unit determinant over Laurent polynomial rings to TI Clifford QCA with lattice boundaries and prove that the form determines the QCA up to Clifford circuits and shifts (trivial). It follows that every 2D TI Clifford QCA is trivial since the antihermitian form in this case is always trivial. Furthermore, we prove that for any D, the fourth power of any TI Clifford QCA is trivial. We present explicit examples of nontrivial TI Clifford QCA for D = 3 and any odd prime p and show that the Witt group of the finite field Fp is a subgroup of the group C(D=3,p) of all TI Clifford QCA modulo trivial ones. That is, C(D=3,p≡1mod4)⊇Z2×Z2 and C(D=3,p≡3mod4)⊇Z4. The examples are found by disentangling the ground state of a commuting Pauli Hamiltonian, which is constructed by coupling layers of prime dimensional toric codes such that an exposed surface has an anomalous topological order that is not realizable by commuting Pauli Hamiltonians strictly in two dimensions. In an appendix independent of the main body of this paper, we revisit a recent theorem of Freedman and Hastings that any two-dimensional QCA, which is not necessarily Clifford or translation invariant, is a constant depth quantum circuit followed by a shift. We give a more direct proof of the theorem without using any ancillas.