Completeness, equivalence, and thermodynamic-limit structure of the Yang-Baxter-algebra Bethe-like systems for the XXZ chain with non-diagonal twisted and open boundaries

The algebraic-functional method based on the Yang-Baxter algebra (W. Galleas, 2008) produces the transfer-matrix eigenvalues of the spin-1/2 XXZ chain with generic non-diagonal twisted (antiperiodic) and open boundary conditions in terms of coupled 'Bethe-like' nonlinear systems for several redundant sets of variables; in the twisted case the right-hand sides carry an explicit $1/L$ factor. These systems were checked against direct diagonalization only for small chains, and the 2008 paper left open whether they are complete for all finite chain lengths $L$, how they are analytically related to the other then-existing exact solutions of the same models (the $q$-Onsager-algebra solution and the multiple-reference-state constructions), and what their solutions do in the thermodynamic limit $L \to \infty$; the later inhomogeneous $T$-$Q$ / off-diagonal Bethe ansatz and separation-of-variables characterizations provide further complete characterizations of the same spectra to which these systems have never been connected. Later literature resolved the underlying spectral-completeness and thermodynamic questions in parallel frameworks but did not analyze Galleas's specific systems. The problem is to settle the status of these systems: prove or disprove completeness for all finite $L$, establish the explicit analytic connection with the other exact solutions of the same models, and determine the thermodynamic-limit solution structure of the $1/L$-factor equations.

Background

The spin-1/2 XXZ chain is the anisotropic Heisenberg quantum spin chain, the canonical exactly solvable lattice model. Its solvability is organized by the transfer matrix $t(\lambda)$, a one-parameter commuting family built from the R-matrix of the six-vertex model (the $2\times2$ matrix of statistical weights of an elementary vertex) and the monodromy matrix; the monodromy-matrix entries generate the Yang-Baxter algebra (YBA), the quadratic relations underlying the algebraic Bethe ansatz (ABA). In the ABA, eigenvalues of $t(\lambda)$ are parameterized by roots of the Bethe ansatz equations (BAE), a coupled nonlinear system, and the construction rests on a reference state (pseudo-vacuum), which exists because the periodic or diagonal-boundary chain conserves the total spin projection $S^z$ (a U(1) symmetry). Completeness means that BAE solutions, counted with appropriate multiplicity conventions, bijectively parameterize all $2^L$ eigenvalues of an $L$-site chain.

Boundary conditions enter through a twist matrix inserted in the trace defining $t(\lambda)$; an anti-diagonal twist gives antiperiodic (semi-periodic) boundary conditions. Open boundaries are treated by Sklyanin's construction, in which boundary K-matrices solving the reflection equation — the boundary analogue of the Yang-Baxter equation that guarantees integrability in the presence of boundaries — build a double-row transfer matrix whose monodromy-matrix entries generate the reflection algebra, the open-boundary counterpart of the YBA. Generic non-diagonal boundary fields, like an anti-diagonal twist, break $S^z$ conservation, destroying the ABA reference state; an unconstrained Bethe-ansatz solution of the open chain with generic boundaries was a two-decade-old obstacle. Partial solutions existed: Nepomechie (2004) solved the open chain under a constraint among boundary parameters (completeness of that constrained solution analyzed by Nepomechie and Ravanini 2003), Yang and Zhang (2007) used a second reference state, and Baseilhac and Koizumi (2007) diagonalized the chain from the representation theory of the $q$-Onsager algebra — a $q$-deformation of the infinite-dimensional Onsager algebra underlying the two-dimensional Ising model — expressing the complete spectrum through the roots of a degree-$2^L$ characteristic polynomial.

Galleas (2008) derived the eigenvalues of both the antiperiodic and the generic open chain by a functional method that evaluates YBA relations at special points of the spectral parameter, using no reference state. The resulting systems have an unusual form. For the twisted case the eigenvalue is a product over $L-1$ zeroes $\lambda_j^{(1)}$ of the eigenvalue itself, determined together with $2(L-1)$ zeroes $\lambda_\ell^{(2)}$ of an auxiliary function; the right-hand sides contain an explicit factor $1/L$ and a quantum number $r = 0,\dots,2L-1$. For the open case, three sets of variables ($L+2$, $L-1$, and $L-2$ of them) plus two extra roots are coupled through ratios of $2\times 2$ determinants. These systems are 'nested-like', reminiscent of the nested BAE of chains with higher-rank symmetry, and redundant: Niekamp, Wirth and Frahm (2009) showed for the antiperiodic chain that either variable set can be eliminated in favor of the other and that the $\lambda^{(1)}$ coincide with the hole solutions of the ordinary BAE (solutions of the Bethe equations that are not part of the corresponding root configuration). Completeness was verified only numerically, for small $L$ ($L=2,3,4$ for the open chain).

