L11n23: Difference between revisions
From Knot Atlas
Jump to navigationJump to search
No edit summary |
DrorsRobot (talk | contribs) No edit summary |
||
| 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 = 23 | |
k = 23 | |
||
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-11,-5,3:-8,-1,2,5,-4,10,-7,8,-9,7,11,-2,-3,6,-10,4,-6,9/goTop.html | |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-11,-5,3:-8,-1,2,5,-4,10,-7,8,-9,7,11,-2,-3,6,-10,4,-6,9/goTop.html | |
||
braid_table = <table cellspacing=0 cellpadding=0 border=0> |
|||
<tr><td>[[Image:BraidPart1.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]]</td></tr> |
|||
<tr><td>[[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.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:BraidPart2.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 49: | ||
<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 2, 2005, 15:8:39)...</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, 23]]]</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[16, 7, 17, 8], X[17, 1, 18, 4], X[9, 21, 10, 20], |
||
<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, 23]]]</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[16, 7, 17, 8], X[17, 1, 18, 4], X[9, 21, 10, 20], |
|||
X[3, 8, 4, 9], X[21, 18, 22, 19], X[11, 14, 12, 15], X[5, 13, 6, 12], |
X[3, 8, 4, 9], X[21, 18, 22, 19], X[11, 14, 12, 15], X[5, 13, 6, 12], |
||
X[13, 5, 14, 22], X[19, 11, 20, 10], X[2, 16, 3, 15]]</nowiki></ |
X[13, 5, 14, 22], X[19, 11, 20, 10], X[2, 16, 3, 15]]</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[5]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[5]:=</code></td> |
|||
| ⚫ | |||
-3, 6, -10, 4, -6, 9}]</nowiki></ |
-3, 6, -10, 4, -6, 9}]</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
<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[5, {1, 2, -3, 2, -1, -2, 3, -2, -3, 2, 4, -3, 4}]</nowiki></pre></td></tr> |
|||
<table><tr align=left> |
|||
<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, 23]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L11n23_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> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[6]:=</code></td> |
|||
<td>< |
<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>KnotSignature[Link[11, NonAlternating, 23]]</nowiki></pre></td></tr> |
||
<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>1</nowiki></pre></td></tr> |
|||
<tr align=left><td></td><td>[[Image:L11n23_ML.gif]]</td></tr><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>J=Jones[Link[11, NonAlternating, 23]][q]</nowiki></pre></td></tr> |
||
<td>< |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -(9/2) 3 4 7 8 3/2 5/2 |
||
</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[11, NonAlternating, 23]]</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>1</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> |
|||
| ⚫ | |||
q - ---- + ---- - ---- + ------- - 8 Sqrt[q] + 7 q - 6 q + |
q - ---- + ---- - ---- + ------- - 8 Sqrt[q] + 7 q - 6 q + |
||
7/2 5/2 3/2 Sqrt[q] |
7/2 5/2 3/2 Sqrt[q] |
||
| Line 103: | Line 76: | ||
7/2 9/2 |
7/2 9/2 |
||
3 q - q</nowiki></ |
3 q - 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 + -- - q + q - 2 q + q - q + 2 q + |
1 - q + q + -- + q + -- - q + q - 2 q + q - q + 2 q + |
||
6 2 |
6 2 |
||
| Line 116: | Line 84: | ||
16 |
16 |
||
q</nowiki></ |
q</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
| ⚫ | |||
<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> |
|||
| ⚫ | |||
1 3 4 2 a 4 z 8 z 3 4 z 3 |
1 3 4 2 a 4 z 8 z 3 4 z 3 |
||
-(----) + ---- - --- + --- + --- - --- + 5 a z - a z - ---- + 3 a z - |
-(----) + ---- - --- + --- + --- - --- + 5 a z - a z - ---- + 3 a z - |
||
| Line 130: | Line 93: | ||
3 3 5 |
3 3 5 |
||
a z + a z</nowiki></ |
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> |
|||
| ⚫ | |||
-2 - a - -- - a - ---- - ---- - --- - --- + --- + ---- + ---- + |
-2 - a - -- - a - ---- - ---- - --- - --- + --- + ---- + ---- + |
||
2 5 3 a z z 5 3 a |
2 5 3 a z z 5 3 a |
||
| Line 169: | Line 127: | ||
2 8 z 9 |
2 8 z 9 |
||
3 a z - -- - a z |
3 a z - -- - a z |
||
a</nowiki></ |
a</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, 23]][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> |
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 1 2 1 2 2 5 2 5 |
|||
5 + 5 q + ------ + ----- + ----- + ----- + ----- + ----- + ----- + - + |
5 + 5 q + ------ + ----- + ----- + ----- + ----- + ----- + ----- + - + |
||
10 5 8 4 6 4 6 3 4 3 4 2 2 2 t |
10 5 8 4 6 4 6 3 4 3 4 2 2 2 t |
||
| Line 184: | Line 137: | ||
---- + 4 q t + 3 q t + 2 q t + 4 q t + q t + 2 q t + q t |
---- + 4 q t + 3 q t + 2 q t + 4 q t + q t + 2 q t + q t |
||
2 |
2 |
||
q t</nowiki></ |
q t</nowiki></pre></td></tr> |
||
</table> }} |
</table> }} |
||
Revision as of 18:43, 2 September 2005
|
|
|
![]() (Knotscape image) |
See the full Thistlethwaite Link Table (up to 11 crossings). |
Link Presentations
[edit Notes on L11n23's Link Presentations]
| Planar diagram presentation | X6172 X16,7,17,8 X17,1,18,4 X9,21,10,20 X3849 X21,18,22,19 X11,14,12,15 X5,13,6,12 X13,5,14,22 X19,11,20,10 X2,16,3,15 |
| Gauss code | {1, -11, -5, 3}, {-8, -1, 2, 5, -4, 10, -7, 8, -9, 7, 11, -2, -3, 6, -10, 4, -6, 9} |
| 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{(u-1) (v-1) \left(v^2-4 v+1\right)}{\sqrt{u} v^{3/2}} }[/math] (db) |
| Jones polynomial | [math]\displaystyle{ -q^{9/2}+\frac{1}{q^{9/2}}+3 q^{7/2}-\frac{3}{q^{7/2}}-6 q^{5/2}+\frac{4}{q^{5/2}}+7 q^{3/2}-\frac{7}{q^{3/2}}-8 \sqrt{q}+\frac{8}{\sqrt{q}} }[/math] (db) |
| Signature | 1 (db) |
| HOMFLY-PT polynomial | [math]\displaystyle{ - a^{-5} z^{-1} -a^3 z^3-a^3 z+4 z a^{-3} +3 a^{-3} z^{-1} +a z^5+3 a z^3-4 z^3 a^{-1} +5 a z-8 z a^{-1} +2 a z^{-1} -4 a^{-1} z^{-1} }[/math] (db) |
| Kauffman polynomial | [math]\displaystyle{ -a z^9-z^9 a^{-1} -3 a^2 z^8-3 z^8 a^{-2} -6 z^8-3 a^3 z^7-4 a z^7-3 z^7 a^{-1} -2 z^7 a^{-3} -a^4 z^6+9 a^2 z^6+12 z^6 a^{-2} +22 z^6+11 a^3 z^5+26 a z^5+22 z^5 a^{-1} +7 z^5 a^{-3} +3 a^4 z^4-5 a^2 z^4-23 z^4 a^{-2} -3 z^4 a^{-4} -28 z^4-10 a^3 z^3-34 a z^3-40 z^3 a^{-1} -17 z^3 a^{-3} -z^3 a^{-5} -a^4 z^2+2 a^2 z^2+15 z^2 a^{-2} +3 z^2 a^{-4} +15 z^2+3 a^3 z+15 a z+24 z a^{-1} +14 z a^{-3} +2 z a^{-5} -a^2-3 a^{-2} - a^{-4} -2-2 a z^{-1} -4 a^{-1} z^{-1} -3 a^{-3} z^{-1} - a^{-5} z^{-1} }[/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. |
|



