Baxter's homogeneous T−QT-Q relation solves the spectrum of the periodic spin-12\frac{1}{2} XYZ chain (the quantum side of the eight-vertex model) for an even number of sites NN, at the price of an integer parameter β\beta and a sum rule on the Bethe roots whose consistency was never proven. Xin Zhang (arXiv:2404.12615, 2024) supplied extensive numerical evidence for a bundle of hypotheses: β\beta equals the sum-rule integer pp; the homogeneous T−QT-Q relation together with its elliptic Bethe ansatz equations (BAEs) and the sum rule is complete for the spectra of the Hamiltonian and transfer matrix; physical singular (bound-pair) solutions are exhausted by explicit counts; determinant scalar products survive at generic (non-root-of-unity) anisotropy as the P→∞P\to\infty limit of the root-of-unity formulas; and a homogeneous T−QT-Q relation exists also in the M0≠N/2M_0\neq N/2 regime where the sum rule disappears, while for odd NN the spectrum's inhomogeneous T−QT-Q relation still lacks a Bethe vector. No proof or refutation of any of these hypotheses is known. Adjacent results leave precisely the generic-parameter analytic core open, so the problem is to replace each numerically supported hypothesis by a rigorous statement or an explicit counterexample.

Background

The spin-12\frac{1}{2} XYZ chain is the maximally anisotropic Heisenberg chain: NN spin-12\frac{1}{2} sites with distinct exchange couplings Jx,Jy,JzJ_x,J_y,J_z and periodic boundary conditions. Unlike the XXX and XXZ chains it has no U(1)U(1) magnetization symmetry (no conserved total magnetization), so there is no pseudo-vacuum, i.e. no simple reference state on which creation operators could act, and the standard algebraic Bethe ansatz (ABA), the exact-solution method that builds eigenstates by applying creation operators to such a reference state, is unavailable. Integrability comes instead from Baxter's eight-vertex (8V) model, a two-dimensional lattice model of arrows on edges whose eight allowed vertex configurations carry four Boltzmann weights: the chain Hamiltonian commutes with a transfer matrix t(u)t(u) built from the elliptic RR-matrix (a 4×44\times 4 matrix of Boltzmann weights solving the Yang-Baxter equation, whose entries are Jacobi theta functions θ1\theta_1 with quasi-periods 11 and τ\tau and crossing parameter η\eta).

For even NN, Baxter showed that every eigenvalue Λ(u)\Lambda(u) of t(u)t(u) can be written as a homogeneous T−QT-Q relation (a functional equation expressing Λ\Lambda through an auxiliary theta-function ratio QQ),

Λ(u)=eβγθ1N(u+η)Q(u−η)θ1N(η)Q(u)+e−βγθ1N(u)Q(u+η)θ1N(η)Q(u),γ=iπη,\Lambda(u)=e^{\beta\gamma}\frac{\theta_1^N(u+\eta)Q(u-\eta)}{\theta_1^N(\eta)Q(u)}+e^{-\beta\gamma}\frac{\theta_1^N(u)Q(u+\eta)}{\theta_1^N(\eta)Q(u)},\quad\gamma=i\pi\eta,

with Q(u)=∏j=1N/2θ1(u−λj+η/2)Q(u)=\prod_{j=1}^{N/2}\theta_1(u-\lambda_j+\eta/2) and an integer β\beta. Requiring Λ(u)\Lambda(u) to be entire fixes the Bethe roots λj\lambda_j (the quasi-particle momenta of the eigenstate) through elliptic Bethe ansatz equations (BAEs), and the roots additionally obey the sum rule 2∑jλj=k+pτ2\sum_j\lambda_j=k+p\tau with integers k,pk,p. Two analytic inputs have never been rigorously established. First, the value of β\beta: solving the BAEs numerically requires guessing it. Second, completeness: whether BAE solutions, together with so-called singular solutions in which two roots sit at the poles ±η/2\pm\eta/2 of the T−QT-Q relation (where the naive Bethe vector vanishes and must be rescaled), account for all 2N2^N eigenvalues. Baxter's own completeness paper on the six- and eight-vertex models is regarded by later experts as presenting evidence rather than a proof for the periodic XYZ case at generic η\eta.

