Pith. sign in

REVIEW 3 major objections 3 minor 58 references

The Reshetikhin condition is sufficient for Yang–Baxter integrability.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-03 02:23 UTC pith:PQ2LMT6P

load-bearing objection A serious but flawed proof of a major conjecture: the Lemma 4 cocycle step has a genuine gap, so the main theorem is not established as written. the 3 major comments →

arxiv 2607.29660 v1 pith:PQ2LMT6P submitted 2026-07-31 cond-mat.stat-mech hep-thmath-phmath.MPnlin.SIquant-ph

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

Mizuki Sanatani , Naoto Shiraishi , Fuga Ishii This is my paper
classification cond-mat.stat-mech hep-thmath-phmath.MPnlin.SIquant-ph MSC 81R1282B2337J35
keywords Yang–Baxter equationReshetikhin conditionquantum integrabilityspin chainslocal conserved quantitiesenergy currentboost operatorR-matrix reconstruction
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper proves that, for a translation-invariant nearest-neighbour quantum spin chain on a finite-dimensional local Hilbert space, the Reshetikhin condition — a single nested-commutator identity on the two-site Hamiltonian density — is not merely necessary but also sufficient for the Hamiltonian to arise from a regular solution of the Yang–Baxter equation. In effect, the infinitely many higher-order constraints of the Yang–Baxter expansion collapse into this one Hamiltonian-level condition. The proof is constructive and yields an order-by-order algorithm that reconstructs the R-matrix from the Hamiltonian, and it implies that energy-current conservation can certify exact solvability experimentally. For isotropic spin chains, the result closes a forty-year gap by making Yang–Baxter solvability equivalent to the existence of an infinite hierarchy of local conserved quantities — a quantum counterpart of the Liouville–Arnold theorem.

Core claim

The central claim: if a two-site density h satisfies [h12+h23,[h12,h23]]=X23−X12 for some two-site X, and the total nearest-neighbour Hamiltonian H is diagonalizable, then a regular R-matrix analytic near u=0 exists and satisfies the difference-form Yang–Baxter equation, with H recovered as the logarithmic derivative of its transfer matrix. This proves a conjecture from the early 1980s. The proof has two mechanisms: an auxiliary lemma (one conserved boost charge forces the whole boost hierarchy to commute) turns the Reshetikhin condition into the Sutherland equation, i.e., vanishing of all u v^n discrepancy coefficients; then a cocycle argument shows that all u^k v^l coefficients of fixed to

What carries the argument

The central object is the nested commutator C=[h12+h23,[h12,h23]]; the Reshetikhin condition requires C=X23−X12, the exact obstruction to solving the Yang–Baxter equation at order u v^2. Two machines carry the argument: (i) the boost operator B=Σ_j j h_{j,j+1} with recursively defined charges Q^B_{n+1}=[B,Q^B_n], and an auxiliary lemma asserting [Q^B_m,Q^B_n]=0 for all m,n once [Q^B_3,H]=0 and H is diagonalizable; (ii) the four-particle factorization identity, whose two reduction paths yield the cocycle condition ω_n(u,v)+ω_n(u+v,w)=ω_n(v,w)+ω_n(u,v+w). The equivalence of cocycle and coboundary then forces ω_n(u,v)=K_n[(u+v)^n−u^n−v^n], and a determinant-based trace identity Tr[ω_n]=0 fixes

Load-bearing premise

The proof rests on two assumptions: the total Hamiltonian H must be diagonalizable (its energy eigenstates span the Hilbert space), and the boost operator on a periodic chain must be regularized by carefully discarding boundary terms; if either fails, the reconstruction of the R-matrix and the vanishing of the Yang–Baxter discrepancy may no longer follow.

What would settle it

Pick any translation-invariant nearest-neighbour Hamiltonian density h that satisfies the Reshetikhin condition and whose total Hamiltonian is diagonalizable, and run the paper's order-by-order reconstruction. Check the Yang–Baxter discrepancy coefficients F^{k,l} up to total degree, say, 12. If any coefficient is nonzero, the theorem is false. Running the same check over known integrable models would provide a direct numerical verification of the claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Search for integrable spin chains reduces to checking the Reshetikhin condition on local Hamiltonian densities; the paper provides an O(d^8) test.
  • Given a Hamiltonian that passes the test, the corresponding R-matrix can be reconstructed order by order in O(n^2 d^6) time, so the proof doubles as an algorithm.
  • Conservation of the total energy current becomes a direct experimental certificate of Yang–Baxter solvability.
  • For isotropic nearest-neighbour chains, Yang–Baxter solvability is equivalent to the existence of infinitely many local conserved quantities — even a single nontrivial local conserved quantity forces the whole hierarchy.
  • The result separates Yang–Baxter solvability from non-difference-form integrability, which remains outside this characterization.

