From the factorization of vector nonlinear Schrödinger (Manakov) soliton interactions on the half-line with integrable boundary conditions, Caudrelier and Zhang introduced the set-theoretical (parametric) reflection equation and its solutions, reflection maps, together with commuting transfer maps built from Yang–Baxter and reflection maps. They posed two linked open questions: (1) construct general reflection maps in the same systematic spirit as the known general constructions of set-theoretical Yang–Baxter maps, motivated by the apparent formal connection with the finite Artin (Weyl) group of type BC_N; and (2) establish the role of the commuting transfer maps from the point of view of Poisson–Lie groups and integrable dynamics, in Veselov's dynamical interpretation.

Background

The Yang–Baxter equation (YBE) is the consistency condition for factorized scattering and for commuting transfer matrices in integrable quantum systems. Drinfeld later posed the problem of finding its set-theoretical solutions: invertible maps R:X×X→X×X\mathcal{R}:X\times X\to X\times X on a set XX satisfying

R12 R13 R23=R23 R13 R12,\mathcal{R}_{12}\,\mathcal{R}_{13}\,\mathcal{R}_{23}=\mathcal{R}_{23}\,\mathcal{R}_{13}\,\mathcal{R}_{12},

where Rij\mathcal{R}_{ij} acts as R\mathcal{R} on the ii-th and jj-th factors of the Cartesian power XNX^N and identically on the others; such maps are called Yang–Baxter maps. General constructions of these maps from algebraic data exist: from factorizable Poisson–Lie groups (Lie groups carrying a compatible Poisson bracket) by Weinstein and Xu, and from structure groups of solutions, equivalently matched pairs of groups, by Etingof–Schedler–Soloviev and by Lu–Yan–Zhu; more recently, skew braces — sets carrying two group structures linked by a distributive law — have become the standard algebraic machine for involutive, non-degenerate solutions. Veselov gave Yang–Baxter maps a dynamical meaning: the transfer maps Tj=Rj j−1⋯Rj1 RjN⋯Rj j+1\mathcal{T}_j=\mathcal{R}_{j\,j-1}\cdots\mathcal{R}_{j1}\,\mathcal{R}_{jN}\cdots\mathcal{R}_{j\,j+1} (indices taken modulo NN) acting on XNX^N pairwise commute, which is the set-theoretical counterpart of commuting quantum transfer matrices, and in favorable cases these maps generate Hamiltonian integrable (Liouville) dynamics.

The boundary counterpart of the YBE is the reflection equation, introduced by Cherednik and used by Sklyanin to build quantum integrable systems on an interval through double-row transfer matrices. Its classical, set-theoretical version was discovered by Caudrelier and Zhang from the vector nonlinear Schrödinger equation (VNLS, the nn-component Manakov model) on the half-line x≥0x\ge 0 with integrable boundary conditions (Robin, or mixed Dirichlet–Neumann), based on their earlier half-line inverse-scattering analysis. Using a nonlinear mirror-image method combined with dressing transformations (Riemann–Hilbert based transformations generating NN-soliton solutions), they proved that soliton–soliton and soliton–boundary interactions factorize. Each vector soliton carries a polarization vector p∈CPn−1p\in\mathbb{CP}^{n-1} (the direction of its norming constant); pairwise collisions act on polarization pairs by a parametric Yang–Baxter map R12(k1,k2)\mathcal{R}_{12}(k_1,k_2), while the interaction of a single soliton with the boundary acts by a new object, the reflection map B(k)\mathcal{B}(k), acting on one polarization at a time, with the spectral parameter reflected by the involution σ(k)=−k∗\sigma(k)=-k^*. Consistency of the two types of interaction is equivalent to the parametric set-theoretical reflection equation

B1(k1) R21(k1,σ(k2)) B2(k2) R12(k1,k2)=R21(σ(k1),σ(k2)) B2(k2) R12(σ(k1),k2) B1(k1),\mathcal{B}_1(k_1)\,\mathcal{R}_{21}(k_1,\sigma(k_2))\,\mathcal{B}_2(k_2)\,\mathcal{R}_{12}(k_1,k_2)=\mathcal{R}_{21}(\sigma(k_1),\sigma(k_2))\,\mathcal{B}_2(k_2)\,\mathcal{R}_{12}(\sigma(k_1),k_2)\,\mathcal{B}_1(k_1),

a classical analog of Sklyanin's reflection equation. They constructed two classes of reflection maps on CPn−1\mathbb{CP}^{n-1}: the identity (Robin conditions, for which the boundary matrix is proportional to the identity) and a family parametrized by U(n)U(n) (mixed Dirichlet–Neumann conditions). In analogy with Veselov, they also defined transfer maps on XNX^N: for j=1,…,Nj=1,\dots,N,

