L11n297: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
 
No edit summary
Line 1: Line 1:
<!-- 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_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 = 11 |
n = 11 |
Line 33: Line 42:
<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 29, 2005, 15:33:11)...</td></tr>
<tr valign=top><td colspan=2>Loading KnotTheory` (version of August 28, 2005, 22:58:49)...</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[11, NonAlternating, 297]]</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[11, NonAlternating, 297]]</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>11</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>11</nowiki></pre></td></tr>
Line 48: Line 57:
{6, -2, 11, -4, -3, 7, 8, -6, 9, 3, -5, -8}]</nowiki></pre></td></tr>
{6, -2, 11, -4, -3, 7, 8, -6, 9, 3, -5, -8}]</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[11, NonAlternating, 297]]</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[11, NonAlternating, 297]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L11n297_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>Out[6]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[Link[11, NonAlternating, 297]]</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[11, NonAlternating, 297]]</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, 297]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L11n297_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>Out[7]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>0</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>alex = Alexander[Link[11, NonAlternating, 297]][t]</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>J=Jones[Link[11, NonAlternating, 297]][q]</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>ComplexInfinity</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> -7 2 4 5 5 7 4 2
<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>Conway[Link[11, NonAlternating, 297]][z]</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>ComplexInfinity</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>Select[AllKnots[], (alex === Alexander[#][t])&]</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>{}</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[11, NonAlternating, 297]], KnotSignature[Link[11, NonAlternating, 297]]}</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>{Infinity, 0}</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[11, NonAlternating, 297]][q]</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> -7 2 4 5 5 7 4 2
5 - q + -- - -- + -- - -- + -- - - - 2 q + q
5 - q + -- - -- + -- - -- + -- - - - 2 q + q
6 5 4 3 2 q
6 5 4 3 2 q
q q q q q</nowiki></pre></td></tr>
q q q q q</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>A2Invariant[Link[11, NonAlternating, 297]][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[11, NonAlternating, 297]][q]</nowiki></pre></td></tr>
<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> -22 -20 -18 3 -14 -12 2 6 6 8 5
<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> -22 -20 -18 3 -14 -12 2 6 6 8 5
4 - q - q - q - --- - q - q + --- + -- + -- + -- + -- +
4 - q - q - q - --- - q - q + --- + -- + -- + -- + -- +
16 10 8 6 4 2
16 10 8 6 4 2
Line 72: Line 73:
2 6
2 6
3 q + q</nowiki></pre></td></tr>
3 q + q</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[14]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>HOMFLYPT[Link[11, NonAlternating, 297]][a, z]</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[11, NonAlternating, 297]][a, z]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 4 6
<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> 2 4 6
2 4 6 2 5 a 4 a a 2 2 2
2 4 6 2 5 a 4 a a 2 2 2
4 - 10 a + 8 a - 2 a + -- - ---- + ---- - -- + 3 z - 10 a z +
4 - 10 a + 8 a - 2 a + -- - ---- + ---- - -- + 3 z - 10 a z +
Line 81: Line 82:
4 2 6 2 4 2 4 4 4 2 6
4 2 6 2 4 2 4 4 4 2 6
7 a z - a z + z - 5 a z + 2 a z - a z</nowiki></pre></td></tr>
7 a z - a z + z - 5 a z + 2 a z - a z</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[15]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kauffman[Link[11, NonAlternating, 297]][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[11, NonAlternating, 297]][a, z]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[15]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 4 6 3 5
<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> 2 4 6 3 5
2 4 6 2 5 a 4 a a 5 a 9 a 5 a
2 4 6 2 5 a 4 a a 5 a 9 a 5 a
7 + 15 a + 12 a + 3 a - -- - ---- - ---- - -- + --- + ---- + ---- +
7 + 15 a + 12 a + 3 a - -- - ---- - ---- - -- + --- + ---- + ---- +
Line 107: Line 108:
7 7 2 8 4 8 6 8 3 9 5 9
7 7 2 8 4 8 6 8 3 9 5 9
a z + 3 a z + 5 a z + 2 a z + a z + a z</nowiki></pre></td></tr>
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[16]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{Vassiliev[2][Link[11, NonAlternating, 297]], Vassiliev[3][Link[11, NonAlternating, 297]]}</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[11, NonAlternating, 297]][q, t]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[16]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{0, -5}</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>4 1 1 1 3 1 2 3
<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[11, NonAlternating, 297]][q, t]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[17]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>4 1 1 1 3 1 2 3
- + 3 q + ------ + ------ + ------ + ------ + ----- + ----- + ----- +
- + 3 q + ------ + ------ + ------ + ------ + ----- + ----- + ----- +
q 15 7 13 6 11 6 11 5 9 5 9 4 7 4
q 15 7 13 6 11 6 11 5 9 5 9 4 7 4

Revision as of 13:19, 31 August 2005

L11n296.gif

L11n296

L11n298.gif

L11n298

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

Visit L11n297 at Knotilus!


Link Presentations

[edit Notes on L11n297's Link Presentations]

Planar diagram presentation X6172 X12,4,13,3 X15,20,16,21 X14,8,15,7 X21,10,22,5 X18,11,19,12 X9,17,10,16 X22,17,11,18 X8,19,9,20 X2536 X4,14,1,13
Gauss code {1, -10, 2, -11}, {10, -1, 4, -9, -7, 5}, {6, -2, 11, -4, -3, 7, 8, -6, 9, 3, -5, -8}
A Braid Representative {{{braid_table}}}
A Morse Link Presentation L11n297 ML.gif

Polynomial invariants

Multivariable Alexander Polynomial (in [math]\displaystyle{ u }[/math], [math]\displaystyle{ v }[/math], [math]\displaystyle{ w }[/math], ...) [math]\displaystyle{ -\frac{t(1) t(3)^2 t(2)^2-t(3)^2 t(2)^2-t(1) t(3) t(2)^2+2 t(3) t(2)^2-t(2)^2-t(1) t(3)^2 t(2)+2 t(1) t(3) t(2)-2 t(3) t(2)+t(2)+t(1) t(3)^2+t(1)-2 t(1) t(3)+t(3)-1}{\sqrt{t(1)} t(2) t(3)} }[/math] (db)
Jones polynomial [math]\displaystyle{ q^2-2 q+5-4 q^{-1} +7 q^{-2} -5 q^{-3} +5 q^{-4} -4 q^{-5} +2 q^{-6} - q^{-7} }[/math] (db)
Signature 0 (db)
HOMFLY-PT polynomial [math]\displaystyle{ -z^2 a^6-a^6 z^{-2} -2 a^6+2 z^4 a^4+7 z^2 a^4+4 a^4 z^{-2} +8 a^4-z^6 a^2-5 z^4 a^2-10 z^2 a^2-5 a^2 z^{-2} -10 a^2+z^4+3 z^2+2 z^{-2} +4 }[/math] (db)
Kauffman polynomial [math]\displaystyle{ a^5 z^9+a^3 z^9+2 a^6 z^8+5 a^4 z^8+3 a^2 z^8+a^7 z^7+a^3 z^7+2 a z^7-9 a^6 z^6-22 a^4 z^6-13 a^2 z^6-5 a^7 z^5-16 a^5 z^5-17 a^3 z^5-6 a z^5+11 a^6 z^4+30 a^4 z^4+24 a^2 z^4+5 z^4+8 a^7 z^3+29 a^5 z^3+29 a^3 z^3+10 a z^3+2 z^3 a^{-1} -5 a^6 z^2-22 a^4 z^2-27 a^2 z^2+z^2 a^{-2} -9 z^2-5 a^7 z-18 a^5 z-24 a^3 z-11 a z+3 a^6+12 a^4+15 a^2+7+a^7 z^{-1} +5 a^5 z^{-1} +9 a^3 z^{-1} +5 a z^{-1} -a^6 z^{-2} -4 a^4 z^{-2} -5 a^2 z^{-2} -2 z^{-2} }[/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]).   
\ r
  \  
j \
-7-6-5-4-3-2-1012χ
5         11
3        21-1
1       3  3
-1      34  1
-3     41   3
-5    24    2
-7   33     0
-9  12      1
-11 13       -2
-13 1        1
-151         -1
Integral Khovanov Homology

(db, data source)

  
[math]\displaystyle{ \dim{\mathcal G}_{2r+i}\operatorname{KH}^r_{\mathbb Z} }[/math] [math]\displaystyle{ i=-1 }[/math] [math]\displaystyle{ i=1 }[/math]
[math]\displaystyle{ r=-7 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-6 }[/math] [math]\displaystyle{ {\mathbb Z}\oplus{\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-5 }[/math] [math]\displaystyle{ {\mathbb Z}^{3}\oplus{\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]
[math]\displaystyle{ r=-4 }[/math] [math]\displaystyle{ {\mathbb Z}^{2}\oplus{\mathbb Z}_2^{3} }[/math] [math]\displaystyle{ {\mathbb Z}^{3} }[/math]
[math]\displaystyle{ r=-3 }[/math] [math]\displaystyle{ {\mathbb Z}^{3}\oplus{\mathbb Z}_2^{2} }[/math] [math]\displaystyle{ {\mathbb Z}^{2} }[/math]
[math]\displaystyle{ r=-2 }[/math] [math]\displaystyle{ {\mathbb Z}^{4}\oplus{\mathbb Z}_2^{3} }[/math] [math]\displaystyle{ {\mathbb Z}^{4} }[/math]
[math]\displaystyle{ r=-1 }[/math] [math]\displaystyle{ {\mathbb Z}\oplus{\mathbb Z}_2^{3} }[/math] [math]\displaystyle{ {\mathbb Z}^{3} }[/math]
[math]\displaystyle{ r=0 }[/math] [math]\displaystyle{ {\mathbb Z}^{4}\oplus{\mathbb Z}_2 }[/math] [math]\displaystyle{ {\mathbb Z}^{3} }[/math]
[math]\displaystyle{ r=1 }[/math] [math]\displaystyle{ {\mathbb Z}_2^{2} }[/math] [math]\displaystyle{ {\mathbb Z}^{2} }[/math]
[math]\displaystyle{ r=2 }[/math] [math]\displaystyle{ {\mathbb Z} }[/math] [math]\displaystyle{ {\mathbb Z} }[/math]

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.

L11n296.gif

L11n296

L11n298.gif

L11n298