Quantum knot invariants

2009-05-22T11:10:57Z

DomleToboo:

http://www.textccaerl.com
{{Manual TOC Sidebar}}

Quantum knot invariants are calculated using [[User:Scott|Scott]]'s <code>[[QuantumGroups`]]</code> Mathematica package. There is a subversion [http://katlas.math.toronto.edu/svn/QuantumGroups repository], and hopefully soon a documented release.

The quantum knots invariants in the Knot Atlas are normalised so the invariant of the unknot is the quantum dimension of the chosen representation.

Here we demonstrate the calculation of some quantum knot invariants.
{{Startup Note}}



{{HelpAndAbout|
n = 1 |
n1 = 2 |
in = <nowiki>QuantumKnotInvariant</nowiki> |
out= <nowiki>QuantumKnotInvariant[Î, V][K][q] calculates the quantum knot invariant of the knot K in the representation V of the quantum group Î. This relies on the QuantumGroups` package, and you should look there for details of how Î and V may be specified. Examples: QuantumKnotInvariant[Subscript[A,2], Irrep[Subscript[A,2]][{1, 0}]][Knot[5, 2]][q] QuantumKnotInvariant[Subscript[G,2], Irrep[Subscript[G,2]][{1, 0}]âIrrep[Subscript[G,2]][{0, 1}]][Knot[5, 2]][q]</nowiki> |
about= <nowiki>Quantum knot invariants are calculated using the mathematica package QuantumGroups`, written by Scott Morrison 2003-2006.</nowiki>}}


The Jones polynomial is a quantum knot invariant -- it corresponds to the 2-dimensional representation of the quantum group <math>SU(2)</math>, of type <math>A_1</math>. It's in a slightly different normalisation, however.



{{InOut|
n = 3 |
in = <nowiki>{Jones[Knot[6,1]][q], QuantumKnotInvariant[Subscript[A,1], Irrep[Subscript[A,1]][{1}]][Knot[6,1]][q]}</nowiki> |
out= <nowiki> -4 -3 -2 2 2 -5 1 3 9
{2 + q - q + q - - - q + q , q + - - q + q }
q q</nowiki>}}




{{InOut|
n = 4 |
in = <nowiki>Simplify[(q+q^(-1))Jones[Knot[6,1]][q^(-2)] - QuantumKnotInvariant[Subscript[A,1], Irrep[Subscript[A,1]][{1}]][Knot[6,1]][q]]</nowiki> |
out= <nowiki>0</nowiki>}}


The [[QuantumGroups`]] package is capable of calculating quantum knot invariants in arbitrary representations of any quantum group. Quantum groups are specified by their [http://en.wikipedia.org/wiki/Dynkin_diagram Dynkin diagram]. (In practice, you'll find that memory and CPU time are quite limiting.) Here are some examples.



{{InOut|
n = 5 |
in = <nowiki>QuantumKnotInvariant[Subscript[A,2], Irrep[Subscript[A,2]][{1,1}]][Knot[7,3]][q]</nowiki> |
out= <nowiki> -76 2 2 2 2 2 6 3 2 4 -52
q + --- - --- + --- - --- + --- - --- + --- - --- + --- - q +
72 70 68 66 64 62 60 58 56
q q q q q q q q q

4 8 4 11 4 8 6 4 2 5 2
--- - --- + --- - --- + --- - --- + --- - --- + --- + --- - --- +
50 48 46 44 42 40 38 36 34 28 26
q q q q q q q q q q q

8 6 2 2 -12
--- + --- - --- + --- + q
24 20 18 16
q q q q</nowiki>}}




{{InOut|
n = 6 |
in = <nowiki>QuantumKnotInvariant[Subscript[A,3], Irrep[Subscript[A,3]][{0,1,0}]][Knot[8,2]][q]</nowiki> |
out= <nowiki> 4 6 8 10 12 18 20 22 24
1 + 2 q + 2 q + 2 q + 3 q + 2 q - 2 q - 3 q - q - q -

26 36 38 42 44 46 48 50 52 54 56
2 q + q + 2 q + q + q - q - q + q - q - q + q</nowiki>}}




{{InOut|
n = 7 |
in = <nowiki>QuantumKnotInvariant[Subscript[G,2], Irrep[Subscript[G,2]][{1,0}]][Knot[5,2]][q]</nowiki> |
out= <nowiki> 10 14 20 24 34 40 44 46 48 50 54
q + q + q + 2 q + q + q + q + 2 q - q + 2 q + q +

56 60 64 66 68 72 74 76 78 82 84
q + q + q - q - q - q - q - q - q - q - q -

88 90 92 94 96 100
q + q - q - q + q + q</nowiki>}}




{{InOut|
n = 8 |
in = <nowiki>QuantumKnotInvariant[Subscript[D,4], Irrep[Subscript[D,4]][{0,1,0,0}]][Knot[5,1]][q]</nowiki> |
out= <nowiki> 30 32 34 36 38 40 42 44
q + q + 4 q + 6 q + 10 q + 14 q + 19 q + 19 q +

46 48 50 52 56 58 60
22 q + 19 q + 14 q + 7 q - 11 q - 17 q - 24 q -

62 64 66 68 70 72 74 76
27 q - 27 q - 24 q - 18 q - 12 q - 4 q + 3 q + 9 q +

78 80 82 84 86 88 90 92
11 q + 14 q + 11 q + 9 q + 6 q + 2 q - q - q -

94 96 98 100 120
3 q - 3 q - q - q + q</nowiki>}}




{{InOut|
n = 9 |
in = <nowiki>qDimension[Subscript[B,2]][Irrep[Subscript[B,2]][{0,1}]] /. q->1</nowiki> |
out= <nowiki>4</nowiki>}}



{{InOut|
n = 10 |
in = <nowiki>BR[Knot[7,4]]</nowiki> |
out= <nowiki>KnotTheory`BR[4, {1, 1, 2, -1, 2, 2, 3, -2, 3}]</nowiki>}}



{{InOut|
n = 11 |
in = <nowiki>QuantumKnotInvariant[Subscript[B,2], Irrep[Subscript[B,2]][{0,1}]][Knot[7,4]][q]</nowiki> |
out= <nowiki> -54 2 -48 -46 -44 -42 -40 -36 2 2
-q - --- + q - q + q - q + q - q + --- - --- +
50 34 32
q q q

2 2 3 2 2 -20 -18 -16 2 2 -8
--- - --- + --- - --- + --- + q + q + q + --- - --- + q -
30 28 26 24 22 12 10
q q q q q q q

-6 -4
q + q</nowiki>}}


The representations in the examples above are all irreducibles, specified by their highest weight. (The QuantumGroups` package represents weights by the coordinates in the fundamental basis. Thus <math>Irrep[A_3][{0,1,0}] = \wedge^2(C^4)</math>, for example. We can also specify other representations, as direct sums and tensor products.

Knot Atlas - User contributions [en]

Quantum knot invariants