pith. sign in

arxiv: 2501.15506 · v3 · submitted 2025-01-26 · ❄️ cond-mat.stat-mech · cond-mat.str-el· math-ph· math.MP· quant-ph

Complete classification of integrability and non-integrability of S=1/2 spin chains with symmetric next-nearest-neighbor interaction

Naoto Shiraishi This is my paper

Pith reviewed 2026-05-23 05:34 UTC · model grok-4.3

classification ❄️ cond-mat.stat-mech cond-mat.str-elmath-phmath.MPquant-ph
keywords spin chainsintegrabilityBethe ansatzconserved quantitieszigzag chainsnon-integrabilityquantum spin systemslocal conservation laws
0
0 comments X

The pith

Only two models among S=1/2 zigzag spin chains are integrable, with all others non-integrable.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper classifies every S=1/2 quantum spin chain whose next-nearest-neighbor couplings are shift-invariant and inversion-symmetric. It shows that integrability holds solely for one classical model and one model solvable by the Bethe ansatz; every other Hamiltonian in the class fails to be integrable. A reader cares because the result closes the search for hidden integrable cases inside this symmetry class and rules out any systems that would possess only a finite number of local conserved quantities. The classification rests on equating integrability with the presence of infinitely many local conserved quantities and then exhaustively checking which parameter choices allow such quantities to exist.

Core claim

We study S=1/2 quantum spin chains with shift-invariant and inversion-symmetric next-nearest-neighbor interaction, also known as zigzag spin chains. We completely classify the integrability and non-integrability of the above class of spin systems. We prove that in this class there are only two integrable models, a classical model and a model solvable by the Bethe ansatz, and all the remaining systems are non-integrable. Our classification theorem confirms that within this class of spin chains, there is no missing integrable model. This theorem also implies the absence of intermediate models with a finite number of local conserved quantities.

What carries the argument

The theorem that integrability requires an infinite tower of local conserved quantities, applied to all shift- and inversion-symmetric next-nearest-neighbor Hamiltonians.

If this is right

  • No integrable models are missing from the class.
  • All other members of the class are non-integrable.
  • Models with only a finite number of local conserved quantities do not appear.
  • The two known integrable cases exhaust the possibilities under the stated symmetries.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Non-integrable members are expected to thermalize under unitary evolution.
  • Similar exhaustive classifications may be feasible for chains with next-next-nearest interactions or broken inversion symmetry.
  • The absence of finite-conserved-quantity models constrains possible slow-relaxation scenarios in this family.

Load-bearing premise

Integrability is defined as the existence of infinitely many local conserved quantities, and every interaction examined is required to be strictly shift-invariant and inversion-symmetric.

What would settle it

The explicit construction of a third Hamiltonian inside the same symmetry class that possesses an infinite set of independent local conserved quantities would falsify the classification.

read the original abstract

We study S=1/2 quantum spin chains with shift-invariant and inversion-symmetric next-nearest-neighbor interaction, also known as zigzag spin chains. We completely classify the integrability and non-integrability of the above class of spin systems. We prove that in this class there are only two integrable models, a classical model and a model solvable by the Bethe ansatz, and all the remaining systems are non-integrable. Our classification theorem confirms that within this class of spin chains, there is no missing integrable model. This theorem also implies the absence of intermediate models with a finite number of local conserved quantities.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript studies S=1/2 quantum spin chains with shift-invariant and inversion-symmetric next-nearest-neighbor (zigzag) interactions. It claims a complete classification of integrability: only two models in the class are integrable (one classical and one solvable by the Bethe ansatz), all others are non-integrable, and there are no intermediate models possessing only a finite number of local conserved quantities. The proof proceeds by solving the commutation condition [H, Q_n]=0 for local, symmetry-respecting operators Q_n of increasing support and showing that non-trivial solutions exist only for the two special parameter sets.

Significance. If the derivation is complete, the result is significant for the theory of integrable quantum spin chains. It supplies a definitive statement that no additional integrable models exist within the stated symmetry class and rules out partial integrability characterized by finitely many local charges. The systematic search for local conserved quantities is a standard and reproducible technique in the field; when carried through to all orders it yields a falsifiable classification.

