Universal Baxter functional relations for integrable systems with reflecting boundaries via quantum symmetric pairs

Appel and Vlaar (Indag. Math. 2025) constructed a universal framework for boundary transfer matrices of quantum integrable systems with reflecting (open) boundary conditions, built from quantum symmetric pairs (QSPs) and their universal K-matrices, and posed as an overarching open problem the boundary analogue of the Frenkel-Hernandez spectral theory: a universal description of spectra through Baxter-type functional relations, as relations in a suitable Grothendieck ring, replacing the case-by-case Bethe-ansatz treatment of open chains. Partial progress exists only in special cases: Baseilhac, Gainutdinov and Lemarthe (Nucl. Phys. B 2026) derived universal TT- and TQ-relations for the alternating central extension of the q-Onsager algebra, but conditionally on an unproven conjectural identification of fused K-operators with a universal K-matrix, without constructing universal Q-operators; boundary q-characters were constructed by Li and Przezdziecki only for split and quasi-split types. The general problem remains open: universal boundary fusion (TT) relations, TQ/T-system/Y-system relations, and their representation-theoretic (Grothendieck-ring) interpretation for boundary transfer matrices arising from QSPs of general type and generalized parameters.

Background

Quantum integrable lattice models, such as the six-vertex model and the XXZ spin chain, are solved through transfer matrices: traces over an auxiliary space of products of R-matrices, which are matrix solutions of the Yang-Baxter equation depending on a spectral parameter $z$. For periodic boundary conditions the algebraic structure of the transfer matrices is understood in a universal way through the universal R-matrix of a quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ (a Hopf-algebra deformation of the enveloping algebra of an affine Kac-Moody algebra). For open (reflecting) boundary conditions, Sklyanin's double-row transfer matrix construction weights the two chain ends by K-matrices satisfying the reflection equation, the boundary analogue of the Yang-Baxter equation; which K-matrices are admissible, and which functional relations govern open-boundary spectra, is far less understood.

