A unitary Yang–Baxter operator (YBO) is a unitary solution R∈U(V⊗V)R\in\mathrm{U}(V\otimes V) of the constant Yang–Baxter equation; such operators generate unitary braid group representations, link invariants, and model localized anyonic gates for topological quantum computation, yet no classification is known beyond local dimension 2 and special spectral classes. Galindo and Rowell (arXiv:2608.16865, 2026) conjecture that, up to a unit scalar and a local unitary change of basis together with three combining operations, every unitary YBO is generated by three sources: monomial solutions, group-type solutions from Yetter–Drinfeld modules, and solutions from twisted group-algebra towers (Conjecture 1.1). Two companion conjectures concern braid images: the Rowell–Wang localization conjecture, that the braid representations of a simple object XX in a unitary braided fusion category are localizable by a unitary YBO if and only if FPdim⁡(X)2∈Z\operatorname{FPdim}(X)^2\in\mathbb{Z} (Conjecture 1.2), and virtual abelianness of all braid images ρR,n(Bn)\rho_{R,n}(\mathcal{B}_n) (Conjecture 1.3). The source itself proves the exceptional two-eigenvalue class [eπi/3,1/2,4][e^{\pi i/3},1/2,4] nonempty, resolving the smallest case of Lechner's 2026 existence question and an open case of the localization conjecture; none of the three conjectures is resolved in general.

Background

