Completing the K-matrix classification program: trigonometric extension, non-quasi-classical solutions, and their role in integrable initial states

The boundary Yang–Baxter equation (reflection equation) governs integrable boundaries through its K-matrix solutions. Gombor (J. Phys. A 53 (2020) 135203) proved, using only this equation and asymptotic expansions, that the residual symmetry algebra of any rational quasi-classical K-matrix (invertible classical limit; irreducible in the general finite-boundary-space case) must be the invariant subalgebra of a Lie-algebra involution, i.e. a symmetric pair, and analyzed the single known non-quasi-classical family $K(u)=\kappa+u^{-1}$ with $\kappa^2=0$, whose residual symmetry is a semi-direct sum of a reductive and a solvable Lie algebra. The paper's conclusion poses three open problems: (1) generalize these statements and proofs to trigonometric K-matrices, where a symmetric-pair structure is observed but unproved; (2) classify non-quasi-classical K-matrices and decide whether their residual symmetry algebras are always such semi-direct sums or whether other structures occur; (3) determine whether non-quasi-classical K-matrices define integrable initial states of spin chains beyond the quasi-classical family.

Background

Integrable models with boundaries are built, following Sklyanin, from two ingredients. The first is an R-matrix, a matrix function of a spectral parameter $u$ solving the Yang–Baxter equation, which generates the commuting charges of the periodic (bulk) system. The second is a K-matrix (reflection matrix) $K(u)$, describing reflection at the boundary, which must satisfy the boundary Yang–Baxter equation (bYBE, also called the reflection equation) — the consistency condition expressing that bulk scattering and boundary reflection commute. In the rational case the R-matrix is of Yangian type, for example $R(u)=1+P/u$ with $P$ the permutation operator, and the bulk symmetry is a complex Lie algebra $\mathfrak{g}$, more precisely its Yangian — the Hopf algebra that quantizes the enveloping algebra of the loop algebra of $\mathfrak{g}$ and encodes the full set of commuting rational charges; in the trigonometric case the R-matrix is the q-deformed (quantum-affine) one, depending on a multiplicative spectral parameter, and the symmetry is the quantum group $U_q(\mathfrak{g})$, a one-parameter deformation of the enveloping algebra of $\mathfrak{g}$. A K-matrix typically breaks the bulk symmetry to a residual symmetry algebra $\mathfrak{h}\subset\mathfrak{g}$: in the formulation of the source paper, $K(u)$ is $(\mathfrak{g},\mathfrak{h})$-symmetric if it intertwines the $\mathfrak{h}$-action on the two sides of the reflection, with a compensating action on the boundary (auxiliary) space. The classical or quasi-classical limit is the regime $u\to\infty$ where $K(u)=\kappa+O(u^{-1})$; the K-matrix is called quasi-classical if the leading coefficient $\kappa$ is an invertible matrix, and non-quasi-classical otherwise. For rational K-matrices, the accumulated evidence — explicit solutions for defining representations of the matrix Lie algebras (MacKay–Short; Delius–MacKay–Short), the correspondence between twisted Yangians (coideal subalgebras of the Yangian attached to involutions) and symmetric spaces (MacKay), and classification attempts for reflection matrices related to Yangians (Arnaudon et al.) — suggested that $(\mathfrak{g},\mathfrak{h})$ must be a symmetric pair, meaning that $\mathfrak{h}$ is the invariant subalgebra of a Lie-algebra involution of $\mathfrak{g}$. On the trigonometric side, large families of K-matrices matched to symmetric-pair data were constructed by Malara–Lima-Santos for classical quantum-affine R-matrices and by Mudrov using the reflection-equation algebra (the quadratic algebra generated by the matrix elements of $K(u)$), and the framework of coideal subalgebras and generalized Satake diagrams (diagrammatic data classifying quantum symmetric pairs, i.e. one-sided coideal subalgebras of quantum groups) organized these constructions (Regelskis–Vlaar; survey by Nepomechie–Retore). What was missing on both sides was a proof from the bYBE itself. Gombor (J. Phys. A 53 (2020) 135203) supplied the rational quasi-classical half: using only the bYBE and the asymptotic expansions of the R- and K-matrices, it was proved that a quasi-classical $(\mathfrak{g},\mathfrak{h})$-symmetric K-matrix forces $(\mathfrak{g},\mathfrak{h})$ to be a symmetric pair (first for one-dimensional boundary space, then for general finite boundary space in the irreducible case), and that for one-dimensional boundary space the K-matrix is unique up to a multiplicative scalar function given $\mathfrak{h}$ and $\kappa$ when $\mathfrak{h}$ is semi-simple, with a free parameter appearing when $\mathfrak{h}$ is reductive but not semi-simple. The paper also examined the non-quasi-classical family $K(u)=\kappa+u^{-1}$ with $\kappa^2=0$ for $\mathfrak{g}=\mathfrak{sl}(n)$ in the defining representation: its residual symmetry algebra is not reductive but a semi-direct sum of the reductive algebra $\mathfrak{sl}(n-2k)$, where $k$ is the number of Jordan blocks of $\kappa$, and a solvable algebra. Independently, the question of which boundary states of a spin chain are integrable — in the sense of having exactly computable overlaps with Bethe eigenstates, which govern quench steady states and one-point functions in defect versions of $\mathcal{N}=4$ super Yang–Mills theory — was answered for a large class by boundary integrability: matrix product states (MPS, states written as traces over an auxiliary bond space of products of site matrices) built from K-matrices that are representations of reflection (twisted Yangian) algebras satisfy the integrability condition $\langle\mathrm{MPS}|\mathcal{T}(u)=\langle\mathrm{MPS}|\widehat{\mathcal{T}}(-u)$, where $\mathcal{T}(u)$ is the transfer matrix (the trace over the auxiliary space of the chain-ordered product of R-matrices, whose eigenvalues give the commuting charges) and $\widehat{\mathcal{T}}$ is its reflected version (Piroli–Vernier–Calabrese–Pozsgay; Pozsgay–Piroli–Vernier). On the mathematical side, Balagović–Kolb constructed a universal K-matrix for quantum symmetric pairs, and Appel–Vlaar extended this to quantum Kac–Moody algebras and proved that every irreducible finite-dimensional module of a quantum affine algebra carries trigonometric solutions of the generalized reflection equation depending on a quantum affine symmetric pair — the existence direction of the trigonometric classification. The source paper's conclusion states the three problems that complete this program, and they are the subject of this record.

