Pith. sign in

REVIEW 3 major objections 5 minor 49 references

Freidel-Maillet type equations on fused K-matrices over the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$

T0 review · 3 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Fused K-matrices of every dimension over the positive part of U_q(sl2 hat) satisfy a Freidel-Maillet type reflection equation, with explicit closed-form entries.

desk verdict Fused higher-dimensional K-matrices for U_q^+ with explicit Catalan-word closed forms; the FM equation proof is credible but rests on an under-verified q-shuffle deletion lemma. read the letter →

arxiv 2512.00819 v4 pith:YBRHFKZD submitted 2025-11-30 math.QA math-phmath.COmath.MP

Chenwei Ruan This is my paper · ORCID
classification math.QAmath-phmath.COmath.MP MSC 17B3716T2581R12
keywords K-matrixreflectionequationFreidel-Maillettypequantumaffinealgebraq-shuffleCatalanwordsPBWbasisfusion
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper constructs, for each half-integer j, a (2j+1)-by-(2j+1) K-matrix whose entries are explicit generating functions built from Catalan words in a q-shuffle algebra. It proves that any pair of these K-matrices, of possibly different dimensions, satisfies a Freidel-Maillet type equation together with the fused R-matrix and a diagonal bR-matrix. This generalizes the known 2x2 reflection equation presentation of the positive part of the quantized affine algebra. If correct, the result yields a family of algebraic relations that could support higher-spin representations and integrable boundary models.

What carries the argument

The key objects are the q-shuffle algebra into which the positive part embeds, the generating functions W_-(t), W_+(t), G(t), tildeG(t) built from alternating words, and the Catalan-word generating functions Delta^{(m)}(t). The proof also uses the fusion matrices E and F that upgrade the 2x2 R-matrix to arbitrary dimensions, and the crucial recurrence Lemma 6.7 which relates Delta^{(-m-1)} to Delta^{(-m)} via the q-shuffle product with W_- and G. These ingredients combine to give the fusion step for the K-matrices and then the full Freidel-Maillet equation.

What would settle it

Set m = l = r = 1 in Lemma 6.7, expand both sides as q-linear combinations of words in x and y, and compare coefficients as polynomials in q and t; any mismatch would disprove the recurrence. Alternatively, compute both sides of Theorem 3.10 for j1 = j2 = 1 by explicit 3x3 matrix multiplication in the q-shuffle algebra and compare.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.10: for any j1, j2 in half-integers, the matrices R^{(j1,j2)}(t/s), K^{(j1)}(s), bR^{(j1,j2)}, and K^{(j2)}(t) satisfy R^{(j1,j2)}(t/s) ⋆ K^{(j1)}_1(s) ⋆ bR^{(j1,j2)} ⋆ K^{(j2)}_2(t) = K^{(j2)}_2(t) ⋆ bR^{(j1,j2)} ⋆ K^{(j1)}_1(s) ⋆ R^{(j1,j2)}(t/s), where the q-shuffle product is used entrywise. The K-matrices are given in closed form with entries involving the generating functions of alternating and Catalan-type PBW basis elements. The theorem is proved by a fusion induction: a recurrence (Proposition 6.9) expresses a higher-dimensional K-matrix in terms of the 2x2 K-matrix and a lower-dimensional one, and the induction step uses Yang-Baxter type identities fo

Load-bearing premise

The proof relies on a previously established factorization of Delta^{(-m-1)}(-t^2) as a q-shuffle product of alternating words, together with a deletion rule used to derive Lemma 6.7; if that factorization or deletion rule is incorrect, the recurrence for the K-matrices and hence the main theorem would not follow.

Editorial extensions