Bethe vectors exist only as infinite series in the generalized algebraic Bethe ansatz (GABA, where creation operators act on a factorized, parameter-dependent reference state) with unproven convergence; at roots of unity η=2K+2Lτ/P\eta=2K+2L\tau/P the series truncate (a regime with rich but special algebraic structure studied by Fabricius and McCoy), and there Slavnov, Zabrodin and Zotov proved determinant formulas for scalar products (inner products of Bethe vectors, the raw material of correlation functions), Zhang, Klümper and Popkov constructed explicit chiral bases and a coordinate Bethe ansatz in invariant subspaces, and Kulkarni and Slavnov computed the monodromy-matrix actions, obtaining explicit scalar products only in the free-fermion limit. For odd NN no homogeneous T−QT-Q relation exists: the off-diagonal Bethe ansatz (ODBA, which builds functional relations from operator identities rather than a reference state) gives the spectrum through an inhomogeneous T−QT-Q relation with two QQ-functions, but no Bethe vector; Niccoli and Terras instead constructed all odd-NN eigenstates rigorously by separation of variables (SoV, a method that diagonalizes the transfer matrix by factorizing the spectral problem into independent coordinate and momentum equations) after mapping the model to an antiperiodic dynamical six-vertex model, although the reformulation of their construction through Bethe-type equations is proven only for even NN. In the trigonometric (τ→i∞\tau\to i\infty) XXZ limit, phantom Bethe roots (equispaced strings at infinite momentum that leave the T−QT-Q relation invariant, introduced by Popkov, Zhang and Klümper) link β\beta to the XXZ root structure. Against this background, Xin Zhang performed exact-diagonalization comparisons for Hermitian and non-Hermitian parameters up to N=8N=8 and proposed the hypotheses whose rigorous confirmation is the present problem.

Problem Statement

Replace the numerically supported hypotheses of arXiv:2404.12615 about Baxter's homogeneous T−QT-Q relation for the generic (non-root-of-unity) periodic spin-12\frac{1}{2} XYZ chain by rigorous analytic statements. The single overarching objective is a rigorous T−QT-Q/Bethe-ansatz description of the generic periodic XYZ chain, realized only when all six of the following independently refutable sub-problems are resolved; each sub-problem stands on its own, so resolving any one of them (by proof, refutation, or an explicit generic-parameter counterexample) is a resolution of that sub-problem and partial progress on the objective: (1) prove or refute that the integer β\beta entering the T−QT-Q relation and the Bethe vector equals the sum-rule integer pp for all generic even-NN chains, so that the M+1M+1 unknowns {λ1,…,λM,β}\{\lambda_1,\dots,\lambda_M,\beta\} are determined by the BAEs plus the sum rule 2∑jλj=k+pτ2\sum_j\lambda_j=k+p\tau, and establish the resulting convergence of the infinite-series GABA Bethe vector; (2) prove or refute completeness, i.e. that the homogeneous T−QT-Q relation with M=N/2M=N/2 roots, its BAEs and the sum rule reproduce all 2N2^N eigenvalues of the Hamiltonian and transfer matrix; (3) classify all physical singular solutions of the BAEs (bound pairs λ=±η/2\lambda=\pm\eta/2 with correctly rescaled, non-vanishing Bethe vectors), prove their counts (numerically 1, 4, 11 for N=4,6,8N=4,6,8); (4) extend the determinant scalar-product formulas from the root-of-unity case to generic anisotropy via the P→∞P\to\infty limit, or establish exactly where this limit fails; (5) settle the regime (N−2M0)η=2K1+2L1τ(N-2M_0)\eta=2K_1+2L_1\tau with M0≠N/2M_0\neq N/2, in which a homogeneous T−QT-Q relation with M0M_0 roots exists but the sum rule disappears: determine completeness and the analogue of β\beta there; and (6) construct the Bethe vector for the odd-NN periodic chain whose spectrum is given by the inhomogeneous T−QT-Q relation, in the Bethe-type sense with proven completeness, going beyond the existing SoV eigenstate characterization whose Bethe-equation reformulation is proven only for even NN. An explicit generic-parameter counterexample refuting any hypothesis is an equally valid resolution of that item. The source additionally lists fast and reliable numerical methods for the elliptic BAEs at large NN as an explicitly auxiliary goal that would facilitate exploration but does not define completion.

