pith. sign in

arxiv: 2408.16720 · v3 · pith:HXVJKFA3new · submitted 2024-08-29 · 🧮 math.RT · hep-th· math.QA· nlin.SI

Orthosymplectic R-matrices

Kyungtak Hong , Alexander Tsymbaliuk This is my paper

Pith reviewed 2026-05-23 21:21 UTC · model grok-4.3

classification 🧮 math.RT hep-thmath.QAnlin.SI
keywords orthosymplectic R-matricestrigonometric R-matricesparity sequencesq-exponentspositive rootsLyndon wordsquantum supergroupsYang-Baxter equation
0
0 comments X

The pith

Trigonometric orthosymplectic R-matrices admit explicit formulas and factor into ordered products of q-exponents over positive roots for any parity sequence.

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

The paper supplies an explicit formula for trigonometric R-matrices attached to orthosymplectic quantum supergroups that holds for every choice of parity sequence. It proves that each such R-matrix equals an ordered product of q-exponents, one for each positive root in the reduced root system of the corresponding type. The proof uses specially chosen orthogonal bases of the positive subalgebra. These bases are obtained by repeated q-bracketings indexed by dominant Lyndon words. A reader would care because the resulting closed-form expressions make the Yang-Baxter relation directly verifiable and recover all previously known formulas for the classical BCD cases and the standard parity sequence.

Core claim

We present a formula for trigonometric orthosymplectic R-matrices associated with any parity sequence, and establish their factorization into the ordered product of q-exponents parametrized by positive roots in the corresponding reduced root systems. The latter is crucially based on the construction of orthogonal bases of the positive subalgebra through q-bracketings and combinatorics of dominant Lyndon words. We further evaluate the affine orthosymplectic R-matrices, establishing their intertwining property as well as matching them with those obtained through the Yang-Baxterization technique. This reproduces the formulas for classical BCD types and the formula for the standard parity.

What carries the argument

Orthogonal bases of the positive subalgebra built from q-bracketings and dominant Lyndon words, which turn the R-matrix into an ordered product of q-exponents indexed by positive roots.

If this is right

  • The R-matrices satisfy the intertwining property with the affine generators.
  • The R-matrices coincide with those produced by the Yang-Baxterization procedure.
  • The formulas recover the known expressions for all classical BCD types.
  • The formulas recover the known expression for the standard parity sequence.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same Lyndon-word bases may produce explicit R-matrices for other families of quantum supergroups once their positive subalgebras are equipped with compatible q-bracketings.
  • The product factorization supplies a direct route to computing the spectrum of transfer matrices built from these R-matrices without solving auxiliary Bethe equations.
  • The construction suggests a uniform combinatorial model for trigonometric solutions of the Yang-Baxter equation across all basic Lie superalgebras.

Load-bearing premise

The existence of the required orthogonal bases for the positive subalgebra constructed via q-bracketings and dominant Lyndon words.

What would settle it

Explicit computation of the proposed R-matrix formula in the smallest orthosymplectic case with a non-standard parity sequence, followed by direct verification that the matrix satisfies the Yang-Baxter equation and reproduces the known affine intertwiner.

read the original abstract

We present a formula for trigonometric orthosymplectic $R$-matrices associated with any parity sequence, and establish their factorization into the ordered product of $q$-exponents parametrized by positive roots in the corresponding reduced root systems. The latter is crucially based on the construction of orthogonal bases of the positive subalgebra through $q$-bracketings and combinatorics of dominant Lyndon words, as developed in [Clark, Hill, Wang, "Quantum shuffles and quantum supergroups of basic type", Quantum Topol. 7 (2016), no.3, 553-638]. We further evaluate the affine orthosymplectic $R$-matrices, establishing their intertwining property as well as matching them with those obtained through the Yang-Baxterization technique of [Ge, Wu, Xue, "Explicit trigonometric Yang-Baxterization", Internat. J. Modern Phys. A 6 (1991), no.21, 3735-3779]. This reproduces the celebrated formulas of [Jimbo, "Quantum $R$ matrix for the generalized Toda system", Comm. Math. Phys. 102 (1986), no.4, 537-547] for classical BCD types and the formula of [Mehta, Dancer, Gould, Links, "Generalized Perk-Schultz models: solutions of the Yang-Baxter equation associated with quantized orthosymplectic superalgebras", J. Phys. A 39 (2006), no.1, 17-26] for the standard parity sequence.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper presents a formula for trigonometric orthosymplectic R-matrices associated with any parity sequence and establishes their factorization into the ordered product of q-exponents parametrized by positive roots in the corresponding reduced root systems. This relies on the orthogonal bases of the positive subalgebra constructed via q-bracketings and combinatorics of dominant Lyndon words from the cited Clark-Hill-Wang 2016 paper. The manuscript further derives the affine orthosymplectic R-matrices, establishes their intertwining property, matches them with Yang-Baxterization results, and recovers the Jimbo formulas for BCD types as well as the Mehta-Dancer-Gould-Links formula for the standard parity sequence.

