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:2508.20713 · Physical review. B./Physical review. B

Integrability from a single conservation law in quantum spin chains

Akihiro Hokkyo

Published Jun 8, 2026• 2 citations
arXivHTMLPDF

Abstract

We prove that, for translationally invariant quantum spin chains with finite-range interactions, the existence of a specific conservation law implies the presence of infinitely many local conserved quantities, i.e., integrability. This shows that the standard hierarchy of local conserved quantities arising for nearest-neighbor Hamiltonians obtained via the canonical Yang-Baxter construction is already encoded in the lowest nontrivial conservation law, known as the Reshetikhin condition. Combined with recent rigorous results on nonintegrability, our theorem strongly restricts the possibility of partially integrable systems that admit only a finite but large number of local conserved quantities. Our work establishes a rigorous foundation for the systematic identification of new integrable models and deepens the algebraic understanding of conservation-law structures in quantum spin chains.

DOI
10.1103/y66t-t8zw

Related papers

A Simple Necessary and Sufficient Condition for Yang--Baxter Integrability

Mizuki Sanatani, Naoto Shiraishi, Fuga Ishii

Quantum integrability is a cornerstone of the exact theory of interacting quantum spin chains. In its standard formulation, however, one starts from R-matrices satisfying the Yang--Baxter equation, rather than from the Hamiltonian itself. It has therefore remained unclear how Yang--Baxter solvability can be characterized directly at the Hamiltonian level, and how it is related to the existence of local conservation laws. Here we prove that, in a broad standard setting, the Reshetikhin condition is not only necessary but also sufficient for Yang--Baxter integrability, thereby reducing the hidden algebraic structure of integrability to a Hamiltonian-level conservation law. Since the Reshetikhin condition is equivalent to conservation of the total energy current, this Hamiltonian-level criterion is also experimentally accessible. This result establishes a quantum counterpart of the Liouville--Arnold theorem for isotropic spin chains, stating that Yang--Baxter solvability is equivalent to an infinite hierarchy of local conserved quantities. Our result also simplifies substantially the search for integrable spin chains by replacing the search for R-matrices with a direct criterion on local Hamiltonians.

cond-mat.stat-mechCross-listedarXiv:2607.29660•Aug 3, 2026•0 citations

Dichotomy theorem separating complete integrability and nonintegrability of isotropic spin chains

Naoto Shiraishi, Mizuki Yamaguchi

We investigate the integrability and non-integrability of isotropic spin chains with nearest-neighbor interaction with general spin $S$ in terms of the presence or absence of local conserved quantities. We prove a dichotomy theorem that whether a single quantity is zero or not sharply separates two scenarios: (i) this system has $k$-local conserved quantities for all $k$ (completely integrable), or (ii) this system has no nontrivial local conserved quantity (non-integrable). This result excludes the possibility of an intermediate system with some but not all local conserved quantities, which solves in the affirmative the Grabowski-Mathieu conjecture. This theorem also serves as a complete classification of integrability and non-integrability for $S\leq 13.5$, suggesting that all the integrable models are in the scope of the Yang-Baxter equation.

arXiv:2504.14315•Physical review. B./Physical review. B•Apr 22, 2026•2 citations

Complete classification of integrability and nonintegrability for spin- 1 2 chain with symmetric nearest-neighbor interaction

Mizuki Sanatani, Yuuya Chiba, Naoto Shiraishi

General spin- 1 2 chains with symmetric nearest-neighbor interaction are studied. We rigorously prove that all spin models in this class, except for known integrable systems, are nonintegrable in the sense that they possess no nontrivial local conserved quantities. This result confirms that there are no missing integrable systems; i.e., integrable systems in this class are exactly those that are already known. In addition, this result excludes the possibility of intermediate systems that have a finite number of nontrivial local conserved quantities. Our findings support the expectation that integrable systems are exceptional in quantum many-body systems and most systems are nonintegrable.

arXiv:2411.02162•Physical Review Research•Jun 9, 2026•1 citation

Rigorous Test for Quantum Integrability and Nonintegrability

Akihiro Hokkyo

