K11n87: Difference between revisions
DrorsRobot (talk | contribs) No edit summary  | 
				DrorsRobot (talk | contribs)  No edit summary  | 
				||
| Line 16: | Line 16: | ||
k = 87 |  | 
  k = 87 |  | 
||
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-6,2,-1,3,-10,4,-8,5,-2,6,-3,7,-4,8,11,-9,-5,10,-7,-11,9/goTop.html |  | 
  KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-6,2,-1,3,-10,4,-8,5,-2,6,-3,7,-4,8,11,-9,-5,10,-7,-11,9/goTop.html |  | 
||
braid_table     = <table cellspacing=0 cellpadding=0 border=0>  | 
  braid_table     = <table cellspacing=0 cellpadding=0 border=0 style="white-space: pre">  | 
||
<tr><td>[[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.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]]</td></tr>  | 
  <tr><td>[[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.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]]</td></tr>  | 
||
<tr><td>[[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]]</td></tr>  | 
  <tr><td>[[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]]</td></tr>  | 
||
| Line 56: | Line 56: | ||
         <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>Loading KnotTheory` (version of September   | 
           <tr valign=top><td colspan=2>Loading KnotTheory` (version of September 3, 2005, 2:11:43)...</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[Knot[11, NonAlternating, 87]]</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[Knot[11, NonAlternating, 87]]</nowiki></pre></td></tr>  | 
||
<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>  | 
  <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>  | 
||
Latest revision as of 01:43, 3 September 2005
| 
 | 
 | 
![]() (Knotscape image)  | 
See the full Hoste-Thistlethwaite Table of 11 Crossing Knots. | 
Knot presentations
| Planar diagram presentation | X4251 X10,3,11,4 X12,6,13,5 X14,7,15,8 X18,9,19,10 X2,11,3,12 X20,14,21,13 X8,15,9,16 X17,22,18,1 X6,19,7,20 X21,16,22,17 | 
| Gauss code | 1, -6, 2, -1, 3, -10, 4, -8, 5, -2, 6, -3, 7, -4, 8, 11, -9, -5, 10, -7, -11, 9 | 
| Dowker-Thistlethwaite code | 4 10 12 14 18 2 20 8 -22 6 -16 | 
| A Braid Representative | |||||
| A Morse Link Presentation |  
 | 
Three dimensional invariants
  | 
Four dimensional invariants
  | 
Polynomial invariants
KnotTheory`, as shown in the (simulated) Mathematica session below. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting. This Mathematica session is also available (albeit only for the knot 5_2) as the notebook PolynomialInvariantsSession.nb.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
 | 
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
 | 
Loading KnotTheory` version of August 31, 2006, 11:25:27.5625.
  | 
In[3]:=
 | 
K = Knot["K11n87"];
 | 
In[4]:=
 | 
Alexander[K][t]
 | 
KnotTheory::loading: Loading precomputed data in PD4Knots`.
 | 
Out[4]=
 | 
In[5]:=
 | 
Conway[K][z]
 | 
Out[5]=
 | 
In[6]:=
 | 
Alexander[K, 2][t]
 | 
KnotTheory::credits: The program Alexander[K, r] to compute Alexander ideals was written by Jana Archibald at the University of Toronto in the summer of 2005.
 | 
Out[6]=
 | 
In[7]:=
 | 
{KnotDet[K], KnotSignature[K]}
 | 
Out[7]=
 | 
{ 51, -2 } | 
In[8]:=
 | 
Jones[K][q]
 | 
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
 | 
Out[8]=
 | 
In[9]:=
 | 
HOMFLYPT[K][a, z]
 | 
KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.
 | 
Out[9]=
 | 
In[10]:=
 | 
Kauffman[K][a, z]
 | 
KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.
 | 
Out[10]=
 | 
"Similar" Knots (within the Atlas)
Same Alexander/Conway Polynomial: {9_28, 9_29, 10_163,}
Same Jones Polynomial (up to mirroring, ): {}
KnotTheory`. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
 | 
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
 | 
Loading KnotTheory` version of May 31, 2006, 14:15:20.091.
  | 
In[3]:=
 | 
K = Knot["K11n87"];
 | 
In[4]:=
 | 
{A = Alexander[K][t], J = Jones[K][q]}
 | 
KnotTheory::loading: Loading precomputed data in PD4Knots`.
 | 
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
 | 
Out[4]=
 | 
{ , } | 
In[5]:=
 | 
DeleteCases[Select[AllKnots[], (A === Alexander[#][t]) &], K]
 | 
KnotTheory::loading: Loading precomputed data in DTCode4KnotsTo11`.
 | 
KnotTheory::credits: The GaussCode to PD conversion was written by Siddarth Sankaran at the University of Toronto in the summer of 2005.
 | 
Out[5]=
 | 
{9_28, 9_29, 10_163,} | 
In[6]:=
 | 
DeleteCases[
  Select[
    AllKnots[],
    (J === Jones[#][q] || (J /. q -> 1/q) === Jones[#][q]) &
    ],
  K
  ]
 | 
KnotTheory::loading: Loading precomputed data in Jones4Knots11`.
 | 
Out[6]=
 | 
{} | 
Vassiliev invariants
| V2 and V3: | (1, 0) | 
| V2,1 through V6,9: | 
  | 
V2,1 through V6,9 were provided by Petr Dunin-Barkowski <barkovs@itep.ru>, Andrey Smirnov <asmirnov@itep.ru>, and Alexei Sleptsov <sleptsov@itep.ru> and uploaded on October 2010 by User:Drorbn. Note that they are normalized differently than V2 and V3.
Khovanov Homology
| The coefficients of the monomials are shown, along with their alternating sums (fixed , alternation over ). The squares with yellow highlighting are those on the "critical diagonals", where or , where -2 is the signature of K11n87. Nonzero entries off the critical diagonals (if any exist) are highlighted in red. | 
  | 
| 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 Hoste-Thistlethwaite Knot Page master template (intermediate). See/edit the Hoste-Thistlethwaite_Splice_Base (expert). Back to the top.  | 
  | 