If this is right

  • Every pair of the constructed K-matrices, of any dimensions, satisfies the Freidel-Maillet type equation (Theorem 3.10); a related form is given in Corollary 3.11.
  • A free nonzero parameter can be reintroduced (Appendix B), so the family of equations is not tied to a fixed scalar normalization.
  • The result recovers the 2x2 case as j1 = j2 = 1/2, placing that known presentation inside a hierarchy of higher-dimensional solutions.
  • The closed form involves only PBW generators, so entries of every K-matrix can be written recursively using W_-, W_+, G, and tildeG.
  • The equation is connected to the universal quasi R-matrix perspective (Appendix C), giving a separate route to a similar relation without explicit closed forms.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An implicit consequence is that these explicit K-matrices are natural candidates for boundary operators in integrable lattice models with arbitrary spin at each site: the reflection equation would then ensure commuting transfer matrices.
  • Since the entries are generating functions of PBW basis elements, Theorem 3.10 can be read as an infinite family of quadratic relations among those basis elements, potentially characterizing the positive part itself.
  • The fusion technique may extend to other quantum affine algebras that admit a Catalan-word or PBW basis description, though the specific deletion rules would need new proofs.
  • The link to the quasi R-matrix hints at a categorical or representation-theoretic interpretation of the fused K-matrices, beyond the shuffle-algebra computation.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper constructs fused R-, bR-, and K-matrices for the positive part U_q^+ of U_q(\widehat{\mathfrak{sl}}_2). The R-matrix is obtained by the standard fusion recursion of Lemarthe–Baseilhac–Gainutdinov, the bR-matrix is a diagonal matrix, and the K-matrix K^{(j)}(t) of size (2j+1) is defined in closed form using Catalan generating functions Δ^{(m)}(t) over the q-shuffle algebra. The main theorem (Theorem 3.10) asserts the Freidel–Maillet type equation R^{(j_1,j_2)}(t/s) ⋆ K^{(j_1)}_1(s) ⋆ bR^{(j_1,j_2)} ⋆ K^{(j_2)}_2(t) = K^{(j_2)}_2(t) ⋆ bR^{(j_1,j_2)} ⋆ K^{(j_1)}_1(s) ⋆ R^{(j_1,j_2)}(t/s). A version with a free parameter k is given in Appendix B. The proof is by fusion induction: Proposition 6.9 provides a recurrence for K^{(j+1/2)} in terms of K^{(1/2)} and K^{(j)}, and Lemmas 7.1–7.2 propagate the equation. The recurrence relies on two computational identities for the Catalan generating functions (Lemma 6.5 and Lemma 6.7), the latter depending on the author's earlier factorization [44, Theorem 2.25(i)] and on deletion rules from [46, Lemma 9.2].

Significance. If correct, the main theorem provides a large explicit family of solutions to a reflection equation in U_q^+, with K-matrices of arbitrary finite dimension written in closed form; this generalizes Baseilhac's 2×2 equation and connects naturally to the Lusztig quasi R-matrix. The method is a meaningful application of the Catalan/alternating PBW bases, and the explicit, parameter-free formulas are potentially useful for higher-spin integrable systems. The paper does not introduce fitted parameters and does not use the target equation as an input, so there is no evident circularity. The main weakness is that the proof of the key recurrence is compressed at two load-bearing points, which prevents full certification of the central claim as written.

major comments (3)
  1. [Section 6, Lemma 6.7, Eqs. (43)–(44)] These identities are the sole mechanism reducing the four-term expression in Proposition 6.9 to the two-term expression for K^{(j+1/2)}(t). The proof as written compresses two load-bearing steps: (i) the passage from the factorization (45) to Eq. (46) via [46, Lemma 9.2], and (ii) the induction step on l, which implicitly uses an unstated q-shuffle deletion identity of the form x^{-1}(W_- ⋆ V) = G ⋆ V + q^2 W_- ⋆ x^{-1} V (and the analogue for G). A single wrong q-power, sign, or coefficient in (43)–(44) would invalidate Proposition 6.9 and hence the induction proving Theorem 3.10. I ask the author to state and prove the deletion identity, and to give a genuinely complete coefficient-level verification of (43)–(44), including the way [44, Theorem 2.25(i)] and [46, Lemma 9.2] are applied.
  2. [Section 6, Lemma 6.5, Eq. (38)] This lemma is described as 'routinely verified' after a word-set argument, but the coefficient equality is not shown. Lemma 6.5 is load-bearing: it is used in Proposition 6.6 to obtain the alternative expression (41) for K^{(j)}(t), and that expression is then used in the proof of Proposition 6.9. The equality of q-powers and q-factorial coefficients in (39)–(40) should be displayed, or the author should indicate precisely which result in [44] or [46] covers it. This is not a cosmetic point; an error here would propagate directly into the recurrence.
  3. [Section 7, Lemma 7.1] The displayed computation of the left-hand side of (52) contains several consecutive applications of (16), (18), (35), and (53), including a step where H^{(j_1)}_{12}(H^{(j_1)}_{12})^{-1} is inserted. The identities are standard and the strategy is plausible, but the notation 'the second-to-last K_3^{(j2)}(t) as I_{2j_1+2} ⊗ K^{(j2)}(t) and the last K_3^{(j2)}(t) as I_{4j_1+2} ⊗ K^{(j2)}(t)' is easy to misread. I recommend rewriting this computation with explicit tensor-leg labels or moving the details to an appendix. This is not a suspected error, but the current presentation makes verification unnecessarily difficult.