Problem Statement

Complete the residual-symmetry classification program for solutions of the boundary Yang–Baxter equation posed in the conclusion of Gombor (J. Phys. A 53 (2020) 135203). The common objective is a complete symmetry-based classification of K-matrices and of the integrable boundary data they define, via three linked questions. (1) Trigonometric classification: prove or refute, using only the trigonometric boundary Yang–Baxter equation (quantum-affine R-matrices, multiplicative spectral parameter) and asymptotic expansions, the analogue of the rational theorem — if a trigonometric K-matrix is quasi-classical (invertible asymptotic limit) and $(\mathfrak{g},\mathfrak{h})$-symmetric with respect to its residual quantum-group symmetry, then the pair must be a quantum symmetric pair, meaning that the residual symmetry must be a coideal subalgebra of the type classified by generalized Satake diagrams — and establish the corresponding uniqueness statement (essential uniqueness of the K-matrix given the residual symmetry, and the role of free parameters when the residual algebra is not semi-simple), upgrading the observed symmetric-pair structure of known trigonometric solutions to a theorem. (2) Non-quasi-classical K-matrices: classify K-matrices whose asymptotic limit $\kappa$ is non-invertible, at least for rational R-matrices and where feasible trigonometric ones; in particular, decide whether the phenomenon in the single known family $K(u)=\kappa+u^{-1}$ with $\kappa^2=0$ is general — is the residual symmetry algebra of every non-quasi-classical K-matrix a semi-direct sum of a reductive and a solvable Lie algebra, or do other structures occur — requiring either a theorem covering all such K-matrices or an explicit counterexample with a different residual-symmetry structure. (3) Integrable initial states: determine whether non-quasi-classical K-matrices generate integrable initial states of spin chains (matrix product states satisfying the boundary integrability condition relating the transfer matrix to its reflected version) beyond the states obtained from quasi-classical K-matrices and the associated twisted Yangian (reflection) algebras, and if so characterize these states and their overlaps with Bethe eigenstates. A complete answer resolves all three questions; partial answers (for example the trigonometric theorem alone, or the rational non-quasi-classical classification alone) are progress but leave the program open.

References

