It is well known that knot diagrams cannot be monotonically simplified using Reidemeister moves. For instance, the Goeritz unknot cannot be directly simplified. On the other hand, there is a stronger move that 3-manifold topologists sometimes use, called the "under move": take a section of the knot that has only under crossings, and replace it with another under-strand connecting the same two endpoints. We can use this to simplify the Goeritz unknot one step:

Question: Can every diagram of the unknot be monotonically simplified using only under moves (or maybe under and over moves)?

Probably one needs to allow level moves as well.

This is related to an earlier question: Are there any very hard unknots? My move is more precise than that one, and Haken's "Gordian knot" can be simplified at least one step using a few level under-moves and then a reducing under-move on the right-hand side.

(I was wondering about this during a talk by Prasolov on his amazing work with Dynnikov on similar questions in the context of grid diagrams. Surely someone has considered this before.)

$\begingroup$I'd imagine you could ensure over/under moves are insufficient by doing something like a Whitehead doubling operation on your original knot. Or a cabling.$\endgroup$
– Ryan BudneyOct 8 '14 at 22:36

2

$\begingroup$A more general question: Is there some (natural) set of moves that can monotonically simplify any knot?$\endgroup$
– Joseph O'RourkeOct 8 '14 at 23:00

3

$\begingroup$Joe, that more general question is basically Gowers' question in the earlier question I linked to. Basically the answer is no one has one for knot diagrams, but grid diagrams provide an alternate setting where the answer is yes. (But you also contributed to that discussion, so I guess you know this.)$\endgroup$
– Dylan ThurstonOct 9 '14 at 3:55

2

$\begingroup$@IanAgol: If I don't misinterpret the diagram, there is an over move that reduces the number of crossings by 2: look at the rightmost upper corner and take that whole horizontal strand and slide it down to the bottom. If you're careful, you go from crossing four double-strands to crossing three.$\endgroup$
– Marco GollaOct 9 '14 at 7:22

3

$\begingroup$Gordon gave them to me a long time ago when I was a grad student thinking about grid diagrams of unknots. I think Doyle told me that Conway had a belief that one could untie an unknot using the sorts of moves you describe. I'm not sure this question ever got in the literature, but I suspect it is still open. If the strict decreasing moves worked, it would probably give a polynomial unknotting algorithm. But it's not so clear if there is only monotonic simplification.$\endgroup$
– Ian AgolOct 9 '14 at 14:02

2 Answers
2

This is just a comment. The same week (!) when Dylan asked this question, we received at our department a message from a non-professional mathematician who wrote a computer program that tries to simplify knots using level moves. (A "level move" is like an under move, but there can be more strands lying below the arc that you move.) He says that he tried all unknots he could find on the web and they can all be fully monotonically simplified in very little time (the crossing number strictly decreases at each step, as far as I see).

For instance, the Gordian knot (shown below) can be fully monotonically simplified using level moves.

His program produces nice understandable pictures, and looking at them you can easily follow the moves that unknot the knot. These are available here

He actually wrote to us to ask for more examples to test the program with (there are not so many ready-to-use examples around), so if you know more hard unknots please share them (here or somewhere else)

$\begingroup$What happens when you run this program on a heavily twisted version of non-trivial knot, something like (Gordian unknot)#Trefoil? Does the program monotonically decrease the crossing number until you get to a more or less canonical representation of the knot?$\endgroup$
– MichaelNov 4 '14 at 17:08

$\begingroup$I don't know (I still haven't seen the program running), but if you perform the diagram connected sum I suppose it simplifies the knot exactly as before. One should try some hard version of the trefoil knot...$\endgroup$
– Bruno MartelliNov 4 '14 at 19:43

1

$\begingroup$Things that are obvious to humans are not necessarily obvious to computers, so there is a possibility for a connected sum to get tangled. However, you are right, that would be a too easy a test. How about this one: consider the usual embedding of a torus in $R^3$ and let the trefoil (or any torus knot) run over that torus as usual. Then take that torus and tangle it into the thick version of the Gordian unknot. That would lead to a seriously tangled trefoil.$\endgroup$
– MichaelNov 4 '14 at 21:23

$\begingroup$That's pretty nice, thanks for the pointer. The program looks pretty effective, and I'm curious what it does on that satellite trefoil.$\endgroup$
– Dylan ThurstonNov 5 '14 at 15:53

I recall a discussion on this question on math.sci.research quite a few years ago. John Conway had tried various moves to supplement Reidemeister moves. If I recall correctly, his guess was that no finite collection of moves will give monotonic simplification.

The Goeritz unknot below admits a simplifying move along the dashed arc shown. If one takes its untwisted double (as Ryan suggested) one again gets an unknot. (I hope I got the twists right below, but if not then adding twists shouldn't hurt). I don't see any obvious simplifying moves, or even any helpful lateral moves, for the bottom diagram.

Added: Marco correctly points out that while the doubling construction destroys the simplification at top left, it does not kill the one at bottom right. There is nothing to stop one from doing an additional untwisted doubling, with the clasp put at lower right. Perhaps that will do the trick.

$\begingroup$I think there's a simplifying move, and I'll try my best to describe it. Take the inner strand running along the right-hand, bottom-most corner, and drag it below the three crossings on the right. This should eliminate two crossings while gaining only one (with the "twin" strand).$\endgroup$
– Marco GollaNov 28 '14 at 15:47

$\begingroup$You can do some level moves to move the clasp around, then do the over or under move that was there before.$\endgroup$
– Dylan ThurstonNov 30 '14 at 5:05

1

$\begingroup$As suggested by Marco, this knot can be fully simplified via level moves, see zanellati.it/knot/Satellite_knot.pdf I just got this information from the author of the program who is following this page, so drawings of more complicated unknots are welcome :-) It would be interesting to try one more additional doubling as suggested by Joel...$\endgroup$
– Bruno MartelliDec 3 '14 at 17:09