Where Pith is reading between the lines

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

  • If the theorem's strategy generalizes, the same collapse from a lowest-order condition to the full algebraic equation may hold for other factorizability equations, such as the tetrahedron equation, where the analogous cocycle mechanism could be tested.
  • The theorem sharpens the definitional question of quantum integrability: in this setting, integrability can be defined operationally at the Hamiltonian level, potentially resolving long-standing debates about whether conservation laws or R-matrices are primary.
  • A concrete testable extension would be to search for counterexamples among longer-range or non-diagonalizable deformations of integrable chains; the boundary-regularization and diagonalizability assumptions are the most plausible places for the theorem to break.
  • The constructive algorithm suggests a practical screening pipeline: run the Reshetikhin test over parametrized families of two-site densities, then reconstruct R-matrices and analyze the resulting models — potentially uncovering integrable models not reachable by existing Baxterization schemes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper claims to prove Theorem 1: for a one-dimensional, translation-invariant, nearest-neighbour spin chain with finite local Hilbert space, if the two-site density h satisfies the Reshetikhin condition and H = Σ_i h_{i,i+1} is diagonalizable, then there exists a regular R-matrix, analytic near u=0, satisfying the difference-form Yang–Baxter equation and reproducing H as its logarithmic derivative. The proof proceeds in two stages: Lemma 3 reconstructs the Sutherland equation order by order, and Lemma 4 promotes the vanishing of the F^{k,1} coefficients to the full Yang–Baxter equation via a cocycle/coboundary argument. The paper further draws consequences for energy-current conservation and for a quantum Liouville–Arnold correspondence.

Significance. If correct, the theorem would resolve a forty-year-old conjecture, reduce the infinite hierarchy of Yang–Baxter constraints to a single Hamiltonian-level condition, and provide an experimentally accessible criterion for integrability. The paper also offers a concrete reconstruction algorithm with stated O(d^8) time for the integrability test, O(n^2 d^6) time for R-matrix reconstruction, and a public Python implementation. These are real strengths. However, the proof as written contains a load-bearing gap in Lemma 4 and a missing argument in Lemma 3; the central sufficiency claim is therefore not established by the manuscript.

major comments (3)
  1. [Supplement §II E, Eqs. (S.102)–(S.110)] The inference from Eq. (S.102) to Eq. (S.103) is invalid. Eq. (S.102) equates an operator supported on sites 123 with an operator supported on sites 234, viewed on the four-site space. That equality only implies that both equal I_1 ⊗ M_{23} ⊗ I_4 for some two-site operator M; it does not imply that the common operator is a scalar multiple of the identity as asserted in Eq. (S.103). The determinant/trace argument in Eqs. (S.107)–(S.109) then gives only Tr_{23} M = 0, not M = 0. Consequently the cocycle condition (S.110) is not derived. Since Lemma S.4 is the step that eliminates all higher-order coefficients F^{k,l} with k,l ≥ 1, the proof of the sufficiency direction of Theorem 1 is not established.
  2. [Main text, proof of Lemma 3, Eqs. (34)–(35); Supplement Eq. (S.92)] The 'standard local telescoping' step asserting that Σ_i ˇF^{1,n-1}_{i-1,i,i+1}=0 implies ˇF^{1,n-1}_{123} = Z_{23} − Z_{12} is invoked without proof. A naive cumulative-sum construction would produce operators with growing support; a locality or graph-cohomology argument is needed to reduce to a two-site Z. This step is essential for eliminating the F^{k,1} coefficients, so Lemma 3 is incomplete as written.
  3. [Supplement §I C (Lemma S.1) and §IV B] The proof of Hokkyo's lemma, Lemma S.1, uses the boost operator B as a well-defined finite-size operator when deriving [H,[H,Q]] = 0 and when evaluating eigenstate matrix elements (Eqs. S.52–S.53). However, the paper's own §IV B states that B is not compatible with periodic boundary conditions and that naive eigenstate computations such as Eq. (S.153) are not justified. The inhomogeneous-parameter regularization in §IV B addresses commutators with the transfer matrix, but it is not explicitly applied to repair the proof of Lemma S.1. Because Lemma 3's second evaluation, Eq. (33), relies on Lemma 2/S.1, this is a load-bearing gap.