Significance. If the central claims hold, the work supplies explicit trigonometric R-matrix formulas for orthosymplectic quantum supergroups across arbitrary parity sequences, extending the 2016 combinatorial framework to a new family while recovering independently known formulas as consistency checks. The explicit dependence on the prior orthogonal-basis construction and the verification against classical cases strengthen the contribution to representation theory of quantum supergroups and integrable systems.

minor comments (1)
  1. [Abstract] The abstract states that the factorization 'is crucially based on' the 2016 construction; a brief sentence in the introduction clarifying how the new R-matrix formula is assembled from the existing bases (without re-deriving them) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The summary accurately captures the main results on trigonometric and affine orthosymplectic R-matrices for arbitrary parity sequences.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation applies the orthogonal bases of the positive subalgebra (via q-bracketings and dominant Lyndon words) from the independent external reference Clark-Hill-Wang 2016 to construct explicit trigonometric orthosymplectic R-matrices and their factorization for arbitrary parity sequences. It then derives the affine versions, proves the intertwining property, matches Yang-Baxterization results, and recovers the known Jimbo formulas for BCD types plus the Mehta-Dancer-Gould-Links formula for the standard case. All load-bearing steps are new applications or verifications against external benchmarks; no step reduces by definition, fitted input, or self-citation chain to the paper's own inputs. The 2016 citation is external and non-self-referential.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of quantum enveloping algebras for orthosymplectic superalgebras together with the combinatorial results of the 2016 reference; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard properties of quantum enveloping algebras, root systems, and q-exponentials for orthosymplectic superalgebras hold.
    Invoked to define the R-matrices and their factorization.
  • domain assumption The orthogonal bases via q-bracketings and dominant Lyndon words exist as constructed in Clark-Hill-Wang 2016.
    Directly used for the factorization step.

