L11n427: 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, 427]]</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, 427]]</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:
{10, -9, 8, 5, -7, 2, -4, -6, 11, -8}]</nowiki></pre></td></tr>
{10, -9, 8, 5, -7, 2, -4, -6, 11, -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, 427]]</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, 427]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L11n427_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, 427]]</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, 427]]</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, 427]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L11n427_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>-2</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, 427]][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, 427]][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> 2 3 7 8 10 9 8 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, 427]][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, 427]], KnotSignature[Link[11, NonAlternating, 427]]}</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, -2}</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, 427]][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> 2 3 7 8 10 9 8 2
-5 + -- - -- + -- - -- + -- - -- + - + 3 q - q
-5 + -- - -- + -- - -- + -- - -- + - + 3 q - q
7 6 5 4 3 2 q
7 6 5 4 3 2 q
q q q q q q</nowiki></pre></td></tr>
q 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, 427]][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, 427]][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> -26 -24 3 3 3 6 2 4 2 2 2 2
<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> -26 -24 3 3 3 6 2 4 2 2 2 2
q + q + --- + --- + --- + --- + --- + --- + --- + -- - -- + -- +
q + q + --- + --- + --- + --- + --- + --- + --- + -- - -- + -- +
22 20 18 16 14 12 10 6 4 2
22 20 18 16 14 12 10 6 4 2
Line 72: Line 73:
4 6
4 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[14]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>HOMFLYPT[Link[11, NonAlternating, 427]][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, 427]][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> 4 6 8
<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> 4 6 8
4 6 8 a 2 a a 2 2 2 4 2
4 6 8 a 2 a a 2 2 2 4 2
4 a - 5 a + a + -- - ---- + -- - 2 z + 2 a z + 6 a z -
4 a - 5 a + a + -- - ---- + -- - 2 z + 2 a z + 6 a z -
Line 81: Line 82:
6 2 4 2 4 4 4 6 4 2 6 4 6
6 2 4 2 4 4 4 6 4 2 6 4 6
4 a z - z + 3 a z + 4 a z - a z + a z + a z</nowiki></pre></td></tr>
4 a z - z + 3 a z + 4 a z - a z + 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, 427]][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, 427]][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> 4 6 8 5 7
<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> 4 6 8 5 7
2 4 6 8 a 2 a a 2 a 2 a
2 4 6 8 a 2 a a 2 a 2 a
a + 8 a + 12 a + 6 a - -- - ---- - -- + ---- + ---- - a z -
a + 8 a + 12 a + 6 a - -- - ---- - -- + ---- + ---- - a z -
Line 106: Line 107:
3 7 7 7 2 8 4 8 6 8 3 9 5 9
3 7 7 7 2 8 4 8 6 8 3 9 5 9
3 a z + a z + 3 a z + 5 a z + 2 a z + a z + a z</nowiki></pre></td></tr>
3 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[16]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{Vassiliev[2][Link[11, NonAlternating, 427]], Vassiliev[3][Link[11, NonAlternating, 427]]}</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, 427]][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> 33
<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 5 2 1 2 1 5 3 4
{0, --}
2</nowiki></pre></td></tr>
<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, 427]][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 5 2 1 2 1 5 3 4
-- + - + ------ + ------ + ------ + ------ + ------ + ----- + ----- +
-- + - + ------ + ------ + ------ + ------ + ------ + ----- + ----- +
3 q 15 6 13 6 13 5 11 5 11 4 9 4 9 3
3 q 15 6 13 6 13 5 11 5 11 4 9 4 9 3

Revision as of 12:20, 31 August 2005

L11n426.gif

L11n426

L11n428.gif

L11n428

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

Visit L11n427 at Knotilus!


Link Presentations

[edit Notes on L11n427's Link Presentations]

Planar diagram presentation X8192 X11,18,12,19 X3,10,4,11 X19,2,20,3 X7,16,8,17 X20,9,21,10 X17,12,18,7 X22,16,13,15 X14,6,15,5 X4,14,5,13 X6,21,1,22
Gauss code {1, 4, -3, -10, 9, -11}, {-5, -1, 6, 3, -2, 7}, {10, -9, 8, 5, -7, 2, -4, -6, 11, -8}
A Braid Representative {{{braid_table}}}
A Morse Link Presentation L11n427 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)^2 t(2) t(3)^3-t(1) t(2) t(3)^3+t(1)^2 t(2)^2 t(3)^2-t(1) t(2)^2 t(3)^2-2 t(1) t(3)^2-2 t(1)^2 t(2) t(3)^2+4 t(1) t(2) t(3)^2-t(2) t(3)^2+t(3)^2-t(1)^2 t(2)^2 t(3)+2 t(1) t(2)^2 t(3)+t(1) t(3)+t(1)^2 t(2) t(3)-4 t(1) t(2) t(3)+2 t(2) t(3)-t(3)+t(1) t(2)-t(2)}{t(1) t(2) t(3)^{3/2}} }[/math] (db)
Jones polynomial [math]\displaystyle{ 2 q^{-7} -3 q^{-6} +7 q^{-5} -8 q^{-4} +10 q^{-3} -q^2-9 q^{-2} +3 q+8 q^{-1} -5 }[/math] (db)
Signature -2 (db)
HOMFLY-PT polynomial [math]\displaystyle{ a^8 z^{-2} +a^8-a^6 z^4-4 a^6 z^2-2 a^6 z^{-2} -5 a^6+a^4 z^6+4 a^4 z^4+6 a^4 z^2+a^4 z^{-2} +4 a^4+a^2 z^6+3 a^2 z^4+2 a^2 z^2-z^4-2 z^2 }[/math] (db)
Kauffman polynomial [math]\displaystyle{ 3 a^8 z^4-8 a^8 z^2-a^8 z^{-2} +6 a^8+a^7 z^7-a^7 z^5+3 a^7 z^3-6 a^7 z+2 a^7 z^{-1} +2 a^6 z^8-7 a^6 z^6+20 a^6 z^4-25 a^6 z^2-2 a^6 z^{-2} +12 a^6+a^5 z^9-a^5 z^5+7 a^5 z^3-8 a^5 z+2 a^5 z^{-1} +5 a^4 z^8-15 a^4 z^6+27 a^4 z^4-22 a^4 z^2-a^4 z^{-2} +8 a^4+a^3 z^9+3 a^3 z^7-10 a^3 z^5+11 a^3 z^3-3 a^3 z+3 a^2 z^8-5 a^2 z^6+3 a^2 z^4-2 a^2 z^2+a^2+4 a z^7-9 a z^5+z^5 a^{-1} +5 a z^3-2 z^3 a^{-1} -a z+3 z^6-7 z^4+3 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 \
-6-5-4-3-2-10123χ
5         1-1
3        2 2
1       31 -2
-1      52  3
-3     54   -1
-5    54    1
-7   46     2
-9  34      -1
-11 15       4
-1312        -1
-152         2
Integral Khovanov Homology

(db, data source)

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

L11n426.gif

L11n426

L11n428.gif

L11n428