Tj=Rj+1 j⋯RNj Bj− RjN⋯Rj j+1 Rj j−1⋯Rj1 Bj+ R1j⋯Rj−1 j,\mathcal{T}_j=\mathcal{R}_{j+1\,j}\cdots\mathcal{R}_{Nj}\,\mathcal{B}_j^-\,\mathcal{R}_{jN}\cdots\mathcal{R}_{j\,j+1}\,\mathcal{R}_{j\,j-1}\cdots\mathcal{R}_{j1}\,\mathcal{B}_j^+\,\mathcal{R}_{1j}\cdots\mathcal{R}_{j-1\,j},

where B+\mathcal{B}^{+} and B−\mathcal{B}^{-} are two reflection maps: B+\mathcal{B}^{+} solves B1R21B2R12=R21B2R12B1\mathcal{B}_1\mathcal{R}_{21}\mathcal{B}_2\mathcal{R}_{12}=\mathcal{R}_{21}\mathcal{B}_2\mathcal{R}_{12}\mathcal{B}_1 (Eq. (4.16) of the source) and B−\mathcal{B}^{-} solves the mirrored equation B1R12B2R21=R12B2R21B1\mathcal{B}_1\mathcal{R}_{12}\mathcal{B}_2\mathcal{R}_{21}=\mathcal{R}_{12}\mathcal{B}_2\mathcal{R}_{21}\mathcal{B}_1 (Eq. (4.17) of the source); and proved by a long direct computation that the Tj\mathcal{T}_j commute whenever R\mathcal{R} is reversible (R21R12=Id\mathcal{R}_{21}\mathcal{R}_{12}=\mathrm{Id}). They further observed that, just as set-theoretical Yang–Baxter solutions connect to the braid group, the reflection equation has an apparent formal connection with the Artin group of type BNB_N (the braid group with one frozen strand), which becomes the Weyl group of type BCNBC_N in the involutive case.

The paper closes with two open questions, which together ask that the theory of set-theoretical reflection maps be brought to the maturity of the Yang–Baxter-map theory: a general, systematic construction (ideally classification) of reflection maps analogous to the known general constructions of Yang–Baxter maps, and the Poisson–Lie and integrable-dynamics interpretation of the commuting transfer maps. Both questions remain open: reflection maps are classified only for quadrirational Yang–Baxter maps, brace- and rack-based constructions cover special classes, the symplectic/Poisson geometry of reflection maps themselves was established only recently, and the transfer maps still have no Hamiltonian interpretation.

Problem Statement

The problem, as posed at the end of Caudrelier–Zhang (Nonlinearity 27 (2014) 1081, Section 4), is to develop the theory of set-theoretical reflection maps — solutions B\mathcal{B} of the parametric set-theoretical reflection equation

B1(k1) R21(k1,σ(k2)) B2(k2) R12(k1,k2)=R21(σ(k1),σ(k2)) B2(k2) R12(σ(k1),k2) B1(k1),\mathcal{B}_1(k_1)\,\mathcal{R}_{21}(k_1,\sigma(k_2))\,\mathcal{B}_2(k_2)\,\mathcal{R}_{12}(k_1,k_2)=\mathcal{R}_{21}(\sigma(k_1),\sigma(k_2))\,\mathcal{B}_2(k_2)\,\mathcal{R}_{12}(\sigma(k_1),k_2)\,\mathcal{B}_1(k_1),

where R12(k1,k2)\mathcal{R}_{12}(k_1,k_2) is a parametric Yang–Baxter map on a set XX with parameters k1,k2k_1,k_2 in a parameter set YY, σ:Y→Y\sigma:Y\to Y is an involution, and Bj\mathcal{B}_j denotes B\mathcal{B} acting on the jj-th factor — to the level of maturity of the corresponding theory of set-theoretical Yang–Baxter maps. It has two linked components that jointly define one objective, and the relationship between them is explicit: the transfer maps of component (2) are built as alternating compositions of Yang–Baxter maps with reflection maps, so component (2) consumes the output of component (1).