1. E. K. Sklyanin, "Boundary conditions for integrable quantum systems", J. Phys. A: Math. Gen. 21 (1988) 2375, doi:10.1088/0305-4470/21/10/015, https://doi.org/10.1088/0305-4470/21/10/015
2. N. J. MacKay, B. J. Short, "Boundary scattering, symmetric spaces and the principal chiral model on the half line", Commun. Math. Phys. 233 (2003) 313, doi:10.1007/s00220-002-0735-y, arXiv:hep-th/0104212, https://arxiv.org/abs/hep-th/0104212
3. G. W. Delius, N. J. MacKay, B. J. Short, "Boundary remnant of Yangian symmetry and the structure of rational reflection matrices", Phys. Lett. B 522 (2001) 335, doi:10.1016/S0370-2693(01)01275-8, arXiv:hep-th/0109115, https://arxiv.org/abs/hep-th/0109115
4. N. J. MacKay, "Rational K matrices and representations of twisted Yangians", J. Phys. A: Math. Gen. 35 (2002) 7865, doi:10.1088/0305-4470/35/37/302, arXiv:math/0205155, https://arxiv.org/abs/math/0205155
5. A. Mudrov, "Characters of $U_q(gl(n))$-Reflection Equation Algebra", Lett. Math. Phys. 60 (2002) 283, doi:10.1023/A:1016283527111, https://doi.org/10.1023/A:1016283527111
6. D. Arnaudon, J. Avan, N. Crampé, A. Doikou, L. Frappat, É. Ragoucy, "Classification of reflection matrices related to (super) Yangians and application to open spin chain models", Nucl. Phys. B 668 (2003) 469, doi:10.1016/S0550-3213(03)00503-0, arXiv:math/0304150, https://arxiv.org/abs/math/0304150
7. R. Malara, A. Lima-Santos, "On $A_{n-1}^{(1)},B_n^{(1)},C_n^{(1)},D_n^{(1)},A_{2n}^{(2)},A_{2n-1}^{(2)}$ and $D_{n+1}^{(2)}$ reflection K-matrices", J. Stat. Mech. (2006) P09013, doi:10.1088/1742-5468/2006/09/P09013, arXiv:nlin/0412058, https://arxiv.org/abs/nlin/0412058
8. V. Regelskis, B. Vlaar, "Reflection matrices, coideal subalgebras and generalized Satake diagrams of affine type", arXiv:1602.08471, https://arxiv.org/abs/1602.08471
9. R. I. Nepomechie, A. L. Retore, "Surveying the quantum group symmetries of integrable open spin chains", Nucl. Phys. B 930 (2018) 91, doi:10.1016/j.nuclphysb.2018.02.023, arXiv:1802.04864, https://arxiv.org/abs/1802.04864
10. M. Balagović, S. Kolb, "Universal K-matrix for quantum symmetric pairs", J. Reine Angew. Math. 747 (2019) 299, doi:10.1515/crelle-2016-0012, https://doi.org/10.1515/crelle-2016-0012
11. L. Piroli, E. Vernier, P. Calabrese, B. Pozsgay, "Integrable quenches in nested spin chains I: the exact steady states", J. Stat. Mech. (2019) 063103, doi:10.1088/1742-5468/ab1c51, arXiv:1811.00432, https://arxiv.org/abs/1811.00432
12. L. Piroli, E. Vernier, P. Calabrese, B. Pozsgay, "Integrable quenches in nested spin chains II: fusion of boundary transfer matrices", J. Stat. Mech. (2019) 063104, doi:10.1088/1742-5468/ab1c52, arXiv:1812.05330, https://arxiv.org/abs/1812.05330
13. B. Pozsgay, L. Piroli, E. Vernier, "Integrable Matrix Product States from boundary integrability", SciPost Phys. 6 (2019) 062, doi:10.21468/SciPostPhys.6.5.062, arXiv:1812.11094, https://arxiv.org/abs/1812.11094
14. T. Gombor, "On the classification of rational K-matrices", J. Phys. A: Math. Theor. 53 (2020) 135203, doi:10.1088/1751-8121/ab7602, arXiv:1904.03044, https://arxiv.org/abs/1904.03044
15. T. Gombor, Z. Bajnok, "Boundary states, overlaps, nesting and bootstrapping AdS/dCFT", JHEP 10 (2020) 123, doi:10.1007/JHEP10(2020)123, arXiv:2004.11329, https://arxiv.org/abs/2004.11329
16. G. Linardopoulos, K. Zarembo, "String integrability of defect CFT and dynamical reflection matrices", JHEP 05 (2021) 203, doi:10.1007/JHEP05(2021)203, arXiv:2102.12381, https://arxiv.org/abs/2102.12381
17. A. Appel, B. Vlaar, "Universal K-matrices for quantum Kac-Moody algebras", Represent. Theory 26 (2022) 764, doi:10.1090/ert/623, arXiv:2007.09218, https://arxiv.org/abs/2007.09218
18. C. Kristjansen, K. Zarembo, "'t Hooft loops and integrability", JHEP 08 (2023) 184, doi:10.1007/JHEP08(2023)184, arXiv:2305.03649, https://arxiv.org/abs/2305.03649
19. A. Appel, 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
20. A. Appel, 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
21. T. Gombor, "Exact Overlaps for All Integrable Matrix Product States of Rational Spin Chains", Phys. Rev. Lett. 135 (2025) 150402, doi:10.1103/4vy2-8cnk, arXiv:2410.23282, https://arxiv.org/abs/2410.23282
22. T. Gombor, C. Kristjansen, V. Moustakis, X. Qian, "On exact overlaps of integrable matrix product states: inhomogeneities, twists and dressing formulas", JHEP 02 (2025) 100, doi:10.1007/JHEP02(2025)100, arXiv:2410.23117, https://arxiv.org/abs/2410.23117
23. T. Gombor, "Derivations for the MPS overlap formulas of rational spin chains", JHEP 10 (2025) 035, doi:10.1007/JHEP10(2025)035, arXiv:2505.20234, https://arxiv.org/abs/2505.20234