minor comments (5)
  1. [Throughout] The word 'arbitary' appears several times (e.g., Sections 1 and 3); it should be 'arbitrary'.
  2. [Definition 3.2] There is an extra unmatched bracket in the expression for F^{(j+1/2)}_{(a+1,a+2j+1)} = ([a]_q[2j+1]_q])^{1/2} ...; please correct.
  3. [Lemma 4.4] The statement reads 'For j1.j2 ∈ 1/2 N+' — the punctuation should be 'j_1, j_2'.
  4. [Lemma 6.5 and Lemma 6.7] The notation y^{l-m} and x^{r-m} with negative exponents is used without explicit definition. Since y^{-1} and x^{-1} are defined as deletion operators, it would help to state that y^{l-m} means (y^{-1})^{m-l} and similarly for x.
  5. [Appendix C] The sentence 'Evaluating (67) on the first leg' is terse. Giving the resulting Freidel–Maillet equation explicitly would make the connection to (13) easier to check.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Theorem 3.10 is proved by induction from an external base case, with explicit K-matrices defined independently of the FM equation.

full rationale

I walked the derivation chain. Theorem 3.10 is proved in Section 7 by induction. The base case is equation (6), explicitly identified with the 2x2 Freidel-Maillet equation from Baseilhac [5, Theorem 2.10] and Terwilliger [46, Propositions 5.7, 5.10, 5.11]; those are external results, not the theorem being proved. The induction step (Lemmas 7.1 and 7.2) uses only R-matrix identities restated from [29], bR-matrix identities proved in Section 5, and the recurrence (48). The recurrence itself is derived in Proposition 6.9 from the explicit Definition 3.9 of K^{(j)}(t), which is a closed formula in terms of Catalan-word generating functions over U_q^+; it is not fitted to the final equation. The main computational ingredient, Lemma 6.7, relies on a factorization identity attributed to the author's earlier paper [44, Theorem 2.25(i)] and on deletion rules from [46, Lemma 9.2]. Although [44] is a self-citation, the cited theorem is a separate published PBW-basis result whose stated content does not include the FM equation or the fused K-matrices; it is used as a tool, not as an assumption of the target result. Appendix C also sketches an independent route via Lusztig's quasi R-matrix. No parameter is fitted, and no definition of K^{(j)}(t) reduces to the Freidel-Maillet equation by construction. The only concern is that Lemma 6.7's proof contains phrases such as 'routinely verify' and 'simplify the result using [46, Lemma 9.2]' at a load-bearing point; that is a verification gap, not circularity. Conservatively, the score is 1 because of the load-bearing self-citation to [44], but no circular step is established.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central theorem does not introduce new algebraic entities. It relies on standard quantum-group input (Rosso embedding, R-matrix fusion lemmas), on the author's earlier uniform-PBW framework [44], and on Baseilhac's 2x2 base case. No fitted parameters are used.

assumptions (6)
  • domain assumption q is a nonzero scalar in a quadratically closed field of characteristic zero, not a root of unity.
    Stated in Section 2; all q-integers and the algebra presentation depend on this.
  • standard math Rosso's embedding ♮: U_q^+ → V is an injective algebra homomorphism identifying U_q^+ with the q-shuffle subalgebra U.
    Cited from [42, Theorem 15]; used throughout as the bridge between U_q^+ and the q-shuffle algebra.
  • domain assumption The factorization Δ^{(-m-1)}(-t^2) = \tilde G(q^m t^2) ⋆ ... ⋆ \tilde G(q^{-m} t^2) from [44, Theorem 2.25(i)].
    Author's prior theorem; used in Lemma 6.7 and hence in the K-matrix recurrence Proposition 6.9.
  • standard math Fusion and Yang-Baxter properties of R^{(j1,j2)} stated in Lemmas 4.2-4.5 from [29].
    Restated without proof in Section 4; used in the induction lemmas of Section 7.
  • standard math The base case (6): the 2x2 Freidel-Maillet equation holds for R^{(1/2,1/2)}, bR^{(1/2,1/2)}, K^{(1/2)}.
    Due to Baseilhac [5] and Terwilliger [46]; serves as the base of the induction for Theorem 3.10.
  • standard math Properties of the universal R-matrix and the completion U^c used in Appendix C.
    Cited from [2] and [31]; used only for the alternative quasi R-matrix approach, not for the main theorem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Freidel-Maillet type equations on fused K-matrices over the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$." pith.science (2026). https://pith.science/paper/YBRHFKZD

