Reflection $K$-matrices for the multiparametric and general twisted orthosymplectic vertex models $U_q[\mathrm{osp}^{(2)}(2n+2|2m)]$

The reflection $K$-matrix — the solution of the boundary Yang–Baxter (reflection) equation — encodes the integrable open boundary conditions of a vertex model and is the object that determines which open supersymmetric spin chains are exactly solvable. Vieira and Lima-Santos classified the reflection $K$-matrices of the vertex model based on the twisted quantum affine Lie superalgebra $U_q[\mathrm{osp}^{(2)}(2|2m)] = U_q[C^{(2)}(m+1)]$, finding complete, block-diagonal, X-shape and diagonal solution families, but only for the single choice $\kappa_1=\kappa_2=\nu=+1$ of the three discrete parameters of the underlying multiparametric Galleas–Martins $S$-matrix; and their non-diagonal constructions stop at $n=0$: for the general $U_q[\mathrm{osp}^{(2)}(2n+2|2m)] = U_q[D^{(2)}(n+1|m)]$ hierarchy with $n\neq0$ only diagonal $K$-matrices are known. The construction and classification of the reflection $K$-matrices for the multiparametric $U_q[\mathrm{osp}^{(2)}(2|2m)]$ models (all admissible sign choices of $\kappa_1,\kappa_2,\nu$) and the determination of the non-diagonal $K$-matrices for the $n\neq0$ members — including their branch structure and boundary free-parameter counts — remain open, closing the last gap in the graded reflection-matrix classification program for twisted orthosymplectic vertex models.

Background

A two-dimensional vertex model is integrable when its local statistical weights define an $R$-matrix acting on $\mathrm{End}(V\otimes V)$, with $V$ an $N$-dimensional complex vector space, that satisfies the Yang–Baxter equation $R_{12}(x)R_{13}(xy)R_{23}(y)=R_{23}(y)R_{13}(xy)R_{12}(x)$, where $x,y$ are multiplicative spectral parameters and $R_{12}=R\otimes I$, $R_{23}=I\otimes R$, $R_{13}=P_{12}R_{23}P_{12}$ with $P$ the permutation matrix. Jimbo classified the trigonometric $R$-matrices associated with all non-exceptional affine Lie algebras, including the twisted (obtained by a Dynkin-diagram automorphism) algebra $D_{n+1}^{(2)}$.

For open (non-periodic) boundary conditions, integrability at the boundary is guaranteed by the boundary Yang–Baxter equation, also called the reflection equation, introduced by Sklyanin building on Cherednik's work. It reads $R_{12}(x/y)K_1(x)R_{21}(xy)K_2(y)=K_2(y)R_{12}(xy)K_1(x)R_{21}(x/y)$, where $R_{21}=PR_{12}P$, $K_1=K\otimes I$, $K_2=I\otimes K$, and the reflection $K$-matrix is an $N\times N$ matrix of functions of one spectral parameter satisfying the regularity condition $K(1)=I$. Given an $R$-matrix, finding and classifying all $K$-matrices is the central problem of boundary integrability: the $K$-matrices determine the boundary terms of integrable open spin chains (through Sklyanin's double-row transfer matrix) and the allowed boundary conditions of integrable quantum field theories.

In supersymmetric (graded) models, $V$ carries a $\mathbb{Z}_2$-grading $V=V_{\mathrm{even}}\oplus V_{\mathrm{odd}}$ and all matrix operations are graded: the tensor product acquires signs via the Grassmann parity $\pi_a$ of each basis vector, and the permutator becomes the graded permutation $P_g=\sum_{a,b}(-1)^{\pi_a\pi_b}E_{ab}^{ba}$. Equivalently one works with the scattering $S$-matrix $S(x)=P_gR(x)$, in terms of which both the Yang–Baxter and reflection equations keep the same form with ungraded operations. Galleas and Martins derived, from baxterizations of representations of the dilute braid-monoid algebra — baxterization being the procedure that converts the generators of such an algebra into spectral-parameter-dependent matrix solutions — a family of multiparametric trigonometric $S$-matrices associated with the twisted quantum affine Lie superalgebra $U_q[\mathrm{osp}^{(2)}(2n+2|2m)] = U_q[D^{(2)}(n+1|m)]$ (the twisted orthosymplectic superalgebra, whose even part is $o^{(2)}(2n+2)\otimes\mathrm{sp}^{(1)}(2m)$, i.e. $D_{n+1}^{(2)}\otimes C_m^{(1)}$). This $S$-matrix acts on a space of dimension $N=2(m+n)+2$, depends on the deformation parameter $q$, on $\zeta=q^{\,n-m}$, and on three discrete parameters $\kappa_1,\kappa_2,\nu\in\{+1,-1\}$ that select distinct supersymmetric vertex models: only for $\kappa_1=\kappa_2=\nu=+1$ does it reduce to Jimbo's $D_{n+1}^{(2)}$ $S$-matrix when the $2m$ fermionic degrees of freedom are removed ($m=0$). The case $n=0$ gives the $U_q[\mathrm{osp}^{(2)}(2|2m)] = U_q[C^{(2)}(m+1)]$ models.