minor comments (3)
  1. [Figure 3 and accompanying text] The figure and text describe the propagation from the first line of coefficients to all diagonals as a consequence of Lemma 4. Since the proof of Lemma 4 has a gap, the presentation of this step should be revised or made conditional.
  2. [Supplement §III C, Eq. (S.144)] The formula for ˇR^{(n+1)} in the traceless gauge would benefit from a brief derivation or a sign check; as written, the subtraction of I ⊗ P_2(P_3(Φ_n)) is easy to misread.
  3. [Main text, Eq. (2) and normalization] The relation between Q_n and the logarithmic derivatives of T(u) is stated compactly; the supplement discusses the shift-operator normalization, but a parenthetical reference in the main text would help the reader.

Circularity Check

0 steps flagged

No circularity: Theorem 1 is a genuine order-by-order construction from the Reshetikhin condition, not a restatement of its own conclusion.

full rationale

The central theorem constructs the R-matrix coefficients ˇR(n) inductively from the Hamiltonian density h. The Reshetikhin condition is used as the starting input of the bootstrap, not as the conclusion. In Lemma 3, the paper proves ˇF^{1,n-1} = Z_{23} - Z_{12} under the inductive assumption that lower-order corrections vanish, and then cancels this telescopic term by choosing ˇR(n); it does not assume the target vanishing. The only external structural input, Hokkyo's Lemma 2 (Ref. [49]), is not a self-citation by the present authors, and its proof is reproduced in the supplement; its hypothesis [Q_3^B,H]=0 is exactly the Reshetikhin condition, not Theorem 1's conclusion. The isotropic Liouville-Arnold corollary invokes Ref. [52], which shares an author, but that dichotomy theorem is an independent published classification result used only for the interpretive corollary, and Theorem 1 does not rest on it. The flagged proof gaps — in particular the S.102→S.103 inference in Lemma 4 and the boundary regularization in Supplement Sec. IV B — are possible mathematical correctness issues, but they are not instances where a prediction is equivalent to the input or where the derivation reduces to a self-citation. No fitted parameters enter, and the R-matrix is not assumed. Therefore the derivation is self-contained with respect to the circularity concerns considered here.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

No free parameters are fitted: the proof is parameter-free and no numerical constants are introduced. The only 'free' objects are the unknown two-site operators X,Y in the higher Reshetikhin conditions, which are solved for rather than fixed by data. No new physical entities are postulated; the boost operator and R-matrix are standard. The main imported background is Hokkyo's conservation-bootstrap lemma and the boundary regularization of the boost operator.

axioms (6)
  • domain assumption H is diagonalizable (eigenstates span the state space) and local Hilbert space is finite-dimensional.
    Required by Theorem 1 and by Hokkyo's Lemma 2; the supplement's proof of Lemma S.1 uses finite-dimensional energy eigenbases. Stated in Theorem 1.
  • domain assumption The relevant integrability notion is the regular difference-form Yang-Baxter equation.
    The theorem and both lemmas are formulated for R(u) with R(0)=Π and spectral parameters entering as differences; non-difference-form YBE is explicitly excluded in Sec. 'Toward refinement'.
  • standard math A translation-invariant local 3-site operator whose sum over all sites is zero is a telescoping difference of 2-site operators (local telescoping lemma).
    Invoked in Lemma 3 at Eqs. (34)-(35) to pass from Σ_i ˇF_{i-1,i,i+1}=0 to ˇF_{123}=Z23-Z12; not proved in the paper.
  • standard math The cocycle condition for operator-valued polynomials implies the coboundary condition (Lemma S.7).
    Used in Lemma 4; proof supplied in supplement via differentiation and integration, relying on ω_n(u,0)=0.
  • domain assumption The boost operator B=Σ_j j h_{j,j+1} on a periodic chain can be treated as a bulk operator, with boundary terms argued to be supported near the boundary and harmless.
    Used throughout the proof of Lemma 3 and Lemma S.5; the supplementary Sec. IV B provides a boundary regularization, which is the most delicate part of the argument.
  • domain assumption Hokkyo's lemma [49]: [Q_3^B,H]=0 implies [Q_m^B,Q_n^B]=0 for all m,n≥2.
    Load-bearing in Lemma 3's second evaluation (Eq. 33). The present paper reproduces a proof in Supplement §I C, so it is not unproved, but it is an imported external theorem.

