pith. sign in

arxiv: 2502.10791 · v1 · submitted 2025-02-15 · ❄️ cond-mat.stat-mech · math-ph· math.MP· quant-ph

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

Mahiro Futami , Hal Tasaki This is my paper

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

classification ❄️ cond-mat.stat-mech math-phmath.MPquant-ph
keywords quantum compass modelsquare latticelocal conserved quantitiesquantum spin modelabsence of integrabilityShiraishi methodmany-body dynamics
0
0 comments X

The pith

The quantum compass model on the square lattice has no local conserved quantities except the Hamiltonian itself.

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

The paper proves that the quantum compass model on the square lattice possesses no local conserved quantities other than the Hamiltonian. It reaches this conclusion by extending a technique originally developed by Shiraishi. A reader would care because extra local conserved quantities would restrict the possible time evolution and could block standard thermalization in a quantum many-body system. Without them the model has fewer hidden constraints on its dynamics.

Core claim

By extending the method developed by Shiraishi, we prove that the quantum compass model on the square lattice does not possess any local conserved quantities except for the Hamiltonian itself.

What carries the argument

Extension of Shiraishi's method to demonstrate absence of local conserved quantities beyond the Hamiltonian.

If this is right

  • The Hamiltonian is the sole local integral of motion in the model.
  • No additional local operators constrain the time evolution.
  • The model lacks local symmetries that could prevent ergodic behavior.
  • Any conserved quantity must be nonlocal or a function of the Hamiltonian.

Where Pith is reading between the lines

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

  • The same extension technique might apply to compass models on other lattices to test for conserved quantities.
  • Numerical simulations of the model need not account for separate conserved sectors when studying long-time dynamics.
  • The result helps distinguish this model from integrable systems that possess multiple local conservations.

Load-bearing premise

The extension of Shiraishi's method to the quantum compass model on the square lattice is valid and captures all possible local conserved quantities under the paper's definition of locality.

What would settle it

Explicit construction of a local operator that commutes with the Hamiltonian but is independent of it would falsify the claim.

Figures

Figures reproduced from arXiv: 2502.10791 by Hal Tasaki, Mahiro Futami.