Vieira and Lima-Santos solved and classified the reflection $K$-matrices for the $n=0$, $\kappa_1=\kappa_2=\nu=+1$ member using the derivative method: taking a formal derivative of the reflection equation converts the $N^4$ non-linear functional equations in two variables into a linear overdetermined system in one variable, at the cost of introducing $N^2$ boundary parameters $\beta_{ab}=\left.dK_{ab}(y)/dy\right|_{y=1}$, of which only a subset must be fixed; the unfixed ones are the boundary free-parameters of each solution. They found four families: complete solutions (no null elements; $m$ boundary free-parameters), block-diagonal solutions (one free-parameter), X-shape solutions (nonzero entries only on the main and secondary diagonals; $m$ free-parameters), and diagonal solutions (two families: one parameter-free valid for all $m,n$, and one with two free-parameters valid for $m=n$). The diagonal families are the only solutions known for the general $U_q[\mathrm{osp}^{(2)}(2n+2|2m)]$ models with $n\neq0$: the authors state explicitly that the problem of finding the non-diagonal $K$-matrices for these models had eluded them, and list both it and the $K$-matrices of the multiparametric models (arbitrary admissible $\kappa_1,\kappa_2,\nu$) as open directions. For context on the surrounding program: Lima-Santos and collaborators had previously classified the reflection matrices of the untwisted $U_q[\mathrm{osp}(r|2m)^{(1)}]$ and twisted $U_q[\mathrm{sl}(r|2m)^{(2)}]$ vertex models (where non-diagonal solutions do exist), and multiparametric $K$-matrices have been obtained for the purely bosonic $\mathcal{U}_q[D_{n+1}^{(2)}]$ model.

Problem Statement

Complete the classification of reflection $K$-matrices — solutions $K(x)$ with $K(1)=I$ of the graded boundary Yang–Baxter (reflection) equation with the Galleas–Martins multiparametric $S$-matrix — for the twisted orthosymplectic vertex-model hierarchy $U_q[\mathrm{osp}^{(2)}(2n+2|2m)] = U_q[D^{(2)}(n+1|m)]$. The single overarching objective is an exhaustive, family-by-family determination of the integrable open boundary conditions of this hierarchy, in the same sense in which Vieira and Lima-Santos classified the $n=0$, $\kappa_1=\kappa_2=\nu=+1$ member into complete, block-diagonal, X-shape and diagonal families. Concretely, the problem consists of two linked parts: (a) for the $U_q[\mathrm{osp}^{(2)}(2|2m)]$ vertex models with $m\geq1$ and each admissible choice $(\kappa_1,\kappa_2,\nu)\in\{+1,-1\}^3$ other than $(+1,+1,+1)$, construct and classify all reflection $K$-matrices — determine every solution family, its branch structure under the algebraic constraints among boundary parameters $\beta_{ab}=\left.dK_{ab}(y)/dy\right|_{y=1}$, and its number of independent boundary free-parameters; (b) for the general $U_q[\mathrm{osp}^{(2)}(2n+2|2m)]$ vertex models with $n\geq1$ and $m\geq1$ — i.e. the Galleas–Martins $S$-matrix with $\kappa_1=\kappa_2=\nu=+1$ at general rank, for which only the two diagonal families are known — determine whether non-diagonal reflection $K$-matrices exist — that is, solutions not equivalent, in the family-equivalence convention fixed by the completion criteria below, to a diagonal solution, and if so construct and classify them with the same family/branch/parameter-count data. A complete answer states, for each model covered by parts (a) and (b), all inequivalent $K$-matrix families — where two solutions are counted as the same family when they are related by a relabeling of their boundary free-parameters or by a constant similarity $K\mapsto UKU^{-1}$ with $U\otimes U$ commuting with the $S$-matrix — with their explicit functional form, the boundary-parameter constraints and branches, the count of boundary free-parameters, and a completeness argument (or, for the non-diagonal sector of part (b), a rigorous non-existence proof if no such solutions exist).

References

