L10n93: 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 = 10 |
n = 10 |
Line 31: Line 40:
<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[10, NonAlternating, 93]]</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, NonAlternating, 93]]</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>10</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>10</nowiki></pre></td></tr>
Line 46: Line 55:
{-7, 6, 9, -4, -3, 2, 10, -8}]</nowiki></pre></td></tr>
{-7, 6, 9, -4, -3, 2, 10, -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[10, NonAlternating, 93]]</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[10, NonAlternating, 93]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L10n93_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[10, NonAlternating, 93]]</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[10, NonAlternating, 93]]</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[10, NonAlternating, 93]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L10n93_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>-7</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[10, NonAlternating, 93]][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[10, NonAlternating, 93]][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> -11 -9 -6 -4
<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[10, NonAlternating, 93]][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[10, NonAlternating, 93]], KnotSignature[Link[10, NonAlternating, 93]]}</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, -7}</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, NonAlternating, 93]][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> -11 -9 -6 -4
q + q + q + q</nowiki></pre></td></tr>
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[10, NonAlternating, 93]][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[10, NonAlternating, 93]][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> -40 -36 2 3 4 3 3 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> -40 -36 2 3 4 3 3 2 2 2 2
q + q + --- + --- + --- + --- + --- + --- + --- + --- + --- +
q + q + --- + --- + --- + --- + --- + --- + --- + --- + --- +
34 32 30 28 26 24 22 20 18
34 32 30 28 26 24 22 20 18
Line 68: Line 69:
-16 -14
-16 -14
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[10, NonAlternating, 93]][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[10, NonAlternating, 93]][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> 8 10 12
<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> 8 10 12
8 10 12 a 2 a a 8 2 10 2
8 10 12 a 2 a a 8 2 10 2
7 a - 9 a + 2 a + -- - ----- + --- + 21 a z - 14 a z +
7 a - 9 a + 2 a + -- - ----- + --- + 21 a z - 14 a z +
Line 77: Line 78:
12 2 8 4 10 4 8 6 10 6 8 8
12 2 8 4 10 4 8 6 10 6 8 8
a z + 21 a z - 7 a z + 8 a z - a z + a z</nowiki></pre></td></tr>
a z + 21 a z - 7 a z + 8 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[10, NonAlternating, 93]][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[10, NonAlternating, 93]][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> 8 10 12 9 11
<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> 8 10 12 9 11
8 10 12 14 a 2 a a 2 a 2 a
8 10 12 14 a 2 a a 2 a 2 a
7 a + 11 a + 3 a - 2 a - -- - ----- - --- + ---- + ----- -
7 a + 11 a + 3 a - 2 a - -- - ----- - --- + ---- + ----- -
Line 92: Line 93:
8 6 10 6 9 7 11 7 8 8 10 8
8 6 10 6 9 7 11 7 8 8 10 8
8 a z - 8 a z + a z + a z + a z + a z</nowiki></pre></td></tr>
8 a z - 8 a z + 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[16]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{Vassiliev[2][Link[10, NonAlternating, 93]], Vassiliev[3][Link[10, NonAlternating, 93]]}</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[10, NonAlternating, 93]][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> 385
<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> -9 -7 1 1 2 2 1 1
{0, ---}
6</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[10, NonAlternating, 93]][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> -9 -7 1 1 2 2 1 1
q + q + ------ + ------ + ------ + ------ + ------ + ------ +
q + q + ------ + ------ + ------ + ------ + ------ + ------ +
23 8 21 8 19 6 17 6 19 5 17 5
23 8 21 8 19 6 17 6 19 5 17 5

Revision as of 12:53, 31 August 2005

L10n92.gif

L10n92

L10n94.gif

L10n94

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

Visit L10n93 at Knotilus!


Link Presentations

[edit Notes on L10n93's Link Presentations]

Planar diagram presentation X8192 X9,18,10,19 X17,6,18,1 X16,7,17,8 X3,10,4,11 X5,14,6,15 X13,4,14,5 X20,11,13,12 X12,15,7,16 X2,19,3,20
Gauss code {1, -10, -5, 7, -6, 3}, {4, -1, -2, 5, 8, -9}, {-7, 6, 9, -4, -3, 2, 10, -8}
A Braid Representative {{{braid_table}}}
A Morse Link Presentation L10n93 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 w+1) \left(u v w^2-1\right)}{u v w^{3/2}} }[/math] (db)
Jones polynomial [math]\displaystyle{ q^{-11} + q^{-9} + q^{-6} + q^{-4} }[/math] (db)
Signature -7 (db)
HOMFLY-PT polynomial [math]\displaystyle{ z^2 a^{12}+a^{12} z^{-2} +2 a^{12}-z^6 a^{10}-7 z^4 a^{10}-14 z^2 a^{10}-2 a^{10} z^{-2} -9 a^{10}+z^8 a^8+8 z^6 a^8+21 z^4 a^8+21 z^2 a^8+a^8 z^{-2} +7 a^8 }[/math] (db)
Kauffman polynomial [math]\displaystyle{ a^{14} z^2-2 a^{14}-a^{12} z^2-a^{12} z^{-2} +3 a^{12}+a^{11} z^7-7 a^{11} z^5+14 a^{11} z^3-9 a^{11} z+2 a^{11} z^{-1} +a^{10} z^8-8 a^{10} z^6+21 a^{10} z^4-23 a^{10} z^2-2 a^{10} z^{-2} +11 a^{10}+a^9 z^7-7 a^9 z^5+14 a^9 z^3-9 a^9 z+2 a^9 z^{-1} +a^8 z^8-8 a^8 z^6+21 a^8 z^4-21 a^8 z^2-a^8 z^{-2} +7 a^8 }[/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 \
-8-7-6-5-4-3-2-10χ
-7        11
-9        11
-11      1  1
-13    1    1
-15    11   0
-17  21     1
-19  21     1
-211        1
-231        1
Integral Khovanov Homology

(db, data source)

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

L10n92.gif

L10n92

L10n94.gif

L10n94