(1) Constructive component. Provide general constructions of reflection maps associated with set-theoretical Yang–Baxter maps, in the same systematic spirit as the general constructions of Yang–Baxter maps from algebraic data (factorizable Poisson–Lie groups in the sense of Weinstein–Xu; the structure-group constructions of Etingof–Schedler–Soloviev and Lu–Yan–Zhu), going beyond the two classes produced by the vector-NLS example and beyond the quadrirational classification; ideally, establish classification theorems identifying, for a stated class of Yang–Baxter maps, all reflection maps for them. Classification is a desired strengthening rather than a requirement: a general construction going beyond those special classes resolves this component. The source notes that a formal connection between the set-theoretical reflection equation and the finite Artin group of type BNB_N (the Weyl group of type BCNBC_N in the involutive case) is apparent from its Eq. (4.16); this connection remains a formal remark, and making it precise — for instance by exhibiting reflection-map data as representations of this group on XNX^N — is a natural, source-motivated direction within the general-construction question rather than a separately posed deliverable.

(2) Dynamical component. Establish the role of the commuting transfer maps Tj\mathcal{T}_j (Eq. (4.15) of the source; the formula is recalled in the Background) from the point of view of Poisson–Lie groups and integrable dynamics, along the lines of Veselov's dynamical interpretation of Yang–Baxter maps: exhibit symplectic/Poisson structures on the relevant phase spaces with respect to which the commuting transfer maps are Poisson maps or are generated by Hamiltonians in involution, identify their conserved quantities, and thereby determine the integrable dynamics they generate — the classical, set-theoretical counterpart of Sklyanin's double-row transfer matrices for quantum systems with boundaries.

Completion is judged at the stated generality: results confined to special classes (quadrirational maps, involutive non-degenerate solutions, individual integrable equations) constitute partial progress, not a solution, since the source explicitly asks for the general counterpart of the ESS/LYZ/Weinstein–Xu theory and for the transfer-map dynamics as such.

