Not quite, since most topological transformations can’t be done on actual physical objects. (I would love to see some of those wood and string puzzles try to implement some of these style of topological puzzles though, that would be awesome if it was possible.)
Most of the wood and string puzzles fall under knot theory specifically, rather than topology. The main trick I’ve seen used in those puzzles is they have knots with an even number of crossings and therefore they can be separated (I believe the formal term might be “they have ambient isotopy to unlinked unknots”, but there’s a lot of subtlety I don’t get, so that’s probably wrong) but the knots are deformed to look like two distinct knots, each with an odd number of crossings (a knot with an odd number of crossings cannot be separated). Our intuition tells us “one inseparable knot plus another inseparable knot equals a single, bigger, still inseparable knot”, but that’s knot the case.
I'm not sure exactly what you're trying to say (I'm not sure what you mean by "separate" here), but your assertions seem incorrect. Knots can have even or odd crossing numbers, that alone will not tell anything about whether it is an "unknot" or not. Also, if you have two non-trivial knots and "join" them (ie each a knot in a circle, cut each circle in one spot and join the circles at the cuts) you will _never_ get an unknot.
I do research mostly in general topology and topological dynamics, but I don't really see how AI would help, producing homeomorphic (topologically equivalent) spaces is not really the point.
In general even presenting a topological space to a computer is not easy. This can be done for very good spaces, for example those admitting (finite) triangulations, and there are some algorithms there, but my understanding is that you run into undecidability issues very quickly. But for the kind of spaces I work with (which are usually compact metrizable connected, so way better than arbitrary topological spaces) there seems to be no hope to get a computer to work with them.
Yes! I’m working on this in my PhD research. Here’s a relevant Caltech lecture aimed at a general scientific audience, discussing use of ML to detect equivalent knots.
A pair of jeans with the leg holes sewn together, i.e. where the legs form one continuous tube, is topologically equivalent to a normal, unmolested pair of jeans.
You know the joke about how when you kiss someone, you’re temporarily forming a long tube with an anus at each end? A topologist friend heard that joke and immediately offered a conjecture that that shape is topologically equivalent to the shape you’d get if you connect a mouth to an anus.
This got the party discussing if there exists a homeomorphism between making out and eating ass. I agree, you really can’t trust topologists.
Normal jeans are homotopic to a cylinder with a point removed. Leg-sewn jeans are homotopic to a torus with a point removed. Both of these can be deformation retracted to a wedge of two circles (roughly: widen the puncture as far as you can).
It’s interesting to think about how the boundary components of the handcuffs are being transformed; this isotopy sends the inner boundary component of second link in the handcuffs to the outer boundary component!
You can tie network and power cables in really annoying ways that make it seem as if you welded the rack together after plugging the cables in and you can’t pull them out without an angle grinder :D
31 comments
[ 3.1 ms ] story [ 75.3 ms ] threadEdit:
2->3 also seems impossible. you basically move the hole around.
Most of the wood and string puzzles fall under knot theory specifically, rather than topology. The main trick I’ve seen used in those puzzles is they have knots with an even number of crossings and therefore they can be separated (I believe the formal term might be “they have ambient isotopy to unlinked unknots”, but there’s a lot of subtlety I don’t get, so that’s probably wrong) but the knots are deformed to look like two distinct knots, each with an odd number of crossings (a knot with an odd number of crossings cannot be separated). Our intuition tells us “one inseparable knot plus another inseparable knot equals a single, bigger, still inseparable knot”, but that’s knot the case.
In general even presenting a topological space to a computer is not easy. This can be done for very good spaces, for example those admitting (finite) triangulations, and there are some algorithms there, but my understanding is that you run into undecidability issues very quickly. But for the kind of spaces I work with (which are usually compact metrizable connected, so way better than arbitrary topological spaces) there seems to be no hope to get a computer to work with them.
https://m.youtube.com/watch?v=etNErJ1iuno
You can't trust topologists.
This got the party discussing if there exists a homeomorphism between making out and eating ass. I agree, you really can’t trust topologists.
Normal jeans are homotopic to a cylinder with a point removed. Leg-sewn jeans are homotopic to a torus with a point removed. Both of these can be deformation retracted to a wedge of two circles (roughly: widen the puncture as far as you can).
I miss topology.