{"entities":{"Q2286357":{"pageid":2297100,"ns":120,"title":"Item:Q2286357","lastrevid":71766870,"modified":"2026-04-14T00:24:38Z","type":"item","id":"Q2286357","labels":{"en":{"language":"en","value":"Building large free subshifts using the local lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154981"}},"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":"Q2286357$D1047577-7D66-4CE9-ABEA-2EEB79485DB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bd95257f95319a519c0d3d1b88cb5dd89083cbe","datavalue":{"value":{"text":"Building large free subshifts using the Local Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2286357$1D70630F-E74B-4E3F-A00E-8B54FC3A7493","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c44e1fdd46e8462f9f62490b051bbabf5ebdee6f","datavalue":{"value":"10.4171/GGD/528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286357$F0D3A966-3857-4E17-86EE-8655767DFC68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2492c774cc8e57e0398dc400af29bff5a70f0195","datavalue":{"value":{"entity-type":"item","numeric-id":294560,"id":"Q294560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286357$E288ABA8-8B79-44AD-B251-304A057EF699","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12e3e9652f934c7e19471889c1a9038496516295","datavalue":{"value":{"entity-type":"item","numeric-id":260093,"id":"Q260093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286357$6641C8F1-16E4-4D81-B394-1F865A52B71F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2286357$E97AA89A-9DDA-425C-9380-7A4642AEFFE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0eaa34ad6e859d959487d79315223ebf6971da64","datavalue":{"value":"https://arxiv.org/abs/1802.07123","type":"string"},"datatype":"url"},"type":"statement","id":"Q2286357$F13EC65D-F88E-4D38-BE9F-54EC550ED502","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"388445b09030738e9cce991d50cef5e1541db2ed","datavalue":{"value":"Summary: \\textit{S. Gao} et al. [Math. Proc. Camb. Philos. Soc. 147, No. 3, 579--592 (2009; Zbl 1217.03031)]  proved that every countably infinite group \\(\\Gamma\\) admits a nonempty free subshift \\(X \\subseteq 2^\\Gamma \\). Here we strengthen this result by showing that free subshifts can be ``large'' in various senses. Specifically, we prove that for any \\(k \\geqslant 2\\) and \\(h < \\log_2 k\\), there exists a free subshift \\(X \\subseteq k^\\Gamma\\) of Hausdorff dimension and, if \\(\\Gamma\\) is sofic, entropy at least \\(h\\), answering two questions attributed by \\textit{S. Gao} et al. [Group colorings and Bernoulli subflows. Providence, RI: American Mathematical Society (AMS) (2016; Zbl 1375.37036); Problems 11.2.4 and 11.2.5] to Juan Souto. Furthermore, we establish a general lower bound on the largest ``size'' of a free subshift \\(X'\\) contained inside a given subshift \\(X\\). A central role in our arguments is played the Lov\u00e1sz Local Lemma, an important tool in probabilistic combinatorics, whose relevance to the problem of finding free subshifts was first recognized by \\textit{N. Aubrun} et al. [Groups Geom. Dyn. 13, No. 1, 107--129 (2019; Zbl 1437.37014)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286357$9E193C73-81D5-491C-9206-979400A2B40D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34c9981031b4050d34fd5486f5e15e98964980d3","datavalue":{"value":"37B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286357$2EEBC6CD-C7FD-409C-AA27-F71ACDF5EE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286357$E36CE976-49D1-4152-B55B-043F86F1871A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1714136505949107cd3083722ae413b3d7176426","datavalue":{"value":"37B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286357$8A106DB4-5200-4E72-BC18-105DDFF85C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"505dab9721154d1029d881b944cbf9d233b6d0c1","datavalue":{"value":"05D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286357$50E3C906-A841-4C15-8C8A-1FF7A373E2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286357$B2BA9F8B-1EEE-465E-B738-5733284B4B2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99a1a704966121f54eacd39a139d40e7e224e4d1","datavalue":{"value":"7154981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286357$9E7709C6-09DA-4BF1-A496-A92DD8157F7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5adf0f4f565934f07c42bcf3680e9c042441b0","datavalue":{"value":"Lov\u00e1sz local Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286357$DBCCF5C9-15CD-4BFC-83B0-4FD93F12B657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e751ffee7e1a663a5df6a2919449f7631a652fe0","datavalue":{"value":"Hausdorff dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286357$A7C97066-A272-4A14-862C-E951EF030A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2e069b1a2184cd3b0f52ffa83b5fcb89125e86","datavalue":{"value":"entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286357$DF52686C-A163-48DC-A0F1-D7186B29E51D","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":"Q2286357$4A69405B-EF2C-43E4-85C1-52F68DBD7E0B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e81204fc3a64a3397b7abab33ea1b73c18811ec9","datavalue":{"value":"Q125026159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286357$0735912C-51CD-45E5-ABB7-32EAF540453C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1f512d1fe4eea0e69f5e76e13f17f382480d35","datavalue":{"value":{"entity-type":"item","numeric-id":4798171,"id":"Q4798171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286357$43CF6285-8F2E-40FA-ADFA-FB3884C0004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9208528a9398d42022a83d3910fdcc8477ab6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2784326,"id":"Q2784326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286357$2762CD23-3F7D-4E09-859A-FF5FE0A7DFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75aaf1163b63cd303f632f113a64c0a3395a981","datavalue":{"value":{"entity-type":"item","numeric-id":1733162,"id":"Q1733162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286357$3DFFDE16-52FE-41E6-A196-FCBDE2FB3BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d04a74f9ff68e6967de9828fa2bdd70f5006db","datavalue":{"value":{"entity-type":"item","numeric-id":2319876,"id":"Q2319876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286357$35B79727-EBA7-4DB0-9DBE-2EC1C1A5B0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4904139f75fe2c1bda79f5d493fa95016a9345","datavalue":{"value":{"entity-type":"item","numeric-id":3584346,"id":"Q3584346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286357$34CC9959-D7B9-4963-ACF8-A38DA363F0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3ad39178d25a54e8998dc2b898ef30827dd64f","datavalue":{"value":{"entity-type":"item","numeric-id":2908140,"id":"Q2908140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286357$5F3D3FCF-A434-4D11-A281-1061C8F9C84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af6897cf0210f16591904cf778bb4fb36d89297","datavalue":{"value":{"entity-type":"item","numeric-id":5122095,"id":"Q5122095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286357$727F2A17-9E6A-46B3-AFC2-AD7A0ECBD930","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf5574320cbe3d81de9c04016e8b64df0d1484d","datavalue":{"value":{"entity-type":"item","numeric-id":1733162,"id":"Q1733162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9670ce59c09899bdf9915e9c2f2222fa5d6d55e8","datavalue":{"value":{"amount":"+0.752755880355835","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":"Q2286357$C4083303-BA39-4331-9F28-7821C340B8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fea92c343c07abe30490bcb1e7d41c79e01919","datavalue":{"value":{"entity-type":"item","numeric-id":5261971,"id":"Q5261971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ead3f0996879cc983897e87f9a5e8605f0a2cf4","datavalue":{"value":{"amount":"+0.7317966222763062","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":"Q2286357$7EE5C2F2-974B-477F-BFA7-4BF497CBF9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7539cc7ebd0a89fb4ab668e76b74246a296b62ff","datavalue":{"value":{"entity-type":"item","numeric-id":6039561,"id":"Q6039561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac355b6f72709fb300edffdf5cb8fa5c3e7b597","datavalue":{"value":{"amount":"+0.7105798721313477","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":"Q2286357$A32E2B35-5427-481B-8F32-D56A69A5336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b7bd6f8c933436450bdf3fb9b96284b5e91008","datavalue":{"value":{"entity-type":"item","numeric-id":928462,"id":"Q928462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fc6a6dbe119f6da70974f274d1f4e0f44c657b","datavalue":{"value":{"amount":"+0.7075664401054382","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":"Q2286357$C39136C9-EBFC-47D6-9832-BC5496CA4E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2dcb5584ec4c22fe7a92bd326b39460ece199b","datavalue":{"value":{"entity-type":"item","numeric-id":2319876,"id":"Q2319876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2747dd7c29db85b43ee37728b188c6dc3560e47","datavalue":{"value":{"amount":"+0.7015824317932129","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":"Q2286357$F2EC3DB8-B63A-473C-ADB4-8EE03CA0EC4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Building large free subshifts using the local lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Building_large_free_subshifts_using_the_local_lemma"}}}}}