pith-pipeline@v0.9.0 · 5817 in / 1352 out tokens · 40924 ms · 2026-05-23T21:21:45.653669+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    Arnaudon, J

    D. Arnaudon, J. Avan, N. Crampé, L. Frappat, E. Ragoucy,R-matrix presentation for super-Yangians Y (osp(m|2n)), J. Math. Phys.44 (2003), no. 1, 302–308

    work page 2003

  2. [2]

    Bezerra, V

    L. Bezerra, V. Futorny, I. Kashuba,Drinfeld realization for quantum affine superalgebras of typeB, preprint, arχiv:2405.05533 (2024)

    work page arXiv 2024

  3. [3]

    Braverman, M

    A. Braverman, M. Finkelberg, H. Nakajima,Coulomb branches of3dN = 4 quiver gauge theories and slices in the affine Grassmannian(with appendices by A. Braverman, M. Finkelberg, J. Kamnitzer, R. Kodera, H. Nakajima, B. Webster, A. Weekes), Adv. Theor. Math. Phys.23 (2019), no. 1, 75–166

    work page 2019

  4. [4]

    Brundan, A

    J. Brundan, A. Kleshchev,Parabolic presentations of the YangianY (gln), Comm. Math. Phys.254 (2005), no. 1, 191–220

    work page 2005

  5. [5]

    Cheng, W

    S. Cheng, W. Wang,Dualities and representations of Lie superalgebras, Grad. Stud. Math.144, American Mathematical Society, Providence, RI (2012)

    work page 2012

  6. [6]

    Clark, D

    S. Clark, D. Hill, W. Wang,Quantum shuffles and quantum supergroups of basic type, Quantum Topol.7 (2016), no. 3, 553–638

    work page 2016

  7. [7]

    J. Ding, I. Frenkel,Isomorphism of two realizations of quantum affine algebraUq( [gl(n)), Comm. Math. Phys. 156 (1993), no. 2, 277–300

    work page 1993

  8. [8]

    Drinfeld,Hopf algebras and the quantum Yang-Baxter equation, Dokl

    V. Drinfeld,Hopf algebras and the quantum Yang-Baxter equation, Dokl. Akad. Nauk SSSR283 (1985), no. 5, 1060–1064

    work page 1985

  9. [9]

    Drinfeld,A New realization of Yangians and quantized affine algebras, Sov

    V. Drinfeld,A New realization of Yangians and quantized affine algebras, Sov. Math. Dokl.36 (1988), no. 2, 212–216

    work page 1988

  10. [10]

    Faddeev, N

    L. Faddeev, N. Reshetikhin, L. Takhtadzhyan,Quantization of Lie groups and Lie algebras, Algebra i Analiz1 (1989), no. 1, 178–206

    work page 1989

  11. [11]

    Faddeev, N

    L. Faddeev, N. Reshetikhin, L. Takhtadzhyan,Quantization of Lie groups and Lie algebras, Yang-Baxter equation in Integrable Systems, Advanced Series in Mathematical Physics, World Scientific10 (1989), 299–309

    work page 1989

  12. [12]

    Frassek, V

    R. Frassek, V. Pestun, A. Tsymbaliuk,Lax matrices from antidominantly shifted Yangians and quantum affine algebras: A-type, Adv. Math.401 (2022), Paper No. 108283

    work page 2022

  13. [13]

    Frassek, A

    R. Frassek, A. Tsymbaliuk,Rational Lax matrices from antidominantly shifted extended Yangians: BCD types, Comm. Math. Phys.392 (2022), 545–619

    work page 2022

  14. [14]

    Frassek, A

    R. Frassek, A. Tsymbaliuk,Orthosymplectic Yangians, preprint, arχiv:2311.18818 (2023)

    work page arXiv 2023

  15. [15]

    Galleas, M

    W. Galleas, M. Martins,New R-matrices from representations of braid-monoid algebras based on superalgebras, Nuclear Phys. B732 (2006), no. 3, 444–462

    work page 2006

  16. [16]

    M. Ge, Y. Wu, K. Xue,Explicit trigonometric Yang-Baxterization, Internat. J. Modern Phys. A6 (1991), no. 21, 3735–3779

    work page 1991

  17. [17]

    Hayaishi, K

    N. Hayaishi, K. Miki,L operators and Drinfeld’s generators, J. Math. Phys.39 (1998), no. 3, 1623–1636

    work page 1998

  18. [18]

    Jantzen,Lectures on quantum groups, Graduate Studies in Mathematics, American Mathematical Society, Providence, RI (1996)

    J. Jantzen,Lectures on quantum groups, Graduate Studies in Mathematics, American Mathematical Society, Providence, RI (1996)

    work page 1996

  19. [19]

    Jimbo,A q-difference analogue ofU (g) and the Yang-Baxter equation, Lett

    M. Jimbo,A q-difference analogue ofU (g) and the Yang-Baxter equation, Lett. Math. Phys.10 (1985), no. 1, 63–69

    work page 1985

  20. [20]

    Jimbo,Quantum R matrix for the generalized Toda system, Comm

    M. Jimbo,Quantum R matrix for the generalized Toda system, Comm. Math. Phys.102 (1986), no. 4, 537–547

    work page 1986

  21. [21]

    N. Jing, M. Liu, A. Molev,Isomorphism between theR-matrix and Drinfeld presentations of Yangian in types B, C and D, Comm. Math. Phys.361 (2018), no. 3, 827–872

    work page 2018

  22. [22]

    N. Jing, M. Liu, A. Molev,Isomorphism between theR-matrix and Drinfeld presentations of quantum affine algebra: typeC, J. Math. Phys.61 (2020), no. 3, Paper No. 031701

    work page 2020

  23. [23]

    N. Jing, M. Liu, A. Molev,Isomorphism between theR-matrix and Drinfeld presentations of quantum affine algebra: typesB and D, SIGMA Symmetry Integrability Geom. Methods Appl.16 (2020), Paper No. 043

    work page 2020

  24. [24]

    K. Hong, A. Tsymbaliuk,Drinfeld presentation of orthosymplectic quantum affine algebras, in preparation

    work page

  25. [25]

    Leites, M

    D. Leites, M. Saveliev, V. Serganova,Embeddings ofosp(N/2) and the associated nonlinear supersymmetric equations, Group theoretical methods in physics, VNU Science Press Vol. I (Yurmala, 1985), 255–297

    work page 1985

  26. [26]

    Lothaire,Combinatorics of words, Cambridge University Press, Cambridge (1997), xviii+238 pp

    M. Lothaire,Combinatorics of words, Cambridge University Press, Cambridge (1997), xviii+238 pp

    work page 1997

  27. [27]

    Martin, A

    I. Martin, A. Tsymbaliuk, Two-parameter quantum groups and R-matrices: classical types, preprint, arχiv:2407.01450 (2024)

    work page arXiv 2024

  28. [28]

    Martin, A

    I. Martin, A. Tsymbaliuk,Orthogonal bases for two-parameter quantum groups, preprint, arχiv:2412.06670 (2024). 64 KYUNGTAK HONG AND ALEXANDER TSYMBALIUK

    work page arXiv 2024

  29. [29]

    Mehta, K

    M. Mehta, K. Dancer, M. Gould, J. Links,Generalized Perk-Schultz models: solutions of the Yang-Baxter equation associated with quantized orthosymplectic superalgebras, J. Phys.A39 (2006), no. 1, 17–26

    work page 2006

  30. [30]

    Mikhaylov, E

    V. Mikhaylov, E. Witten,Branes and supergroups, Comm. Math. Phys.340 (2015), no. 2, 699–832

    work page 2015

  31. [31]

    Molev,A Drinfeld-type presentation of the orthosymplectic Yangians, Alg

    A. Molev,A Drinfeld-type presentation of the orthosymplectic Yangians, Alg. Represent. Theory27 (2024), no. 1, 469–494

    work page 2024

  32. [32]

    Nazarov,Quantum Berezinian and the classical Capelli identity, Lett

    M. Nazarov,Quantum Berezinian and the classical Capelli identity, Lett. Math. Phys.21 (1991), no. 2, 123–131

    work page 1991

  33. [33]

    J. Perk, C. Schultz,New families of commuting transfer matrices in q-state vertex models, Phys. Lett. A84 (1981), no. 8, 407–410

    work page 1981

  34. [34]

    Reshetikhin, M

    N. Reshetikhin, M. Semenov-Tian-Shansky,Central extensions of quantum current groups, Lett. Math. Phys. 19 (1990), no. 2, 133–142

    work page 1990

  35. [35]

    Wendlandt,The R-matrix presentation for the Yangian of a simple Lie algebra, Comm

    C. Wendlandt,The R-matrix presentation for the Yangian of a simple Lie algebra, Comm. Math. Phys.363 (2018), no. 1, 289–332

    work page 2018

  36. [36]

    Y. Xu, R. Zhang,Quantum correspondences of affine Lie superalgebras, Math. Res. Lett.25 (2018), no. 3, 1009–1036

    work page 2018

  37. [37]

    Yamane,Quantized enveloping algebras associated with simple Lie superalgebras and their universalR- matrices, Publ

    H. Yamane,Quantized enveloping algebras associated with simple Lie superalgebras and their universalR- matrices, Publ. Res. Inst. Math. Sci.30 (1994), no. 1, 15–87

    work page 1994

  38. [38]

    Yamane,On defining relations of affine Lie superalgebras and affine quantized universal enveloping superal- gebras, Publ

    H. Yamane,On defining relations of affine Lie superalgebras and affine quantized universal enveloping superal- gebras, Publ. Res. Inst. Math. Sci.35 (1999), no. 3, 321–390; Errata – Publ. Res. Inst. Math. Sci.37 (2001), no. 4, 615–619

    work page 1999

  39. [39]

    Zhang,Serre presentations of Lie superalgebras, Advances in Lie superalgebras, Springer INdAM Ser.7 (2014), 235–280

    R. Zhang,Serre presentations of Lie superalgebras, Advances in Lie superalgebras, Springer INdAM Ser.7 (2014), 235–280. K.H.: Purdue University, Department of Mathematics, West Lafayette, IN 47907, USA Email address: hong420@purdue.edu A.T.: Purdue University, Department of Mathematics, West Lafayette, IN 47907, USA Email address: sashikts@gmail.com

    work page 2014