major comments (2)
  1. [classification theorem] The central argument equates integrability with the existence of infinitely many local, translation- and inversion-symmetric conserved quantities and concludes that absence of solutions for low-support Q_n implies absence at all orders. This implication is load-bearing for the claim that generic models are non-integrable and that no finite-but-nonzero sets exist; the manuscript must supply either an explicit bound on support size or a general algebraic argument showing why higher-order solutions cannot appear for generic couplings (see the classification theorem and the paragraph following Eq. (14) in the methods section).
  2. [model definition] The interaction is restricted to shift-invariant and inversion-symmetric next-nearest-neighbor terms. The proof therefore classifies only within this symmetry class. If a model outside these symmetries (or admitting non-local charges) were considered, the theorem does not apply; the manuscript should state this scope limitation explicitly when defining the Hamiltonian family.
minor comments (2)
  1. Notation for the local operator basis and the explicit form of the two integrable Hamiltonians should be collected in a single table or appendix for easy reference.
  2. [abstract] The abstract refers to 'a classical model' without parameters; the main text should give the precise coupling values that recover the classical limit.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive evaluation of the significance of our results and for the constructive comments. We address each major point below and describe the revisions we will make.

read point-by-point responses

  1. Referee: [classification theorem] The central argument equates integrability with the existence of infinitely many local, translation- and inversion-symmetric conserved quantities and concludes that absence of solutions for low-support Q_n implies absence at all orders. This implication is load-bearing for the claim that generic models are non-integrable and that no finite-but-nonzero sets exist; the manuscript must supply either an explicit bound on support size or a general algebraic argument showing why higher-order solutions cannot appear for generic couplings (see the classification theorem and the paragraph following Eq. (14) in the methods section).

    Authors: We agree that an explicit justification is required to rigorously exclude higher-support solutions. In the revised manuscript we will add, immediately after the paragraph following Eq. (14), a general algebraic argument: the space of local, symmetry-respecting operators of support n has dimension that grows linearly with n, while the commutation condition [H,Q_n]=0 imposes a number of independent linear constraints that grows quadratically for generic couplings. Once n exceeds a finite threshold fixed by the number of free parameters in H, the system becomes overdetermined and admits only the trivial solution. This bound is independent of the specific model parameters and therefore rules out both infinite families and finite-but-nonzero sets of local charges for all non-integrable cases. revision: yes

  2. Referee: [model definition] The interaction is restricted to shift-invariant and inversion-symmetric next-nearest-neighbor terms. The proof therefore classifies only within this symmetry class. If a model outside these symmetries (or admitting non-local charges) were considered, the theorem does not apply; the manuscript should state this scope limitation explicitly when defining the Hamiltonian family.

    Authors: We accept the suggestion. In the revised manuscript we will insert, both in the paragraph immediately following the Hamiltonian definition and in the opening paragraph of the introduction, an explicit statement that the classification theorem applies exclusively to the family of Hamiltonians possessing shift invariance and inversion symmetry in the next-nearest-neighbor couplings, and that the result concerns only local conserved quantities. revision: yes

Circularity Check

0 steps flagged

No circularity: direct mathematical classification via commutation conditions

full rationale

The paper performs an exhaustive algebraic classification by solving the commutation relations [H, Q_n] = 0 for local, shift- and inversion-symmetric operators Q_n of increasing support size. This is a self-contained proof that enumerates all solutions and shows non-zero solutions beyond multiples of H exist only for two specific parameter sets. No parameter fitting, no self-citation chains, and no redefinition of integrability as the output of the same equations occur. The derivation therefore stands as an independent mathematical result under the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The classification rests on the definition of integrability via local conserved quantities and the imposed symmetries; no free parameters or invented entities are mentioned in the abstract.

axioms (2)
  • domain assumption Integrability is defined by the existence of infinitely many independent local conserved quantities.
    Invoked in the statement that absence of finite conserved quantities implies non-integrability.
  • domain assumption The interaction is strictly shift-invariant and inversion-symmetric.
    Stated as the class under consideration.

