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

Rigorous Test for Quantum Integrability and Nonintegrability

Akihiro Hokkyo

Published Jan 30, 2025• 1 citation
arXivHTMLPDF

Abstract

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.

DOI
10.48550/arxiv.2501.18400

Related papers

Proof of nonintegrability of the spin-1 bilinear-biquadratic chain model

HaRu K. Park, SungBin Lee

Spin-1 chain models have been extensively studied in condensed matter physics, significantly advancing our understanding of quantum magnetism and low-dimensional systems, which exhibit unique properties compared to their spin-$1/2$ counterparts. Despite substantial progress in this area, a rigorous proof of nonintegrability for the bilinear-biquadratic chain model has been lacking. While integrable solutions are known for specific parameter values, a comprehensive understanding of the model's general integrability has remained elusive. In this paper, we present a rigorous proof of nonintegrability for general spin-1 bilinear-biquadratic chain models, by extending the proofs of nonintegrability on spin-$1/2$ models. Our proof not only confirms the nonintegrability of widely studied models but also provides offer deeper insights into several areas. These include the identification of the absence of local conserved quantities in quantum many-body scar systems with perfect fidelity revivals, such as the AKLT model. This paper marks a significant step toward understanding the complex dynamics of spin-1 systems.

arXiv:2410.23286•Physical review. B./Physical review. B•Apr 28, 2025•9 citations

Nonintegrability in the PXP model: A graph-theoretical approach

HaRu K. Park, SungBin Lee

Establishing a rigorous proof of integrability or nonintegrability in quantum many-body systems remains one of the most challenging tasks, as it requires demonstrating the presence or absence of local conserved quantities and deciphering the complex dynamics of the system. In this paper, we introduce a graph-theoretical approach to address this issue. This framework not only provides a comprehensive method for analyzing the nonintegrability of quantum systems but also brings advantages for integrable systems by enabling the classification of local conserved quantities through a straightforward count of isolated loops in the associated graphs. As an illustrative example, we focus on the PXP model, a system widely believed to be nonintegrable, and rigorously confirm its nonintegrability by demonstrating the absence of local conserved quantities through graph-theoretical analysis. This proof for the PXP model conveys several key insights: It not only confirms the model's nonintegrability but also indicates that the quantum many-body scarring properties of the model is not associated with local conserved quantities. Our innovative approach is broadly applicable for proving (non-)integrability in other quantum many-body systems, significantly simplifying the process and offering numerous potential applications.

Physical review. B./Physical review. B•Feb 4, 2025•3 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

Graph theoretical proof of nonintegrability in quantum many-body systems : Application to the PXP model

HaRu K. Park, SungBin Lee

A rigorous proof of integrability or non-integrability in quantum many-body systems is among the most challenging tasks, as it involves demonstrating the presence or absence of local conserved quantities and deciphering the complex dynamics of the system. In this paper, we establish a graph-theoretical analysis as a comprehensive framework for proving the non-integrability of quantum systems. Exemplifying the PXP model, which is widely believed to be non-integrable, this work rigorously proves the absence of local conserved quantities, thereby confirming its non-integrability. This proof for the PXP model gives several important messages not only that the system is non-integrable, but also the quantum many body scaring observed in the model is not associate with the existence of local conserved quantities. From a graph-theoretical perspective, we also highlight its advantage, even in integrable systems, as the classification of local conserved quantities can be achieved by simply counting the number of isolated loops in the graphs. Our new approach is broadly applicable for establishing proofs of (non-)integrability in other quantum many-body systems, significantly simplifying the process of proving nonintegrability and giving numerous potential applications.

arXiv:2403.02335•Mar 4, 2024•0 citations

Proof of absence of local conserved quantities in two- and higher-dimensional quantum Ising models

Yuuya Chiba

Local conserved quantities are key to understanding macroscopic phenomena, and their absence indicates quantum nonintegrability. Here, the author rigorously proves that quantum Ising models on two- and higher-dimensional lattices possess no local conserved quantities. The proof holds for arbitrary parameter values, thereby theoretically confirming that there are no integrable systems other than the trivial case. Their result establishes this widely studied model as a definitive example of a nonintegrable quantum many-body system.

arXiv:2412.18903•Physical review. B./Physical review. B•May 16, 2025•4 citations

Integrability from a single conservation law in quantum spin chains

Akihiro Hokkyo

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.

arXiv:2508.20713•Physical review. B./Physical review. B•Jun 8, 2026•2 citations
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.
Spin-1 chain models have been extensively studied in condensed matter physics, significantly advancing our understanding of quantum magnetism and low-dimensional systems, which exhibit unique properties compared to their spin-1/21/21/2 counterparts. Despite substantial progress in this area, a rigorous proof of nonintegrability for the bilinear-biquadratic chain model has been lacking. While integrable solutions are known for specific parameter values, a comprehensive understanding of the model's general integrability has remained elusive. In this paper, we present a rigorous proof of nonintegrability for general spin-1 bilinear-biquadratic chain models, by extending the proofs of nonintegrability on spin-1/21/21/2 models. Our proof not only confirms the nonintegrability of widely studied models but also provides offer deeper insights into several areas. These include the identification of the absence of local conserved quantities in quantum many-body scar systems with perfect fidelity revivals, such as the AKLT model. This paper marks a significant step toward understanding the complex dynamics of spin-1 systems.
Establishing a rigorous proof of integrability or nonintegrability in quantum many-body systems remains one of the most challenging tasks, as it requires demonstrating the presence or absence of local conserved quantities and deciphering the complex dynamics of the system. In this paper, we introduce a graph-theoretical approach to address this issue. This framework not only provides a comprehensive method for analyzing the nonintegrability of quantum systems but also brings advantages for integrable systems by enabling the classification of local conserved quantities through a straightforward count of isolated loops in the associated graphs. As an illustrative example, we focus on the PXP model, a system widely believed to be nonintegrable, and rigorously confirm its nonintegrability by demonstrating the absence of local conserved quantities through graph-theoretical analysis. This proof for the PXP model conveys several key insights: It not only confirms the model's nonintegrability but also indicates that the quantum many-body scarring properties of the model is not associated with local conserved quantities. Our innovative approach is broadly applicable for proving (non-)integrability in other quantum many-body systems, significantly simplifying the process and offering numerous potential applications.
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.
A rigorous proof of integrability or non-integrability in quantum many-body systems is among the most challenging tasks, as it involves demonstrating the presence or absence of local conserved quantities and deciphering the complex dynamics of the system. In this paper, we establish a graph-theoretical analysis as a comprehensive framework for proving the non-integrability of quantum systems. Exemplifying the PXP model, which is widely believed to be non-integrable, this work rigorously proves the absence of local conserved quantities, thereby confirming its non-integrability. This proof for the PXP model gives several important messages not only that the system is non-integrable, but also the quantum many body scaring observed in the model is not associate with the existence of local conserved quantities. From a graph-theoretical perspective, we also highlight its advantage, even in integrable systems, as the classification of local conserved quantities can be achieved by simply counting the number of isolated loops in the graphs. Our new approach is broadly applicable for establishing proofs of (non-)integrability in other quantum many-body systems, significantly simplifying the process of proving nonintegrability and giving numerous potential applications.
Local conserved quantities are key to understanding macroscopic phenomena, and their absence indicates quantum nonintegrability. Here, the author rigorously proves that quantum Ising models on two- and higher-dimensional lattices possess no local conserved quantities. The proof holds for arbitrary parameter values, thereby theoretically confirming that there are no integrable systems other than the trivial case. Their result establishes this widely studied model as a definitive example of a nonintegrable quantum many-body system.
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.