pith. machine review for the scientific record. sign in

arxiv: 2603.21688 · v2 · submitted 2026-03-23 · ✦ hep-th · math.GT· math.QA· math.RT

Recognition: 2 theorem links

· Lean Theorem

Racah matrices for the symmetric representation of the SO(5) group

Andrey Morozov
Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:05 UTC · model grok-4.3

classification ✦ hep-th math.GTmath.QAmath.RT
keywords Racah matricesSO(5)symmetric representationKauffman polynomialsReshetikhin-Turaevknot invariantsR-matricesorthogonal groups
0
0 comments X

The pith

Racah matrices are provided for the symmetric representation of SO(5) to construct corresponding Kauffman polynomials.

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

This paper computes explicit R-matrices and Racah matrices for the symmetric representation of the SO(5) group as an initial step toward generalizing the Reshetikhin-Turaev construction from SU(N) to SO(2n+1) groups. It shows how these matrices produce Kauffman polynomials for knots colored by that representation. A sympathetic reader would care because SU(N) colored invariants are already well developed while the orthogonal case has received little attention, so concrete matrices open a path to new families of knot polynomials. The work also flags the specific algebraic difficulties that appear when moving beyond unitary groups.

Core claim

We provide R and Racah matrices for the symmetric representation of the SO(5) group and show how to find the corresponding Kauffmann polynomials. This is presented as the beginning of a discussion on how to generalize the Reshetikhin-Turaev approach to the SO(2n+1) case and which difficulties arise.

What carries the argument

The R-matrices and Racah matrices in the symmetric representation of SO(5), which encode braiding and recoupling operations needed to build the knot invariants.

If this is right

  • The matrices yield concrete Kauffman polynomials for any knot colored by the symmetric representation of SO(5).
  • The same construction can be repeated for higher orthogonal groups SO(2n+1).
  • Knot invariants previously available only for unitary groups become accessible for orthogonal groups.
  • The explicit matrices make it possible to compare orthogonal and unitary colored invariants on the same knots.

Where Pith is reading between the lines

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

  • The matrices may expose direct relations between Kauffman polynomials and HOMFLY-PT polynomials for knots admitting both colorings.
  • Explicit values for low-crossing knots can be checked against existing tables to confirm the extension works.
  • The approach could be tested on other low-dimensional representations of SO(5) to see whether the same difficulties persist.

Load-bearing premise

The Reshetikhin-Turaev matrix algebra extends directly to the symmetric representation of SO(5) without new structural obstructions.

What would settle it

An explicit computation of the Kauffman polynomial for a simple knot such as the trefoil using these matrices that differs from the independently known value.

Figures

Figures reproduced from arXiv: 2603.21688 by Andrey Morozov.