@misc{pith2026251200819,
  author       = {Pith},
  title        = {Pith review of: Freidel-Maillet type equations on fused K-matrices over the positive part of $U_q(\widehat\mathfraksl_2)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YBRHFKZD}},
  note         = {Machine review of arXiv:2512.00819}
}
abstract

The positive part $U_q^+$ of the quantized enveloping algebra $U_q(\widehat{\mathfrak{sl}}_2)$ has a reflection equation presentation of Freidel-Maillet type (Baseilhac 2022). Its defining K-matrix has size $2 \times 2$ and can be expressed, using Rosso's embedding of $U_q^+$ into a $q$-shuffle algebra, as generating functions whose coefficients are Terwilliger's alternating PBW basis elements. This and older PBW bases of $U_q^+$ due to Damiani and Beck are unified by linear combinations of Catalan words (Ruan 2025). In this paper, we use this unification to define K-matrices of any dimension $\geq 2$ whose entries are explicit generating functions over $U_q^+$. Our main result is that any pair of such K-matrices, possibly of different dimensions, satisfy a Freidel-Maillet type equation. This yields a family of algebraic relations over $U_q^+$ that generalize Baseilhac's equation and can be used to study integrable systems or higher-spin representations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

49 extracted references · 17 linked inside Pith

  1. [44]

    C. Ruan. A uniform approach to the Damiani, Beck, and alternating PBW bases for the positive part ofU q(bsl2).J. Algebra Appl., online ready, 2025,arXiv:2305.11152

    arXiv 2025

  2. [46]

    Terwilliger

    P. Terwilliger. The alternating PBW basis for the positive part ofU q(bsl2).J. Math. Phys., 60(7) (2019) 071704, 27, arXiv:1902.00721

    arXiv 2019

  3. [1]

    Appel and B

    A. Appel and B. Vlaar. Trigonometric K-matrices for finite-dimensional representations of quantum affine algebras.J. Eur. Math. Soc., published online first, 2025,arXiv:2203.16503

    arXiv 2025

  4. [2]

    Appel and B

    A. Appel and B. Vlaar. Universal K-matrices for quantum Kac-Moody algebras.Represent. Theory, 26 (2022) 764–824, arXiv:2007.09218

    arXiv 2022

  5. [3]

    Baseilhac and K

    P. Baseilhac and K. Shigechi. A new current algebra and the reflection equation.Lett. Math. Phys., 92 (2010) 47–65, arXiv:0906.1482v2

    arXiv 2010

  6. [4]

    Balagovi´ c and S

    M. Balagovi´ c and S. Kolb. Universal K-matrix for quantum symmetric pairs.J. Reine Angew. Math (Crelles Journal), 747 (2019) 299–353,arXiv:1507.06276

    arXiv 2019

  7. [5]

    Baseilhac

    P. Baseilhac. On the second realization for the positive part ofU q( csl2) of equitable type.Lett. Math. Phys., 112(1) (2022) Paper No. 2, 28,arXiv:2106.11706

    arXiv 2022

  8. [6]

    R. Baxter. Partition function of the eight-vertex lattice model.Annals of Phys., 70 (1972) 193–228

    1972

