Vlaar and Weston (J. Phys. A 53 (2020) 245205) constructed Baxter's Q-operator for the spin-1/2 open XXZ chain with diagonal boundary K-matrices as a trace over an infinite-dimensional q-oscillator representation of a Borel subalgebra of Uq(sl^2)U_q(\widehat{\mathfrak{sl}}_2), and proved the operator-level Baxter TQ relation. Their crossing-symmetry theorem for the Q-operator and their derivation of the Bethe equations are, however, conditional on Conjecture 6.3 of that paper: the matrix entries of the Q-operator Q(z)\mathcal{Q}(z) are polynomials in the squared spectral parameter z2z^2, and the operators commute pairwise, [Q(y),Q(z)]=0[\mathcal{Q}(y),\mathcal{Q}(z)]=0 for all y,z∈Cy,z\in\mathbb{C}. Only diagonal-entry polynomiality (Appendix A) and the two-site case (Appendix B) are established there. The conjecture is neither proved nor refuted in the literature: adjacent frameworks (universal TQ relations of Tsuboi and of Baseilhac-Gainutdinov-Lemarthe, q-oper correspondences, algebraic-Bethe-ansatz constructions for the isotropic XXX chain) either rest on their own unproven trace or coaction assumptions or treat other models. The problem is to prove the conjecture for all chain lengths and admissible parameters, or to refute it with an explicit admissible counterexample instance.

Background

A quantum spin chain is integrable when its Hamiltonian on (C2)⊗N(\mathbb{C}^2)^{\otimes N} belongs to a large commuting family of conserved operators, conventionally encoded in a transfer matrix T(z)\mathcal{T}(z) depending on a complex spectral parameter zz. For the spin-1/2 XXZ chain (the anisotropic Heisenberg chain, obtained from the six-vertex model whose R-matrix solves the Yang-Baxter equation), Baxter's approach introduces an auxiliary operator Q(z)\mathcal{Q}(z) obeying a functional-operator identity, the TQ relation, of the form (1−q2z4) T(z)Q(z)=p+(z)Q(qz)+p−(z)Q(q−1z)(1-q^2z^4)\,\mathcal{T}(z)\mathcal{Q}(z)=p_+(z)\mathcal{Q}(qz)+p_-(z)\mathcal{Q}(q^{-1}z) with explicitly known coefficient functions p±p_\pm; comparing eigenvalues at the zeroes of QQ yields the Bethe equations, the algebraic system whose solutions determine the spectrum.

For chains with two reflecting ends (open chains), the transfer matrix is Sklyanin's double-row transfer matrix built from a K-matrix, i.e. a solution of the reflection equation (boundary Yang-Baxter equation) that prescribes how excitations reflect at each end; for diagonal K-matrices the boundary conditions are two free parameters ξ,ξ~\xi,\tilde\xi. Sklyanin's 1988 algebraic Bethe ansatz established the Bethe equations for this model at the level of eigenvalues. The representation-theoretic construction of Q\mathcal{Q} - originating in the 1990s for closed chains from q-oscillator representations of a Borel subalgebra of the quantum affine algebra Uq(sl^2)U_q(\widehat{\mathfrak{sl}}_2), the quantum group (a q-deformation of the universal enveloping algebra of the affine Lie algebra sl^2\widehat{\mathfrak{sl}}_2) - was extended to open chains only much later: by Frassek and Szecsenyi for the isotropic (XXX) chain, and by Vlaar and Weston for the trigonometric (XXZ) chain with diagonal boundaries. The q-oscillator algebra is the associative algebra generated by a,a†a,a^\dagger and a number operator DD with q-commutation relations, carrying an infinite-dimensional Fock-type module WW with basis w0,w1,…w^0,w^1,\ldots