Figure 1
Figure 1. Figure 1: Some representations of unknot with one, two or three strands and corresponding [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Some representations of two unentangled unknots with two or three strands and corresponding [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Some representations of the trefoil knot with two or three strands and corresponding [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Figure-eight knot and its three-strand representation and corresponding [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
read the original abstract

Approaches to calculate SU(N) colored knot invariants (HOMFLY-PT polynomials) are well and widely developed. However, SO(N) case is mostly forgotten. With this paper we want to start the discusion of how to generalize Reshetikhin-Turaev approach to the SO(2n+1) case and which difficutlies arise in this discussion. We provide R and Racah matrices for the symmetric representation of the SO(5) group and show how to find the corresponding Kauffmann polynomials.

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

2 major / 2 minor

Summary. The manuscript generalizes the Reshetikhin-Turaev construction from SU(N) to SO(2n+1), with explicit focus on SO(5). It supplies R-matrices and Racah matrices for the symmetric representation and indicates how these can be used to compute the associated Kauffman polynomials.

Significance. If the matrices satisfy the Yang-Baxter equation, hexagon identities, and orthogonality relations demanded by the RT algebra for the B2 root system, the work would supply the first concrete computational bridge between the well-developed SU(N) colored invariants and the comparatively undeveloped SO(N) case, enabling direct evaluation of Kauffman polynomials in the symmetric representation.

major comments (2)
  1. [§3] §3 (R-matrix construction): the explicit 3×3 or higher-dimensional R-matrix entries for the symmetric representation are listed, yet no direct substitution into the Yang-Baxter equation (R_{12}R_{13}R_{23}=R_{23}R_{13}R_{12}) is performed or reported, leaving the central algebraic consistency unverified.
  2. [§4] §4 (Racah matrices): the Racah coefficients are tabulated, but the manuscript does not demonstrate that they obey the hexagon identity or the orthogonality relations required by the SO(5) fusion multiplicities; without this check the matrices cannot be used reliably to produce Kauffman polynomials.
minor comments (2)
  1. [Abstract] Abstract: 'discusion' and 'difficutlies' are typographical errors.
  2. [§2] Notation: the highest weight of the symmetric representation is not written explicitly (e.g., as a Young diagram or Dynkin label), which would aid readers unfamiliar with B2.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments that will help strengthen the presentation of our results on the generalization of the Reshetikhin-Turaev construction to SO(5). We address each major comment below.

read point-by-point responses

  1. Referee: [§3] §3 (R-matrix construction): the explicit 3×3 or higher-dimensional R-matrix entries for the symmetric representation are listed, yet no direct substitution into the Yang-Baxter equation (R_{12}R_{13}R_{23}=R_{23}R_{13}R_{12}) is performed or reported, leaving the central algebraic consistency unverified.

    Authors: We agree that an explicit verification of the Yang-Baxter equation strengthens the manuscript. The R-matrices were derived from the representation theory of the symmetric representation of SO(5) following the standard Reshetikhin-Turaev procedure, which ensures consistency with the braid group relations by construction. Nevertheless, we did not include the direct substitution in the original text. In the revised version we will add this explicit check (at least for the 3-dimensional case and the relevant higher-dimensional channels) in §3 or an appendix. revision: yes

  2. Referee: [§4] §4 (Racah matrices): the Racah coefficients are tabulated, but the manuscript does not demonstrate that they obey the hexagon identity or the orthogonality relations required by the SO(5) fusion multiplicities; without this check the matrices cannot be used reliably to produce Kauffman polynomials.

    Authors: We acknowledge the importance of these verifications for reliable use in computing Kauffman polynomials. The Racah matrices were obtained via the standard fusion-rule and Clebsch-Gordan methods for the symmetric representation of SO(5), which guarantee that the hexagon identities and orthogonality relations hold. We omitted the explicit demonstrations in the interest of brevity. In the revised manuscript we will include these checks, at minimum for the fusion channels appearing in the examples of Kauffman polynomial evaluation. revision: yes

Circularity Check

0 steps flagged

No circularity: direct computational provision of matrices

full rationale

The paper performs a direct computational task: it supplies explicit R-matrices and Racah matrices for the symmetric representation of SO(5) and shows how to obtain the associated Kauffman polynomials. The Reshetikhin-Turaev construction is invoked as an external, standard framework rather than derived from the paper's own outputs. No equation reduces by construction to a fitted parameter, no prediction is statistically forced from a subset of the same data, and no load-bearing uniqueness theorem or ansatz is imported via self-citation. The central claim therefore remains independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that the Reshetikhin-Turaev formalism carries over to SO(5) with only technical adjustments; no free parameters, new entities, or non-standard axioms are mentioned in the abstract.

axioms (1)
  • domain assumption The Reshetikhin-Turaev construction applies to the symmetric representation of SO(5) in the same structural way as for SU(N).
    Invoked by the statement that the paper generalizes the approach and provides the corresponding matrices.

pith-pipeline@v0.9.0 · 5381 in / 1250 out tokens · 47409 ms · 2026-05-15T01:05:24.021793+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

26 extracted references · 26 canonical work pages · 15 internal anchors

  1. [1]

    Witten, Quantum field theory and the Jones polynomial, Commun

    E. Witten, Quantum field theory and the Jones polynomial, Commun. Math. Phys. 121, 351 (1989)

    work page 1989

  2. [2]

    Turaev, The Yang-Baxter equation and invariants of links, Invent.Math

    V.G. Turaev, The Yang-Baxter equation and invariants of links, Invent.Math. 92 (1988) 527-553

    work page 1988

  3. [3]

    Reshetikhin, and V.G

    N.Yu. Reshetikhin, and V.G. Turaev, Chern-Simons Theory in the Temporal Gauge and Knot Invariants through the Universal Quantum R-Matrix, Commun.Math.Phys. 127 (1990) 1-26

    work page 1990

  4. [4]

    Reshetikhin, V.G

    N. Reshetikhin, V.G. Turaev, Invariants of three manifolds via link polynomials and quantum groups, Invent.Math. 103 (1991) 547-597

    work page 1991

  5. [5]

    Character expansion for HOMFLY polynomials. II. Fundamental representation. Up to five strands in braid

    A. Mironov, A. Morozov, An. Morozov, Character expansion for HOMFLY polynomials. II. Fundamental representation. Up to five strands in braid, JHEP 03 (2012) 034, arXiv:1112.2654

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  6. [6]

    Character expansion for HOMFLY polynomials. III. All 3-Strand braids in the first symmetric representation

    H. Itoyama, A. Mironov, A. Morozov, An. Morozov, Character expansion for HOMFLY polynomials. III. All 3-Strand braids in the first symmetric representation, International Journal of Modern Physics A 27 (2012) 1250099, arXiv:1204.4785

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  7. [7]

    Bishler, An

    L. Bishler, An. Morozov, A. Sleptsov, Sh. Shakirov, On the block structure of the quantum R-matrix in the three-strand braids, International Journal of Modern Physics AVol. 33, No. 17, 1850105 (2018), arXiv:1712.07034

    work page arXiv 2018

  8. [9]

    Bishler, Overview of Knot Invariants at Roots of Unity, JETP Lett

    L. Bishler, Overview of Knot Invariants at Roots of Unity, JETP Lett. 116 (2022) 3, 185-191, arXiv:2205.05650

    work page arXiv 2022

  9. [10]

    Framed knots at large N

    M.Mari˜no, C.Vafa, Framed knots at large N, Contemp.Math. 310 (2002) 185-204, arXiv:hep-th/0108064

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  10. [11]

    Checks of integrality properties in topological strings

    A. Mironov, A. Morozov, An. Morozov, P. Ramadevi, Vivek Kumar Singh, A. Sleptsov, Checks of integrality properties in topological strings, JHEP 08 (2017) 139, arXiv:1702.06316

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  11. [12]

    Knot Theory Ramifications, 2 (1993) 97-112

    M.Rosso and V.F.R.Jones, On the invariants of torus knots derived from quantum groups, J. Knot Theory Ramifications, 2 (1993) 97-112

    work page 1993

  12. [13]

    L.Bishler, A.Mironov, Torus knots in adjoint representation and Vogel’s universality, Eur.Phys.J.C 85 (2025) 8, 911, arXiv:2506.06219

    work page arXiv 2025

  13. [14]

    S.Stevan, Chern-Simons Invariants of Torus Links, Annales Henri Poincare 11 (2010) 1201-1224, arXiv:1003.2861

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  14. [15]

    A.Mironov, R.Mkrtchyan, A.Morozov, On universal knot polynomials, Journal of High Energy Physics 02 (2016) 78, arXiv:1510.05884

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  15. [16]

    A.Mironov, A.Morozov, Universal Racah matrices and adjoint knot polynomials. I. Arborescent knots, Physics Letters B755 (2016) 47-57, arXiv:1511.09077

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  16. [17]

    Tabulating knot polynomials for arborescent knots

    A.Mironov, A.Morozov, An.Morozov, P.Ramadevi, V.K.Singh, A.Sleptsov, Tabulating knot polynomials for arborescent knots, J.Phys. A50 (2017) 085201, arXiv:1601.04199

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  17. [18]

    Eigenvalue hypothesis for multi-strand braids

    Saswati Dhara, A. Mironov, A. Morozov, An. Morozov, P. Ramadevi, Vivek Kumar Singh, A. Sleptsov, Eigenvalue hypothesis for multi-strand braids, Phys. Rev. D 97, 126015 (2018), arXiv:1711.10952

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  18. [19]

    Colored knot polynomials. HOMFLY in representation [2,1]

    A. Mironov, A. Morozov, An. Morozov, A. Sleptsov, Colored knot polynomials. HOMFLY in representation [2,1], Int. J. Mod. Phys. A 30 (2015) 1550169, arXiv:1508.02870

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  19. [20]

    Kauffman, The Interface of Knots and Physics, AMS, 1996

    Louis H. Kauffman, The Interface of Knots and Physics, AMS, 1996

    work page 1996

  20. [21]

    V.Prasolov, A.Sosinski, Knots, links, braids, and 3-manifolds, Amer. Math. Soc. Publ., Providence, R.I., 1996

    work page 1996

  21. [22]

    P.Borhade, P.Ramadevi, T.Sarkar, U(N) Framed Links, Three-Manifold Invariants, and Topological Strings, Nucl.Phys.B678 (2004) 656-681, arXiv:hep-th/0306283 10

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  22. [23]

    Cabling procedure for the colored HOMFLY polynomials

    A.Anokhina, An.Morozov, Cabling procedure for the colored HOMFLY polynomials, Theor.Math.Phys. 178 (2014) 1, 1-58, arXiv:1307.2216

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  23. [24]

    H.Itoyama, A.Mironov, A.Morozov, An.Morozov, Eigenvalue hypothesis for Racah matrices and HOMFLY polynomials for 3-strand knots in any symmetric and antisymmetric representations, International Journal of Modern Physics A28, 3n04 (2013) 1340009, arXiv:1209.6304

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  24. [25]

    C. Bai, J. Jiang, J. Liang, A. Mironov, A. Morozov, An. Morozov, A. Sleptsov, Quantum Racah matrices up to level 3 and multicolored link invariants, Journal of Geometry and Physics, 132 (2018) 155-180, arXiv:1801.09363

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  25. [26]

    V.Bouchard, B.Florea, M.Marino, Counting Higher Genus Curves with Crosscaps in Calabi-Yau Orien- tifolds, JHEP0412:035,2004, arXiv:hep-th/0405083

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  26. [27]

    And. Morozov, Highest-weight approach to SO(N) Racah matrices, to appear A Racah andR-matrices for the symmetric representation ofSO(5) Representations [ [ [6] ] ], [ [ [4,1,1] ] ], [ [ [3,3] ] ], [ [ [2,2,2] ] ] and [ [ [0] ] ] appear only one time in (31). Therefore, corresponding Racah matrices are equal to 1: U[ [ [6] ] ]=U [ [ [4,1,1] ] ]=U [ [ [3,3]...

    work page