L11n31: Difference between revisions
From Knot Atlas
Jump to navigationJump to search
No edit summary |
DrorsRobot (talk | contribs) No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
<!-- WARNING! WARNING! WARNING! |
<!-- WARNING! WARNING! WARNING! |
||
<!-- This page was generated from the splice |
<!-- 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]].) |
<!-- 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]]. --> |
<!-- 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! |
<!-- WARNING! WARNING! WARNING! |
||
<!-- This page was generated from the splice template [[Link Splice Template]]. Please do not edit! |
<!-- This page was generated from the splice template [[Link Splice Template]]. Please do not edit! |
||
| Line 10: | Line 10: | ||
<!-- The text below simply calls [[Template:Link Page]] setting the values of all the parameters appropriately. |
<!-- 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]]. --> |
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Link Splice Template]]. --> |
||
<!-- --> |
<!-- <math>\text{Null}</math> --> |
||
{{Link Page| |
{{Link Page| |
||
n = 11 | |
n = 11 | |
||
t = |
t = n | |
||
k = 31 | |
k = 31 | |
||
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-11,5,-3:-4,-1,2,-5,-6,8,-10,4,-7,9,-8,6,11,-2,3,10,-9,7/goTop.html | |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-11,5,-3:-4,-1,2,-5,-6,8,-10,4,-7,9,-8,6,11,-2,3,10,-9,7/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:BraidPart3.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: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:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.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:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]]</td></tr> |
|||
<tr><td>[[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:BraidPart0.gif]][[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:BraidPart0.gif]][[Image:BraidPart2.gif]]</td></tr> |
|||
| ⚫ | |||
khovanov_table = <table border=1> |
khovanov_table = <table border=1> |
||
<tr align=center> |
<tr align=center> |
||
| Line 42: | 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 |
<tr valign=top><td colspan=2>Loading KnotTheory` (version of September 3, 2005, 2:11:43)...</td></tr> |
||
| ⚫ | |||
</table> |
|||
<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>11</nowiki></pre></td></tr> |
|||
<table><tr align=left> |
|||
< |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[3]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Length[Skeleton[Link[11, NonAlternating, 31]]]</nowiki></pre></td></tr> |
||
<td>< |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[3]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>2</nowiki></pre></td></tr> |
||
| ⚫ | |||
<tr align=left> |
|||
< |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[6, 1, 7, 2], X[18, 7, 19, 8], X[4, 19, 1, 20], X[5, 12, 6, 13], |
||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>11</nowiki></code></td></tr> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[3]:=</code></td> |
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Length[Skeleton[Link[11, NonAlternating, 31]]]</nowiki></code></td></tr> |
|||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[3]:=</code></td> |
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>2</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[4]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[4]:=</code></td> |
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[X[6, 1, 7, 2], X[18, 7, 19, 8], X[4, 19, 1, 20], X[5, 12, 6, 13], |
|||
X[8, 4, 9, 3], X[9, 16, 10, 17], X[13, 22, 14, 5], X[15, 10, 16, 11], |
X[8, 4, 9, 3], X[9, 16, 10, 17], X[13, 22, 14, 5], X[15, 10, 16, 11], |
||
X[21, 14, 22, 15], X[11, 20, 12, 21], X[2, 18, 3, 17]]</nowiki></ |
X[21, 14, 22, 15], X[11, 20, 12, 21], X[2, 18, 3, 17]]</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[5]:=</code></td> |
|||
11, -2, 3, 10, -9, 7}]</nowiki></pre></td></tr> |
|||
| ⚫ | |||
| ⚫ | |||
<tr align=left> |
|||
< |
<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[7, {1, 2, -3, -4, 5, -4, 3, -2, -1, -3, -2, 4, -3, 4, -3, -5, -4, |
||
| ⚫ | |||
-6, -5, -4, -3, 2, 3, -4, 5, -4, 6}]</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[11, NonAlternating, 31]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L11n31_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> |
|||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
< |
<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>-3</nowiki></pre></td></tr> |
||
<td>< |
<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[11, NonAlternating, 31]][q]</nowiki></pre></td></tr> |
||
| ⚫ | |||
<tr align=left><td></td><td>[[Image:L11n31_ML.gif]]</td></tr><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[6]:=</code></td> |
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>-Graphics-</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[7]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[7]:=</code></td> |
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>-3</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[8]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[8]:=</code></td> |
|||
| ⚫ | |||
----- - ----- + ----- - ----- + ---- - ---- + ---- - ---- + ------- - |
----- - ----- + ----- - ----- + ---- - ---- + ---- - ---- + ------- - |
||
17/2 15/2 13/2 11/2 9/2 7/2 5/2 3/2 Sqrt[q] |
17/2 15/2 13/2 11/2 9/2 7/2 5/2 3/2 Sqrt[q] |
||
q q q q q q q q |
q q q q q q q q |
||
Sqrt[q]</nowiki></ |
Sqrt[q]</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[9]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[9]:=</code></td> |
|||
| ⚫ | |||
-1 - q - --- - q - --- - --- + --- + q + --- + --- + --- + |
-1 - q - --- - q - --- - --- + --- + q + --- + --- + --- + |
||
26 22 20 18 14 12 10 |
26 22 20 18 14 12 10 |
||
| Line 117: | Line 89: | ||
-- - q + -- + q |
-- - q + -- + q |
||
8 4 |
8 4 |
||
q q</nowiki></ |
q q</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
<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 9 |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[10]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[10]:=</code></td> |
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 3 5 7 9 |
|||
-2 a 2 a a a 3 5 3 3 3 |
-2 a 2 a a a 3 5 3 3 3 |
||
----- + ---- + -- - -- - a z - 2 a z + 3 a z - a z + a z + |
----- + ---- + -- - -- - a z - 2 a z + 3 a z - a z + a z + |
||
| Line 130: | Line 97: | ||
5 3 7 3 3 5 5 5 |
5 3 7 3 3 5 5 5 |
||
2 a z - a z + a z + a z</nowiki></ |
2 a z - a z + a z + a z</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[11]:=</code></td> |
|||
| ⚫ | |||
4 6 8 10 2 a 2 a a a 3 |
4 6 8 10 2 a 2 a a a 3 |
||
2 a - 4 a - 9 a - 4 a - ---- - ---- + -- + -- - a z + 5 a z + |
2 a - 4 a - 9 a - 4 a - ---- - ---- + -- + -- - a z + 5 a z + |
||
| Line 155: | Line 117: | ||
5 7 7 7 9 7 4 8 6 8 8 8 5 9 7 9 |
5 7 7 7 9 7 4 8 6 8 8 8 5 9 7 9 |
||
4 a z - a z - a z - 3 a z - 5 a z - 2 a z - a z - a z</nowiki></ |
4 a z - a z - a z - 3 a z - 5 a z - 2 a z - a z - a z</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[11, NonAlternating, 31]][q, t]</nowiki></pre></td></tr> |
|||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[12]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[12]:=</code></td> |
|||
| ⚫ | |||
-- + -- + ------ + ------ + ------ + ------ + ------ + ------ + |
-- + -- + ------ + ------ + ------ + ------ + ------ + ------ + |
||
4 2 18 7 16 6 14 6 14 5 12 5 12 4 |
4 2 18 7 16 6 14 6 14 5 12 5 12 4 |
||
| Line 173: | Line 130: | ||
2 2 |
2 2 |
||
q t</nowiki></ |
q t</nowiki></pre></td></tr> |
||
</table> }} |
</table> }} |
||
Latest revision as of 03:48, 3 September 2005
|
|
|
![]() (Knotscape image) |
See the full Thistlethwaite Link Table (up to 11 crossings). |
Link Presentations
[edit Notes on L11n31's Link Presentations]
| Planar diagram presentation | X6172 X18,7,19,8 X4,19,1,20 X5,12,6,13 X8493 X9,16,10,17 X13,22,14,5 X15,10,16,11 X21,14,22,15 X11,20,12,21 X2,18,3,17 |
| Gauss code | {1, -11, 5, -3}, {-4, -1, 2, -5, -6, 8, -10, 4, -7, 9, -8, 6, 11, -2, 3, 10, -9, 7} |
| 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(1)-1) (t(2)-1) \left(2 t(2)^2-3 t(2)+2\right)}{\sqrt{t(1)} t(2)^{3/2}} }[/math] (db) |
| Jones polynomial | [math]\displaystyle{ -\sqrt{q}+\frac{3}{\sqrt{q}}-\frac{6}{q^{3/2}}+\frac{7}{q^{5/2}}-\frac{10}{q^{7/2}}+\frac{9}{q^{9/2}}-\frac{9}{q^{11/2}}+\frac{6}{q^{13/2}}-\frac{3}{q^{15/2}}+\frac{2}{q^{17/2}} }[/math] (db) |
| Signature | -3 (db) |
| HOMFLY-PT polynomial | [math]\displaystyle{ -a^9 z^{-1} -z^3 a^7+a^7 z^{-1} +z^5 a^5+2 z^3 a^5+3 z a^5+2 a^5 z^{-1} +z^5 a^3+z^3 a^3-2 z a^3-2 a^3 z^{-1} -z^3 a-z a }[/math] (db) |
| Kauffman polynomial | [math]\displaystyle{ 3 a^{10} z^4-8 a^{10} z^2+4 a^{10}+a^9 z^7-a^9 z^5+a^9 z^3-2 a^9 z-a^9 z^{-1} +2 a^8 z^8-7 a^8 z^6+18 a^8 z^4-21 a^8 z^2+9 a^8+a^7 z^9+a^7 z^7-8 a^7 z^5+17 a^7 z^3-7 a^7 z-a^7 z^{-1} +5 a^6 z^8-14 a^6 z^6+20 a^6 z^4-11 a^6 z^2+4 a^6+a^5 z^9+4 a^5 z^7-16 a^5 z^5+22 a^5 z^3-11 a^5 z+2 a^5 z^{-1} +3 a^4 z^8-4 a^4 z^6-a^4 z^4+3 a^4 z^2-2 a^4+4 a^3 z^7-8 a^3 z^5+4 a^3 z^3-5 a^3 z+2 a^3 z^{-1} +3 a^2 z^6-6 a^2 z^4+a^2 z^2+a z^5-2 a z^3+a z }[/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. |
|