Concretely, Vlaar and Weston define Q(z)=diag(z2,1)⊗NTW(z)\mathcal{Q}(z)=\mathrm{diag}(z^2,1)^{\otimes N}\mathcal{T}^W(z), where TW(z)\mathcal{T}^W(z) is a double-row trace over the auxiliary module WW of a product of L-operators (infinite-dimensional counterparts of the R-matrix associated with WW) interleaved with an infinite-dimensional K-operator KW(z)\mathcal{K}^W(z) solving a reflection equation on W⊗VW\otimes V. For parameters q,ξ,ξ~∈C×q,\xi,\tilde\xi\in\mathbb{C}^\times with 0<∣q∣<10<|q|<1 and ∣ξξ~∣<∣q∣2N|\xi\tilde\xi|<|q|^{2N}, and inhomogeneities t1,…,tN∈C×t_1,\ldots,t_N\in\mathbb{C}^\times (couplings distinguishing the sites), they prove convergence and holomorphy of the entries on a domain U(N)U^{(N)} equal to the complex plane minus a discrete set of points (Theorem 4.6 of the arXiv e-print arXiv:2001.10760), commutativity of the transfer matrices with each other and with Q\mathcal{Q} (Theorem 5.1), and the operator TQ relation (Theorem 5.3).

What is missing is the following precisely stated conjecture (Conjecture 6.3 of that paper): every matrix entry of Q(z)\mathcal{Q}(z) depends polynomially on z2z^2 - in particular the singularities at the excluded points of U(N)U^{(N)} are removable - and the whole family is mutually commutative, [Q(y),Q(z)]=0[\mathcal{Q}(y),\mathcal{Q}(z)]=0 for all y,z∈Cy,z\in\mathbb{C}. The paper proves polynomiality for the diagonal entries (via a q-Gauss-summation recursion exploiting triangularity in the oscillator level) and verifies the full conjecture for chains of length N=2N=2 by direct computation. The conjecture is load-bearing: conditional on it, the authors derive the crossing symmetry Q(q−1z−1)=(qz2)−2NQ(z)\mathcal{Q}(q^{-1}z^{-1})=(qz^2)^{-2N}\mathcal{Q}(z) (Theorem 6.6), the factorized form of the zeroes of the Q-eigenvalues (Proposition 6.7), and hence the Bethe equations matching Sklyanin's (Theorem 6.8); without it, the Q-operator route to the spectrum of the open XXZ chain stops short of being unconditional.

The mathematical obstruction is that commutativity of two Q-operators involves two simultaneous infinite-dimensional auxiliary traces, whereas the standard reflection-equation argument for transfer matrices manipulates finite auxiliary tensors; and polynomiality off the diagonal loses the triangular structure that made the diagonal entries tractable. The direct sequel (Cooper, Vlaar and Weston, Commun. Math. Phys. 405 (2024) 110) proves instead a boundary factorization identity - a conceptual ingredient expected to feed a factorization route to TQ relations in a future paper - but does not address the conjecture, and a 2023 thesis of Cooper removes the conjecture's role in a diagonalizability lemma while restating commutativity and polynomiality as open.

Problem Statement