Figure 1
Figure 1. Figure 1: An example of the Shiraishi shift in the case [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Products Cˆk¯ j , Dˆ j, and Eˆ j for ¯k = 5. The dotted squares indicate Xˆ uk¯−1+ex that are “appended” by the commutators in (3.22) and (3.23). Zˆ if j = 1, . . . , ¯k − 2 and is Yˆ if j = ¯k − 1. Note that Diag Dˆ j = ¯k. We also define Eˆ j :=    − 1 2i [Xˆ uk¯−1Xˆ uk¯−1+ex , Cˆk¯−1 j ], j = 2, . . . , ¯k − 2; 1 2i [Xˆ uk¯−1Xˆ uk¯−1+ex , Cˆk¯−1 k¯−1 ], j = ¯k − 1. (3.23) We see Eˆ j ∈ PΛ and Diag Eˆ… view at source ↗
read the original abstract

By extending the method developed by Shiraishi, we prove that the quantum compass model on the square lattice does not possess any local conserved quantities except for the Hamiltonian itself.

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 claims to prove, by extending Shiraishi's method, that the quantum compass model on the square lattice (XX interactions on horizontal bonds, YY on vertical bonds) possesses no nontrivial local conserved quantities other than multiples of the Hamiltonian itself. Any finite-support operator Q satisfying [H, Q] = 0 must be proportional to H.

Significance. If the central proof holds, the result is significant for classifying non-integrable quantum spin models on lattices and for understanding the absence of local integrals of motion that could obstruct thermalization. The extension of the method to a 2D anisotropic compass Hamiltonian constitutes a technical contribution that could be applied to related models.

major comments (2)
  1. [§3] §3 (Extension of Shiraishi's method): the completeness of the linear constraints derived from [H_bond, Q] = 0 for all XX and YY bonds must be shown to exhaustively rule out all finite-support Pauli-string operators, including those on non-rectangular or multi-plaquette supports where local cancellations might occur.
  2. [§4] §4 (Constraint propagation): the argument that constraints propagate across the entire square lattice to force all coefficients to vanish (except those matching H) requires an explicit demonstration that no loopholes remain for operators whose support size exceeds a single bond or plaquette.
minor comments (2)
  1. [§2] The definition of 'local' (finite support independent of system size) should be stated explicitly in §2 with a precise bound.
  2. Notation for the basis expansion of Q could be clarified with an example equation showing the first few terms.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and constructive suggestions. We address the two major comments below and agree that additional explicit demonstrations will strengthen the manuscript.

read point-by-point responses

  1. Referee: [§3] §3 (Extension of Shiraishi's method): the completeness of the linear constraints derived from [H_bond, Q] = 0 for all XX and YY bonds must be shown to exhaustively rule out all finite-support Pauli-string operators, including those on non-rectangular or multi-plaquette supports where local cancellations might occur.

    Authors: Our extension generates an overdetermined linear system on the Pauli coefficients by imposing [H_bond, Q]=0 independently on every XX and YY bond inside the finite support. Because the anisotropic interactions produce linearly independent constraints, any attempted cancellation on multi-plaquette or irregular supports is forbidden; the only solution consistent with all bonds is the Hamiltonian itself. We will add an explicit 2×2-plaquette enumeration in the revised §3 to make this exhaustive character fully transparent. revision: yes

  2. Referee: [§4] §4 (Constraint propagation): the argument that constraints propagate across the entire square lattice to force all coefficients to vanish (except those matching H) requires an explicit demonstration that no loopholes remain for operators whose support size exceeds a single bond or plaquette.

    Authors: Propagation follows from the overlapping nature of the bond constraints: a nonzero coefficient on one bond immediately forces neighboring coefficients via shared sites, and this recursion covers any finite connected or disconnected support. No loopholes exist because an isolated or irregular support still encounters at least one bond whose commutation condition cannot be satisfied unless the coefficient vanishes. We will insert a short inductive argument and a worked example for a three-plaquette support in the revised §4. revision: yes

Circularity Check

0 steps flagged

No significant circularity; direct proof extension from external method

full rationale

The paper's central claim is a mathematical proof that the quantum compass model has no nontrivial local conserved quantities besides the Hamiltonian, achieved by extending Shiraishi's method of imposing commutation constraints on finite-support operators expanded in Pauli-string bases. This is an algebraic derivation relying on linear constraints from [H, Q] = 0, with no fitted parameters, no self-definitional loops, and no load-bearing self-citations (Shiraishi is external). The derivation chain does not reduce to its inputs by construction; it applies independent constraint propagation across the lattice. This is the most common honest non-finding for a pure proof paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof relies on the validity of Shiraishi's original method and standard definitions of local operators in quantum lattice models; no free parameters or invented entities apparent from abstract.

axioms (1)
  • domain assumption Shiraishi's method for proving absence of local conserved quantities applies without modification to the compass model.
    Invoked in the abstract as the basis for the extension.

pith-pipeline@v0.9.0 · 5546 in / 1078 out tokens · 20259 ms · 2026-05-23T03:23:23.031420+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · 9 internal anchors

  1. [1]

    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). https://arxiv.org/abs/1803.02637 12

    work page arXiv 2019

  2. [2]

    Jimbo and T

    M. Jimbo and T. Miwa, Algebraic Analysis of Solvable Lattice Models , (American Math- ematical Society, 1995)

    work page 1995

  3. [3]

    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

  4. [4]

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

    work page 2008

  5. [5]

    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

  6. [6]

    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

  7. [7]

    Integrability Test for Spin Chains

    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

  8. [8]

    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

    work page arXiv 2024

  9. [9]

    Park and S

    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

    work page arXiv 2025

  10. [10]

    Shiraishi, Absence of Local Conserved Quantity in the Heisenberg Model w ith Next- Nearest-Neighbor Interaction, J

    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

    work page doi:10.1007/s10955-02 2024

  11. [11]

    Park and S

    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

    work page arXiv 2024

  12. [12]

    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 anisotrop ic extensions , (preprint, 2024). https://arxiv.org/abs/2411.04945

    work page arXiv 2024

  13. [13]

    Yamaguchi, Y

    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

    work page arXiv 2024

  14. [14]

    Yamaguchi, Y

    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 13

    work page arXiv 2024

  15. [15]

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

    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

  16. [16]

    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 hi gher-dimensional quantum Ising models , (preprint, 2024). https://arxiv.org/abs/2412.18903

    work page arXiv 2024

  17. [17]

    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 dimen- sional hypercubic lattice do not possess nontrivial local c onserved quantities , (preprint, 2024). https://arxiv.org/abs/2412.18504

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  18. [18]

    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

    work page arXiv 2025

  19. [19]

    Nozawa and K

    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

    work page arXiv 2020

  20. [20]

    Yamada and K

    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

    work page doi:10.21468/scipostphyscore.6.4.069 2023

  21. [21]

    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

    work page arXiv 2023

  22. [22]

    Fukai, Proof of Completeness of the Local Conserved Quantities in the One- Dimensional Hubbard Model , J

    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

    work page arXiv 2024

  23. [23]

    Parker, X

    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

    work page doi:10.1103/physrevx.9.041017 2019

  24. [24]

    Nandy, A.S

    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

    work page arXiv 2024

  25. [25]

    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

    work page arXiv 2021

  26. [26]

    Kugel and D

    K. Kugel and D. Khomskii, The Jahn-Teller effect and magnetism: transition metal com- pounds, Sov. Phys. Usp. 25, 231 (1982)

    work page 1982

  27. [27]

    Nussinov and J

    Z. Nussinov and J. van den Brink Compass models: Theory and physical motivations , Rev. Mod. Phys. 87, 1 (2015). 14

    work page 2015

  28. [28]

    Protected Qubits and Chern Simons theories in Josephson Junction Arrays

    B. Doucot, M.V. Feigel’man, L. B. Ioffe, and A.S. Ioselevi ch, Protected Qubits and Chern Simons theories in Josephson Junction Arrays , Phys. Rev. B 71, 024505 (2005). https://arxiv.org/abs/cond-mat/0403712

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  29. [29]

    The Quantum Compass Model on the Square Lattice

    J. Dorier, F. Becca, and F. Mila, The Quantum Compass Model on the Square Lattice , Phys. Rev. B 72, 024448 (2005). https://arxiv.org/abs/cond-mat/0501708

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  30. [30]

    Richards and E.S

    A.D.S. Richards and E.S. Sørensen, Exact Ground States and Phase Diagram of the Quan- tum Compass Model under an in-plane Field , Phys. Rev. B 109, L241116 (2024). https://arxiv.org/abs/2310.01384

    work page arXiv 2024

  31. [31]

    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

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  32. [32]

    Exact results for spin dynamics and fractionization in the Kitaev Model

    G. Baskaran, Saptarshi Mandal, R. Shankar, Exact results for spin dynamics and frac- tionization in the Kitaev Model , Phys. Rev. Lett. 98, 247201 (2007). https://arxiv.org/abs/cond-mat/0611547

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  33. [33]

    Yao and X-L

    H. Yao and X-L. Qi, Entanglement Entropy and Entanglement Spectrum of the Kita ev Model, Phys. Rev. Lett. 105, 080501 (2010). 15

    work page 2010