L10n13: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
No edit summary
Line 16: Line 16:
k = 13 |
k = 13 |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,10,-5,-3:-6,-1,2,5,-4,9,-8,6,-7,4,-9,8,-10,-2,3,7/goTop.html |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,10,-5,-3:-6,-1,2,5,-4,9,-8,6,-7,4,-9,8,-10,-2,3,7/goTop.html |
braid_table = <table cellspacing=0 cellpadding=0 border=0>
<tr><td>[[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr>
<tr><td>[[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]]</td></tr>
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]]</td></tr>
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]]</td></tr>
</table> |
khovanov_table = <table border=1>
khovanov_table = <table border=1>
<tr align=center>
<tr align=center>
Line 41: Line 47:
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</pre></td>
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</pre></td>
</tr>
</tr>
<tr valign=top><td colspan=2>Loading KnotTheory` (version of August 28, 2005, 22:58:49)...</td></tr>
<tr valign=top><td colspan=2>Loading KnotTheory` (version of September 2, 2005, 15:8:39)...</td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[2]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Crossings[Link[10, NonAlternating, 13]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[2]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Crossings[Link[10, NonAlternating, 13]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>10</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>10</nowiki></pre></td></tr>
Line 56: Line 62:
-10, -2, 3, 7}]</nowiki></pre></td></tr>
-10, -2, 3, 7}]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[6]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Show[DrawMorseLink[Link[10, NonAlternating, 13]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L10n13_ML.gif]]</td></tr><tr valign=top><td><tt><font color=blue>Out[6]=</font></tt><td><tt><font color=black>-Graphics-</font></tt></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[6]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>BR[Link[10, NonAlternating, 13]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[7]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>KnotSignature[Link[10, NonAlternating, 13]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[4, {1, 2, -3, -3, -3, 2, -1, -2, -3, -2, -3, -2}]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[7]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>-5</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[7]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Show[DrawMorseLink[Link[10, NonAlternating, 13]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L10n13_ML.gif]]</td></tr><tr valign=top><td><tt><font color=blue>Out[7]=</font></tt><td><tt><font color=black>-Graphics-</font></tt></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[8]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>J=Jones[Link[10, NonAlternating, 13]][q]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[8]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>KnotSignature[Link[10, NonAlternating, 13]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -(17/2) 2 3 3 3 3 3 -(3/2)
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>-5</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[9]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>J=Jones[Link[10, NonAlternating, 13]][q]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -(17/2) 2 3 3 3 3 3 -(3/2)
-q + ----- - ----- + ----- - ---- + ---- - ---- + q -
-q + ----- - ----- + ----- - ---- + ---- - ---- + q -
15/2 13/2 11/2 9/2 7/2 5/2
15/2 13/2 11/2 9/2 7/2 5/2
Line 68: Line 76:
-------
-------
Sqrt[q]</nowiki></pre></td></tr>
Sqrt[q]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[9]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>A2Invariant[Link[10, NonAlternating, 13]][q]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[10]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>A2Invariant[Link[10, NonAlternating, 13]][q]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -30 -26 -18 -16 -14 -12 -10 2 2 -4 -2
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -30 -26 -18 -16 -14 -12 -10 2 2 -4 -2
q + q - q + q - q + q + q + -- + -- + q + q
q + q - q + q - q + q + q + -- + -- + q + q
8 6
8 6
q q</nowiki></pre></td></tr>
q q</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[10]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>HOMFLYPT[Link[10, NonAlternating, 13]][a, z]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[11]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>HOMFLYPT[Link[10, NonAlternating, 13]][a, z]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 3 5 7 9
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 3 5 7 9
-2 a 4 a 3 a a 3 5 7 9 3 3
-2 a 4 a 3 a a 3 5 7 9 3 3
----- + ---- - ---- + -- - 7 a z + 11 a z - 7 a z + a z - 5 a z +
----- + ---- - ---- + -- - 7 a z + 11 a z - 7 a z + a z - 5 a z +
Line 81: Line 89:
5 3 7 3 3 5 5 5 7 5 5 7
5 3 7 3 3 5 5 5 7 5 5 7
12 a z - 5 a z - a z + 6 a z - a z + a z</nowiki></pre></td></tr>
12 a z - 5 a z - a z + 6 a z - a z + a z</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[11]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kauffman[Link[10, NonAlternating, 13]][a, z]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[12]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kauffman[Link[10, NonAlternating, 13]][a, z]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 3 5 7 9
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 3 5 7 9
4 6 8 10 2 a 4 a 3 a a 3 5
4 6 8 10 2 a 4 a 3 a a 3 5
2 a + 3 a + 3 a + a - ---- - ---- - ---- - -- + 9 a z + 18 a z +
2 a + 3 a + 3 a + a - ---- - ---- - ---- - -- + 9 a z + 18 a z +
Line 98: Line 106:
8 6 3 7 5 7 7 7 4 8 6 8
8 6 3 7 5 7 7 7 4 8 6 8
3 a z - a z - 4 a z - 3 a z - a z - a z</nowiki></pre></td></tr>
3 a z - a z - 4 a z - 3 a z - a z - a z</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[12]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[Link[10, NonAlternating, 13]][q, t]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[13]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[Link[10, NonAlternating, 13]][q, t]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -6 3 1 1 1 2 2 1
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -6 3 1 1 1 2 2 1
q + -- + ------ + ------ + ------ + ------ + ------ + ------ +
q + -- + ------ + ------ + ------ + ------ + ------ + ------ +
4 18 6 16 5 14 5 14 4 12 4 10 4
4 18 6 16 5 14 5 14 4 12 4 10 4

Revision as of 18:24, 2 September 2005

L10n12.gif

L10n12

L10n14.gif

L10n14

L10n13.gif
(Knotscape image)
See the full Thistlethwaite Link Table (up to 11 crossings).

Visit L10n13 at Knotilus!


Link Presentations

[edit Notes on L10n13's Link Presentations]

Planar diagram presentation X6172 X18,7,19,8 X4,19,1,20 X9,14,10,15 X3849 X5,13,6,12 X13,5,14,20 X11,16,12,17 X15,10,16,11 X17,2,18,3
Gauss code {1, 10, -5, -3}, {-6, -1, 2, 5, -4, 9, -8, 6, -7, 4, -9, 8, -10, -2, 3, 7}
A Braid Representative
BraidPart1.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart3.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gif
BraidPart2.gifBraidPart1.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart1.gifBraidPart4.gifBraidPart3.gifBraidPart0.gifBraidPart3.gifBraidPart0.gifBraidPart3.gif
BraidPart0.gifBraidPart2.gifBraidPart3.gifBraidPart3.gifBraidPart3.gifBraidPart2.gifBraidPart0.gifBraidPart4.gifBraidPart3.gifBraidPart4.gifBraidPart3.gifBraidPart4.gif
BraidPart0.gifBraidPart0.gifBraidPart4.gifBraidPart4.gifBraidPart4.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart4.gifBraidPart0.gifBraidPart4.gifBraidPart0.gif
A Morse Link Presentation L10n13 ML.gif

Polynomial invariants

Multivariable Alexander Polynomial (in , , , ...) (db)
Jones polynomial (db)
Signature -5 (db)
HOMFLY-PT polynomial (db)
Kauffman polynomial (db)

Khovanov Homology

The coefficients of the monomials are shown, along with their alternating sums (fixed , alternation over ).   
\ r
  \  
j \
-6-5-4-3-2-1012χ
0        11
-2         0
-4      31 2
-6     11  0
-8    22   0
-10  121    0
-12  22     0
-14 12      1
-16 1       -1
-181        1
Integral Khovanov Homology

(db, data source)

  

Computer Talk

Much of the above data can be recomputed by Mathematica using the package KnotTheory`. See A Sample KnotTheory` Session.

Modifying This Page

Read me first: Modifying Knot Pages

See/edit the Link Page master template (intermediate).

See/edit the Link_Splice_Base (expert).

Back to the top.

L10n12.gif

L10n12

L10n14.gif

L10n14