1. R. S. Vieira and A. Lima-Santos, 'Reflection matrices with $U_q[osp^{(2)}(2|2m)]$ symmetry', J. Phys. A 50 (2017) 375204. DOI: 10.1088/1751-8121/aa836c. arXiv:1608.05072. https://arxiv.org/abs/1608.05072
2. W. Galleas and M. J. Martins, 'New R-matrices from representations of braid-monoid algebras based on superalgebras', Nucl. Phys. B 732 (2006) 444-462. DOI: 10.1016/j.nuclphysb.2005.10.025. arXiv:nlin/0509014. https://arxiv.org/abs/nlin/0509014
3. W. Galleas and M. J. Martins, '$R$-matrices and spectrum of vertex models based on superalgebras', Nucl. Phys. B 699 (2004) 455-486. DOI: 10.1016/j.nuclphysb.2004.08.002. arXiv:nlin/0406003. https://arxiv.org/abs/nlin/0406003
4. W. Galleas and M. J. Martins, 'Exact solution and finite size properties of the $U_q[osp(2|2m)]$ vertex models', Nucl. Phys. B 768 (2007) 219-246. DOI: 10.1016/j.nuclphysb.2007.01.022. arXiv:hep-th/0612281. https://arxiv.org/abs/hep-th/0612281
5. M. Jimbo, 'Quantum R matrix for the generalized Toda system', Commun. Math. Phys. 102 (1986) 537-547. DOI: 10.1007/BF01221646. https://doi.org/10.1007/BF01221646
6. E. K. Sklyanin, 'Boundary conditions for integrable quantum systems', J. Phys. A 21 (1988) 2375-2389. DOI: 10.1088/0305-4470/21/10/015. https://doi.org/10.1088/0305-4470/21/10/015
7. A. Lima-Santos, 'Reflection matrices for the $U_q[osp(r|2m)^{(1)}]$ vertex model', J. Stat. Mech. (2009) P07045. DOI: 10.1088/1742-5468/2009/07/P07045. arXiv:0809.0421. https://arxiv.org/abs/0809.0421
8. A. Lima-Santos and W. Galleas, 'Reflection matrices for the $U_q[sl(r|2m)^{(2)}]$ vertex model', Nucl. Phys. B 833 (2010) 271-297. DOI: 10.1016/j.nuclphysb.2010.02.009. arXiv:0806.3659. https://arxiv.org/abs/0806.3659
9. R. S. Vieira and A. Lima-Santos, 'On the multiparametric $\mathcal{U}_q[D_{n+1}^{(2)}]$ vertex model', J. Stat. Mech. (2013) P02011. DOI: 10.1088/1742-5468/2013/02/P02011. arXiv:1210.8449. https://arxiv.org/abs/1210.8449
10. R. S. Vieira and A. Lima-Santos, 'Reflection $K$-matrices for a nineteen vertex model with $U_q[osp(2|2)^{(2)}]$ symmetry', Phys. Lett. A 381 (2017) 3015-3020. DOI: 10.1016/j.physleta.2017.07.032. arXiv:1703.02408. https://arxiv.org/abs/1703.02408
11. R. S. Vieira and A. Lima-Santos, 'Boundary algebraic Bethe Ansatz for a nineteen vertex model with $U_q[osp(2|2)^{(2)}]$ symmetry', J. Stat. Mech. 2017 (2017) 093107. DOI: 10.1088/1742-5468/aa85ca. arXiv:1705.08953. https://arxiv.org/abs/1705.08953
12. R. S. Vieira, 'Solving and classifying the solutions of the Yang-Baxter equation through a differential approach. Two-state systems', J. High Energy Phys. 2018 (2018) 110. DOI: 10.1007/JHEP10(2018)110. arXiv:1712.02341. https://arxiv.org/abs/1712.02341
13. R. S. Vieira and A. Lima-Santos, 'Solutions of the Yang-Baxter equation for $(n+1)(2n+1)$-vertex models using a differential approach', J. Stat. Mech. 2021 (2021) 053103. DOI: 10.1088/1742-5468/abf7be. arXiv:2012.02543. https://arxiv.org/abs/2012.02543
14. A. Kuniba, M. Okado and A. Yoneyama, 'Reflection $K$ matrices associated with an Onsager coideal of $U_p(A_{n-1}^{(1)})$, $U_p(B_n^{(1)})$, $U_p(D_n^{(1)})$ and $U_p(D_{n+1}^{(2)})$', J. Phys. A 52 (2019) 375202. DOI: 10.1088/1751-8121/ab3715. arXiv:1904.05653. https://arxiv.org/abs/1904.05653
15. A. Kuniba and V. Pasquier, 'Quantum spin chains from Onsager algebras and reflection $K$-matrices', Nucl. Phys. B 949 (2019) 114792. DOI: 10.1016/j.nuclphysb.2019.114792. arXiv:1907.07881. https://arxiv.org/abs/1907.07881
16. D. Algethami, A. Mudrov and V. Stukopin, 'Quantum super-spherical pairs', arXiv:2407.19477 (2024). https://arxiv.org/abs/2407.19477
17. A. Mudrov and V. Stukopin, 'Affine supersymmetric pairs', arXiv:2608.22434 (2026). https://arxiv.org/abs/2608.22434