References

  1. V. Caudrelier and Q. C. Zhang, 'Yang–Baxter and reflection maps from vector solitons with a boundary', Nonlinearity 27 (2014) 1081–1103. DOI: 10.1088/0951-7715/27/6/1081, https://arxiv.org/abs/1205.1133
  2. V. Caudrelier and Q. C. Zhang, 'Vector nonlinear Schrödinger equation on the half-line', J. Phys. A 45 (2012) 105201. DOI: 10.1088/1751-8113/45/10/105201, https://arxiv.org/abs/1110.2990
  3. V. Caudrelier, N. Crampe and Q. C. Zhang, 'Set-theoretical reflection equation: classification of reflection maps', J. Phys. A 46 (2013) 095203. DOI: 10.1088/1751-8113/46/9/095203, https://arxiv.org/abs/1210.5107
  4. V. Caudrelier, N. Crampe and Q. C. Zhang, 'Integrable Boundary for Quad-Graph Systems: Three-Dimensional Boundary Consistency', SIGMA 10 (2014) 014. DOI: 10.3842/SIGMA.2014.014, https://arxiv.org/abs/1307.4023
  5. V. Caudrelier, P. H. van der Kamp and C. Zhang, 'Integrable Boundary Conditions for Quad Equations, Open Boundary Reductions, and Integrable Mappings', Int. Math. Res. Not. 2022 (2022) 18110–18153. DOI: 10.1093/imrn/rnab188, https://arxiv.org/abs/2009.00412
  6. P. Sun and C. Zhang, 'Classification of Integrable Boundary Equations for Integrable Systems on Quad-Graphs', Int. Math. Res. Not. 2023 (2023) 13601–13657. DOI: 10.1093/imrn/rnac207, https://doi.org/10.1093/imrn/rnac207
  7. K. De Commer, 'Actions of skew braces and set-theoretic solutions of the reflection equation', Proc. Edinb. Math. Soc. 62 (2019) 1089–1113. DOI: 10.1017/s0013091519000129, https://doi.org/10.1017/s0013091519000129
  8. A. Smoktunowicz, L. Vendramin and R. Weston, 'Combinatorial solutions to the reflection equation', J. Algebra 549 (2020) 268–290. DOI: 10.1016/j.jalgebra.2019.12.012, https://arxiv.org/abs/1810.03341
  9. K. Katsamaktsis, 'New Solutions to the Reflection Equation with Braces', arXiv:1905.12711 (2019), https://arxiv.org/abs/1905.12711
  10. V. Lebed and L. Vendramin, 'Reflection equation as a tool for studying solutions to the Yang–Baxter equation', J. Algebra 607 (2022) 360–380. DOI: 10.1016/j.jalgebra.2021.02.002, https://arxiv.org/abs/2008.01752
  11. A. Albano, M. Mazzotta and P. Stefanelli, 'Reflections to set-theoretic solutions of the Yang-Baxter equation', J. Algebra 676 (2025) 106–138. DOI: 10.1016/j.jalgebra.2025.03.034, https://arxiv.org/abs/2405.19105
  12. A. Doikou, M. Mazzotta and P. Stefanelli, 'Parametric reflection maps: an algebraic approach', Communications in Algebra (2026). DOI: 10.1080/00927872.2026.2621983, https://arxiv.org/abs/2412.15839
  13. D. Ferri, 'Reflections and Drinfeld twists for set-theoretic Yang–Baxter maps', Annali di Matematica Pura ed Applicata (2026). DOI: 10.1007/s10231-026-01703-2, https://arxiv.org/abs/2504.21678
  14. A. Doikou and A. Smoktunowicz, 'Set-theoretic Yang–Baxter & reflection equations and quantum group symmetries', Lett. Math. Phys. 111 (2021) 105. DOI: 10.1007/s11005-021-01437-7, https://arxiv.org/abs/2003.08317
  15. A. Kuniba and M. Okado, 'Set-theoretical solutions to the reflection equation associated to the quantum affine algebra of type A_{n-1}^{(1)}', J. Integrable Syst. 4 (2019) xyz013. DOI: 10.1093/integr/xyz013, https://arxiv.org/abs/1907.10234
  16. L.-C. Li, 'Factorization Problems on Rational Loop Groups, and the Poisson Geometry of Yang-Baxter Maps', Math. Phys. Anal. Geom. 25 (2022) 6. DOI: 10.1007/s11040-022-09419-4, https://doi.org/10.1007/s11040-022-09419-4
  17. L.-C. Li and V. Caudrelier, 'Reflection Maps Associated with Involutions and Factorization Problems, and Their Poisson Geometry', Ann. Henri Poincaré 27 (2026) 2403–2445. DOI: 10.1007/s00023-025-01599-3, https://arxiv.org/abs/2312.05164
  18. S. Konstantinou-Rizos and G. Papamikos, 'Entwining Yang–Baxter maps related to NLS type equations', J. Phys. A 52 (2019) 485201. DOI: 10.1088/1751-8121/ab4ebe, https://arxiv.org/abs/1907.00019
  19. C. Zhang and D.-j. Zhang, 'Vector NLS solitons interacting with a boundary', Commun. Theor. Phys. 73 (2021) 045005. DOI: 10.1088/1572-9494/abdeac, https://arxiv.org/abs/1903.01791
  20. B. Xia, 'Vector nonlinear Schrödinger equation with an integrable defect and new integrable boundary conditions', Physica D 450 (2023) 133769. DOI: 10.1016/j.physd.2023.133769, https://doi.org/10.1016/j.physd.2023.133769
  21. A. Yoneyama, 'Boundary from Bulk Integrability in Three Dimensions: 3D Reflection Maps from Tetrahedron Maps', Math. Phys. Anal. Geom. 24 (2021) 21. DOI: 10.1007/s11040-021-09393-3, https://arxiv.org/abs/2103.01105
  22. V. G. Drinfeld, 'On some unsolved problems in quantum group theory', Lecture Notes in Mathematics 1510 (1992) 1–8. DOI: 10.1007/BFb0101175, https://doi.org/10.1007/BFb0101175
  23. I. V. Cherednik, 'Factorizing particles on a half-line and root systems', Theor. Math. Phys. 61 (1984) 977–983. DOI: 10.1007/BF01038545, https://doi.org/10.1007/BF01038545
  24. 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
  25. A. Weinstein and P. Xu, 'Classical solutions of the quantum Yang-Baxter equation', Commun. Math. Phys. 148 (1992) 309–343. DOI: 10.1007/bf02100863, https://doi.org/10.1007/bf02100863
  26. P. Etingof, T. Schedler and A. Soloviev, 'Set-theoretical solutions to the quantum Yang-Baxter equation', Duke Math. J. 100 (1999) 169. DOI: 10.1215/s0012-7094-99-10007-x, https://doi.org/10.1215/s0012-7094-99-10007-x
  27. J.-H. Lu, M. Yan and Y.-C. Zhu, 'On the set-theoretical Yang-Baxter equation', Duke Math. J. 104 (2000) 1. DOI: 10.1215/s0012-7094-00-10411-5, https://doi.org/10.1215/s0012-7094-00-10411-5
  28. A. P. Veselov, 'Yang–Baxter maps and integrable dynamics', Phys. Lett. A 314 (2003) 214–221. DOI: 10.1016/s0375-9601(03)00915-0, https://doi.org/10.1016/s0375-9601(03)00915-0