L8n3: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
No edit summary
Line 1: Line 1:
<!-- WARNING! WARNING! WARNING!
<!-- WARNING! WARNING! WARNING!
<!-- This page was generated from the splice template [[Link_Splice_Base]]. Please do not edit!
<!-- This page was generated from the splice base [[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 = 8 |
n = 8 |
t = n |
t = <nowiki>n</nowiki> |
k = 3 |
k = 3 |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,4,-3,-8:-2,-1,5,3,-6,7:-7,2,-4,-5,8,6/goTop.html |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,4,-3,-8:-2,-1,5,3,-6,7:-7,2,-4,-5,8,6/goTop.html |
Line 39: Line 39:
<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><nowiki>Loading KnotTheory` (version of August 29, 2005, 15:33:11)...</nowiki></td></tr>
</table>
<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[8, NonAlternating, 3]]</nowiki></pre></td></tr>
<table><tr align=left>
<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>8</nowiki></pre></td></tr>
<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[8, NonAlternating, 3]]]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[2]:=</code></td>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[3]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>3</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Crossings[Link[8, NonAlternating, 3]]</nowiki></code></td></tr>
<tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[4]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>PD[Link[8, NonAlternating, 3]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[6, 1, 7, 2], X[5, 12, 6, 13], X[3, 8, 4, 9], X[13, 2, 14, 3],
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[2]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>8</nowiki></code></td></tr>
</table>
<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[8, NonAlternating, 3]]]</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>3</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[4]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[Link[8, NonAlternating, 3]]</nowiki></code></td></tr>
<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[5, 12, 6, 13], X[3, 8, 4, 9], X[13, 2, 14, 3],
X[14, 7, 15, 8], X[9, 16, 10, 11], X[11, 10, 12, 5], X[4, 15, 1, 16]]</nowiki></pre></td></tr>
X[14, 7, 15, 8], X[9, 16, 10, 11], X[11, 10, 12, 5], X[4, 15, 1, 16]]</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[5]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>GaussCode[Link[8, NonAlternating, 3]]</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[5]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>GaussCode[{1, 4, -3, -8}, {-2, -1, 5, 3, -6, 7}, {-7, 2, -4, -5, 8, 6}]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[5]:=</code></td>
<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[8, NonAlternating, 3]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L8n3_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[7]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>KnotSignature[Link[8, NonAlternating, 3]]</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[Link[8, NonAlternating, 3]]</nowiki></code></td></tr>
<tr align=left>
<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>-6</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[8, NonAlternating, 3]][q]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[5]:=</code></td>
<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> -9 -7 -5 -3
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[{1, 4, -3, -8}, {-2, -1, 5, 3, -6, 7}, {-7, 2, -4, -5, 8, 6}]</nowiki></code></td></tr>
</table>
q + q + q + q</nowiki></pre></td></tr>
<table><tr align=left>
<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[8, NonAlternating, 3]][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> -32 -30 2 3 4 4 3 3 2 2 -12
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[6]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Show[DrawMorseLink[Link[8, NonAlternating, 3]]]</nowiki></code></td></tr>
<tr align=left><td></td><td>[[Image:L8n3_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>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>KnotSignature[Link[8, NonAlternating, 3]]</nowiki></code></td></tr>
<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>-6</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[8]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>J=Jones[Link[8, NonAlternating, 3]][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[8]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -9 -7 -5 -3
q + q + q + q</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[9]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>A2Invariant[Link[8, NonAlternating, 3]][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[9]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -32 -30 2 3 4 4 3 3 2 2 -12
q + q + --- + --- + --- + --- + --- + --- + --- + --- + q +
q + q + --- + --- + --- + --- + --- + --- + --- + --- + q +
28 26 24 22 20 18 16 14
28 26 24 22 20 18 16 14
Line 63: Line 104:
-10
-10
q</nowiki></pre></td></tr>
q</nowiki></code></td></tr>
</table>
<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[8, NonAlternating, 3]][a, z]</nowiki></pre></td></tr>
<table><tr align=left>
<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> 6 8 10
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[10]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>HOMFLYPT[Link[8, NonAlternating, 3]][a, z]</nowiki></code></td></tr>
<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> 6 8 10
6 8 10 a 2 a a 6 2 8 2 6 4
6 8 10 a 2 a a 6 2 8 2 6 4
5 a - 6 a + a + -- - ---- + --- + 10 a z - 5 a z + 6 a z -
5 a - 6 a + a + -- - ---- + --- + 10 a z - 5 a z + 6 a z -
Line 72: Line 118:
8 4 6 6
8 4 6 6
a z + a z</nowiki></pre></td></tr>
a z + a z</nowiki></code></td></tr>
</table>
<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[8, NonAlternating, 3]][a, z]</nowiki></pre></td></tr>
<table><tr align=left>
<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> 6 8 10 7 9
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kauffman[Link[8, NonAlternating, 3]][a, z]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[11]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 6 8 10 7 9
6 8 10 12 a 2 a a 2 a 2 a 7
6 8 10 12 a 2 a a 2 a 2 a 7
-5 a - 8 a - 3 a + a + -- + ---- + --- - ---- - ---- + 6 a z +
-5 a - 8 a - 3 a + a + -- + ---- + --- - ---- - ---- + 6 a z +
Line 84: Line 135:
8 4 7 5 9 5 6 6 8 6
8 4 7 5 9 5 6 6 8 6
6 a z + a z + a z + a z + a z</nowiki></pre></td></tr>
6 a z + a z + a z + a z + a z</nowiki></code></td></tr>
</table>
<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[8, NonAlternating, 3]][q, t]</nowiki></pre></td></tr>
<table><tr align=left>
<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 -5 1 2 1 1 2 1
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[12]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kh[Link[8, NonAlternating, 3]][q, t]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[12]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -7 -5 1 2 1 1 2 1
q + q + ------ + ------ + ------ + ------ + ------ + ------ +
q + q + ------ + ------ + ------ + ------ + ------ + ------ +
19 6 17 6 15 6 17 5 13 4 11 4
19 6 17 6 15 6 17 5 13 4 11 4
Line 94: Line 150:
------ + -----
------ + -----
13 3 9 2
13 3 9 2
q t q t</nowiki></pre></td></tr>
q t q t</nowiki></code></td></tr>
</table> }}
</table> }}

Revision as of 18:06, 1 September 2005

L8n2.gif

L8n2

L8n4.gif

L8n4

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

Visit L8n3 at Knotilus!

L8n3 is [math]\displaystyle{ 8^3_{7} }[/math] in the Rolfsen table of links.


Link Presentations

[edit Notes on L8n3's Link Presentations]

Planar diagram presentation X6172 X5,12,6,13 X3849 X13,2,14,3 X14,7,15,8 X9,16,10,11 X11,10,12,5 X4,15,1,16
Gauss code {1, 4, -3, -8}, {-2, -1, 5, 3, -6, 7}, {-7, 2, -4, -5, 8, 6}
A Braid Representative {{{braid_table}}}
A Morse Link Presentation L8n3 ML.gif

Polynomial invariants

Multivariable Alexander Polynomial (in [math]\displaystyle{ u }[/math], [math]\displaystyle{ v }[/math], [math]\displaystyle{ w }[/math], ...) [math]\displaystyle{ \frac{u v^2 w^2-1}{\sqrt{u} v w} }[/math] (db)
Jones polynomial [math]\displaystyle{ q^{-3} + q^{-5} + q^{-7} + q^{-9} }[/math] (db)
Signature -6 (db)
HOMFLY-PT polynomial [math]\displaystyle{ a^{10} z^{-2} +a^{10}-z^4 a^8-5 z^2 a^8-2 a^8 z^{-2} -6 a^8+z^6 a^6+6 z^4 a^6+10 z^2 a^6+a^6 z^{-2} +5 a^6 }[/math] (db)
Kauffman polynomial [math]\displaystyle{ a^{12}+a^{10} z^2+a^{10} z^{-2} -3 a^{10}+a^9 z^5-5 a^9 z^3+6 a^9 z-2 a^9 z^{-1} +a^8 z^6-6 a^8 z^4+11 a^8 z^2+2 a^8 z^{-2} -8 a^8+a^7 z^5-5 a^7 z^3+6 a^7 z-2 a^7 z^{-1} +a^6 z^6-6 a^6 z^4+10 a^6 z^2+a^6 z^{-2} -5 a^6 }[/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-10χ
-5      11
-7      11
-9    1  1
-11  1    1
-13  21   1
-151      1
-1721     1
-191      1
Integral Khovanov Homology

(db, data source)

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

L8n2.gif

L8n2

L8n4.gif

L8n4