The S=frac{1}{2} XY and XYZ models on the two or higher dimensional hypercubic lattice do not possess nontrivial local conserved quantities
Pith reviewed 2026-05-23 07:36 UTC · model grok-4.3
The pith
The S=1/2 XY and XYZ models on d-dimensional hypercubic lattices with d≥2 have no nontrivial local conserved quantities.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By extending the method recently developed for quantum spin chains, the authors prove that the S=1/2 XY or XYZ model on the d-dimensional hypercubic lattice (d≥2) with uniform nearest-neighbor interactions and arbitrary uniform magnetic field possesses no local conserved quantities except the trivial ones such as the Hamiltonian. This result strongly suggests that the model is non-integrable.
What carries the argument
Extension of the one-dimensional chain method that rules out local conserved quantities by examining commutation relations on the hypercubic lattice.
If this is right
- The models are non-integrable for d≥2.
- No additional local integrals of motion exist beyond the Hamiltonian.
- The XX model without magnetic field loses its one-dimensional solvability features when placed on higher-dimensional lattices.
- Dynamics are expected to lack the special structure associated with integrability.
Where Pith is reading between the lines
- Integrability of these spin models appears tied to one-dimensional geometry.
- Higher-dimensional versions of one-dimensionally solvable models can lose all nontrivial local conservation laws.
- The absence may influence expectations for eigenstate thermalization in these lattices.
Load-bearing premise
The method developed for one-dimensional quantum spin chains extends without essential modification to the uniform nearest-neighbor XY or XYZ interactions on d-dimensional hypercubic lattices for d≥2.
What would settle it
Explicit construction of a nontrivial local operator that commutes with the Hamiltonian but is not a function of the Hamiltonian itself.
Figures
read the original abstract
We study the $S=\frac{1}{2}$ quantum spin system on the $d$-dimensional hypercubic lattice with $d\ge2$ with uniform nearest-neighbor interaction of the XY or XYZ type and arbitrary uniform magnetic field. By extending the method recently developed for quantum spin chains, we prove that the model possesses no local conserved quantities except for the trivial ones, such as the Hamiltonian. This result strongly suggests that the model is non-integrable. We note that our result applies to the XX model without a magnetic field, which is one of the easiest solvable models in one dimension.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the S=1/2 XY and XYZ models on the d-dimensional hypercubic lattice (d≥2) with uniform nearest-neighbor couplings and arbitrary uniform magnetic field possess no nontrivial local conserved quantities (beyond functions of the Hamiltonian itself). The proof is obtained by extending a recently developed method for one-dimensional quantum spin chains; the result is asserted to hold even for the zero-field XX model.
Significance. If the extension of the 1D method is valid, the result supplies a rigorous non-integrability criterion for a broad class of models that are integrable in one dimension but are expected to be chaotic in higher dimensions. It would strengthen the link between absence of local conserved quantities and non-integrability, and would apply to one of the simplest solvable 1D models when lifted to d≥2.
major comments (2)
- [§3] §3 (Extension of the 1D method to d≥2): the argument that the site-by-site commutator propagation used in one dimension carries over unchanged does not address the existence of multiple paths and plaquettes on the hypercubic lattice. It is not shown that any additional local operator supported on a finite cluster that commutes with the uniform XY/XYZ Hamiltonian must still be ruled out by the same linear constraints that suffice in 1D.
- [§4] §4 (Application to the zero-field XX model): the claim that the result applies to the XX model without field relies on the same extension; however, the 1D XX model is free-fermion solvable, and the higher-dimensional case admits additional local operators (e.g., plaquette fluxes) whose commutation with the Hamiltonian is not obviously excluded by the propagated constraints.
minor comments (2)
- [Introduction] The definition of 'local' conserved quantity (support on a finite cluster of fixed size independent of system size) should be stated explicitly in the introduction rather than only in the technical section.
- [§2] Notation for the interaction terms (J_x, J_y, J_z) is introduced without a clear table or equation reference; a single displayed equation collecting all Hamiltonian parameters would improve readability.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments. We address the major comments point by point below.
read point-by-point responses
-
Referee: [§3] §3 (Extension of the 1D method to d≥2): the argument that the site-by-site commutator propagation used in one dimension carries over unchanged does not address the existence of multiple paths and plaquettes on the hypercubic lattice. It is not shown that any additional local operator supported on a finite cluster that commutes with the uniform XY/XYZ Hamiltonian must still be ruled out by the same linear constraints that suffice in 1D.
Authors: The commutator [Q,H]=0 produces a local system of linear equations on the coefficients of any candidate local operator Q by expanding the action on each nearest-neighbor bond. Because the equations are generated bond-by-bond, the existence of multiple lattice paths does not relax the constraints; it adds independent conditions that must be satisfied simultaneously. Consequently the same overconstrained linear system that forces Q to be a function of H in one dimension continues to do so on the hypercubic lattice. We will insert a short clarifying paragraph in §3 that makes this locality argument explicit. revision: partial
-
Referee: [§4] §4 (Application to the zero-field XX model): the claim that the result applies to the XX model without field relies on the same extension; however, the 1D XX model is free-fermion solvable, and the higher-dimensional case admits additional local operators (e.g., plaquette fluxes) whose commutation with the Hamiltonian is not obviously excluded by the propagated constraints.
Authors: The proof treats the magnetic-field term as an arbitrary on-site operator; setting the field to zero is therefore included without modification. Any putative plaquette-flux operator fails to satisfy the local commutator equations generated by the XX bonds, because each bond term anticommutes with the flux in a manner that produces nonzero matrix elements outside the support of a function of H. The linear-algebra argument therefore excludes such operators on the same footing as in one dimension. revision: no
Circularity Check
No circularity: algebraic proof extends prior method without self-referential reduction
full rationale
The paper presents a mathematical proof that no nontrivial local conserved quantities exist for the specified models on d≥2 hypercubic lattices. It extends an algebraic commutator-based method from 1D chains, relying on site-by-site constraint propagation and lattice topology rather than any fitted parameters, self-definitions, or load-bearing self-citations that reduce the central claim to its own inputs. The result is framed as a direct verification of [Q,H]=0 conditions for local operators Q, independent of the target non-integrability conclusion. No equations or steps in the provided abstract or description exhibit the forbidden patterns of self-definition or renaming.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard algebraic properties of Pauli operators and locality on hypercubic lattices
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
By extending the method recently developed for quantum spin chains, we prove that the model possesses no local conserved quantities except for the trivial ones, such as the Hamiltonian.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J-cost uniqueness) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We start by writing down the system of linear equations that fully characterizes a local conserved quantity. We then make use of the procedure introduced in [23] that we call 'shift' to reduce the task of characterization to a problem in an essentially one-dimensional setting.
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 3 Pith papers
-
Complete classification of integrability and non-integrability of S=1/2 spin chains with symmetric next-nearest-neighbor interaction
Only two models in the class of S=1/2 zigzag spin chains are integrable (one classical, one Bethe-ansatz solvable); all others are non-integrable, with no missing integrable models and no intermediate cases having fin...
-
Violating the All-or-Nothing Picture of Local Charges in Non-Hermitian Bosonic Chains
Non-Hermitian bosonic chains with symmetric hopping can host k-local charges for selected k only, providing counterexamples to all-or-nothing integrability and showing the Grabowski-Mathieu 3-local test is not universal.
-
Absence of nontrivial local conserved quantities in the quantum compass model on the square lattice
The quantum compass model on the square lattice possesses no nontrivial local conserved quantities besides the Hamiltonian.
Reference graph
Works this paper leans on
-
[1]
M. Jimbo and T. Miwa, Algebraic Analysis of Solvable Lattice Models , (American Math- ematical Society, 1995)
work page 1995
-
[2]
How Algebraic Bethe Ansatz works for integrable model
L.D. Faddeev, How Algebraic Bethe Ansatz works for integrable model , (Les-Houches lec- tures, 1996). https://arxiv.org/abs/hep-th/9605187
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[3]
R. J. Baxter, Exactly Solved Models in Statistical Mechanics , (Dover, 2008)
work page 2008
-
[4]
Takahashi, Thermodynamics of One-Dimensional Solvable Models , (Cambridge Uni- versity Press, 2005)
M. Takahashi, Thermodynamics of One-Dimensional Solvable Models , (Cambridge Uni- versity Press, 2005)
work page 2005
-
[5]
Simon, The Statistical Mechanics of Lattice Gases, Volume I , (Princeton University Press, 1993)
B. Simon, The Statistical Mechanics of Lattice Gases, Volume I , (Princeton University Press, 1993). 25It holds in general that max j∈{ 1,...,n} bj ≥ (Cn µ2n)1/(2n), where Cn = (2 n)!/{(n + 1)! n!} ≃ 4n/{√ π n3/2} is the Catalan number. See Appendix A2 of [46]. 26In fact, ˆA is generated in n!! ways, but this estimate does not essentially improve our c on...
work page 1993
-
[6]
H. Tasaki, Physics and Mathematics of Quantum Many-Body Systems , Graduate Texts in Physics (Springer, 2020)
work page 2020
-
[7]
Deutsch, Quantum statistical mechanics in a closed system , Phys
J.M. Deutsch, Quantum statistical mechanics in a closed system , Phys. Rev. A 43, 2046 (1991)
work page 2046
-
[8]
Srednicki, Chaos and quantum thermalization , Phys
M. Srednicki, Chaos and quantum thermalization , Phys. Rev. E 50, 888 (1994)
work page 1994
-
[9]
Alternatives to Eigenstate Thermalization
M. Rigol and M. Srednicki, Alternatives to Eigenstate Thermalization , Phys. Rev. Lett. 108, 110601 (2012). https://arxiv.org/abs/1108.0928
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[10]
From Quantum Chaos and Eigenstate Thermalization to Statistical Mechanics and Thermodynamics
L. D’Alessio, Y. Kafri, A. Polkovnikov, and M. Rigol, From quantum chaos and eigen- state thermalization to statistical mechanics and thermod ynamics, Adv. Phys. 65, 239–362 (2016). https://arxiv.org/abs/1509.06411
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[11]
Probing many-body dynamics on a 51-atom quantum simulator
H. Bernien, S. Schwartz, A. Keesling, H.y Levine, A. Omr an, H. Pichler, S. Choi, A. S. Zibrov, M. Endres, M. Greiner, V. Vuletic, and M. D. Lukin, Probing many-body dynamics on a 51-atom quantum simulator , Nature 551, 579 (2017). https://arxiv.org/abs/1707.04344
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[12]
Systematic Construction of Counterexamples to the Eigenstate Thermalization Hypothesis
N. Shiraishi and T. Mori, Systematic Construction of Counterexamples to Eigenstate The r- malization Hypothesis , Phys. Rev. Lett. 119, 030601 (2017). https://arxiv.org/abs/1702.08227
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[13]
Thermalization without eigenstate thermalization hypothesis after a quantum quench
T. Mori and N. Shiraishi, Thermalization without eigenstate thermalization hypothe sis after a quantum quench , Phys. Rev. E 96, 022153 (2017). https://arxiv.org/abs/1707.05921
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[14]
C. J. Turner, A. A. Michailidis, D. A. Abanin, M. Serbyn, and Z. Papi´ c,Weak ergodicity breaking from quantum many-body scars , Nature Physics 14, 745 (2018). https://arxiv.org/abs/1711.03528
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[15]
Exact Excited States of Non-Integrable Models
S. Moudgalya, S. Rachel, B. A. Bernevig, and N. Regnault , Exact Excited States of Non- Integrable Models, Phys. Rev. B 98, 235155 (2018). https://arxiv.org/abs/1708.05021
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[16]
S. Moudgalya, N. Regnault, and B. A. Bernevig, Entanglement of exact excited states of Affleck-Kennedy-Lieb-Tasaki models: Exact results, many-bo dy scars, and violation of the strong eigenstate thermalization hypothesis , Phys. Rev. B 98, 235156 (2018). https://arxiv.org/abs/1806.09624
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[17]
Exact Quantum Many-Body Scar States in the Rydberg-Blockaded Atom Chain
C.-J. Lin and O. I. Motrunich, Exact Quantum Many-Body Scar States in the Rydberg- Blockaded Atom Chain , Phys. Rev. Lett. 122, 173401 (2019). https://arxiv.org/abs/1810.00888
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[18]
W. W. Ho, S. Choi, H. Pichler, and M. D. Lukin, Periodic Orbits, Entanglement, and Quantum Many-Body Scars in Constrained Models: Matrix Produ ct State Approach, Phys. Rev. Lett. 122, 040603 (2019). https://arxiv.org/abs/1807.01815 35
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[19]
N. Shiraishi, Connection between quantum-many-body scars and the AKLT mod el from the viewpoint of embedded Hamiltonians , J. Stat. Mech. 083103 (2019). https://arxiv.org/abs/1904.05182
-
[20]
D.K. Mark, C.-J. Lin, and O.I. Motrunich, Unified structure for exact towers of scar states in the Affleck-Kennedy-Lieb-Tasaki and other models , Phys. Rev. B 101, 195131 (2020). https://arxiv.org/abs/2001.03839
-
[21]
S. Moudgalya, N. Regnault, and B.A. Bernevig, η-pairing in Hubbard models: From spec- trum generating algebras to quantum many-body scars , Phys. Rev. B 102, 085140 (2020). https://arxiv.org/abs/2004.13727v2
- [22]
-
[23]
N. Shiraishi, Proof of the absence of local conserved quantities in the XYZ chain with a magnetic field , Europhys. Lett. 128 17002 (2019). https://arxiv.org/abs/1803.02637
-
[24]
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). https://arxiv.org/abs/2307.16703
-
[25]
H.K. Park and S. Lee, Graph-theoretical proof of nonintegrability in quantum ma ny-body systems: Application to the PXP model , Phys. Rev. B 111, L081101 (2025). https://arxiv.org/abs/2403.02335
-
[26]
N. Shiraishi, Absence of Local Conserved Quantity in the Heisenberg Model w ith Next- Nearest-Neighbor Interaction, J. Stat. Phys. 191:114 (2024). https://link.springer.com/article/10.1007/s10955-02 4-03326-4
-
[27]
H.K. Park and S. Lee, Proof of nonintegrability of the spin-1 bilinear-biquadra tic chain model, (preprint, 2024). https://arxiv.org/abs/2410.23286
- [28]
-
[29]
M. Yamaguchi, Y. Chiba, and N. Shiraishi, Complete Classification of Integrability and Non-integrability for Spin-1/2 Chain with Symmetric Nea rest-Neighbor Interaction , (preprint, 2024). https://arxiv.org/abs/2411.02162
-
[30]
M. Yamaguchi, Y. Chiba, and N. Shiraishi, Proof of the absence of local conserved quan- tities in general spin-1/2 chains with symmetric nearest-n eighbor interaction , (preprint, 2024). https://arxiv.org/abs/2411.02163 36
-
[31]
N. Shiraishi, Complete classification of integrability and non-integrabi lity of S=1/2 spin chains with symmetric next-nearest-neighbor interaction , (preprint, 2025). https://arxiv.org/abs/2501.15506
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[32]
Y. Nozawa and K. Fukai, Explicit Construction of Local Conserved Quantities in the XY Z Spin-1/2 Chain , Phys. Rev. Lett. 125, 090602 (2020). https://arxiv.org/abs/2003.02856
-
[33]
K. Yamada and K. Fukai, Matrix product operator representations for the local cons erved quantities of the Heisenberg chain , SciPost Phys. Core 6, 069 (2023). https://scipost.org/10.21468/SciPostPhysCore.6.4.069
-
[34]
Fukai, All Local Conserved Quantities of the One-Dimensional Hubba rd Model , Phys
K. Fukai, All Local Conserved Quantities of the One-Dimensional Hubba rd Model , Phys. Rev. Lett. 131, 256704 (2023). https://arxiv.org/abs/2301.03621
-
[35]
K. Fukai, Proof of Completeness of the Local Conserved Quantities in the One- Dimensional Hubbard Model , J. Stat. Phys. 191, 70 (2024). https://arxiv.org/abs/2309.09354
-
[36]
M. P. Grabowski and P. Mathieu, Integrability Test for Spin Chains , J. Phys. A: Math. Gen. 28, 4777–4798 (1995). https://arxiv.org/abs/hep-th/9412039
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[37]
J.-S. Caux, J. Mossel, Remarks on the notion of quantum integrability , J. Stat. Mech. P02023 (2011). https://arxiv.org/abs/1012.3587
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[38]
Y. Chiba, Proof of absence of local conserved quantities in two- and hi gher-dimensional quantum Ising models , (preprint, 2024). https://arxiv.org/abs/2412.18903
-
[39]
Hokkyo, Rigorous Test for Quantum Integrability and Nonintegrabili ty, (preprint, 2025)
A. Hokkyo, Rigorous Test for Quantum Integrability and Nonintegrabili ty, (preprint, 2025). https://arxiv.org/abs/2501.18400
-
[40]
Persistent entanglement in arrays of interacting particles
H.J. Briegel and R. Raussendorf, Persistent entanglement in arrays of interacting parti- cles, Phys. Rev. Lett. 86, 910 (2001). https://arxiv.org/abs/quant-ph/0004051
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[41]
Quantum computing via measurements only
R. Raussendorf and H.-J. Briegel, A One-Way Quantum Computer , Phys. Rev. Lett. 86, 5188 (2001). https://arxiv.org/abs/quant-ph/0010033
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[42]
Fault-tolerant quantum computation by anyons
A.Yu. Kitaev, Fault-tolerant quantum computation by anyons , Ann. Phys. 303, 2–30 (2003). https://arxiv.org/abs/quant-ph/9707021
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[43]
Anyons in an exactly solved model and beyond
A.Yu. Kitaev, Anyons in an exactly solved model and beyond , Ann. Phys. 321, 2-111 (2006). https://arxiv.org/abs/cond-mat/0506438 37
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[44]
T. Prosen, Quasilocal conservation laws in XXZ spin-1/2 chains: Open, periodic and twisted boundary conditions , Nucl. Phys. B 886, 1177–1198 (2014). https://www.sciencedirect.com/science/article/pii/S0550321314002430
work page 2014
-
[45]
Complete Generalized Gibbs Ensemble in an interacting Theory
E. Ilievski, J. De Nardis, B. Wouters, J.-S. Caux, F.H.L . Essler, and T. Prosen, Complete Generalized Gibbs Ensembles in an Interacting Theory , Phys. Rev. Lett. 115, 157201 (2015). https://arxiv.org/abs/1507.02993
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[46]
D.E. Parker, X. Cao, A. Avdoshkin, T. Scaffidi, and E. Altm an, A Universal Operator Growth Hypothesis , Phys. Rev. X 9, 041017 (2019). https://journals.aps.org/prx/abstract/10.1103/PhysRevX.9.041017
-
[47]
Cao, A statistical mechanism for operator growth , J
X. Cao, A statistical mechanism for operator growth , J. Phys. A: Math. Theor. 54, 144001 (2021). https://arxiv.org/abs/2012.06544
-
[48]
W. M¨ uck and Y. Yang, Krylov complexity and orthogonal polynomials , Nuclear Physics B 984, 15948 (2022). https://www.sciencedirect.com/science/article/pii/S0550321322002991
work page 2022
-
[49]
P. Nandy, A.S. Matsoukas-Roubeas, P. Mart ´ ınez-Azcon a, A. Dymarsky, and A. del Campo, Quantum Dynamics in Krylov Space: Methods and Applications , (preprint, 2024). https://arxiv.org/abs/2405.09628
-
[50]
Complex-Time Singularity and Locality Estimates for Quantum Lattice Systems
G. Bouch, Complex-Time Singularity and Locality Estimates for Quantum Lattice Sys- tems, J. Math. Phys. 56, 123303 (2015). https://arxiv.org/abs/1011.1875
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [51]
-
[52]
A. Avdoshkin and A. Dymarsky, Euclidean operator growth and quantum chaos , Phys. Rev. Res. 2, 043234 (2020). https://journals.aps.org/prresearch/abstract/10.1103/PhysRevResearch.2.043234 38
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.