References

  1. Xin Zhang, "Hypotheses regarding Baxter's T−QT-Q relation for the periodic XYZ chain", arXiv:2404.12615 (2024). https://arxiv.org/abs/2404.12615
  2. R. J. Baxter, "Partition function of the Eight-Vertex lattice model", Annals of Physics 70, 193 (1972), DOI 10.1016/0003-4916(72)90335-1. https://doi.org/10.1016/0003-4916(72)90335-1
  3. R. Baxter, "Eight-vertex model in lattice statistics and one-dimensional anisotropic Heisenberg chain. I. Some fundamental eigenvectors", Annals of Physics 76, 1 (1973), DOI 10.1016/0003-4916(73)90439-9. https://doi.org/10.1016/0003-4916(73)90439-9
  4. R. Baxter, "Eight-vertex model in lattice statistics and one-dimensional anisotropic Heisenberg chain. III. Eigenvectors of the transfer matrix and Hamiltonian", Annals of Physics 76, 48 (1973), DOI 10.1016/0003-4916(73)90441-7. https://doi.org/10.1016/0003-4916(73)90441-7
  5. R. J. Baxter, "Completeness of the Bethe ansatz for the six and eight vertex models", Journal of Statistical Physics 108, 1 (2002), DOI 10.1023/A:1015437118218. https://doi.org/10.1023/A:1015437118218
  6. J. Cao, S. Cui, W.-L. Yang, K.-J. Shi, Y. Wang, "Spin-1/2 XYZ model revisit: general solutions via off-diagonal Bethe ansatz", Nuclear Physics B 886, 185 (2014), DOI 10.1016/j.nuclphysb.2014.06.026, arXiv:1307.0280. https://arxiv.org/abs/1307.0280
  7. X. Zhang, A. Klümper, V. Popkov, "Pedestrian's way to Baxter's Bethe ansatz for the periodic XYZ chain", Physical Review B 109, 115411 (2024), DOI 10.1103/PhysRevB.109.115411, arXiv:2312.00161. https://arxiv.org/abs/2312.00161
  8. N. Slavnov, A. Zabrodin, A. Zotov, "Scalar products of Bethe vectors in the 8-vertex model", JHEP 2020 (6), 123 (2020), DOI 10.1007/JHEP06(2020)123, arXiv:2005.11224. https://arxiv.org/abs/2005.11224
  9. G. Kulkarni, N. A. Slavnov, "Scalar products of Bethe vectors in the generalized algebraic Bethe ansatz", Theoretical and Mathematical Physics 217, 1574 (2023), DOI 10.1134/S0040577923100100, arXiv:2306.12932. https://arxiv.org/abs/2306.12932
  10. G. Kulkarni, N. A. Slavnov, "Action of the monodromy matrix elements in the generalized algebraic Bethe ansatz", Theoretical and Mathematical Physics 217, 1889 (2023), DOI 10.1134/S0040577923120085, arXiv:2303.02439. https://arxiv.org/abs/2303.02439
  11. G. Niccoli, V. Terras, "The eight-vertex model with quasi-periodic boundary conditions", Journal of Physics A: Mathematical and Theoretical 49, 044001 (2016), DOI 10.1088/1751-8113/49/4/044001, arXiv:1508.03230. https://arxiv.org/abs/1508.03230
  12. G. Niccoli, "An antiperiodic dynamical six-vertex model: I. Complete spectrum by SOV, matrix elements of the identity on separate states and connections to the periodic eight-vertex model", Journal of Physics A: Mathematical and Theoretical 46, 075003 (2013), DOI 10.1088/1751-8113/46/7/075003. https://doi.org/10.1088/1751-8113/46/7/075003
  13. R. I. Nepomechie, C. Wang, "Algebraic Bethe ansatz for singular solutions", Journal of Physics A: Mathematical and Theoretical 46, 325002 (2013), DOI 10.1088/1751-8113/46/32/325002. https://doi.org/10.1088/1751-8113/46/32/325002
  14. W. Hao, R. I. Nepomechie, A. J. Sommese, "Completeness of solutions of Bethe's equations", Physical Review E 88, 052113 (2013), DOI 10.1103/PhysRevE.88.052113. https://doi.org/10.1103/PhysRevE.88.052113
  15. K. Fabricius, B. M. McCoy, "New Q Matrices and Their Functional Equations for the Eight Vertex Model at Elliptic Roots of Unity", Journal of Statistical Physics 134, 643 (2009), DOI 10.1007/s10955-009-9692-6. https://doi.org/10.1007/s10955-009-9692-6
  16. V. Popkov, X. Zhang, A. Klümper, "Phantom Bethe excitations and spin helix eigenstates in integrable periodic and open spin chains", Physical Review B 104, L081410 (2021), DOI 10.1103/PhysRevB.104.L081410. https://doi.org/10.1103/PhysRevB.104.L081410
  17. Z. Xin, J. Cao, W.-L. Yang, Y. Wang, "Exact physical quantities of the XYZ spin chain in the thermodynamic limit", JHEP 2025 (2), 086 (2025), DOI 10.1007/JHEP02(2025)086, arXiv:2411.12200. https://arxiv.org/abs/2411.12200
  18. G. Niccoli, V. Terras, "The open XYZ spin 1/2 chain: Separation of variables and scalar products for boundary fields related by a constraint", SciPost Physics 19, 090 (2025), DOI 10.21468/SciPostPhys.19.4.090, arXiv:2402.04112. https://arxiv.org/abs/2402.04112
  19. P. Fendley, S. Gehrmann, E. Vernier, F. Verstraete, "XYZ integrability the easy way", arXiv:2511.04674 (2025). https://arxiv.org/abs/2511.04674
  20. K. Fukai, K. Yamada, "Matrix product operator representations for the local conserved quantities of the spin-1/2 XYZ chain", arXiv:2601.09245 (2026). https://arxiv.org/abs/2601.09245
  21. X. Qian, X. Zhang, "Generalized integrable boundary states in XXZ and XYZ spin chains", arXiv:2601.16605 (2026). https://arxiv.org/abs/2601.16605
  22. S. Wu, S. Chen, J. Cao, X. Zhang, "Bethe-root configurations and spectral degeneracy in the open XXZ chain with degenerate boundaries", arXiv:2608.20815 (2026). https://arxiv.org/abs/2608.20815