Extending the equivalence between local conservation laws and Yang-Baxter integrability beyond the standard setting in quantum spin chains

For one-dimensional translationally invariant quantum spin chains with nearest-neighbor interactions, two recent results established a complete Hamiltonian-level correspondence between conservation laws and exact solvability: Hokkyo proved that the Reshetikhin condition - conservation of the single boost-generated charge Q^(3) = -sum_i [h_i, h_{i+1}], essentially the total energy current - implies an infinite mutually commuting hierarchy of local conserved quantities, and Sanatani, Shiraishi and Ishii proved conversely that this condition is necessary and sufficient for the existence of a regular difference-form R-matrix satisfying the Yang-Baxter equation and reproducing the Hamiltonian, resolving a conjecture open since the early 1980s. The open problem is the completion of this equivalence outside the standard setting: the structure and Hamiltonian-level reconstruction of local conserved quantities in Yang-Baxter-solvable models not detected by the difference-form Reshetikhin condition (staggered transfer matrices, coupled spin chains, non-difference-form R-matrices such as the Hubbard model); the existence and integrability implications of nonstandard boost operators that violate the known consistency condition (37) in chains outside auxiliary assumptions (31)/(32); and the boundary of the all-or-nothing dichotomy between complete integrability and nonintegrability beyond the isotropic class. All three components remain open.

Background

A quantum spin chain is a one-dimensional lattice system $H = \sum_i h_i$ in which each site carries a finite-dimensional local Hilbert space and the Hamiltonian density $h_i$ acts nontrivially only near site $i$; the chain is translationally invariant when all $h_i$ are translates of one another and nearest-neighbor when $h_i$ acts only on sites $i, i+1$. In this setting quantum integrability is commonly identified with the existence of an infinite family of mutually commuting local conserved quantities (operators supported on finitely many contiguous sites that commute with $H$), since such charges constrain the dynamics and prevent generic thermalization. The algebraic route to such hierarchies starts from an $R$-matrix, an operator $R(u)$ on two sites depending on a spectral parameter $u$ that satisfies the Yang-Baxter equation - the consistency condition for factorizing many-body scattering processes into two-body ones. With the regularity condition $R(0) = \Pi$ ($\Pi$ the permutation swapping the two sites), the transfer matrix $t(u)$, defined as a trace over an auxiliary space of a product of $R$-matrices along the chain, commutes with itself at different spectral parameters, and the logarithmic derivatives of $t(u)$ generate the commuting local charges; the Hamiltonian appears as the first nontrivial charge, $h = \Pi R'(0)$. A model is difference-form Yang-Baxter solvable if it arises this way from an $R$-matrix depending only on the difference of spectral parameters.

Two Hamiltonian-level structures mirror this construction. The boost operator $B_H = \sum_j j\,(h_j) + C$ (with $C$ an arbitrary one-local term), introduced in the early 1980s within the quantum inverse scattering method, generates charges recursively by $Q^{(2)} = H$, $Q^{(n+1)} = [B_H, Q^{(n)}]$. Expanding a regular difference-form $R$-matrix in powers of $u$ inside the Yang-Baxter equation shows that its third-order coefficient can be matched if and only if the nested commutator $[h_{12}+h_{23}, [h_{12}, h_{23}]]$ telescopes as $X_{23} - X_{12}$ for some two-site operator $X$; this lowest-order condition, attributed to Reshetikhin and reported by Kulish and Sklyanin, is equivalent to conservation of the single boost-generated charge $Q^{(3)} = -\sum_i [h_i, h_{i+1}]$ (in many chains the total energy current) and is also called the tangential star-triangle relation, being the first-order tangency condition of the star-triangle (Yang-Baxter) equation at the regular point. Because the condition involves only the Hamiltonian density, it has served for four decades as a practical integrability test; every model found to satisfy it - in classification programs such as Kennedy's for isotropic chains - has turned out to be Yang-Baxter solvable, motivating the conjecture, raised by Kulish and Sklyanin, Ottinger and Honerkamp, and Jimbo and Miwa, and reformulated by Grabowski and Mathieu, that the condition alone implies full integrability.