Subsequently the same spectral problems were completely characterized in other frameworks. In separation of variables (SOV) — Sklyanin's method reducing the spectral problem to a functional equation on a discrete grid — Niccoli (2012, 2013) obtained the complete spectrum (and its simplicity) for the open and antiperiodic chains, Faldella-Kitanine-Niccoli (2014) constructed the eigenstates for the most general open boundaries, and Kitanine-Maillet-Niccoli (2014) derived a Baxter-type functional equation (a second-order finite-difference relation between the eigenvalue and an auxiliary function) with an inhomogeneous term, proved equivalent to SOV and hence complete; Niccoli-Terras (2015) proved the analogous equivalence for antiperiodic chains of arbitrary spin. In the off-diagonal Bethe ansatz (ODBA) of Cao-Yang-Shi-Wang, eigenvalues are parameterized by an inhomogeneous $T$-$Q$ relation — Baxter's relation between the eigenvalue $T$ and an auxiliary polynomial $Q$ with an extra off-diagonal term — and Cao-Yang-Shi-Wang (2015) proved those functional relations to be necessary and sufficient, i.e. a complete spectral characterization. The thermodynamic limit $L \to \infty$ (the regime defining macroscopic quantities, usually accessed through root patterns summarized by a string hypothesis — the approximation that Bethe roots organize into regularly spaced complex 'strings') of the antiperiodic chain was derived from the inhomogeneous $T$-$Q$ relation — twisted boundary energy (Xin et al. 2018), root patterns and gapped-regime excitations (Le et al. 2021), finite-temperature free energy (Lu et al. 2024) — as was the surface energy of the open chain with arbitrary boundary fields (Li et al. 2014).

None of these works, however, analyzes Galleas's specific systems: whether they are complete for every finite $L$, how their variables map onto the inhomogeneous $T$-$Q$ or $q$-Onsager objects, and what happens to their solutions — and to the unusual $1/L$ factor — as $L \to \infty$. Niekamp, Wirth and Frahm (2009) observed that the root patterns of these equations 'do not appear to follow a simple scheme' as $L$ grows and that nothing was known about their thermodynamic-limit structure; no later work appears to have returned to the question.

Problem Statement

Settle the mathematical status of the Bethe-like systems derived from the Yang-Baxter algebra in Galleas (2008) for the spin-1/2 XXZ chain with generic non-diagonal boundary conditions. All three numbered parts below are required; within part 1 the twisted case (a) and the open case (b) are joint requirements of that single completeness deliverable, and a proof that this system's solution sets coincide with a characterization already known to be complete (as described in part 2) resolves part 1 as well. Concretely:

1. Completeness. Prove, or disprove by an explicit finite counterexample, that for every finite chain length $L$ and generic anisotropy and boundary/twist parameters the systems are complete: (a) for the twisted (antiperiodic) chain, the coupled equations for the $L-1$ zeroes $\lambda_j^{(1)}$ of the transfer-matrix eigenvalue and the $2(L-1)$ auxiliary zeroes $\lambda_\ell^{(2)}$, whose right-hand sides contain the explicit factor $1/L$ and the quantum number $r$; and (b) for the open chain, the coupled system for the three sets of variables $u_i^{(0)}$ ($i=1,\dots,L+2$), $u_j^{(1)}$ ($j=1,\dots,L-1$), $u_k^{(2)}$ ($k=1,\dots,L-2$) together with the two auxiliary roots. Completeness means that the solutions of the system, taken over the admissible values of the quantum number, $r = 0, 1, \dots, 2L-1$ (the eigenvalue label of $T(0)$ in the source), bijectively parameterize the complete transfer-matrix spectrum ($2^L$ eigenvalues, degeneracies included); degenerate solutions differing only in $r$ are counted with their degeneracy, following the convention reported by Niekamp-Wirth-Frahm (2009).

2. Equivalence. Establish the analytic connection between these systems and the other exact solutions of the same models — above all the connection left open in Galleas (2008) with the $q$-Onsager-algebra characteristic-polynomial solution of Baseilhac-Koizumi and the second-reference-state construction of Yang-Zhang — for instance by an explicit change of variables or a proof that the solution sets coincide. The later inhomogeneous $T$-$Q$ (off-diagonal Bethe ansatz) and separation-of-variables characterizations supply further complete characterizations of the same spectra, so a connection to any complete characterization of these models transfers the corresponding completeness theorem to the Bethe-like systems.

3. Thermodynamic-limit structure. Determine the structure of the solutions of the $1/L$-factor twisted-case equations as $L \to \infty$ and what they yield for the thermodynamics of the antiperiodic chain. Galleas (2008) remarked that the unusual explicit dependence on the chain length 'may be of relevance for the description of the thermodynamical limit', and hoped that thermodynamic-limit computations such as the interfacial tension would benefit from these equations; the antiperiodic-chain thermodynamic limit has since been derived from the inhomogeneous $T$-$Q$ relation and provides a comparison for any result obtained directly from the $1/L$-factor systems.

