L10a13: Difference between revisions
From Knot Atlas
Jump to navigationJump to search
No edit summary |
DrorsRobot (talk | contribs) No edit summary |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
<!-- WARNING! WARNING! WARNING! |
|||
<!-- This page was |
<!-- This page was generated from the splice template [[Link_Splice_Base]]. Please do not edit! |
||
<!-- --> <!-- |
|||
<!-- You probably want to edit the template referred to immediately below. (See [[Category:Knot Page Template]].) |
|||
--> |
|||
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Link_Splice_Base]]. --> |
|||
<!-- <math>\text{Null}</math> --> |
|||
<!-- <math>\text{Null}</math> --> |
|||
<!-- WARNING! WARNING! WARNING! |
|||
<!-- This page was generated from the splice template [[Link Splice Template]]. Please do not edit! |
|||
<!-- Almost certainly, you want to edit [[Template:Link Page]], which actually produces this page. |
|||
<!-- The text below simply calls [[Template:Link Page]] setting the values of all the parameters appropriately. |
|||
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Link Splice Template]]. --> |
|||
<!-- <math>\text{Null}</math> --> |
|||
{{Link Page| |
{{Link Page| |
||
n = 10 | |
n = 10 | |
||
| Line 7: | Line 16: | ||
k = 13 | |
k = 13 | |
||
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-9,2,-10:9,-1,4,-5,10,-2,7,-8,3,-4,5,-3,6,-7,8,-6/goTop.html | |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-9,2,-10:9,-1,4,-5,10,-2,7,-8,3,-4,5,-3,6,-7,8,-6/goTop.html | |
||
braid_table = <table cellspacing=0 cellpadding=0 border=0 style="white-space: pre"> |
|||
<tr><td>[[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.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:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
</table> | |
|||
khovanov_table = <table border=1> |
khovanov_table = <table border=1> |
||
<tr align=center> |
<tr align=center> |
||
| Line 34: | Line 51: | ||
<td align=left><pre style="color: red; border: 0px; padding: 0em"><< KnotTheory`</pre></td> |
<td align=left><pre style="color: red; border: 0px; padding: 0em"><< KnotTheory`</pre></td> |
||
</tr> |
</tr> |
||
<tr valign=top><td colspan=2>Loading KnotTheory` (version of |
<tr valign=top><td colspan=2>Loading KnotTheory` (version of September 3, 2005, 2:11:43)...</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, Alternating, 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, Alternating, 13]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]= </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]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>10</nowiki></pre></td></tr> |
||
| Line 50: | Line 67: | ||
6, -7, 8, -6}]</nowiki></pre></td></tr> |
6, -7, 8, -6}]</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>BR[Link[10, Alternating, 13]]</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>BR[Link[10, Alternating, 13]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[6, {1, -2, -3, -4, -3, -3, -5, 4, -3, 2, -1, -3, 2, 2, -4, -3, 2, 5, |
||
| ⚫ | |||
<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, Alternating, 13]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L10a13_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[7]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Show[DrawMorseLink[Link[10, Alternating, 13]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L10a13_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> |
<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, Alternating, 13]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>-1</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> |
<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, Alternating, 13]][q]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -(15/2) 3 6 10 11 13 12 10 |
||
<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>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</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>{KnotDet[Link[10, Alternating, 13]], KnotSignature[Link[10, Alternating, 13]]}</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Infinity, -1}</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>J=Jones[Link[10, Alternating, 13]][q]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -(15/2) 3 6 10 11 13 12 10 |
|||
q - ----- + ----- - ---- + ---- - ---- + ---- - ------- + |
q - ----- + ----- - ---- + ---- - ---- + ---- - ------- + |
||
13/2 11/2 9/2 7/2 5/2 3/2 Sqrt[q] |
13/2 11/2 9/2 7/2 5/2 3/2 Sqrt[q] |
||
| Line 68: | Line 81: | ||
3/2 5/2 |
3/2 5/2 |
||
6 Sqrt[q] - 3 q + q</nowiki></pre></td></tr> |
6 Sqrt[q] - 3 q + q</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[ |
<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, Alternating, 13]][q]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -24 -22 -20 2 2 4 -12 5 -6 2 |
||
3 - q - q + q - --- + --- + --- + q + --- + q - -- - |
3 - q - q + q - --- + --- + --- + q + --- + q - -- - |
||
18 16 14 10 2 |
18 16 14 10 2 |
||
| Line 76: | Line 89: | ||
2 6 8 |
2 6 8 |
||
2 q + q - q</nowiki></pre></td></tr> |
2 q + q - q</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[ |
<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, Alternating, 13]][a, z]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 3 5 7 3 |
||
a 4 a 4 a a z 3 5 7 z 3 |
a 4 a 4 a a z 3 5 7 z 3 |
||
- - ---- + ---- - -- + - - 8 a z + 6 a z - a z + -- - a z - |
- - ---- + ---- - -- + - - 8 a z + 6 a z - a z + -- - a z - |
||
| Line 84: | Line 97: | ||
3 3 5 3 5 3 5 |
3 3 5 3 5 3 5 |
||
6 a z + 3 a z - a z - 2 a z</nowiki></pre></td></tr> |
6 a z + 3 a z - a z - 2 a z</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[ |
<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, Alternating, 13]][a, z]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 3 5 7 |
||
2 4 6 8 a 4 a 4 a a z |
2 4 6 8 a 4 a 4 a a z |
||
1 + 4 a + 7 a + 4 a + a - - - ---- - ---- - -- - - + 2 a z + |
1 + 4 a + 7 a + 4 a + a - - - ---- - ---- - -- - - + 2 a z + |
||
| Line 115: | Line 128: | ||
4 8 6 8 3 9 5 9 |
4 8 6 8 3 9 5 9 |
||
7 a z - 3 a z - a z - a z</nowiki></pre></td></tr> |
7 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[ |
<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, Alternating, 13]][q, t]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[ |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 5 1 2 1 4 2 6 5 |
||
{0, -(--)} |
|||
| ⚫ | |||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[17]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[Link[10, Alternating, 13]][q, t]</nowiki></pre></td></tr> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[17]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 5 1 2 1 4 2 6 5 |
|||
6 + -- + ------ + ------ + ------ + ------ + ------ + ------ + ----- + |
6 + -- + ------ + ------ + ------ + ------ + ------ + ------ + ----- + |
||
2 16 7 14 6 12 6 12 5 10 5 10 4 8 4 |
2 16 7 14 6 12 6 12 5 10 5 10 4 8 4 |
||
Latest revision as of 03:53, 3 September 2005
|
|
|
![]() (Knotscape image) |
See the full Thistlethwaite Link Table (up to 11 crossings). |
Link Presentations
[edit Notes on L10a13's Link Presentations]
| Planar diagram presentation | X6172 X10,3,11,4 X16,13,17,14 X14,7,15,8 X8,15,9,16 X20,18,5,17 X18,12,19,11 X12,20,13,19 X2536 X4,9,1,10 |
| Gauss code | {1, -9, 2, -10}, {9, -1, 4, -5, 10, -2, 7, -8, 3, -4, 5, -3, 6, -7, 8, -6} |
| A Braid Representative | |||||||
| A Morse Link Presentation |
|
Polynomial invariants
| Multivariable Alexander Polynomial (in [math]\displaystyle{ u }[/math], [math]\displaystyle{ v }[/math], [math]\displaystyle{ w }[/math], ...) | [math]\displaystyle{ -\frac{t(2)^5+2 t(1) t(2)^4-4 t(2)^4-5 t(1) t(2)^3+7 t(2)^3+7 t(1) t(2)^2-5 t(2)^2-4 t(1) t(2)+2 t(2)+t(1)}{\sqrt{t(1)} t(2)^{5/2}} }[/math] (db) |
| Jones polynomial | [math]\displaystyle{ q^{5/2}-3 q^{3/2}+6 \sqrt{q}-\frac{10}{\sqrt{q}}+\frac{12}{q^{3/2}}-\frac{13}{q^{5/2}}+\frac{11}{q^{7/2}}-\frac{10}{q^{9/2}}+\frac{6}{q^{11/2}}-\frac{3}{q^{13/2}}+\frac{1}{q^{15/2}} }[/math] (db) |
| Signature | -1 (db) |
| HOMFLY-PT polynomial | [math]\displaystyle{ a^7 (-z)-a^7 z^{-1} +3 a^5 z^3+6 a^5 z+4 a^5 z^{-1} -2 a^3 z^5-6 a^3 z^3-8 a^3 z-4 a^3 z^{-1} -a z^5-a z^3+z^3 a^{-1} +a z^{-1} +z a^{-1} }[/math] (db) |
| Kauffman polynomial | [math]\displaystyle{ -a^5 z^9-a^3 z^9-3 a^6 z^8-7 a^4 z^8-4 a^2 z^8-3 a^7 z^7-9 a^5 z^7-12 a^3 z^7-6 a z^7-a^8 z^6+3 a^6 z^6+7 a^4 z^6-2 a^2 z^6-5 z^6+9 a^7 z^5+32 a^5 z^5+33 a^3 z^5+7 a z^5-3 z^5 a^{-1} +3 a^8 z^4+10 a^6 z^4+16 a^4 z^4+15 a^2 z^4-z^4 a^{-2} +5 z^4-9 a^7 z^3-32 a^5 z^3-31 a^3 z^3-5 a z^3+3 z^3 a^{-1} -3 a^8 z^2-13 a^6 z^2-21 a^4 z^2-15 a^2 z^2+z^2 a^{-2} -3 z^2+4 a^7 z+17 a^5 z+16 a^3 z+2 a z-z a^{-1} +a^8+4 a^6+7 a^4+4 a^2+1-a^7 z^{-1} -4 a^5 z^{-1} -4 a^3 z^{-1} -a z^{-1} }[/math] (db) |
Khovanov Homology
| The coefficients of the monomials [math]\displaystyle{ t^rq^j }[/math] are shown, along with their alternating sums [math]\displaystyle{ \chi }[/math] (fixed [math]\displaystyle{ j }[/math], alternation over [math]\displaystyle{ r }[/math]). |
|
| 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. |
|



