{"entities":{"Q713040":{"pageid":714889,"ns":120,"title":"Item:Q713040","lastrevid":57153156,"modified":"2026-03-26T19:54:11Z","type":"item","id":"Q713040","labels":{"en":{"language":"en","value":"Boundary-twisted normal form and the number of elementary moves to unknot"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098854"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713040$0922E6E5-1964-4C0E-8C74-568E9EAB1DE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8b0e9730aa198957dee67527b71435ac6dd0a4e","datavalue":{"value":{"text":"Boundary-twisted normal form and the number of elementary moves to unknot","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q713040$6EB7853B-C2CA-4D2E-A094-3EE6013ADCF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb3a0e052a6c05aedd3dc091592e3242eab4fbec","datavalue":{"value":"1257.57025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713040$C736537B-F73B-4BFD-958C-4C014F020CB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23044c1e48657a48d1f0c6eb29c08d6a1fbd36b7","datavalue":{"value":{"entity-type":"item","numeric-id":713039,"id":"Q713039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713040$FE3E79AC-1592-4249-9E6C-FCFF6C9CC5F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67c80c0302a3afef383579ecf23bcd6250b145c1","datavalue":{"value":{"entity-type":"item","numeric-id":168484,"id":"Q168484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713040$D1BE2156-416F-4314-A115-44C13435CE85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a1506ab7ce1f53f78adaf1a8c5bad8d6fc9e1d6","datavalue":{"value":{"time":"+2012-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q713040$221A6227-0F1B-4F9E-AE73-7D32B8107AB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"214e43dd30dc39e4bc358528b5f18fb9e2674626","datavalue":{"value":"https://arxiv.org/abs/1010.4101","type":"string"},"datatype":"url"},"type":"statement","id":"Q713040$2EBD9991-22CE-417A-A799-4D56B22707C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4183f9ce272104df532c75b8d9504225412d5d1f","datavalue":{"value":"http://www.emis.de/journals/NYJM/j/2012/18-22.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q713040$A020A5A3-5BBD-4861-ABF7-A6FB471E6B61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47e5c2be2f8440e0e10527a91fe7eb8ac2245419","datavalue":{"value":"Let \\(M\\) be a triangulated, compact 3-manifold with \\(t\\) tetrahedra, \\(K\\) a simple closed curve in the 1-skeleton of the triangulation which is an unknot, that is, it bounds a disk in \\(M\\). It is known that \\(K\\) can be isotoped in \\(M\\) using polygonal moves across triangles, called elementary moves, until it is the boundary of a triangle contained in a tetrahedron.  \\textit{J. Hass} and \\textit{J. C. Lagarias} [J. Am. Math. Soc. 14, No. 2, 399--428 (2001; Zbl 0964.57005)] obtained an upper bound of \\(2^{10^7t}\\) for the minimum number of such elementary moves. To do so they take a double barycentric subdivision of the triangulation and then use normal surface theory.  In the present paper the author considers a normal form for surfaces whose boundary is contained in the 1-skeleton of a triangulated 3-manifold; in this way the use of a retriangulation and subsequent isotopies related to a regular neighborhood \\(N(K)\\) of \\(K\\) are avoided. This not only simplifies the proof but improves the upper bound on the number of moves to \\(2^{120t+14}\\). A corollary of bounding the number of elementary moves is a bound on the number of Reidemeister moves needed to unknot a diagram of the trivial knot in \\(S^3\\) with crossing number \\(n\\). This result improves the bound given by Hass and Lagarias from \\(2^{10^{11}n} \\) to \\(2^{10^5n}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q713040$91669CD8-409B-4FC8-A0BF-D163C150894C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a9c5a42858bb021be553dec4962bda991a754379","datavalue":{"value":{"entity-type":"item","numeric-id":409552,"id":"Q409552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713040$CE77BCA2-B88B-4773-8EE7-7FAAC9CC234D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e40b5f30aaadc54b65eed7de37a8655f732babf","datavalue":{"value":"57M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713040$8DA9F4CF-71AE-48BB-8842-0D356B57051D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fd2e677adbf3c5d393403c254a42eb2ef993b52","datavalue":{"value":"57N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713040$9842270F-2C80-4CA3-BE5E-BB3A5FB7AA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713040$D5F53D20-DBB3-4D9F-BC28-6A0FB2E64C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0761be85482bc1d816b0c83be4283036f1aec8fc","datavalue":{"value":"57Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713040$BA7C06ED-3F7C-42E6-9B17-7B12421D298F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f3182243e995cf46137ff508465819796b8c675","datavalue":{"value":"6098854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713040$297BAD37-3152-47CE-B85A-645C640BC3B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f5c010908407fc1aed07227f9515019a6239f0","datavalue":{"value":"normal surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q713040$77FE9189-1420-426F-8A99-3A397B11FF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd3b97137fc5cddeb53bb49b8b441b42d47d65a","datavalue":{"value":"triangulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q713040$5D89805B-DDA6-4F71-86D3-531D273B9C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a91dab2dac67dc552eb1ad84fda88b2db16afadb","datavalue":{"value":"Reidemeister move","type":"string"},"datatype":"string"},"type":"statement","id":"Q713040$5BA21F4F-CAE4-4228-AF2A-DBC527DD7A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aac794b6235ea05fb078914931f717e4801a308","datavalue":{"value":"unknotting","type":"string"},"datatype":"string"},"type":"statement","id":"Q713040$E0252610-2A8F-4E4F-9E79-3130775CF365","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713040$4629DC3D-683D-4B12-8655-0F8EF591386A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72d76c939bda168bbd2a69a3cf12ced99cdbbb5","datavalue":{"value":{"entity-type":"item","numeric-id":2701705,"id":"Q2701705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dedbee086a7cb110545029ea865210c78bc5b0","datavalue":{"value":{"amount":"+0.9017936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$4848A85D-C75D-47E5-B993-1DE7ECA0C108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84fe3f4f9223767a33643e3409f0d1d6339dd92f","datavalue":{"value":{"entity-type":"item","numeric-id":977178,"id":"Q977178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c00d3f9fdb0703d1ec507f4ca058c2ce931195d","datavalue":{"value":{"amount":"+0.7604778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$96D5B088-3D0D-4183-BD2F-C5704915547A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d499f8eb4c679502d7b6ad29fefe015734a359ab","datavalue":{"value":{"entity-type":"item","numeric-id":1293092,"id":"Q1293092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed686e90fe948174b3ee5b8ceabd80cd2492c69e","datavalue":{"value":{"amount":"+0.7432296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$F68C9C46-0A2A-4372-9125-5F48BE144481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe01e539ae48659ab3b76bf5e30471bcb1899d45","datavalue":{"value":{"entity-type":"item","numeric-id":1779178,"id":"Q1779178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26aaad83ca01a98bff95c8f46e18428facef0bfb","datavalue":{"value":{"amount":"+0.74209225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$2325A045-792B-4653-9DE5-79F13B105202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640055ebb5c3dc75309d1964d66fca53ddda0f05","datavalue":{"value":{"entity-type":"item","numeric-id":4557403,"id":"Q4557403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8994d51918c991ffd700a80f10adb131e133ef5e","datavalue":{"value":{"amount":"+0.7404473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$E94CF534-9DA7-4377-A79C-235EB1A409E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be714502624dc7d62736ccc38bb7331e8efd89c6","datavalue":{"value":{"entity-type":"item","numeric-id":812530,"id":"Q812530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642eaa256bc57de988bab46dfe13fc43e66df66e","datavalue":{"value":{"amount":"+0.73174226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$17F2A9B4-6CC8-413E-A5AA-5AB689FFB6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36bcb2d81017ace384833af59b5a6bb128a2d413","datavalue":{"value":{"entity-type":"item","numeric-id":5291347,"id":"Q5291347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f67cab03d2fc0fe65c0f2642a90051b427c56a6","datavalue":{"value":{"amount":"+0.731402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$D50C4696-E84D-4F76-9153-8B879174D475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15dd940c0300e6a0a501ddae75fcf9687e1a95f6","datavalue":{"value":{"entity-type":"item","numeric-id":2879440,"id":"Q2879440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8348b7ec57aef5286035c16ad5d7a73f3f8edd9f","datavalue":{"value":{"amount":"+0.7289998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$EC343FB7-858F-4449-AF3F-81C68D6A756E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849da5e9a1ae236d1233171914cc45c1d937ede9","datavalue":{"value":{"entity-type":"item","numeric-id":499087,"id":"Q499087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8abd6e1221e814b2dc9b5bdfe03196073099dd","datavalue":{"value":{"amount":"+0.7076596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$FA3B21BB-ED04-4A87-894C-EFC59D90A0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad79b9b093ec53b616fc946e1bf43ce370f73d3","datavalue":{"value":{"entity-type":"item","numeric-id":2928634,"id":"Q2928634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be43a197153a8c3a9a63ef3b0cec6e1a63e14124","datavalue":{"value":{"amount":"+0.70336986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q713040$71B1AA14-1B56-4E0C-A72D-0F97563AE506","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"23e9f824dab210b0666f4e05dcd6e554f6f3f6fb","datavalue":{"value":"bafkreif3qhxcpc665f4lqygaio37p6wy3hd4eacycidcrm2xobsqu6uf2a","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713040$E1BAEB3E-4EC9-442D-8052-41F8CC7170FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:713040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:713040"}}}}}