Hokkyo recently proved the positive direction: for translationally invariant chains with finite-range interactions, the Reshetikhin condition implies that all boost-generated charges are conserved and mutually commute, resolving the Grabowski-Mathieu conjecture for the standard boost without auxiliary assumptions; and, under two additional assumptions - (31): no nonzero one-site operator commutes with the two-site interaction, and (32): the only two-local conserved quantity is the Hamiltonian itself up to one-local terms - he extended the same conclusion to arbitrary two-local boosts $B$ with $[B, H]$ conserved, showing that such a boost is necessarily reduced to the standard one up to one-local terms (the Grabowski-Mathieu conjecture in its general-boost form). He also proved an analogue for parametrized Hamiltonian families obeying a generalized Reshetikhin condition (the setting of Links et al. for the Hubbard model, whose $R$-matrix is not of difference form and whose charges are generated by ladder-type operators rather than the standard boost), and, combining his theorem with rigorous nonintegrability tests, a dichotomy proposition: under (31), (32) and a technical condition (A), a chain either possesses commuting $k$-local charges for all $k \ge 2$ or none beyond $H$ and one-local charges. Sanatani, Shiraishi and Ishii then closed the converse for the standard setting: the Reshetikhin condition is necessary and sufficient for difference-form Yang-Baxter solvability of any diagonalizable translation-invariant nearest-neighbor chain. Shiraishi and Yamaguchi verified condition (A) for isotropic (SU(2)-symmetric) chains of arbitrary spin, establishing the dichotomy there.