Prove, or refute, Conjecture 6.3 of Vlaar-Weston (A Q-operator for open spin chains I: Baxter's TQ relation, J. Phys. A 53 (2020) 245205) in its stated generality. The construction: for chain length N≥1N\ge 1, inhomogeneities t1,…,tN∈C×t_1,\ldots,t_N\in\mathbb{C}^\times and parameters q,ξ,ξ~∈C×q,\xi,\tilde\xi\in\mathbb{C}^\times with 0<∣q∣<10<|q|<1 and ∣ξξ~∣<∣q∣2N|\xi\tilde\xi|<|q|^{2N}, let Q(z)=diag(z2,1)⊗N TW(z)∈End(V⊗N)\mathcal{Q}(z)=\mathrm{diag}(z^2,1)^{\otimes N}\,\mathcal{T}^W(z)\in\mathrm{End}(V^{\otimes N}), V≅C2V\cong\mathbb{C}^2, be the Q-operator of the diagonal-boundary open XXZ chain defined in Section 4 of that paper as the double-row trace over the q-oscillator Fock module WW with the L-operators and infinite-dimensional K-operators KW(z)\mathcal{K}^W(z) specified there. Establish that (i) every matrix entry of Q(z)\mathcal{Q}(z) is a polynomial in z2z^2, so that in particular the apparent singularities at the discrete set of points excluded from the convergence domain U(N)U^{(N)} are removable and the domain may be enlarged to all of C\mathbb{C}; and (ii) the family is mutually commutative, [Q(y),Q(z)]=0[\mathcal{Q}(y),\mathcal{Q}(z)]=0 for all y,z∈Cy,z\in\mathbb{C}. A complete proof must hold for arbitrary chain length NN and all admissible boundary and deformation parameters: statements restricted to N≤2N\le 2, to diagonal entries, to special parameter loci, or to eigenvalues are already contained in the source and do not resolve the conjecture. A refutation must exhibit an explicit admissible instance - chain length, parameter values, and spectral values - for which an entry fails to be polynomial in z2z^2 or two members of the family fail to commute.

References

  1. B. Vlaar and R. Weston, A Q-operator for open spin chains I: Baxter's TQ relation, J. Phys. A: Math. Theor. 53 (2020) 245205. DOI: 10.1088/1751-8121/ab8854; arXiv:2001.10760, https://arxiv.org/abs/2001.10760
  2. A. Cooper, B. Vlaar and R. Weston, A Q-operator for open spin chains II: Boundary factorization, Commun. Math. Phys. 405 (2024) 110. DOI: 10.1007/s00220-024-04973-0; arXiv:2301.03997, https://arxiv.org/abs/2301.03997
  3. A. W. J. Cooper, Q-operators for open quantum spin chains, PhD thesis, Heriot-Watt University, Edinburgh (2023). https://www.ros.hw.ac.uk/handle/10399/4973
  4. Z. Tsuboi, Universal Baxter TQ-relations for open boundary quantum integrable systems, Nucl. Phys. B 963 (2021) 115286. DOI: 10.1016/j.nuclphysb.2020.115286; arXiv:2010.09675, https://arxiv.org/abs/2010.09675
  5. R. Frassek and I. M. Szecsenyi, Q-operators for the open Heisenberg spin chain, Nucl. Phys. B 901 (2015) 229-248. DOI: 10.1016/j.nuclphysb.2015.10.010, https://doi.org/10.1016/j.nuclphysb.2015.10.010
  6. R. Frassek and I. M. Szecsenyi, Algebraic Bethe ansatz for Q-operators of the open XXX Heisenberg chain with arbitrary spin, J. Phys. A: Math. Theor. 55 (2022) 505201. DOI: 10.1088/1751-8121/aca5d3; arXiv:2208.02197, https://arxiv.org/abs/2208.02197
  7. P. Baseilhac, A. M. Gainutdinov and G. Lemarthe, Universal TT- and TQ-relations via centrally extended q-Onsager algebra, Nucl. Phys. B 1026 (2026) 117427. DOI: 10.1016/j.nuclphysb.2026.117427; arXiv:2511.15876, https://arxiv.org/abs/2511.15876
  8. P. Koroteev, M. Shim and R. Singh, q-Opers and Bethe Ansatz for Open Spin Chains I, arXiv:2512.23174 (2025). https://arxiv.org/abs/2512.23174
  9. A. Appel and B. Vlaar, Trigonometric K-matrices for finite-dimensional representations of quantum affine algebras, J. Eur. Math. Soc. (published online 2025). DOI: 10.4171/JEMS/1686; arXiv:2203.16503, https://arxiv.org/abs/2203.16503
  10. A. Appel and B. Vlaar, Tensor K-matrices for quantum symmetric pairs, Commun. Math. Phys. 406 (2025) 100. DOI: 10.1007/s00220-025-05241-5; arXiv:2402.16676, https://arxiv.org/abs/2402.16676
  11. R. Weston, Cyclic representations of Uq(sl^2)U_q(\widehat{\mathfrak{sl}}_2) and its Borel subalgebras at roots of unity and Q-operators, SciPost Phys. Core 9 (2026) 016. DOI: 10.21468/SciPostPhysCore.9.1.016; arXiv:2412.14811, https://arxiv.org/abs/2412.14811
  12. P. Baseilhac and Z. Tsuboi, Asymptotic representations of augmented q-Onsager algebra and boundary K-operators related to Baxter Q-operators, Nucl. Phys. B 929 (2018) 397-437. DOI: 10.1016/j.nuclphysb.2018.02.017, https://doi.org/10.1016/j.nuclphysb.2018.02.017
  13. 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