The integrability of a quantum many-body system, which is characterized by the presence or absence of local conserved quantities, drastically impacts the dynamics of isolated systems, including thermalization. Nevertheless, a rigorous and comprehensive method for determining integrability or nonintegrability has remained elusive. In this paper, we address this challenge by introducing rigorously provable tests for integrability and nonintegrability of quantum spin systems with finite-range interactions. Our results significantly simplify existing proofs of nonintegrability, such as those for the $S=1/2$ Heisenberg chain with nearest-and next-nearest-neighbor interactions, the $S=1$ bilinear-biquadratic chain and the $S=1/2$ XYZ model in two or higher dimensions. Moreover, our results also yield the first proof of nonintegrability for models such as the $S=1/2$ Heisenberg chain with a non-uniform magnetic field, the $S=1/2$ XYZ model on the triangular lattice, and the general spin XYZ model. This work also offers a partial resolution to the long-standing conjecture that integrability is governed by the existence of local conserved quantities with small support. Our framework ensures that the nonintegrability of one-dimensional spin systems with translational symmetry can be verified algorithmically, independently of system size.

arXiv:2501.18400•Jan 30, 2025•1 citation

Proof of the absence of local conserved quantities in general spin- 1 2 chains with symmetric nearest-neighbor interaction

Mizuki Sanatani, Yuuya Chiba, Naoto Shiraishi

We provide a rigorous proof of the absence of nontrivial local conserved quantities in all spin-1/2 chains with symmetric nearest-neighbor interaction, except for known integrable systems. This result shows that there are no further integrable system that awaits to be discovered. Our finding also implies that there is no intermediate systems with a finite number of nontrivial local conserved quantities. In addition, we clarify all short-support conserved quantities in non-integrable systems, which we need to take into account in analyses of thermalization and level statistics.

arXiv:2411.02163•Physical review. B./Physical review. B•Jun 9, 2026•1 citation

Minimal nonintegrable models with three-site interactions

Wen-Ming Fan, Kun Hao, Yang-Yang Chen +3 more

We study integrability breaking in translationally invariant spin-$1/2$ chains with genuine three-site interactions. Using a two-qubit composite representation, we prove that the deformed Fredkin spin chain is nonintegrable for any nonzero deformation parameter, although its Hamiltonian decomposes into coupled integrable building blocks. We then extract the minimal injective models, defined as the simplest models needed for a rigorous nonintegrability test, from the Hamiltonian density of the deformed Fredkin spin chain. Among the sixteen such models, six satisfy the Reshetikhin condition and are integrable, while two satisfy Hokkyo's criterion and are nonintegrable away from special coefficient values. Returning to one-site translation-invariant spin-$1/2$ chains leaves four genuine three-site models: two integrable models and two generically nonintegrable models. These results give a compact classification of minimal three-site models obtained from the deformed Fredkin spin chain and identify a local mechanism by which coupling individually integrable structures can destroy integrability beyond nearest-neighbor interactions.

