Stick knot questions: simple but may not be easy - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T10:00:43Z http://mathoverflow.net/feeds/question/99213 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easy Stick knot questions: simple but may not be easy Steve Gray 2012-06-10T02:49:05Z 2012-07-03T06:46:36Z <p>I have a few questions about nonplanar "stick circuits" (or hexagons and higher $n$-gons) that you might be able to help with:</p> <p>(I know that $n=6$ is the minimum number of points to form a stick knot.)</p> <p>(1) Given $n=6$ points in $\mathbb{R}^3$ in general position connected by a specific "stick circuit" (nonplanar hexagon), what test can be done to see if it forms a stick knot vs. an unknot?</p> <p>(2) Given $n=6$ points in $\mathbb{R}^3$ in general position, there are 60 different stick circuits connecting them. True or false, at least one forms a knot?</p> <p>(3) Given $n=6$ points in $\mathbb{R}^3$ in general position, does the minimum-length stick circuit on these $n$ points ever form a knot? ("knotted 6-point traveling salesman problem with return)</p> <p>All these can be generalized to $n > 6$.</p> <p>These questions occurred to me over the last few days. I suspect (1) has a known answer but I have no idea about (2) or (3).</p> <p>Any info will be eagerly read! Thank you.</p> <p>Steve Gray </p> http://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easy/99214#99214 Answer by Gerhard Paseman for Stick knot questions: simple but may not be easy Gerhard Paseman 2012-06-10T03:26:59Z 2012-06-10T03:26:59Z <p>There is a problem about matching red and blue dots in the plane in pairs by straight line segments, with a length minimal matching involving no crossings. I imagine (3) could be answered negatively by similar reasoning.</p> <p>Gerhard "Ask Me About System Design" Paseman, 2012.06.09</p> http://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easy/99215#99215 Answer by Steve Huntsman for Stick knot questions: simple but may not be easy Steve Huntsman 2012-06-10T03:37:53Z 2012-06-10T03:37:53Z <p>A partial test for (1) is provided by the <a href="http://en.wikipedia.org/wiki/Fary%25E2%2580%2593Milnor_theorem" rel="nofollow">Fary-Milnor theorem</a>. See also <a href="http://mathoverflow.net/questions/54919/" rel="nofollow">this question</a>.</p> http://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easy/99325#99325 Answer by Jan Kyncl for Stick knot questions: simple but may not be easy Jan Kyncl 2012-06-12T00:12:08Z 2012-07-03T06:46:36Z <p>The answer to question (2) is</p> <ul> <li>no for $n=6$,</li> <li>yes for $n=7$.</li> </ul> <p>For $n=6$, take, for example, the following six points as vertices of a straight-line (stick) embedding of $K_6$:</p> <p>$A = (-2,-2,1), B= (2,-2,0), C= (0,2,0), D= (-1,-1,0), E= (1,-1,1), F= (0,1,2)$</p> <p>The projection onto the $xy$ plane has crossing number $3$. </p> <p><img src="http://www.freeimagehosting.net/newuploads/7a4xs.png" alt="a projection of K_6 with crossing number 3"></p> <p>Moreover, the crossings are between disjoint pairs of edges. Therefore, since every nontrivial knot has at least three crossings, there is at most one possible cycle that could form form a nontrivial knot; that is, the cycle $AECDBF$ formed by the six edges participating in the crossings. But by the above-below relations at the crossings, this cycle clearly forms an unknot.</p> <hr> <p>For $n=7$, <a href="http://onlinelibrary.wiley.com/doi/10.1002/jgt.3190070410/abstract" rel="nofollow">Conway and Gordon</a> proved that every embedding of $K_7$ in $\mathbb{R}^3$ contains a Hamiltonian cycle forming a nontrivial knot, using the parity of the sum of the quadratic terms of the Conway polynomials of the Hamiltonian cycles as an invariant.</p> <p><strong>Edit:</strong> See also <a href="http://www.springerlink.com/content/b08xjkcw3av83qyr/" rel="nofollow">J. L. Ramirez Alfonsin, Spatial Graphs and Oriented Matroids: the Trefoil, Discrete and Computational Geometry 22:149--158 (1999)</a> for the following stronger result: </p> <blockquote> <blockquote> <p>Every stick embedding of $K_7$ in $\mathbb{R}^3$ contains a Hamiltonian cycle forming a (left-handed or a right-handed) trefoil.</p> </blockquote> </blockquote> http://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easy/99326#99326 Answer by John Engbers for Stick knot questions: simple but may not be easy John Engbers 2012-06-12T01:02:15Z 2012-06-12T01:02:15Z <p>A paper by <a href="http://www.calvin.edu/~venema/pdfs/Six-Chains.pdf" rel="nofollow">Gerard Venema and Tom Clark</a> classified stick knots with 6 segments (using the lengths of the segments); they are using chains for their knots.</p>