The constant (parameter-independent) Yang–Baxter equation asks for a linear map R:V⊗V→V⊗VR:V\otimes V\to V\otimes V on a finite-dimensional complex Hilbert space satisfying (R⊗I)(I⊗R)(R⊗I)=(I⊗R)(R⊗I)(I⊗R)(R\otimes I)(I\otimes R)(R\otimes I)=(I\otimes R)(R\otimes I)(I\otimes R) in End⁡(V⊗V⊗V)\operatorname{End}(V\otimes V\otimes V). A solution that is a unitary operator is a unitary Yang–Baxter operator (YBO), also called a unitary RR-matrix. Each unitary YBO RR yields, for every n≥2n\geq 2, a unitary representation ρR,n:Bn→U(V⊗n)\rho_{R,n}:\mathcal{B}_n\to\mathrm{U}(V^{\otimes n}) of the braid group Bn\mathcal{B}_n (Artin generators σ1,…,σn−1\sigma_1,\dots,\sigma_{n-1} subject to the braid relations) by placing RR at adjacent tensor positions, ρR,n(σi)=I⊗(i−1)⊗R⊗I⊗(n−i−1)\rho_{R,n}(\sigma_i)=I^{\otimes(i-1)}\otimes R\otimes I^{\otimes(n-i-1)}; the Yang–Baxter equation is exactly the braid relation. With a scalar enhancement these towers produce invariants of oriented links (Turaev; Jones's Hecke-algebra invariants), so classifying unitary YBOs bears on the computational complexity of such invariants. A second motivation is topological quantum computation: gates obtained by braiding anyons act on morphism spaces End⁡(X⊗n)\operatorname{End}(X^{\otimes n}) of a simple object XX in a unitary braided fusion category (a semisimple braided monoidal category with finitely many simple objects and compatible duals; the Frobenius–Perron dimension FPdim⁡(X)\operatorname{FPdim}(X) is the largest consistent positive categorical dimension, equal in the unitary setting to the quantum dimension). Rowell and Wang asked when such category-level braid representations are localizable, meaning the irreducible summands appearing in the End⁡(X⊗n)\operatorname{End}(X^{\otimes n}) braid representations can be reassembled, with possibly different positive multiplicities, into representations uniformly equivalent to those coming from a single unitary YBO acting on some V⊗nV^{\otimes n} — a mathematical model for implementing anyonic braiding gates with local quantum circuits. They conjectured (arXiv:1009.0241, Conjecture 4.1) that localizability holds exactly when FPdim⁡(X)2∈Z\operatorname{FPdim}(X)^2\in\mathbb{Z}, and verified the Jones representation case: localizable precisely for ℓ∈{3,4,6}\ell\in\{3,4,6\} at q=eπi/ℓq=e^{\pi i/\ell}.

Unitary solutions are far scarcer than general ones. In local dimension 2 a complete classification of constant solutions is classical (Hietarinta 1992, without the unitarity restriction), and computational brute force is infeasible beyond small dimensions. The involutive unitary case (spectrum {1,−1}\{1,-1\}, arbitrary dimension) was classified by Lechner–Pennig–Wood via extremal characters of the infinite symmetric group. Lechner (2026) classified unitary RR-matrices with exactly two eigenvalues up to one exceptional family of classes [eπi/3,1/2,d][e^{\pi i/3},1/2,d], dd even (the data are the nontrivial eigenvalue, the spectral density η\eta of the −1-1-projection, and the local dimension dd; the class consists of operators representing the Hecke algebra but not the Temperley–Lieb algebra — the finite-dimensional quotients of the braid group algebra underlying the HOMFLYPT and Jones polynomials respectively), showing this family is empty for d=2d=2 but leaving existence open for d>2d>2.

Galindo and Rowell (2026) propose a conjectural classification of all unitary YBOs from three generating sources: (i) monomial solutions, which permute one-dimensional subspaces of an orthogonal decomposition and amount to set-theoretic Yang–Baxter solutions together with multiplicative 2-cocycle data; (ii) group-type solutions, arising from Yetter–Drinfeld modules (spaces carrying a group action and a compatible grading) over discrete groups; and (iii) solutions from twisted group-algebra towers, an algebraic construction of Gustafson–Kimball–Rowell–Zhang from a finite metric abelian group (A,q)(A,q) (a finite abelian group with a nondegenerate quadratic form), a normalized 2-cocycle, a bicharacter, and a coefficient function, which contains the classical Gaussian/metaplectic solutions of Goldschmidt–Jones. Operators are compared up to the equivalence R↦λ(S⊗S)−1R(S⊗S)R\mapsto\lambda(S\otimes S)^{-1}R(S\otimes S) with λ∈U(1)\lambda\in\mathrm{U}(1) and S∈U(V)S\in\mathrm{U}(V), and combined by three operations: external tensor product, direct sum (acting by the ordinary flip on mixed summands), and admissible internal orthogonal sum (a unit-modulus-parameterized sum a+tba+tb of two solution components supported on complementary orthogonal projections, with admissibility conditions ensuring the braid relations, defined precisely in the source). Galindo–Rowell (2014) had already conjectured, as a refinement of a Rowell–Wang question, that for any unitary YBO the braid image ρR,n(Bn)\rho_{R,n}(\mathcal{B}_n) is virtually abelian (contains an abelian subgroup of finite index), verified for the Gaussian and group-type families; Rowell–Wenzl (2017) proved the SO(N)2SO(N)_2 braid representations are Gaussian. The 2026 paper adds evidence: the three metric families have finite braid images, the dimension-8 cyclic families are virtually abelian even when the image is infinite, computational searches over Clifford groups and a polynomial-in-Pauli ansatz in low dimensions find no solutions outside the conjectured sources, and the quaternionic Family III operator realizes Lechner's exceptional class [eπi/3,1/2,4][e^{\pi i/3},1/2,4] and strictly localizes the semisimple Hecke braid-image tower of SU(3)3SU(3)_3 — answering Lechner's existence question in its smallest possible dimension and verifying an open case of the Rowell–Wang localization conjecture.

Problem Statement

Resolve the Galindo–Rowell classification program for unitary Yang–Baxter operators, as stated in the Introduction of arXiv:2608.16865: settle each of the following three conjectures by proof or counterexample.

(1) Classification (Conjecture 1.1). Let R∈U(V⊗V)R\in\mathrm{U}(V\otimes V) be a unitary solution of the constant Yang–Baxter equation. Prove or refute: up to the equivalence R↦λ(S⊗S)−1R(S⊗S)R\mapsto\lambda(S\otimes S)^{-1}R(S\otimes S), λ∈U(1)\lambda\in\mathrm{U}(1), S∈U(V)S\in\mathrm{U}(V), and the operations of external tensor product, direct sum, and admissible internal orthogonal sum, every unitary Yang–Baxter operator is generated by the three sources of monomial solutions, group-type solutions (from Yetter–Drinfeld modules), and solutions from twisted group-algebra towers.

(2) Localization (Conjecture 1.2, after Rowell–Wang). Prove or refute: for every simple object XX in a unitary braided fusion category, the sequence of braid group representations (ρnX,End⁡(X⊗n))(\rho^X_n,\operatorname{End}(X^{\otimes n})) is localizable by a unitary Yang–Baxter operator if and only if FPdim⁡(X)2∈Z\operatorname{FPdim}(X)^2\in\mathbb{Z}.

(3) Virtual abelianness (Conjecture 1.3, after Galindo–Rowell 2014). Prove or refute: for every unitary Yang–Baxter operator RR and every n≥2n\geq 2, the image ρR,n(Bn)⊂U(V⊗n)\rho_{R,n}(\mathcal{B}_n)\subset\mathrm{U}(V^{\otimes n}) of the associated braid group representation is virtually abelian.

These three questions form one coherent objective — a complete structure theory of unitary Yang–Baxter operators: (1) determines what the objects are, (2) determines which category-level anyon representations they can realize, and (3) determines what braid images they produce. They are linked methodologically: a positive resolution of (1) would reduce (2) and (3) to verification source by source, which is exactly the pattern of all known partial results (Gaussian and group-type families; the Jones, SO(N)2SO(N)_2, and SU(3)3SU(3)_3 localization cases). A concrete residual open question inherited from Lechner's two-eigenvalue classification, closely related to the classification program (noted for context only; it is not one of the three questions to be resolved above), is the nonemptiness of the exceptional class [eπi/3,1/2,d][e^{\pi i/3},1/2,d] for even local dimensions d>4d>4; the class for d=4d=4 is already realized by the quaternionic Family III operator of arXiv:2608.16865, which strictly localizes the SU(3)3SU(3)_3 Hecke braid-image tower.

References

  1. Cesar Galindo and Eric C. Rowell, "Unitary Yang--Baxter Operators: Towards a Classification", preprint, 2026. arXiv:2608.16865, https://arxiv.org/abs/2608.16865
  2. Eric C. Rowell and Zhenghan Wang, "Localization of unitary braid group representations", Comm. Math. Phys. 311 (2012), no. 3, 595–615. DOI 10.1007/s00220-011-1386-7, arXiv:1009.0241, https://arxiv.org/abs/1009.0241
  3. César Galindo and Eric C. Rowell, "Braid representations from unitary braided vector spaces", J. Math. Phys. 55 (2014), no. 6, 061702. DOI 10.1063/1.4880196, arXiv:1312.5557, https://arxiv.org/abs/1312.5557
  4. Gandalf Lechner, "The classification problem for unitary R-matrices with two eigenvalues", preprint, 2026. arXiv:2603.20158, https://arxiv.org/abs/2603.20158
  5. Gandalf Lechner, Ulrich Pennig, and Simon Wood, "Yang–Baxter representations of the infinite symmetric group", Adv. Math. 355 (2019), 106769. DOI 10.1016/j.aim.2019.106769, arXiv:1707.00196, https://arxiv.org/abs/1707.00196
  6. Jarmo Hietarinta, "All solutions to the constant quantum Yang–Baxter equation in two dimensions", Phys. Lett. A 165 (1992), no. 3, 245–251. DOI 10.1016/0375-9601(92)90044-M, https://doi.org/10.1016/0375-9601(92)90044-M
  7. Paul Gustafson, Andrew Kimball, Eric C. Rowell, and Qing Zhang, "Braid group representations from twisted tensor products of algebras", Peking Math. J. 3 (2020), no. 2, 103–130. DOI 10.1007/s42543-020-00023-5, https://doi.org/10.1007/s42543-020-00023-5
  8. Eric C. Rowell and Hans Wenzl, "SO(N)2SO(N)_2 braid group representations are Gaussian", Quantum Topology 8 (2017), no. 1, 1–33. DOI 10.4171/qt/85, https://doi.org/10.4171/qt/85
  9. Paul P. Martin and Eric C. Rowell, "Classification of spin-chain braid representations", to appear in Comm. Math. Phys. (2026). arXiv:2112.04533, https://arxiv.org/abs/2112.04533
  10. P. P. Martin, E. C. Rowell, and F. Torzewska, "A Categorical Perspective on Braid Representations", preprint, 2025. arXiv:2506.07950, https://arxiv.org/abs/2506.07950
  11. Somnath Maity, Vivek Kumar Singh, Pramod Padmanabhan, and Vladimir Korepin, "Algebraic classification of Hietarinta's solutions of Yang-Baxter equations: invertible 4 × 4 operators", J. High Energ. Phys. 2024 (2024), no. 12, article 67. DOI 10.1007/JHEP12(2024)067, arXiv:2409.05375, https://arxiv.org/abs/2409.05375
  12. Yasmeen S. Baki and Padmini Veerapen, "Gaussian solutions to the Yang--Baxter equation and their twists", preprint, 2026. arXiv:2607.13876, https://arxiv.org/abs/2607.13876