pith-pipeline@v1.3.0-daily-deepseek · 36862 in / 23263 out tokens · 211213 ms · 2026-08-03T02:23:22.449141+00:00 · methodology

0 comments
read the original abstract

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.

Figures

Figures reproduced from arXiv: 2607.29660 by Fuga Ishii, Mizuki Sanatani, Naoto Shiraishi.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗

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

58 extracted references · 32 linked inside Pith

  1. [1]

    Bethe, Zur Theorie der Metalle

    H. Bethe, Zur Theorie der Metalle. I. Eigenwerte und Eigenfunktionen der linearen Atomkette, Zeitschrift f¨ ur Physik71, 205 (1931)

    1931

  2. [2]

    Onsager, Crystal statistics

    L. Onsager, Crystal statistics. I. a two-dimensional model with an order-disorder transition, Physical Review65, 117 (1944)

    1944

  3. [3]

    Yang, Some exact results for the many-body prob- lem in one dimension with repulsive delta-function inter- action, Physical Review Letters19, 1312 (1967)

    C.-N. Yang, Some exact results for the many-body prob- lem in one dimension with repulsive delta-function inter- action, Physical Review Letters19, 1312 (1967)

    1967

  4. [4]

    R. J. Baxter, Partition function of the eight-vertex lattice model, Annals of Physics70, 193 (1972)

    1972

  5. [5]

    R. J. Baxter, Exactly solved models in statistical mechan- ics, inIntegrable systems in statistical mechanics(World Scientific, 1985) pp. 5–63

    1985

  6. [6]

    Takahashi,Thermodynamics of one-dimensional solv- able models(Cambridge university press Cambridge, 1999)

    M. Takahashi,Thermodynamics of one-dimensional solv- able models(Cambridge university press Cambridge, 1999)

    1999

  7. [7]

    L. A. Takhtajan and L. D. Faddeev, The quantum method of the inverse problem and the Heisenberg XYZ model, Russian Mathematical Surveys34, 11 (1979)

    1979

  8. [8]

    E. K. Sklyanin, L. A. Takhtajan, and L. D. Faddeev, Quantum inverse problem method. I, Theoretical and Mathematical Physics40, 688 (1980)

    1980

  9. [9]

    Tetel’man, Lorentz group for two-dimensional inte- grable lattice systems, Soviet Journal of Experimental and Theoretical Physics55, 306 (1982)

    M. Tetel’man, Lorentz group for two-dimensional inte- grable lattice systems, Soviet Journal of Experimental and Theoretical Physics55, 306 (1982)

    1982

  10. [10]

    H. B. Thacker, Corner transfer matrices and Lorentz in- variance on a lattice, Physica D: Nonlinear Phenomena 18, 348 (1986)

    1986

  11. [11]

    Faddeev, How algebraic Bethe ansatz works for inte- grable model (1996), arXiv:hep-th/9605187 [hep-th]

    L. Faddeev, How algebraic Bethe ansatz works for inte- grable model (1996), arXiv:hep-th/9605187 [hep-th]

    Pith/arXiv arXiv 1996

  12. [12]

    M. P. Grabowski and P. Mathieu, Integrability test for spin chains, Journal of Physics A: Mathematical and General28, 4777 (1995), arXiv:hep-th/9412039

    Pith/arXiv arXiv 1995

  13. [13]

    H. K. Park and S. Lee, Proof of nonintegrability of the spin-1 bilinear-biquadratic chain model, Physical Review B111, 134444 (2025), arXiv:2410.23286

    Pith/arXiv arXiv 2025

  14. [14]

    Hokkyo, M

    A. Hokkyo, M. Yamaguchi, and Y. Chiba, Absence of nontrivial local conserved quantities in the spin- 1 bilinear-biquadratic chain and its anisotropic ex- tensions, Physical Review Research7, 043297 (2025), arXiv:2411.04945

    arXiv 2025

  15. [15]

    Yamaguchi, Y

    M. Yamaguchi, Y. Chiba, and N. Shiraishi, Com- plete classification of integrability and non-integrability for spin-1/2 chain with symmetric nearest-neighbor in- teraction, Physical Review Research 10.1103/k8xr-brs7 (2026), in press, arXiv:2411.02162 [cond-mat.stat-mech]

    Pith/arXiv arXiv 2026

  16. [16]

    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, Physical Review B (2026), in press, arXiv:2411.02163 [cond-mat.stat-mech]

    Pith/arXiv arXiv 2026

  17. [17]

    N. Shiraishi, Complete classification of integrability and non-integrability ofS= 1/2 spin chains with symmetric next-nearest-neighbor interaction, Journal of Statistical Physics192, 170 (2025), arXiv:2501.15506

    Pith/arXiv arXiv 2025

  18. [18]

    Hietarinta, All solutions to the constant quantum Yang–Baxter equation in two dimensions, Physics Let- ters A165, 245 (1992), arXiv:hep-th/9210067 [hep-th]

    J. Hietarinta, All solutions to the constant quantum Yang–Baxter equation in two dimensions, Physics Let- ters A165, 245 (1992), arXiv:hep-th/9210067 [hep-th]

    Pith/arXiv arXiv 1992

  19. [19]

    Idzumi, T

    M. Idzumi, T. Tokihiro, and M. Arai, Solvable nineteen- vertex models and quantum spin chains of spin one, Jour- nal de Physique I4, 1151 (1994)

    1994

  20. [20]

    M¨ utter and A

    K.-H. M¨ utter and A. Schmitt, Solvable spin-1 models in one dimension, Journal of Physics A: Mathematical and General28, 2265 (1995)

    1995

  21. [21]

    P. N. Bibikov, Derivation ofR-matrix from local hamil- tonian density (2000), arXiv:nlin/0006040 [nlin.SI]

    Pith/arXiv arXiv 2000

  22. [22]

    P. N. Bibikov, How to solve Yang–Baxter equation using the taylor expansion ofR-matrix, Physics Letters A314, 209 (2003), arXiv:nlin/0112001

    Pith/arXiv arXiv 2003

  23. [23]

    P. N. Bibikov, Defining relations on the hamiltonians of XXX and XXZR-matrices and new integrable spin- orbital chains, Journal of Mathematical Sciences143, 2723 (2007), arXiv:nlin/0703017

    Pith/arXiv arXiv 2007

  24. [24]

    P. N. Bibikov and A. G. Nuramatov,R-matrices for in- tegrable axially symmetricS= 1 spin chains (2014), arXiv:1408.4385 [nlin.SI]

    Pith/arXiv arXiv 2014

  25. [25]

    Fonseca, L

    T. Fonseca, L. Frappat, and E. Ragoucy,Rmatrices of three-state hamiltonians solvable by coordinate Bethe ansatz, Journal of Mathematical Physics56, 013503 (2015), arXiv:1406.3197 [math-ph]

    Pith/arXiv arXiv 2015

  26. [26]

    R. S. Vieira, Solving and classifying the solutions of the Yang–Baxter equation through a differential approach. two-state systems, Journal of High Energy Physics2018, 110 (2018), arXiv:1712.02341

    Pith/arXiv arXiv 2018

  27. [27]

    de Leeuw, A

    M. de Leeuw, A. Pribytok, and P. Ryan, Classifying in- tegrable spin-1/2 chains with nearest neighbour interac- tions, Journal of Physics A: Mathematical and Theoret- ical52, 505201 (2019), arXiv:1904.12005

    Pith/arXiv arXiv 2019

  28. [28]

    de Leeuw, A

    M. de Leeuw, A. Pribytok, A. L. Retore, and P. Ryan, New integrable 1D models of superconductivity, Journal of Physics A: Mathematical and Theoretical53, 385201 (2020), arXiv:1911.01439

    Pith/arXiv arXiv 2020

  29. [29]

    de Leeuw, C

    M. de Leeuw, C. Paletta, A. Pribytok, A. L. Retore, and P. Ryan, Yang–Baxter and the Boost: splitting the differ- ence, SciPost Physics11, 069 (2021), arXiv:2010.11231

    Pith/arXiv arXiv 2021

  30. [30]

    de Leeuw and V

    M. de Leeuw and V. Posch, All 4×4 solutions of the quan- tum Yang–Baxter equation (2024), arXiv:2411.18685 11 [math-ph]

    Pith/arXiv arXiv 2024

  31. [31]

    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, Journal of High Energy Physics2024, 67 (2024), arXiv:2409.05375 [hep-th]

    Pith/arXiv arXiv 2024

  32. [32]

    P. P. Kulish and E. K. Sklyanin, Quantum spectral trans- form method. recent developments, inIntegrable Quan- tum Field Theories, Lecture Notes in Physics, Vol. 151, edited by J. Hietarinta and C. Montonen (Springer, Berlin, Heidelberg, 1982) pp. 61–119

    1982

  33. [33]

    Zotos, F

    X. Zotos, F. Naef, and P. Prelovsek, Transport and con- servation laws, Physical Review B55, 11029 (1997), arXiv:cond-mat/9611007 [cond-mat.str-el]

    Pith/arXiv arXiv 1997

  34. [34]

    Kl¨ umper and K

    A. Kl¨ umper and K. Sakai, The thermal conductivity of the spin-1/2 XXZ chain at arbitrary temperature, Jour- nal of Physics A: Mathematical and General35, 2173 (2002), arXiv:cond-mat/0112444 [cond-mat.stat-mech]

    Pith/arXiv arXiv 2002

  35. [35]

    Jimbo and T

    M. Jimbo and T. Miwa, Some remarks on the differential approach to the star-triangle relation, Letters in Mathe- matical Physics8, 529 (1984)

    1984

  36. [36]

    Kennedy, Solutions of the Yang–Baxter equation for isotropic quantum spin chains, Journal of Physics A: Mathematical and General25, 2809 (1992)

    T. Kennedy, Solutions of the Yang–Baxter equation for isotropic quantum spin chains, Journal of Physics A: Mathematical and General25, 2809 (1992)

    1992

  37. [37]

    M. T. Batchelor and C. M. Yung, Integrable SU(2)- invariant spin chains and the Haldane conjecture (1994), arXiv:cond-mat/9406072 [cond-mat]

    Pith/arXiv arXiv 1994

  38. [38]

    Shiraishi, Proof of the absence of local conserved quan- tities in the XYZ chain with a magnetic field, EPL (Eu- rophysics Letters)128, 17002 (2019), arXiv:1803.02637

    N. Shiraishi, Proof of the absence of local conserved quan- tities in the XYZ chain with a magnetic field, EPL (Eu- rophysics Letters)128, 17002 (2019), arXiv:1803.02637

    Pith/arXiv arXiv 2019

  39. [39]

    H. C. ¨Ottinger and J. Honerkamp, Note on the Yang– Baxter equations for generalized Baxter models, Physics Letters A88, 339 (1982)

    1982

  40. [40]

    Corcoran and M

    L. Corcoran and M. de Leeuw, All regular 4×4 solutions of the Yang–Baxter equation, SciPost Physics Core7, 045 (2024), arXiv:2306.10423 [hep-th]

    Pith/arXiv arXiv 2024

  41. [41]

    Zhang, Bootstrapping theR-matrix, SciPost Physics 20, 102 (2026), arXiv:2504.17773 [math-ph]

    Z. Zhang, Bootstrapping theR-matrix, SciPost Physics 20, 102 (2026), arXiv:2504.17773 [math-ph]

    Pith/arXiv arXiv 2026

  42. [42]

    S. Lal, S. Majumder, and E. Sobko, Deep learning based discovery of integrable systems (2025), arXiv:2503.10469 [hep-th]

    Pith/arXiv arXiv 2025

  43. [43]

    Jimbo, Aq-analogue ofU(gl(N+ 1)), Hecke algebra, and the Yang–Baxter equation, Letters in Mathematical Physics11, 247 (1986)

    M. Jimbo, Aq-analogue ofU(gl(N+ 1)), Hecke algebra, and the Yang–Baxter equation, Letters in Mathematical Physics11, 247 (1986)

    1986

  44. [44]

    V. F. R. Jones, Baxterization, International Journal of Modern Physics A6, 2035 (1991)

    2035

  45. [45]

    F. C. Alcaraz, M. Droz, M. Henkel, and V. Ritten- berg, Reaction-diffusion processes, critical dynamics, and quantum chains, Annals of Physics230, 250 (1994), arXiv:hep-th/9302112

    Pith/arXiv arXiv 1994

  46. [46]

    M. A. Cazalilla, Effect of suddenly turning on interac- tions in the Luttinger model, Physical Review Letters97, 156403 (2006), arXiv:cond-mat/0606236 [cond-mat.stat- mech]

    Pith/arXiv arXiv 2006

  47. [47]

    Rigol, V

    M. Rigol, V. Dunjko, V. Yurovsky, and M. Olshanii, Relaxation in a completely integrable many-body quan- tum system: An ab initio study of the dynamics of the highly excited states of 1D lattice hard-core bosons, Physical Review Letters98, 050405 (2007), arXiv:cond- mat/0604476 [cond-mat.other]

    arXiv 2007

  48. [48]

    O. A. Castro-Alvaredo, B. Doyon, and T. Yoshimura, Emergent hydrodynamics in integrable quantum systems out of equilibrium, Physical Review X6, 041065 (2016), arXiv:1605.07331 [cond-mat.stat-mech]

    Pith/arXiv arXiv 2016

  49. [49]

    Hokkyo, Integrability from a single conservation law in quantum spin chains, Physical Review B114, 055108 (2026), arXiv:2508.20713 [cond-mat.stat-mech]

    A. Hokkyo, Integrability from a single conservation law in quantum spin chains, Physical Review B114, 055108 (2026), arXiv:2508.20713 [cond-mat.stat-mech]

    arXiv 2026

  50. [50]

    Weigert, The problem of quantum integrability, Phys- ica D: Nonlinear Phenomena56, 107 (1992)

    S. Weigert, The problem of quantum integrability, Phys- ica D: Nonlinear Phenomena56, 107 (1992)

    1992

  51. [51]

    Caux and J

    J.-S. Caux and J. Mossel, Remarks on the notion of quantum integrability, Journal of Statistical Mechan- ics: Theory and Experiment2011, P02023 (2011), arXiv:1012.3587 [cond-mat.str-el]

    Pith/arXiv arXiv 2011

  52. [52]

    Shiraishi and M

    N. Shiraishi and M. Yamaguchi, Dichotomy theorem sep- arating complete integrability and nonintegrability of isotropic spin chains, Physical Review B113, L241111 (2026), arXiv:2504.14315

    Pith/arXiv arXiv 2026

  53. [53]

    Links, H.-Q

    J. Links, H.-Q. Zhou, R. H. McKenzie, and M. D. Gould, Ladder operator for the one-dimensional Hubbard model, Physical Review Letters86, 5096 (2001), arXiv:cond- mat/0011368 [cond-mat.str-el]

    arXiv 2001

  54. [54]

    A. B. Zamolodchikov, Tetrahedra equations and inte- grable systems in three-dimensional space, Soviet Physics JETP52, 325 (1980), [Zh. Eksp. Teor. Fiz. 79, 641–664 (1980)]

    1980

  55. [55]

    M. M. Kapranov and V. A. Voevodsky, 2-categories and Zamolodchikov tetrahedra equations, inProceedings of Symposia in Pure Mathematics, Vol. 56 (American Math- ematical Society, 1994) pp. 177–259

    1994

  56. [56]

    Paletta and T

    C. Paletta and T. Prosen, On the integrability struc- ture of the deformed rule-54 reversible cellular automaton (2026), arXiv:2603.25424 [math-ph]

    Pith/arXiv arXiv 2026

  57. [57]

    A Simple Necessary and Sufficient Condition for Yang–Baxter Integrability

    C. Paletta, Yang–Baxter integrable open quantum sys- tems (2023), arXiv:2312.00064 [cond-mat.stat-mech]. 1 Supplemental Material for “A Simple Necessary and Sufficient Condition for Yang–Baxter Integrability” Mizuki Sanatani, Naoto Shiraishi, and Fuga Ishii Graduate School of Arts and Sciences / College of Arts and Sciences, The University of Tokyo I. Rev...

    Pith/arXiv arXiv 2023

  58. [123]

    On the other hand, ˇF 1,2 123 cannot necessarily be made to vanish by a suitable choice of ˇR(3)

    can always be set to zero by choosing a proper ˇR(2). On the other hand, ˇF 1,2 123 cannot necessarily be made to vanish by a suitable choice of ˇR(3). This can vanish if and only if ˇF 1,2 123 takes a telescopic form: ˇF 1,2 123 =X 23 −X 12, which is the Reshetikhin condition. Our goal is to prove that if ˇF 1,2 123 can be made to vanish by a suitable ch...