quant-pharXiv:2602.07867•Feb 10, 2026•0 citations
We prove that, for translationally invariant quantum spin chains with finite-range interactions, the existence of a specific conservation law implies the presence of infinitely many local conserved quantities, i.e., integrability. This shows that the standard hierarchy of local conserved quantities arising for nearest-neighbor Hamiltonians obtained via the canonical Yang-Baxter construction is already encoded in the lowest nontrivial conservation law, known as the Reshetikhin condition. Combined with recent rigorous results on nonintegrability, our theorem strongly restricts the possibility of partially integrable systems that admit only a finite but large number of local conserved quantities. Our work establishes a rigorous foundation for the systematic identification of new integrable models and deepens the algebraic understanding of conservation-law structures in quantum spin chains.
Quantum integrability is a cornerstone of the exact theory of interacting quantum spin chains. In its standard formulation, however, one starts from R-matrices satisfying the Yang--Baxter equation, rather than from the Hamiltonian itself. It has therefore remained unclear how Yang--Baxter solvability can be characterized directly at the Hamiltonian level, and how it is related to the existence of local conservation laws. Here we prove that, in a broad standard setting, the Reshetikhin condition is not only necessary but also sufficient for Yang--Baxter integrability, thereby reducing the hidden algebraic structure of integrability to a Hamiltonian-level conservation law. Since the Reshetikhin condition is equivalent to conservation of the total energy current, this Hamiltonian-level criterion is also experimentally accessible. This result establishes a quantum counterpart of the Liouville--Arnold theorem for isotropic spin chains, stating that Yang--Baxter solvability is equivalent to an infinite hierarchy of local conserved quantities. Our result also simplifies substantially the search for integrable spin chains by replacing the search for R-matrices with a direct criterion on local Hamiltonians.
We investigate the integrability and non-integrability of isotropic spin chains with nearest-neighbor interaction with general spin SSS in terms of the presence or absence of local conserved quantities. We prove a dichotomy theorem that whether a single quantity is zero or not sharply separates two scenarios: (i) this system has kkk-local conserved quantities for all kkk (completely integrable), or (ii) this system has no nontrivial local conserved quantity (non-integrable). This result excludes the possibility of an intermediate system with some but not all local conserved quantities, which solves in the affirmative the Grabowski-Mathieu conjecture. This theorem also serves as a complete classification of integrability and non-integrability for S≤13.5S\leq 13.5S≤13.5, suggesting that all the integrable models are in the scope of the Yang-Baxter equation.
General spin- 1 2 chains with symmetric nearest-neighbor interaction are studied. We rigorously prove that all spin models in this class, except for known integrable systems, are nonintegrable in the sense that they possess no nontrivial local conserved quantities. This result confirms that there are no missing integrable systems; i.e., integrable systems in this class are exactly those that are already known. In addition, this result excludes the possibility of intermediate systems that have a finite number of nontrivial local conserved quantities. Our findings support the expectation that integrable systems are exceptional in quantum many-body systems and most systems are nonintegrable.
The integrability of a quantum many-body system, which is characterized by the presence or absence of local conserved quantities, drastically impacts the dynamics of isolated systems, including thermalization. Nevertheless, a rigorous and comprehensive method for determining integrability or nonintegrability has remained elusive. In this paper, we address this challenge by introducing rigorously provable tests for integrability and nonintegrability of quantum spin systems with finite-range interactions. Our results significantly simplify existing proofs of nonintegrability, such as those for the S=1/2S=1/2S=1/2 Heisenberg chain with nearest-and next-nearest-neighbor interactions, the S=1S=1S=1 bilinear-biquadratic chain and the S=1/2S=1/2S=1/2 XYZ model in two or higher dimensions. Moreover, our results also yield the first proof of nonintegrability for models such as the S=1/2S=1/2S=1/2 Heisenberg chain with a non-uniform magnetic field, the S=1/2S=1/2S=1/2 XYZ model on the triangular lattice, and the general spin XYZ model. This work also offers a partial resolution to the long-standing conjecture that integrability is governed by the existence of local conserved quantities with small support. Our framework ensures that the nonintegrability of one-dimensional spin systems with translational symmetry can be verified algorithmically, independently of system size.
We provide a rigorous proof of the absence of nontrivial local conserved quantities in all spin-1/2 chains with symmetric nearest-neighbor interaction, except for known integrable systems. This result shows that there are no further integrable system that awaits to be discovered. Our finding also implies that there is no intermediate systems with a finite number of nontrivial local conserved quantities. In addition, we clarify all short-support conserved quantities in non-integrable systems, which we need to take into account in analyses of thermalization and level statistics.
We study integrability breaking in translationally invariant spin-1/21/21/2 chains with genuine three-site interactions. Using a two-qubit composite representation, we prove that the deformed Fredkin spin chain is nonintegrable for any nonzero deformation parameter, although its Hamiltonian decomposes into coupled integrable building blocks. We then extract the minimal injective models, defined as the simplest models needed for a rigorous nonintegrability test, from the Hamiltonian density of the deformed Fredkin spin chain. Among the sixteen such models, six satisfy the Reshetikhin condition and are integrable, while two satisfy Hokkyo's criterion and are nonintegrable away from special coefficient values. Returning to one-site translation-invariant spin-1/21/21/2 chains leaves four genuine three-site models: two integrable models and two generically nonintegrable models. These results give a compact classification of minimal three-site models obtained from the deformed Fredkin spin chain and identify a local mechanism by which coupling individually integrable structures can destroy integrability beyond nearest-neighbor interactions.