What remains is the boundary of this picture. Several classical integrable families are Yang-Baxter solvable but are not detected by the difference-form Reshetikhin condition: chains built from staggered transfer matrices, whose monodromy alternates $R$-matrices of different type or acting between different representations (Bariev's chain with two- and three-particle interactions; the de Vega-Woynarovich chains combining different spins; the Abad-Rios su(3) chains), integrable coupled spin chains (Frahm-Rodenbeck), and non-difference-form models such as the Hubbard model, whose exhaustive local charges were constructed only recently and without any boost mechanism.

Problem Statement

The problem is to extend the Hamiltonian-level equivalence between local conservation laws and Yang-Baxter integrability - established for translationally invariant nearest-neighbor chains with difference-form $R$-matrices by the results recalled above - beyond that standard setting, and to delimit the resulting integrability/nonintegrability landscape. Three linked deliverables, all three of which are required to complete the problem; each is posed as a separately attackable sub-claim, so that a proof or counterexample settling any one of them is a substantive partial result rather than a full resolution:

(1) Conserved-quantity structure and Yang-Baxter data beyond the Reshetikhin framework. For Yang-Baxter-solvable models to which the difference-form Reshetikhin condition does not directly apply - chains constructed from staggered transfer matrices combining different spins or representations, integrable coupled spin chains, and models with non-difference-form $R$-matrices such as the one-dimensional Hubbard model - determine (a) whether the local conserved quantities form a complete, mutually commuting, exhaustive family and what their structure is; (b) by which mechanism (generalized boost, ladder-type operator, or other) a single low-order conservation law generates the full hierarchy, as the standard boost does in the difference-form setting, for the model families where this mechanism is not already known (for the Hubbard model the ladder-type mechanism is established, so this sub-goal concerns the remaining families); and (c) whether the underlying Yang-Baxter data ($R$-matrix or transfer matrix) can be reconstructed from the Hamiltonian-level conservation laws alone - the non-difference-form analogue of the reconstruction theorem available in the standard setting. All three of (a), (b) and (c) are required for this deliverable to count as resolved, and the target is a characterization of the class of Yang-Baxter-solvable models to which the difference-form Reshetikhin condition does not directly apply, with the named model families serving as necessary test cases for that characterization rather than a sufficient substitute for it.

(2) Nonstandard boost operators. For translationally invariant nearest-neighbor chains that violate assumption (31) (no nonzero one-site operator commutes with the interaction) or assumption (32) (the only two-local conserved quantity is the Hamiltonian up to one-local terms), determine whether there exist boost operators $B$ of the two-local form $B = \sum_j b^{(2)}_j + \sum_j b^{(1)}_j$ such that $[B, H]$ is a nonzero conserved quantity while the consistency condition (37), $[X, [B, X]] = 0$ with $X = \mathcal{T}(B) - B$ ($\mathcal{T}$ the lattice translation), fails; and, if such nonstandard boosts exist, determine whether they nevertheless imply integrability - the Grabowski-Mathieu conjecture in its full generality.

(3) Boundary of the all-or-nothing dichotomy. Determine for which classes of quantum spin chains the dichotomy holds - every chain in the class either possesses mutually commuting $k$-local conserved quantities for all $k \ge 2$, or possesses no nontrivial local conserved quantities beyond $H$ and one-local charges - beyond the isotropic SU(2)-symmetric nearest-neighbor class where it is now proven, given that it is known to fail for non-Hermitian bosonic chains with symmetric hopping and arbitrary on-site terms; in particular, whether it extends to anisotropic or less symmetric Hermitian nearest-neighbor chains and to chains with longer-range interactions. The target is a characterization of the class of chains for which the dichotomy holds; the named families are necessary test cases for that characterization, not a sufficient substitute for it.

These deliverables share one objective: completing, at the level of the local Hamiltonian, the characterization of when a single local conservation law forces full quantum integrability and Yang-Baxter solvability - the generating mechanism (deliverable 2), the scope over Yang-Baxter-solvable model classes (deliverable 1), and the failure modes on the integrability/nonintegrability landscape (deliverable 3).

References

1. A. Hokkyo, "Integrability from a single conservation law in quantum spin chains", Phys. Rev. B 114, 055108 (2026). DOI: 10.1103/y66t-t8zw; arXiv:2508.20713. https://arxiv.org/abs/2508.20713
2. M. Sanatani, N. Shiraishi, and F. Ishii, "A Simple Necessary and Sufficient Condition for Yang-Baxter Integrability", arXiv:2607.29660 (2026). https://arxiv.org/abs/2607.29660
3. N. Shiraishi and M. Yamaguchi, "Dichotomy theorem separating complete integrability and nonintegrability of isotropic spin chains", Phys. Rev. B 113, L241111 (2026). DOI: 10.1103/lcn4-tbcm; arXiv:2504.14315. https://arxiv.org/abs/2504.14315
4. M. Yamaguchi and N. Shiraishi, "Violating the All-or-Nothing Picture of Local Charges in Non-Hermitian Bosonic Chains", arXiv:2603.10972 (2026). https://arxiv.org/abs/2603.10972
5. Z. Zhang, "Bootstrapping the R-matrix", SciPost Phys. 20, 102 (2026). DOI: 10.21468/SciPostPhys.20.4.102; arXiv:2504.17773. https://arxiv.org/abs/2504.17773
6. M. P. Grabowski and P. Mathieu, "Integrability test for spin chains", J. Phys. A: Math. Gen. 28, 4777 (1995). DOI: 10.1088/0305-4470/28/17/013. https://doi.org/10.1088/0305-4470/28/17/013
7. M. P. Grabowski and P. Mathieu, "Structure of the Conservation Laws in Quantum Integrable Spin Chains with Short Range Interactions", Ann. Phys. (N.Y.) 243, 299 (1995). DOI: 10.1006/aphy.1995.1101. https://doi.org/10.1006/aphy.1995.1101
8. M. Jimbo and T. Miwa, "Some remarks on the differential approach to the star-triangle relation", Lett. Math. Phys. 8, 529 (1984). DOI: 10.1007/BF00400983. https://doi.org/10.1007/BF00400983
9. M. Idzumi, T. Tokihiro, and M. Arai, "Solvable nineteen-vertex models and quantum spin chains of spin one", J. Phys. I France 4, 1151 (1994). DOI: 10.1051/jp1:1994245. https://doi.org/10.1051/jp1:1994245
10. P. P. Kulish and E. K. Sklyanin, "Quantum spectral transform method. Recent developments", in Integrable Quantum Field Theories, Lecture Notes in Physics Vol. 151 (Springer, Berlin, 1982), pp. 61-119. DOI: 10.1007/3-540-11190-5_8. https://doi.org/10.1007/3-540-11190-5_8
11. H. C. Öttinger and J. Honerkamp, "Note on the Yang-Baxter equations for generalized Baxter models", Phys. Lett. A 88, 339 (1982). DOI: 10.1016/0375-9601(82)90609-0. https://doi.org/10.1016/0375-9601(82)90609-0
12. J. Links, H.-Q. Zhou, R. H. McKenzie, and M. D. Gould, "Ladder operator for the one-dimensional Hubbard model", Phys. Rev. Lett. 86, 5096 (2001). DOI: 10.1103/PhysRevLett.86.5096. https://doi.org/10.1103/PhysRevLett.86.5096
13. R. Z. Bariev, "Integrable spin chain with two- and three-particle interactions", J. Phys. A: Math. Gen. 24, L549 (1991). DOI: 10.1088/0305-4470/24/10/010. https://doi.org/10.1088/0305-4470/24/10/010
14. H. J. de Vega and F. Woynarovich, "New integrable quantum chains combining different kinds of spins", J. Phys. A: Math. Gen. 25, 4499 (1992). DOI: 10.1088/0305-4470/25/17/012. https://doi.org/10.1088/0305-4470/25/17/012
15. J. Abad and M. Rios, "Integrable su(3) spin chain combining different representations", J. Phys. A: Math. Gen. 30, 5887 (1997). DOI: 10.1088/0305-4470/30/17/003. https://doi.org/10.1088/0305-4470/30/17/003
16. H. Frahm and C. Rödenbeck, "Integrable models of coupled Heisenberg chains", EPL 33, 47 (1996). DOI: 10.1209/epl/i1996-00302-7. https://doi.org/10.1209/epl/i1996-00302-7
17. T. Kennedy, "Solutions of the Yang-Baxter equation for isotropic quantum spin chains", J. Phys. A: Math. Gen. 25, 2809 (1992). DOI: 10.1088/0305-4470/25/10/010. https://doi.org/10.1088/0305-4470/25/10/010
18. M. de Leeuw, C. Paletta, A. Pribytok, A. L. Retore, and P. Ryan, "Yang-Baxter and the Boost: Splitting the difference", SciPost Phys. 11, 069 (2021). DOI: 10.21468/SciPostPhys.11.3.069; arXiv:2010.11231. https://arxiv.org/abs/2010.11231
19. C. Paletta and T. Prosen, "On the integrability structure of the deformed rule-54 reversible cellular automaton", J. Phys. A: Math. Theor. 59, 345201 (2026). DOI: 10.1088/1751-8121/ae925e; arXiv:2603.25424. https://arxiv.org/abs/2603.25424
20. P. Padmanabhan, S. Maity, and V. Korepin, "Scalene Yang-Baxter triples as a source of hidden symmetries beyond the ordinary Yang-Baxter equation", arXiv:2608.09081 (2026). https://arxiv.org/abs/2608.09081
21. M. Blakeney, L. Corcoran, and M. de Leeuw, "Constrained integrability and anyonic chains", Int. J. Mod. Phys. A (2026). DOI: 10.1142/S0217751X26300140; arXiv:2605.28946. https://arxiv.org/abs/2605.28946
22. A. Hokkyo, "Rigorous Test for Quantum Integrability and Nonintegrability", arXiv:2501.18400 (2025). https://arxiv.org/abs/2501.18400
23. K. Fukai, "Study of local conserved quantities in the one-dimensional Hubbard model", Doctoral Dissertation, University of Tokyo (2024); arXiv:2402.08924. https://arxiv.org/abs/2402.08924
24. K. Fukai, "All Local Conserved Quantities of the One-Dimensional Hubbard Model", Phys. Rev. Lett. 131, 256704 (2023). DOI: 10.1103/PhysRevLett.131.256704. https://doi.org/10.1103/PhysRevLett.131.256704
25. W.-M. Fan, K. Hao, Y.-Y. Chen, X.-H. Wang, K. Zhang, and V. Korepin, "Minimal nonintegrable models with three-site interactions", arXiv:2602.07867 (2026). https://arxiv.org/abs/2602.07867