References

1. W. Galleas, "Functional relations from the Yang-Baxter algebra: Eigenvalues of the XXZ model with non-diagonal twisted and open boundary conditions", Nucl. Phys. B 790 (2008) 524-542. DOI 10.1016/j.nuclphysb.2007.09.011; arXiv:0708.0009; https://arxiv.org/abs/0708.0009
2. E. K. Sklyanin, "Boundary conditions for integrable quantum systems", J. Phys. A: Math. Gen. 21 (1988) 2375-2389. DOI 10.1088/0305-4470/21/10/015; https://doi.org/10.1088/0305-4470/21/10/015
3. R. I. Nepomechie, "Bethe ansatz solution of the open XXZ chain with nondiagonal boundary terms", J. Phys. A: Math. Gen. 37 (2004) 433-440. DOI 10.1088/0305-4470/37/2/012; arXiv:hep-th/0304092; https://arxiv.org/abs/hep-th/0304092
4. R. I. Nepomechie, F. Ravanini, "Completeness of the Bethe Ansatz solution of the open XXZ chain with nondiagonal boundary terms", J. Phys. A: Math. Gen. 36 (2003) 11391-11401. DOI 10.1088/0305-4470/36/45/003; arXiv:hep-th/0307095; https://arxiv.org/abs/hep-th/0307095
5. P. Baseilhac, K. Koizumi, "Exact spectrum of the XXZ open spin chain from the q-Onsager algebra representation theory", J. Stat. Mech. (2007) P09006. DOI 10.1088/1742-5468/2007/09/P09006; arXiv:hep-th/0703106; https://arxiv.org/abs/hep-th/0703106
6. W.-L. Yang, Y.-Z. Zhang, "On the second reference state and complete eigenstates of the open XXZ chain", JHEP 04 (2007) 044. DOI 10.1088/1126-6708/2007/04/044; https://doi.org/10.1088/1126-6708/2007/04/044
7. S. Niekamp, T. Wirth, H. Frahm, "The XXZ model with anti-periodic twisted boundary conditions", J. Phys. A: Math. Theor. 42 (2009) 195008. DOI 10.1088/1751-8113/42/19/195008; arXiv:0902.1079; https://arxiv.org/abs/0902.1079
8. G. Niccoli, "Non-diagonal open spin-1/2 XXZ quantum chains by separation of variables: Complete spectrum and matrix elements of some quasi-local operators", J. Stat. Mech. (2012) P10025. DOI 10.1088/1742-5468/2012/10/P10025; arXiv:1206.0646; https://arxiv.org/abs/1206.0646
9. G. Niccoli, "Antiperiodic spin-1/2 XXZ quantum chains by separation of variables: Complete spectrum and form factors", Nucl. Phys. B 870 (2013) 397-420. DOI 10.1016/j.nuclphysb.2013.01.017; arXiv:1205.4537; https://arxiv.org/abs/1205.4537
10. S. Faldella, N. Kitanine, G. Niccoli, "The complete spectrum and scalar products for the open spin-1/2 XXZ quantum chains with non-diagonal boundary terms", J. Stat. Mech. (2014) P01011. DOI 10.1088/1742-5468/2014/01/P01011; arXiv:1307.3960; https://arxiv.org/abs/1307.3960
11. N. Kitanine, J.-M. Maillet, G. Niccoli, "Open spin chains with generic integrable boundaries: Baxter equation and Bethe ansatz completeness from separation of variables", J. Stat. Mech. (2014) P05015. DOI 10.1088/1742-5468/2014/05/P05015; arXiv:1401.4901; https://arxiv.org/abs/1401.4901
12. J. Cao, W.-L. Yang, K. Shi, Y. Wang, "Off-diagonal Bethe ansatz and exact solution of a topological spin ring", Phys. Rev. Lett. 111 (2013) 137201. DOI 10.1103/PhysRevLett.111.137201; arXiv:1305.7328; https://arxiv.org/abs/1305.7328
13. J. Cao, W.-L. Yang, K. Shi, Y. Wang, "Off-diagonal Bethe ansatz solutions of the anisotropic spin-1/2 chains with arbitrary boundary fields", Nucl. Phys. B 877 (2013) 152-175. DOI 10.1016/j.nuclphysb.2013.10.001; arXiv:1307.2023; https://arxiv.org/abs/1307.2023
14. Y.-Y. Li, J. Cao, W.-L. Yang, K. Shi, Y. Wang, "Thermodynamic limit and surface energy of the XXZ spin chain with arbitrary boundary fields", Nucl. Phys. B 884 (2014) 17-27. DOI 10.1016/j.nuclphysb.2014.04.010; arXiv:1401.3045; https://arxiv.org/abs/1401.3045
15. J. Cao, W.-L. Yang, K. Shi, Y. Wang, "On the complete-spectrum characterization of quantum integrable spin chains via the inhomogeneous T-Q relation", J. Phys. A: Math. Theor. 48 (2015) 444001. DOI 10.1088/1751-8113/48/44/444001; arXiv:1409.5303; https://arxiv.org/abs/1409.5303
16. G. Niccoli, V. Terras, "Antiperiodic XXZ chains with arbitrary spins: Complete eigenstate construction by functional equations in separation of variables", Lett. Math. Phys. 105 (2015) 989-1031. DOI 10.1007/s11005-015-0759-9; arXiv:1411.6488; https://arxiv.org/abs/1411.6488
17. X. Zhang, Y.-Y. Li, J. Cao, W.-L. Yang, K. Shi, Y. Wang, "Bethe states of the XXZ spin-1/2 chain with arbitrary boundary fields", Nucl. Phys. B 893 (2015) 70-88. DOI 10.1016/j.nuclphysb.2015.01.022; arXiv:1412.6905; https://arxiv.org/abs/1412.6905
18. R. I. Nepomechie, "An inhomogeneous T-Q equation for the open XXX chain with general boundary terms: completeness and arbitrary spin", J. Phys. A: Math. Theor. 46 (2013) 442002. DOI 10.1088/1751-8113/46/44/442002; https://doi.org/10.1088/1751-8113/46/44/442002
19. P. Baseilhac, S. Belliard, "The half-infinite XXZ chain in Onsager's approach", Nucl. Phys. B 873 (2013) 550-584. DOI 10.1016/j.nuclphysb.2013.05.003; arXiv:1211.6304; https://arxiv.org/abs/1211.6304
20. J. Avan, S. Belliard, N. Grosjean, R. A. Pimenta, "Modified algebraic Bethe ansatz for XXZ chain on the segment - III - Proof", Nucl. Phys. B 899 (2015) 229-246. DOI 10.1016/j.nuclphysb.2015.08.006; arXiv:1506.02147; https://arxiv.org/abs/1506.02147
21. Z. Xin, Y. Qiao, K. Hao, J. Cao, W.-L. Yang, K. Shi, Y. Wang, "Thermodynamic limit and twisted boundary energy of the XXZ spin chain with antiperiodic boundary condition", Nucl. Phys. B 936 (2018) 501-519. DOI 10.1016/j.nuclphysb.2018.10.002; arXiv:1804.06144; https://arxiv.org/abs/1804.06144
22. Z. Xin, Y. Cao, X. Xu, T. Yang, J. Cao, W.-L. Yang, "Thermodynamic limit of the spin-1/2 XYZ spin chain with the antiperiodic boundary condition", JHEP 12 (2020) 146. DOI 10.1007/JHEP12(2020)146; arXiv:2008.13398; https://arxiv.org/abs/2008.13398
23. X. Le, Y. Qiao, J. Cao, W.-L. Yang, K. Shi, Y. Wang, "Root patterns and energy spectra of quantum integrable systems without U(1) symmetry: antiperiodic XXZ spin chain", JHEP 11 (2021) 044. DOI 10.1007/JHEP11(2021)044; arXiv:2108.08060; https://arxiv.org/abs/2108.08060
24. P. Lu, J. Cao, W.-L. Yang, I. Marquette, Y.-Z. Zhang, "T-W relation and free energy of the antiperiodic XXZ chain with eta=i pi/3 at a finite temperature", J. Phys. A: Math. Theor. 57 (2024) 445205. DOI 10.1088/1751-8121/ad85b3; arXiv:2402.04849; https://arxiv.org/abs/2402.04849
25. J. Cao, W.-L. Yang, K. Shi, Y. Wang, "Nested off-diagonal Bethe ansatz and exact solutions of the su(n) spin chain with generic integrable boundaries", JHEP 04 (2014) 143. DOI 10.1007/jhep04(2014)143; arXiv:1312.4770; https://arxiv.org/abs/1312.4770
26. W. Galleas, J. Lamers, "Reflection algebra and functional equations", Nucl. Phys. B 886 (2014) 1003-1028. DOI 10.1016/j.nuclphysb.2014.07.016; arXiv:1405.4281; https://arxiv.org/abs/1405.4281
27. W. Galleas, "Functional relations and the Yang-Baxter algebra", J. Phys. Conf. Ser. 474 (2013) 012020. DOI 10.1088/1742-6596/474/1/012020; arXiv:1312.6816; https://arxiv.org/abs/1312.6816