{"entities":{"Q2879440":{"pageid":2890160,"ns":120,"title":"Item:Q2879440","lastrevid":83889155,"modified":"2026-05-07T13:32:22Z","type":"item","id":"Q2879440","labels":{"en":{"language":"en","value":"An upper bound on Reidemeister moves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6337019"}},"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":"Q2879440$1460C659-9A28-490A-8F28-EA4E3ADA3914","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05ca0eb26c60b87151dded92a31a9d4f5ca88c81","datavalue":{"value":{"text":"An upper bound on Reidemeister moves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879440$27B50BB8-F3E3-4C6E-943D-B9833D3F767B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f1a3fa6f634a76edcff33814d3ed11819c59682","datavalue":{"value":"1301.57004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879440$45A54A8E-E65F-4214-82BA-F8AF4C8138BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e86dc1202f89f0d42fa307d1675639ed0f86843b","datavalue":{"value":{"entity-type":"item","numeric-id":633005,"id":"Q633005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879440$D30F2384-0052-4B23-9FDC-B4BCA7282ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b7c26f48219f798c257adf4d2eaccd9ad84453f","datavalue":{"value":{"entity-type":"item","numeric-id":243424,"id":"Q243424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879440$29F51EE2-90AE-426D-AC54-E87B52AB14B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1add02162fef49a66552187e850c2369475498a6","datavalue":{"value":{"entity-type":"item","numeric-id":559377,"id":"Q559377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879440$7B99A713-9162-42EF-8E4C-88059F20F701","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e981d5152e02fb200053837db280f6ef549afb6","datavalue":{"value":{"time":"+2014-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879440$BED640FE-0527-464E-9550-CDE9F75F2281","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f91c5732712b3c74797dd20b195f2ce0acc0270c","datavalue":{"value":"https://arxiv.org/abs/1104.1882","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879440$5FC2C848-BF6F-4930-A11A-CFB2D5456BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3722357ebbf9260df13f6643ddf6226a2b24efe","datavalue":{"value":"http://muse.jhu.edu/journals/american_journal_of_mathematics/summary/v136/136.4.coward.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879440$5D111898-ED32-432C-9581-EFAE36263CE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f912cc4f5542455896ae293f2d98d28b2477a66","datavalue":{"value":"57M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879440$9809E672-8CBB-4196-A56E-26FA2A8606CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879440$5B2C2583-F34E-48EB-91B6-D976F617538B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c2006fdeaf42198f4701ed610cae7ff6f18d18b","datavalue":{"value":"57Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879440$2AAF9775-A5E0-45CD-8892-109B425C06F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fe4e939c0dc13c780ba98cb4d57924f0c3f8db6","datavalue":{"value":"6337019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879440$796354B9-F9E7-4AA7-8897-7A921FD52A27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a91dab2dac67dc552eb1ad84fda88b2db16afadb","datavalue":{"value":"Reidemeister move","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879440$561899EE-05F8-431B-A4E6-EDFA52578D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87adbfd7ee8a527c1780df024ca14ed7d661c7bb","datavalue":{"value":"Pachner move","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879440$BE64A810-42B6-45FE-8FBF-84C7E38767EC","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":"Q2879440$6FE78333-1788-4C21-BBE9-2A13833DE4B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6248566956b46d5a36dba7e2c7c079fb25db9d5","datavalue":{"value":"W2017331367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879440$977A594B-9182-4445-A911-823F6A071900","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cad4e8c709c06c81b418cc2fdb7523927bef2e85","datavalue":{"value":"Q56474487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879440$1237EC94-8A03-4F4E-B660-E0C5C6B9551E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cdd2c62e318f9ebab6a48bfac7cbfe3975b1f2e","datavalue":{"value":"10.1353/AJM.2014.0027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879440$01AB6AB3-D81B-4DF5-9D00-2D5A868907AB","rank":"normal"}],"P1643":[{"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":"e78407553815bea8442b83e08502f5371e4fa738","datavalue":{"value":{"amount":"+0.7942381","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":"Q2879440$3AE374CF-68CC-4A24-B8E1-8AF20E8BD110","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":"e8285842e05cfdce795b5e8d52c4f6a3b9c18110","datavalue":{"value":{"amount":"+0.7922692","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":"Q2879440$74FA4142-0CDC-4598-BD08-29A95B360EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509f341e5b9d52b88f1334371aaa846c4e5d237e","datavalue":{"value":{"entity-type":"item","numeric-id":371262,"id":"Q371262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19cbcec8ed21e4678d393f83b4f95c5705d1573","datavalue":{"value":{"amount":"+0.76042426","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":"Q2879440$C47668BB-78A9-42BD-8E65-497B3D082C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e40eb928b9861fd9ea02b6c1d4d59d60771189bd","datavalue":{"value":{"entity-type":"item","numeric-id":5093378,"id":"Q5093378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d48ff436e7c5a0298c6330f8d9150b68ca0c893","datavalue":{"value":{"amount":"+0.75745624","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":"Q2879440$69AE9A5A-7036-481D-A998-A3FAE6136F35","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":"ec72104af9b54a21736c880731fd7e6cb9fe30ca","datavalue":{"value":{"amount":"+0.7469257","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":"Q2879440$C4E73E1F-E5FC-429A-B061-B1D84CA3E486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1620a7fddcd83ce8a0c2c3d5fb064bb046c1819a","datavalue":{"value":{"entity-type":"item","numeric-id":2878656,"id":"Q2878656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1e79da29d514f0b3e26c5555217e5d8f3409a6","datavalue":{"value":{"amount":"+0.7462648","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":"Q2879440$E587DE6E-49B7-4112-B776-99A95D8C1FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4236bd86eb92852b4f6c5ffce3c26d599323f812","datavalue":{"value":{"entity-type":"item","numeric-id":749925,"id":"Q749925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c34c8af174b190a6fae2bf531085ad4c8a00f82","datavalue":{"value":{"amount":"+0.7429729","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":"Q2879440$8BBF28F1-BE7B-4571-9ADA-EB2BB2D4ECCB","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":"e8985fac25dac9b5e95eefe0c543676e2a5ff666","datavalue":{"value":{"amount":"+0.7397405","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":"Q2879440$53E3F166-BAFA-4226-A1B1-6DFE9FE8E51E","rank":"normal"},{"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":"c65182273549968ad0973f367f6318689df67aaa","datavalue":{"value":{"amount":"+0.73346615","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":"Q2879440$3EA8B849-A479-4903-9EF2-75C73D1112E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35cd478ff6868ddc158401c1de20b44276ccc9ac","datavalue":{"value":{"entity-type":"item","numeric-id":713040,"id":"Q713040"},"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":"Q2879440$D7CBFD42-B52E-46CC-B350-1A2DC7802A44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c7b1178d1359ca29e49a57e9e13f152fae91d6a","datavalue":{"value":"The paper under review gives a remarkable upper bound for the number of Reidemeister moves changing one diagram to another one of the same link. As a preceding work, \\textit{J. Hass} and \\textit{J. C. Lagarias} [J. Am. Math. Soc. 14, No. 2, 399--428 (2001; Zbl 0964.57005)] showed that any unknotted knot diagram with \\(n\\) crossings can be transformed to the trivial knot diagram using at most \\(2^{cn}\\) Reidemeister moves, where \\(c=10^{11}\\). Thus the present paper answers the general case. Here is the precise statement. Let \\(D_1\\) and \\(D_2\\) be connected diagrams of the same knot or link, and let \\(n\\) be the sum of their crossing numbers. Then \\(D_2\\) can be obtained from \\(D_1\\) by at most \\(\\mathrm{exp}^{(c^n)}(n)\\) Reidemeister moves, where \\(c=10^{1,000,000}\\). The function \\(\\mathrm{exp}(n)\\) is the exponential function \\(2^n\\), and \\(\\mathrm{exp}^{(r)}(n)\\) is its \\(r\\)-fold iteration. This also gives a simple solution to the equivalence problem of links.NEWLINENEWLINEThe argument uses triangulations and Pachner moves. It is known that any two triangulations of a PL manifold are related by a sequence of Pachner moves. The key is a result of \\textit{A. Mijatovi\u0107} [Math. Res. Lett. 12, No. 5--6, 843--856 (2005; Zbl 1083.57028)] which gives an upper bound for the number of Pachner moves required to pass between two triangulations of a link exterior. But Mijatovi\u0107's result is not sufficient here, so a strengthened version is prepared.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879440$077CFDF9-291F-46F2-82CE-A5713236EBE6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac4149b58c2e1c4e279492b7b2c4f27f88d8ee34","datavalue":{"value":{"entity-type":"item","numeric-id":402732,"id":"Q402732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879440$01940343-882D-4F80-8638-AB762734D03B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An upper bound on Reidemeister moves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_upper_bound_on_Reidemeister_moves"}}}}}