Another thing I "know" since 30 years but only recently I found a clue:
Assume a R matrix (graphic: %) can be decomposed into "projectors" (graphic: >=< ).
(See the conditions here: Matrix decomposition the other way). It seems to me that this is always possible if it's the R matrix of
a Lie group, but may work even if not (i.e. just a random Yang-Baxter solution).
In any case, you can apply the usual trick - if you can pull a string over all nodes >= ,
i.e. Reidemeister 3 for nodes holds, Reidemeister 3 for crossings follows. Of course your
projectors must obey the usual 6j rules either. Now I found something fascinating:
The diagrams for Biedenharn-Elliott and Reidemeister 3 for nodes have five open ends.
I played with "quadratic" graphs with only four open ends, and the results are
exactly the same - the consistency rules following from the diagrams are exactly
Biedenharn-Elliott and Reidemeister 3 for nodes again.
After "undecomposing" everything again, the following weakened Reidemeister 3 version
results: (hope the image comes through - https://i.sstatic.net/gfOKy.jpg)
The above musings are not even a handwaving proof, so I won't dare to state "For Lie groups, Reidemeister 3 follows from weak Reidemeister 3". Still, it would be epic if one could replace the annoying 3+3-tangle condition with 2+2. And when I solve abstract tensor equations, I know not a single counterexample either. So my question: Do you know a
counterexample - any construction where weak Reidemeister 3 holds but Reidemeister 3 is violated?
Can Reidemeister 3 be weakened?
Hauke Reddmann
- 4.8k
- 1
- 18
- 24