Show all 49 references
  1. [7]

    J. Beck. Braid group action and quantum affine algebras.Commun. Math. Phys.165 (1994) 555–568,arXiv:hep-th/ 9404165

    1994

  2. [8]

    Beisert, M

    N. Beisert, M. de Leeuw, P. Nag. Fusion for the one-dimensional Hubbard model.J. Phys. A, 48 (2015) 324002,arXiv: 1503.04838

    2015 arXiv

  3. [9]

    Chari and A

    V. Chari and A. Pressley. Quantum affine algebras.Commun. Math. Phys.142 (1991) 261–283

    1991

  4. [10]

    H. Chen, N. Guay, X. Ma. Twisted Yangians, twisted quantum loop algebras and affine Hecke algebras of type BC.Trans. Am. Math. Soc., 366 (2014) 2517–2574

    2014

  5. [11]

    Cherednik

    I. Cherednik. Factorizing particles on the half-line and root systems.Teor. Mat. Fiz., 61 (1984) 35–44

    1984

  6. [12]

    Cherednik

    I. Cherednik. Quantum Knizhnik-Zamolodchikov equations and affine root systems.Comm. Math. Phys., 150 (1992) 109–136

    1992

  7. [13]

    I. Damiani. A basis of type Poincar´ e-Birkoff-Witt for the quantum algebra of bsl(2).J. Algebra161 (1993) 291–310

    1993

  8. [14]

    Drinfeld

    V. Drinfeld. Quantum groups.Proc. ICM Berkeley1 (1986) 789–820

    1986

  9. [15]

    Etingof, I

    P. Etingof, I. Frenkel, A. Kirillov Jr..Lectures on representation theory and Knizhnik-Zamolodchikov equations, volume 58 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1998

    1998

  10. [16]

    L. Faddeev. Integrable models in (1 + 1)-dimensional quantum field theory. InRecent advances in Field Theory and Statistical Mechanics (Les Houches, 1992), pages 561–608. J-B. Zuber and R. Stora Eds., Amsterdam North-Holland, 1984

    1992

  11. [17]

    Freidel and J

    L. Freidel and J. Maillet. Quadratic algebras and integrable systems.Phys. Lett. B262 (1991) 278

    1991

  12. [18]

    Gorbounov, C

    V. Gorbounov, C. Korff and C. Stroppel. Yang-Baxter algebras, convolution algebras, and Grassmannians.Russ. Math. Surv., 75(5) (2020) 791–842; translated fromUspekhi Mat. Nauk, 75(5) (2020) 3–58

    2020

  13. [19]

    J. A. Green.Shuffle algebras, Lie algebras and quantum groups, volume 9 ofTextos de Matem´ atica. S´ erie B [Texts in Mathematics. Series B]. Universidade de Coimbra, Departamento de Matem´ atica, Coimbra, 1995

    1995

  14. [20]

    Jantzen.Lectures on quantum groups, volume 6 ofGrad

    J. Jantzen.Lectures on quantum groups, volume 6 ofGrad. Stud. Math.. Amer. Math. Soc., Providence, RI, 1996

    1996

  15. [21]

    M. Jimbo. Aq-difference analog ofU(g) and the Yang-Baxter equation.Lett. Math. Phys.10 (1985) 63–69

    1985

  16. [22]

    S.-J. Kang, M. Kashiwara, M. Kim, and S.-J. Oh. Monoidal categorification of cluster algebras.J. Amer. Math. Soc., 31(2) (2018) 349–426,arXiv:1801.05145

    2018 arXiv

  17. [23]

    Karowski

    M. Karowski. On the bound state problem in 1 + 1 dimensional field theories.Nucl. Phys. B, 153 (1979) 244–252

    1979

  18. [24]

    Kirillov and N

    A. Kirillov and N. Reshetikhin. Exact solution of the integrable XXZ Heisenberg model with arbitrary spin. I. The ground state and the excitation spectrum.J. Phys. A, 20 (1987) 1565

    1987

  19. [25]

    S. Kolb. Quantum symmetric pairs and the reflection equation.Algebr. Represent. Theory, 11(6) (2008) 519–544,arXiv: math/0512581. FREIDEL-MAILLET TYPE EQUATIONS ON FUSED K-MATRICES OVER THE POSITIVE PART OFU q( bsl2) 19

    2008 arXiv

  20. [26]

    Kulish, N

    P. Kulish, N. Reshetikhin and E. Sklyanin. Yang-Baxter equations and representation theory: I.Lett. Math. Phys., 5 (1981) 393–403

    1981

  21. [27]

    Kulish and E

    P. Kulish and E. Sklyanin. Algebraic structures related to reflection equations.J. Phys. A: Math. Gen., 25(22) (1992) 5963

    1992

  22. [28]

    B. Leclerc. Dual canonical bases, quantum shuffles andq-characters.Math. Z., 246 (2004) 691–732,arXiv:math/0209133

    2004 arXiv

  23. [29]

    Lemarthe, P

    G. Lemarthe, P. Baseilhac, A. M. Gainutdinov. Fused K-operators and theq-Onsager algebra. Preprint, 2023,arXiv: 2301.00781

    2023

  24. [30]

    G. Lusztig. Canonical bases arising from quantized enveloping algebras.J. Amer. Math. Soc., 3 (1990) 447–498

    1990

  25. [31]

    Lusztig.Introduction to quantum groups, volume 110 ofProgress in Mathematics

    G. Lusztig.Introduction to quantum groups, volume 110 ofProgress in Mathematics. Birkh¨ auser Boston Inc., Boston, MA, 1993

    1993

  26. [32]

    Maulik and A

    D. Maulik and A. OkounkovQuantum groups and quantum cohomology, volume 408 ofAst´ erisque. Soci´ et´ e Math´ ematique de France, Marseilles, 2019,arXiv:1211.1287

    2019 arXiv

  27. [33]

    Mezincescu and R

    L. Mezincescu and R. Nepomechie. Fusion procedure for open chains.J. Phys. A, 25 (1992) 2533

    1992

  28. [34]

    Nakajima

    H. Nakajima. Instantons on ALE spaces for classical groups, involutions on quiver varieties, and quantum symmetric pairs. Preprint, 2025,arXiv:2510.13007

    2025

  29. [35]

    M. Noumi. Macdonald’s symmetric polynomials as zonal spherical functions on some quantum homogeneous spaces.Adv. Math., 123(1) (1996), 16–77

    1996

  30. [36]

    Noumi, T

    M. Noumi, T. Sugitani. Quantum symmetric spaces and relatedq-orthogonal polynomials. InGroup Theoretical Methods in Physics (ICGTMP) (Toyonaka, Japan, 1994), pages 28–40. World Sci. Publishing, River Edge, N.J., 1995,arXiv: math/9503225

    1994 arXiv

  31. [37]

    Post and P

    S. Post and P. Terwilliger. An infinite-dimensional□ q-module obtained from theq-shuffle algebra for affinesl 2.SIGMA Symmetry Integrability Geom. Methods Appl., 16 (2020) Paper No. 037, 35,arXiv:1806.10007

    2020 arXiv

  32. [38]

    Resketikhin, J

    N. Resketikhin, J. Stokman, B. Vlaar. Boundary quantum Knizhnik–Zamolodchikov equations and Bethe vectors.Comm. Math. Phys., 336 (2015) 953–986,arXiv:1305.1113

    2015 arXiv

  33. [39]

    Reshetikhin, J

    N. Reshetikhin, J. Stokman, B. Vlaar. Boundary quantum Knizhnik-Zamolodchikov equations and fusion.Ann. Henri Poincar´ e, 17 (2016) 137–177,arXiv:1404.5492

    2016 arXiv

  34. [40]

    C. Ringel. Hall algebras and quantum groups.Invent. Math., 101(3) (1990) 583–591

    1990

  35. [41]

    M. Rosso. Groupes quantiques et alg` ebres de battage quantiques.C. R. Acad. Sci. Paris S´ er. I Math., 320(2) (1995) 145–148

    1995

  36. [42]

    M. Rosso. Quantum groups and quantum shuffles.Invent. Math., 133(2) (1998) 399–416

    1998

  37. [43]

    Tanisaki

    T. Tanisaki. Killing forms, Harish-Chandra isomorphisms, and universal R-matrices for quantum algebras.Int. J. Mod. Phys. A, 7S1B (1992) 941–961

    1992

  38. [45]

    C. Ruan. Doubly alternating words in the positive part ofU q(bsl2).J. Algebra, 664 (2025) 288–311,arXiv:2408.02633

    2025 arXiv

  39. [47]

    Terwilliger

    P. Terwilliger. Using Catalan words and aq-shuffle algebra to describe a PBW basis for the positive part ofU q(bsl2).J. Algebra, 525 (2019) 359–373,arXiv:1806.11228

    2019 arXiv

  40. [48]

    Terwilliger

    P. Terwilliger. Using Catalan words and aq-shuffle algebra to describe the Beck PBW basis for the positive part ofU q(bsl2). J. Algebra604 (2022) 162–184,arXiv:2108.12708

    2022 arXiv

  41. [49]

    C. N. Yang. Some exact results for the many-body problem in one dimension with repulsive delta-function interaction. Phys. Rev. Lett, 19 (1967) 1312. Chenwei Ruan Beijing Institute of Mathematical Sciences and Applications No. 544, Hefangkou Village, Huaibei Town, Huairou Dist...

    1967

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.