[math-fun] Sullivan spooky knot untangler

In the Freedman-He-Wang paper* this theorem is on p. 26:

----- THEOREM 4.3. Let K be an irreducible knot. There exists a simple loop

g_K: S^1 -> R^3

with knot-type K such that E(g_K) < E(g) for any other simple loop

g: S^1 -> R^3

of the same knot type. -----

--Dan ____________________________________________________ * "Mobius Energy of Knots", Michael H. Freedman, Zheng-Xu He and Zhenghan Wang, Annals of Mathematics, Second Series, Vol. 139, No. 1 (Jan., 1994), pp. 1-50.

--also it is claimed the g_K energy-minimizing embedding will be "nice" meaning C[1,1] continuity class.