{"entities":{"Q6566688":{"pageid":14177843,"ns":120,"title":"Item:Q6566688","lastrevid":57477399,"modified":"2026-03-31T02:37:17Z","type":"item","id":"Q6566688","labels":{"en":{"language":"en","value":"Density of metric small cancellation in finitely presented groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7875679"}},"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":"Q6566688$A217828C-212F-4512-A724-56C488393778","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be58e38a6da9c5fa80ed2cd753f38f202220bd74","datavalue":{"value":{"text":"Density of metric small cancellation in finitely presented groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6566688$C12F3160-AAAF-41AB-9AEB-BA6683B0E736","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9cac715acdc18cb315242bbe40dd6fd85488d57","datavalue":{"value":{"entity-type":"item","numeric-id":2278263,"id":"Q2278263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$9C307493-4B4D-4D1C-9293-B84E3CA15485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad1cbf51e474a938a583e059f4d4141f47c2e59","datavalue":{"value":{"entity-type":"item","numeric-id":254314,"id":"Q254314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$808B54AC-A21D-42AC-AB34-E1BE539FAACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0747c0fb4affe3e597a4fe69d68f3c30f5daa99e","datavalue":{"value":{"entity-type":"item","numeric-id":6566683,"id":"Q6566683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$7155638F-AC2B-4AA6-B70E-DCE01C20A6C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4e5fd9088d0a28713c4508e54b99005eee6af7a","datavalue":{"value":{"time":"+2024-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6566688$91B442E4-D8CC-41E9-954F-0852C14D8A81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b91861fdddbaffee7a30a381be19ad45d5c76c94","datavalue":{"value":"Let \\(G=\\langle X \\mid W \\rangle\\) be a finitely presented group with \\(|W|=r\\) generators and \\(|R|=m\\) relators. If the presentation of \\(G\\) satisfies the metric small cancellation condition \\(C'(\\lambda)\\) (\\(\\lambda \\in ]0,1[\\)), then \\(G\\) has many desirable algebraic and algorithmic properties. For example \\textit{M. Greendlinger} [Commun. Pure Appl. Math. 13, 641--677 (1960; Zbl 0156.01303)] showed that if \\(G\\) satisfies the \\(C'(1/6)\\) small cancellation condition, then \\(G\\) has  the word problem and the conjugacy problem uniformly solvable in linear time by Dehn's algorithm.\\N\\NThe authors prove the following results:\\N\\NTheorem 1.1: There is a function \\(p_{\\lambda}^{\\leq}(r,\\ell_{1},\\ell_{2}, m)\\) given by a closed-form formula such that a presentation chosen uniformly at random from the set of all presentations of the form \\(\\langle X \\mid W \\rangle\\), where \\(|X|=r\\), \\(|W|=m\\) and \\(\\ell_{1} \\leq |w| \\leq \\ell_{2}\\) for each \\(w \\in W\\), is power-free and satisfies the metric small cancellation condition \\(C'(\\lambda)\\) with probability at least \\(p_{\\lambda}^{\\leq}(r,\\ell_{1},\\ell_{2}, m)\\). Moreover, we have\\N\\[\\N1-p_{\\lambda}^{\\leq}(r,\\ell_{1},\\ell_{2},m) \\leq 8m^{2}r\\ell_{2}^{2}(\\ell_{2}-\\ell_{1}+1)(2r-1)^{-\\lambda \\ell_{2}-1},\\N\\]\\Nand thus \\(\\lim_{\\ell_{2} \\rightarrow \\infty} p_{\\lambda}^{\\leq}(r,\\ell_{1},\\ell_{2},m)=1\\) for each fixed \\(r \\geq 2\\), \\(\\lambda\\) and \\(m\\).\\N\\NTheorem 1.2: There is a function \\(p_{\\lambda}^{\\geq}(r,\\ell, m)\\) given by a closed-form formula such that a presentation chosen uniformly at random from the set of all presentations of the form \\(\\langle X \\mid W \\rangle\\), where \\(|X|=r\\), \\(|W|=m\\) and \\(|w|=\\ell\\) for all \\(w \\in W\\), is power-free and satisfies the metric small cancellation condition \\(C'(\\lambda)\\) with probability at most \\(p_{\\lambda}^{\\geq}(r,\\ell, m)\\). Moreover, for each \\(m \\geq 1\\) and \\(r \\geq 2\\), we have\\N\\[\\N\\ln(1/p_{\\lambda}^{\\geq}(r,\\ell, m)) \\geq \\frac{1}{8}(m-1)^{2} \\ell (2r-1)^{-\\lceil \\lambda \\ell \\rceil},\\N\\]\\Nthat is, \\(p_{\\lambda}^{\\geq}(r,\\ell, m)\\) is not simply the constant function 1. Notice that from Theorem 1.1 we have \\(\\lim_{\\ell \\rightarrow \\infty} p_{\\lambda}^{\\geq}(r,\\ell, m)=1\\) and thus \\(\\lim_{\\ell \\rightarrow \\infty} \\ln (p_{\\lambda}^{\\geq}(r,\\ell, m))=0\\).\\N\\NIn the interesting Appendix A, the authors compare their theoretical results with experimental data. In particular, they provide several heat maps which show how their bounds change when they vary the parameters of the presentation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566688$50023C03-5E63-4628-A605-6F8868AAB5A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84143e6334371c8e3cbc935219640b812b5c932b","datavalue":{"value":{"entity-type":"item","numeric-id":258043,"id":"Q258043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$772AFCFB-3C01-4A81-A8EB-E7DAA69210AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566688$53A7C9CE-C7B6-41B6-A9BB-F0F28F3925CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566688$7DF669E7-87A1-40EC-870A-D390313C8F28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf05c3deea013738a8f132064a7ee7b62c241153","datavalue":{"value":"7875679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566688$72E630F0-5D3D-413B-A10E-64A99A25CCE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d4836dab67ec6d377d7d3ccdb65a585787ef48","datavalue":{"value":"finitely presented group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566688$CEBFD065-605D-4B41-AFAB-DDCCA9D69A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ba984ad889c4f76c49433a3bbf247e3ae90f151","datavalue":{"value":"random group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566688$DD7B18EF-958C-47A5-A59E-8E2693DBD5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b5f4be3c43487afcb1a2d28c4b5b0932ae0f3f","datavalue":{"value":"small cancellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566688$9FD2C9A5-907D-4D86-9218-B9C5CDB5735B","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":"Q6566688$60653BB6-D09B-4FD1-9BB4-AB8FA61EEB13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ced9f72e386675c69a61ee851aee39c095db7a2","datavalue":{"value":{"entity-type":"item","numeric-id":2944010,"id":"Q2944010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$C2EA5346-0F22-4C65-BDB9-4DAB4843EC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c200ffb754ddd84baf5125c5ddf2b85a47ab10d","datavalue":{"value":{"entity-type":"item","numeric-id":5537378,"id":"Q5537378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$C92DF621-D450-455C-BBE1-167853E91832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb393766e2e73ebd6c8ca5c07a8e086a87c416b","datavalue":{"value":{"entity-type":"item","numeric-id":2869266,"id":"Q2869266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$08F1E974-3FD5-4E4C-A864-C53994E3B2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a964239d52d7016f801109d626ae55d9cb41fd","datavalue":{"value":{"entity-type":"item","numeric-id":3375561,"id":"Q3375561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$EF5B04DD-A1DC-48E5-960C-596B0209F003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68981f2f5ef86a8722e60373e572a116dd1742ea","datavalue":{"value":{"entity-type":"item","numeric-id":716406,"id":"Q716406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$ECBFDA20-5AFD-4E41-8162-DE827DAF29FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64acb549757d86060847156c6166d33abc718691","datavalue":{"value":{"entity-type":"item","numeric-id":2432561,"id":"Q2432561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$511BD8E6-8603-48B6-98EC-E1EC52C1BB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b33cb1a3bd9cff19971b7f9035c1ca151a659b9","datavalue":{"value":{"entity-type":"item","numeric-id":3617415,"id":"Q3617415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$C9D0C76C-0439-4651-ABA9-DA71FEDF8E7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cb0b0a9a3753e8a84b59065f1badb801a884035","datavalue":{"value":"10.46298/JGCC.2020.12.2.6200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566688$9FAACC7B-98F7-4F02-BA95-BA880EB1D99A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e42d2bf01b2280410f34ca86298aa471b603e6","datavalue":{"value":{"entity-type":"item","numeric-id":5292264,"id":"Q5292264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9376ebfe3ae1f1448ed32c3773a1fcc1fe687f85","datavalue":{"value":{"amount":"+0.8112768530845642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6566688$1F60441D-D8CB-413F-821A-92BA56FC5623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19960823486ca34717b12d24c1cd69bdb49f862c","datavalue":{"value":{"entity-type":"item","numeric-id":2102169,"id":"Q2102169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8fe6381b82fd3923d02a4d45e5fc2dd56df61a","datavalue":{"value":{"amount":"+0.7832000255584717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6566688$EF576F77-7915-4A2C-BE08-793ACF7DCAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ddacd57394a7e2ce7ad55559424b35962591ef","datavalue":{"value":{"entity-type":"item","numeric-id":472157,"id":"Q472157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371798edcfbfd311bc594ee722bb53c0d0982efd","datavalue":{"value":{"amount":"+0.7761985063552856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6566688$1583B495-31AA-4E7A-85F6-A127E37BA31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0665d5932b4f69586045e1f60667430f9573599","datavalue":{"value":{"entity-type":"item","numeric-id":936141,"id":"Q936141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e506a58dd3d62ea8aee1430ce7ea8cb446e26ff","datavalue":{"value":{"amount":"+0.774102509021759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6566688$F2AB95A3-45B4-435D-B330-22F1A684C83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6fd7b563186fead2a6790ded964655dc724cd1","datavalue":{"value":{"entity-type":"item","numeric-id":2975245,"id":"Q2975245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b2c8d286aa853bb30a3586e790476a21c5ff2c","datavalue":{"value":{"amount":"+0.7586522102355957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6566688$A046BB5C-3461-4B96-AC70-FA1E03780A4D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566688$B6672BD7-4DAC-4CF2-A197-DC107274000D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6566688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6566688"}}}}}