pith-pipeline@v0.9.0 · 5646 in / 1290 out tokens · 17049 ms · 2026-05-23T05:34:03.196696+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We prove that in this class there are only two integrable models, a classical model and a model solvable by the Bethe ansatz, and all the remaining systems are non-integrable. ... absence of intermediate models with a finite number of local conserved quantities.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Our proof strategy is very similar to the classification of integrability and non-integrability of nearest-neighbor interaction spin chains [39,40]. ... employing mainly r_{B_{k+2}}=r_{B_{k+1}}=0 ... we show that A_k in a specific form may have nonzero coefficients

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The $S=\frac{1}{2}$ XY and XYZ models on the two or higher dimensional hypercubic lattice do not possess nontrivial local conserved quantities

    cond-mat.stat-mech 2024-12 unverdicted novelty 6.0

    The S=1/2 XY and XYZ models on d≥2 hypercubic lattices possess no nontrivial local conserved quantities.

  2. Absence of nontrivial local conserved quantities in the quantum compass model on the square lattice

    cond-mat.stat-mech 2025-02 unverdicted novelty 5.0

    The quantum compass model on the square lattice possesses no nontrivial local conserved quantities besides the Hamiltonian.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages · cited by 2 Pith papers · 3 internal anchors

  1. [1]

    Jimbo and T

    M. Jimbo and T. Miwa, Algebraic Analysis of Solvable Lattice Models. Amer Mathematical Society (1995)

    work page 1995

  2. [2]

    R. J. Baxter, Exactly Solved Models in Statistical Mechanics . Dover (2008)

    work page 2008

  3. [3]

    Takahashi, Thermodynamics of One-Dimensional Solvable Models

    M. Takahashi, Thermodynamics of One-Dimensional Solvable Models . Cambridge University Press (2005)

    work page 2005

  4. [4]

    How Algebraic Bethe Ansatz works for integrable model

    L.D. Faddeev, How Algebraic Bethe Ansatz works for integrable model . arXiv:hep-th/9605187 (1996)

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  5. [5]

    V. E. Korepin, N. M. Bogoliubov, and A. G. Izergin, Quantum Inverse Scattering Method and Correlation Functions. Cambridge University Press (1997)

    work page 1997

  6. [6]

    Dolan and M

    L. Dolan and M. Grady, Conserved charges from self-duality . Phys. Rev. D 25, 1587 (1982)

    work page 1982

  7. [7]

    Fuchssteiner and U

    B. Fuchssteiner and U. Falck, Computer Algorithms for the detection of completely integrable Quantum Spin Chains . (in D. Levi and P. Winternitz ed. Symmetries and Nonlinear Phenomena . World Scientific (1988))

    work page 1988

  8. [8]

    M. P. Grabowski and P. Mathieu, Quantum integrals of motion for the Heisenberg spin chain . Mod. Phys. Lett. A 09, 2197 (1994)

    work page 1994

  9. [9]

    M. P. Grabowski and P. Mathieu, Structure of the Conservation Laws in Quantum Integrable Spin Chains with Short Range Interactions . Ann. Phys. 243, 299 (1995)

    work page 1995

  10. [10]

    Nozawa and K

    Y. Nozawa and K. Fukai, Explicit Construction of Local Conserved Quantities in the XYZ Spin-1/2 Chain , Phys. Rev. Lett. 125, 090602 (2020)

    work page 2020

  11. [11]

    M. A. Cazalilla, Effect of Suddenly Turning on Interactions in the Luttinger Model . Phys. Rev. Lett. 97, 156403 (2006)

    work page 2006

  12. [12]

    Rigol, V

    M. Rigol, V. Dunjko, V. Yurovsky, and M. Olshanii, Relaxation in a Completely Integrable Many-Body Quantum System: An Ab Initio Study of the Dynamics of the Highly Excited States of 1D Lattice Hard- Core Bosons. Phys. Rev. Lett. 98, 050405 (2007)

    work page 2007

  13. [13]

    Langen, S

    T. Langen, S. Erne, R. Geiger, B. Rauer, T. Schweigler, M. Kuhnert, W. Rohringer, I. E. Mazets, T. Gasenzer, and J. Schmiedmayer, Experimental observation of a generalized Gibbs ensemble . Science 348, 207 (2015)

    work page 2015

  14. [14]

    Essler and M

    F. Essler and M. Fagotti, Quench dynamics and relaxation in isolated integrable quantum spin chains . J. Stat. Mech. 064002 (2016)

    work page 2016

  15. [15]

    Kubo, Statistical-Mechanical Theory of Irreversible Processes

    R. Kubo, Statistical-Mechanical Theory of Irreversible Processes. I. General Theory and Simple Applica- tions to Magnetic and Conduction Problems . J. Phys. Soc. Jpn. 12, 570 (1957)

    work page 1957

  16. [16]

    Shimizu and H

    A. Shimizu and H. Kato, Nonequilibrium Mesoscopic Conductors Driven by Reservoirs. in Low-Dimensional Systems (ed. T. Brandes, Lecture Notes in Physics, 54 , Springer), 3 (2000)

    work page 2000

  17. [17]

    Shimizu and K

    A. Shimizu and K. Fujikura, Quantum violation of fluctuation-dissipation theorem . J. Stat. Mech. 024004 (2017)

    work page 2017

  18. [18]

    Zotos, F

    X. Zotos, F. Naef, and P. Prelovsek, Transport and conservation laws. Phys. Rev. B 55, 11029 (1997)

    work page 1997

  19. [19]

    Haake, Quantum signature of chaos

    F. Haake, Quantum signature of chaos . Springer (2010)

    work page 2010

  20. [20]

    Kennedy, Solutions of the Yang-Baxter equation for isotropic quantum spin chains

    T. Kennedy, Solutions of the Yang-Baxter equation for isotropic quantum spin chains . J. Phys. A: Math. Gen. 25, 2809 (1992)

    work page 1992

  21. [21]

    M. T. Batchelor and C. M. Yung, Integrable SU (2)-invariant Spin Chain and the Haldane Conjecture . in Confronting the Infinite. Proceedings of A Conference in Celebration of the Years of H. S. Green and C. A. Hurst, World Scientific (1995)

    work page 1995

  22. [22]

    Hietarinta, All solutions to the constant quantum Yang-Baxter equation in two dimensions

    J. Hietarinta, All solutions to the constant quantum Yang-Baxter equation in two dimensions . Phys. Lett. A 165, 245 (1992)

    work page 1992

  23. [23]

    de Leeuw, A

    M. de Leeuw, A. Pribytok, and P. Ryan, Classifying integrable spin-1/2 chains with nearest neighbour interactions. J. Phys. A: Math. Theor. 52, 505201 (2019). 71

    work page 2019

  24. [24]

    de Leeuw, C

    M. de Leeuw, C. Paletta, A. Pribytok, A. L. Retore, and P. Ryan,Classifying Nearest-Neighbor Interactions and Deformations of AdS . Phys. Rev. Lett. 125, 031604 (2020)

    work page 2020

  25. [25]

    Maity, V

    S. Maity, V. K. Singh, P. Padmanabhan, and V. Korepin, Algebraic classification of Hietarinta’s solutions of Yang-Baxter equations : invertible 4 × 4 operators. arXiv:2409.05375

    work page arXiv

  26. [26]

    All 4 x 4 solutions of the quantum Yang-Baxter equation

    M. de Leeuw and V. Posch, All 4 × 4 solutions of the quantum Yang-Baxter equation . arXiv:2411.18685

    work page internal anchor Pith review Pith/arXiv arXiv

  27. [27]

    M. P. Grabowski and P. Mathieu, Integrability test for spin chains. J. Phys. A: Math. Gen. 28, 4777 (1995)

    work page 1995

  28. [28]

    Gombor and B

    T. Gombor and B. Pozsgay, Integrable spin chains and cellular automata with medium-range interaction . Phys. Rev. E 104, 054123 (2021)

    work page 2021

  29. [29]

    Shiraishi, Proof of the absence of local conserved quantities in the XYZ chain with a magnetic field , Europhys

    N. Shiraishi, Proof of the absence of local conserved quantities in the XYZ chain with a magnetic field , Europhys. Lett. 128 17002 (2019)

    work page 2019

  30. [30]

    J.-S. Caux, J. Mossel, Remarks on the notion of quantum integrability , J. Stat. Mech. P02023 (2011)

    work page 2011

  31. [31]

    Gogolin and J

    C. Gogolin and J. Eisert, Equilibration, thermalisation, and the emergence of statistical mechanics in closed quantum systems. Rep. Prog. Phys. 79, 056001 (2016)

    work page 2016

  32. [32]

    Chiba, Proof of absence of local conserved quantities in the mixed-field Ising chain , Phys

    Y. Chiba, Proof of absence of local conserved quantities in the mixed-field Ising chain , Phys. Rev. B 109, 035123 (2024)

    work page 2024

  33. [33]

    Shiraishi, Absence of local conserved quantity in the Heisenberg model with next-nearest-neighbor inter- action

    N. Shiraishi, Absence of local conserved quantity in the Heisenberg model with next-nearest-neighbor inter- action. J. Stat. Phys. 191, 114 (2024)

    work page 2024

  34. [34]

    Park and S

    H.-K. Park and S. Lee. Proof of the nonintegrability of PXP model and general spin-1/2 systems , arXiv:2403.02335

    work page arXiv

  35. [35]

    The $S=\frac{1}{2}$ XY and XYZ models on the two or higher dimensional hypercubic lattice do not possess nontrivial local conserved quantities

    N. Shiraishi and H. Tasaki, The S=1/2 XY and XYZ models on the two or higher dimensional hypercubic lattice do not possess nontrivial local conserved quantities . arXiv:2412.18504

    work page internal anchor Pith review Pith/arXiv arXiv

  36. [36]

    Chiba, Proof of absence of local conserved quantities in two- and hi gher-dimensional quantum Ising models , (preprint, 2024)

    Y. Chiba, Proof of absence of local conserved quantities in two- and higher-dimensional quantum Ising models. arXiv:2412.18903

    work page arXiv

  37. [37]

    Park and S

    H.-K. Park and S. Lee, Proof of Nonintegrability of the Spin-1 Bilinear-Biquadratic Chain Model , arXiv:2410.23286

    work page arXiv

  38. [38]

    Hokkyo, M

    A. Hokkyo, M. Yamaguchi, and Y. Chiba, Proof of the absence of local conserved quantities in the spin-1 bilinear-biquadratic chain and its anisotropic extensions . arXiv:2411.04945

    work page arXiv

  39. [39]

    Yamaguchi, Y

    M. Yamaguchi, Y. Chiba, and N. Shiraishi, Complete Classification of Integrability and Non-integrability for Spin-1/2 Chain with Symmetric Nearest-Neighbor Interaction . arXiv:2411.02162

    work page arXiv

  40. [40]

    Yamaguchi, Y

    M. Yamaguchi, Y. Chiba, and N. Shiraishi, Proof of the absence of local conserved quantities in general spin-1/2 chains with symmetric nearest-neighbor interaction . arXiv:2411.02163

    work page arXiv

  41. [41]

    Hamada, J

    T. Hamada, J. Kane, S. Nakagawa, and Y. Natsume, Exact Solution of Ground State for Uniformly Dis- tributed RVB in One-Dimensional Spin-1/2 Heisenberg Systems with Frustration . J. Phys. Soc. Japan 57, 1891 (1988)

    work page 1988

  42. [42]

    C. D. Batista, Canted spiral: An exact ground state of XXZ zigzag spin ladders. Phys. Rev. B 80, 180406(R) (2009)

    work page 2009

  43. [43]

    C. D. Batista and R. D. Somma, Condensation of Anyons in Frustrated Quantum Magnets . Phys. Rev. Lett. 109, 227203 (2012)

    work page 2012

  44. [44]

    Saito and C

    H. Saito and C. Hotta, Exact Matrix Product States at the Quantum Lifshitz Tricritical Point in a Spin-1/2 Zigzag-Chain Antiferromagnet with Anisotropic Γ Term. Phys. Rev. Lett. 132, 166701 (2024)

    work page 2024

  45. [45]

    Katsura, private communication

    H. Katsura, private communication

    work page