The systematic algebraic origin of K-matrices is provided by quantum symmetric pairs. A QSP is a pair $(U_q(\mathfrak{g}),U_q(\mathfrak{k}))$ in which $U_q(\mathfrak{k})\subset U_q(\mathfrak{g})$ is a coideal subalgebra (a subalgebra $B$ with $\Delta(B)\subseteq B\otimes U_q(\mathfrak{g})$ for the coproduct $\Delta$) deforming the enveloping algebra of the fixed points of an involutive automorphism of $\mathfrak{g}$ (a symmetric pair), parametrized by Satake-type diagram data with parameters. Balagovic-Kolb and Appel-Vlaar proved that every QSP of Kac-Moody type carries a universal K-matrix: an invertible element intertwining the coproduct action of $U_q(\mathfrak{k})$, constructed from a quasi K-matrix $\Upsilon$ (a formal-series element intertwining the bar involution of $U_q(\mathfrak{k})$, the anti-linear anti-automorphism underlying Lusztig's canonical basis, with a modified bar involution of $U_q(\mathfrak{g})$). In affine type, a cylindrical structure (a compatible grading-shift action of the multiplicative group) introduces the spectral parameter, and evaluation on finite-dimensional modules yields spectral K-matrices $K_V(z)$, including solutions for Kirillov-Reshetikhin modules (the distinguished finite-dimensional quantum-affine modules whose Drinfeld polynomials have a single nontrivial geometric progression).

Appel and Vlaar (arXiv:2410.21654, Indag. Math. 36 (2025) 1830-1862) combined these ingredients into a universal framework for boundary transfer matrices: a universal tensor K-matrix $\overline{\mathbb{K}}$ acting between suitable $U_q(\mathfrak{k})$-modules and $U_q(\mathfrak{g})$-modules, whose evaluations produce commuting boundary transfer matrices $\mathscr{T}^{(W)}_{V}(z)$ generalizing Sklyanin's double-row transfer matrices, uniformly across QSP types and generalized parameter sets. The paper states several open problems: existence of cylindrical structures for all generalized parameters and classification of universal reflection-equation solutions (Conjecture 5.4.1), factorization of $\Upsilon$ in affine type (Conjecture 5.5.1), meromorphicity of $K_V(z)$ for all modules and generic parameters (Conjecture 6.4.1), classification of Kirillov-Reshetikhin-type solutions of the spectral reflection equation (Conjecture 6.5.1), and, in Section 6.9(6), the overarching goal: a universal description of spectra for quantum integrable systems with reflecting boundaries.

The template is the periodic case. Hernandez-Jimbo and Frenkel-Hernandez proved that Baxter's functional relations have a structural origin: the relevant Q-operators act on prefundamental (asymptotic) representations of the Borel subalgebra $U_q(\mathfrak{b}^{+})$ of the quantum affine algebra, and the spectra of transfer matrices are determined by Baxter relations, TQ and T-system identities, viewed as relations in the Grothendieck ring of a suitable category of $U_q(\mathfrak{b}^{+})$-modules, computed by the q-character map (a ring homomorphism encoding eigenvalue data of commuting transfer matrices). For reflecting boundaries nothing comparable exists: boundary fusion (TT) relations are known case-by-case for open chains, and explicit fused K-operators are available only for the q-Onsager algebra $O_q$, the coideal subalgebra of $U_q(\widehat{\mathfrak{sl}}_{2})$ governing the open XXZ chain, and its alternating central extension $\mathcal{A}_{q}$ (a central extension of $O_q$ by additional alternating generators, the algebra in which the known universal transfer matrices for the open XXZ chain live), where the identification of the fused K-operators with a universal K-matrix remains conjectural.

Problem Statement

Construct the universal spectral theory, in the generality of the Appel-Vlaar boundary transfer matrix framework, for quantum integrable systems with reflecting boundaries arising from quantum symmetric pairs; that is, establish the boundary analogue of the Frenkel-Hernandez theory of Baxter relations. Concretely, for affine quantum symmetric pairs with generalized parameters (the enlarged parameter set $\Gamma\Sigma_{q}$ of the source framework), and for the boundary transfer matrices $\mathscr{T}^{(W)}_{V}(z)$ constructed from the universal tensor K-matrix $\overline{\mathbb{K}}$:

(1) Establish the universal boundary fusion (TT) relations, including the construction of universal fused K-operators in the QSP framework; in particular, either prove the conjectural identification of the explicitly constructed fused K-operators for the alternating central extension $\mathcal{A}_{q}$ of the q-Onsager algebra with the action of a universal K-matrix and relate them to $\overline{\mathbb{K}}$, or bypass it by another route yielding the same universal fusion relations for general types.

(2) Derive the universal Baxter (functional) relations for reflecting boundaries, the TQ relations and the associated T-system and Y-system relations, and construct the corresponding universal Q-operators, removing the currently conditional status of the rank-one results.

(3) Realize these relations structurally, for instance as relations in the Grothendieck ring of a suitable category of modules over a boundary Borel-type algebra (with the attendant boundary q-character or Harish-Chandra machinery), so that the spectra of quantum integrable systems with reflecting boundaries are determined by the theory in the same sense in which periodic spectra are determined by Baxter relations.

These three requested results jointly serve the single objective of a universal description of boundary spectra: the fusion relations and Q-operators are the operative objects whose Grothendieck-ring interpretation supplies the structural home, exactly as in the periodic template. A proof that such a universal theory cannot exist in the stated generality (an algebraic obstruction) is an admissible answer. A positive answer requires (1), (2) and (3) jointly. An obstruction qualifies only if it establishes, at the stated generality (affine quantum symmetric pairs with generalized parameters in $\Gamma\Sigma_{q}$), that at least one of (1)-(3) is impossible; a failure of a route this statement itself declares optional (such as the fused-K-operator identification that (1) permits bypassing) is not an obstruction to the theory and does not by itself resolve the problem. The problem is not restricted to special types (such as the q-Onsager or restricted-rank-one case), to special boundary conditions (such as diagonal K-matrices), or to special parameter values.

References

1. Andrea Appel, Bart Vlaar, 'Boundary transfer matrices arising from quantum symmetric pairs', Indagationes Mathematicae 36 (2025), no. 6, 1830-1862. DOI: 10.1016/j.indag.2025.05.008; arXiv:2410.21654; https://arxiv.org/abs/2410.21654
2. Pascal Baseilhac, Azat M. Gainutdinov, Guillaume Lemarthe, 'Universal TT- and TQ-relations via centrally extended q-Onsager algebra', Nuclear Physics B 1026 (2026) 117427. DOI: 10.1016/j.nuclphysb.2026.117427; arXiv:2511.15876; https://arxiv.org/abs/2511.15876
3. Guillaume Lemarthe, Pascal Baseilhac, Azat M. Gainutdinov, 'Fused K-operators and the q-Onsager algebra', SIGMA 22 (2026), article 026. DOI: 10.3842/SIGMA.2026.026; arXiv:2301.00781; https://arxiv.org/abs/2301.00781
4. Jian-Rong Li, Tomasz Przezdziecki, 'Boundary q-characters of evaluation modules for split quantum affine symmetric pairs', arXiv:2504.14042; https://arxiv.org/abs/2504.14042
5. Jian-Rong Li, Tomasz Przezdziecki, 'Compatibility of Drinfeld presentations and q-characters for affine Kac-Moody quantum symmetric pairs: quasi-split case', arXiv:2601.02165; https://arxiv.org/abs/2601.02165
6. Tomasz Przezdziecki, 'Drinfeld rational fractions for affine Kac-Moody quantum symmetric pairs', Selecta Mathematica (New Series) 31 (2025), no. 5, article 87. DOI: 10.1007/s00029-025-01088-9; arXiv:2311.13705; https://arxiv.org/abs/2311.13705
7. Edward Frenkel, David Hernandez, 'Baxter's Relations and Spectra of Quantum Integrable Models', Duke Mathematical Journal 164 (2015), no. 12, 2407-2460. DOI: 10.1215/00127094-3146282; arXiv:1308.3444; https://arxiv.org/abs/1308.3444
8. David Hernandez, Michio Jimbo, 'Asymptotic representations and Drinfeld rational fractions', Compositio Mathematica 148 (2012), no. 5, 1593-1623. DOI: 10.1112/S0010437X12000267; arXiv:1104.1891; https://arxiv.org/abs/1104.1891
9. Andrea Appel, Bart Vlaar, 'Universal K-matrices for quantum Kac-Moody algebras', Representation Theory 26 (2022) 764-824. DOI: 10.1090/ert/623; arXiv:2007.09218; https://arxiv.org/abs/2007.09218
10. Andrea Appel, Bart Vlaar, 'Tensor K-matrices for quantum symmetric pairs', Communications in Mathematical Physics 406 (2025), no. 5, article 100. DOI: 10.1007/s00220-025-05241-5; arXiv:2402.16676; https://arxiv.org/abs/2402.16676
11. Andrea Appel, Bart Vlaar, 'Trigonometric K-matrices for finite-dimensional representations of quantum affine algebras', Journal of the European Mathematical Society (2025). DOI: 10.4171/JEMS/1686; arXiv:2203.16503; https://arxiv.org/abs/2203.16503
12. Martina Balagovic, Stefan Kolb, 'Universal K-matrix for quantum symmetric pairs', Journal für die reine und angewandte Mathematik 747 (2019) 299-353. DOI: 10.1515/crelle-2016-0012; arXiv:1507.06276; https://arxiv.org/abs/1507.06276
13. Liam Dobson, Stefan Kolb, 'Factorisation of quasi K-matrices for quantum symmetric pairs', Selecta Mathematica (New Series) 25 (2019), article 63. DOI: 10.1007/s00029-019-0508-5; arXiv:1804.02912; https://arxiv.org/abs/1804.02912
14. Bart Vlaar, Robert Weston, 'A Q-operator for open spin chains I: Baxter's TQ relation', Journal of Physics A: Mathematical and Theoretical 53 (2020) 245205. DOI: 10.1088/1751-8121/ab8854; arXiv:2001.10760; https://arxiv.org/abs/2001.10760
15. Alec Cooper, Bart Vlaar, Robert Weston, 'A Q-operator for open spin chains II: boundary factorization', Communications in Mathematical Physics 405 (2024), article 110. DOI: 10.1007/s00220-024-04973-0; arXiv:2301.03997; https://arxiv.org/abs/2301.03997
16. Stefan Kolb, Milen Yakimov, 'Short star products for quantum symmetric pairs and applications', arXiv:2603.06132; https://arxiv.org/abs/2603.06132
17. E. K. Sklyanin, 'Boundary conditions for integrable quantum systems', Journal of Physics A: Mathematical and General 21 (1988) 2375-2389. DOI: 10.1088/0305-4470/21/10/015; https://doi.org/10.1088/0305-4470/21/10/015
18. Daniele Bielli, Vasileios Moustakis, Alessandro Torrielli, 'Boundary Bethe ansatz in massless AdS3', Journal of Physics A: Mathematical and Theoretical 58 (2025) 045402. DOI: 10.1088/1751-8121/ada7ae; arXiv:2408.15674; https://arxiv.org/abs/2408.15674