{"entities":{"Q445209":{"pageid":446976,"ns":120,"title":"Item:Q445209","lastrevid":61871883,"modified":"2026-04-11T02:13:54Z","type":"item","id":"Q445209","labels":{"en":{"language":"en","value":"Inverting the Furstenberg correspondence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6072007"}},"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":"Q445209$B4C8DC82-2C48-42CD-B438-3D2894C3F241","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86a78407ed96e24214b24987dcf0fd913450caeb","datavalue":{"value":{"text":"Inverting the Furstenberg correspondence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q445209$646F0FB6-8AEE-41CB-A3EC-378C5E322B1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b438de3edeea8b510aaf86289c2b650a1dabdf86","datavalue":{"value":"1257.37009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445209$EEAE4CF8-6355-421B-8864-957D52E7C1A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445209$51FF3203-952D-4960-8223-5FE8EF704877","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12360f81ee541e586ca46b53d6a0b87af7080802","datavalue":{"value":{"entity-type":"item","numeric-id":187060,"id":"Q187060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445209$157C0322-A9E6-40FC-83E9-1A3BE56126B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f259cf61d7c77bf32ed117699103d184bb54980e","datavalue":{"value":{"time":"+2012-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q445209$E1B30A4F-3E30-44B5-846F-14439276B62A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc42abd83c79d2ec88c771abe3711237d9acbb5f","datavalue":{"value":"https://arxiv.org/abs/1101.0575","type":"string"},"datatype":"url"},"type":"statement","id":"Q445209$14EF708A-8CD2-41D0-8398-046FB16AEF3B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1f527af6021fa2abbecdfd313d9268f87b4cbc0f","datavalue":{"value":{"entity-type":"item","numeric-id":241587,"id":"Q241587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445209$0F31FC5E-F9E4-40D8-9CFB-68AB52AEFD0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"91cb6986ddcf41bae6dd85a43f71829d301a1aed","datavalue":{"value":"37A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445209$087D5208-D8B1-4778-A5E3-6EBE5335FAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445209$65E682E8-F734-47E6-8A9B-C5B163D1E4D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239d59172b932f20096552e015ed3e0219c7ac2c","datavalue":{"value":"6072007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445209$60958E54-01E9-4BB8-8287-F8507F031918","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b265f605a5fd500973375b3fd24b0b1155d5a4b","datavalue":{"value":"Furstenberg correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q445209$1B31590F-F3B0-4007-8828-D67C1CCA0536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355346f4c8b108910cf819404d9812a1d6d77438","datavalue":{"value":"computable measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q445209$9F0C9663-71D5-4856-9BEE-A253AE54EE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66daa04c923026cfe87bd80e9355d1bd3e787600","datavalue":{"value":"generic point","type":"string"},"datatype":"string"},"type":"statement","id":"Q445209$95DA057F-30D4-4C23-921A-A22486C05F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57c992f97c86cfc2e1f4fb6f3d7b770a6faf298","datavalue":{"value":"computable generic point","type":"string"},"datatype":"string"},"type":"statement","id":"Q445209$4D119BC3-4946-4425-99F7-4B656C4EC8D6","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":"Q445209$FC773177-BD65-4C1F-84A7-B069E4FEDF50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31e9ce1da43db7f62a30969608ee474327549798","datavalue":{"value":"W2964318003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445209$911E8C7F-FD1E-482F-B43D-DF0635AAC09E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4c7652885800e44bf659ec11e9a403af1941dc2","datavalue":{"value":"10.3934/DCDS.2012.32.3421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445209$67F76C59-F211-4AF7-A159-E81B9E194CA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceac591a416c61b50529d4d4e6b57797c6808279","datavalue":{"value":{"entity-type":"item","numeric-id":4990352,"id":"Q4990352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f947c4778d1b8d2ec96b3ab41afd435130b5dc","datavalue":{"value":{"amount":"+0.7524417","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":"Q445209$8D9B6778-601E-49AC-A9AF-0B9C1EF7831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743677a13282250e239751b6963f64e68130379a","datavalue":{"value":{"entity-type":"item","numeric-id":3120196,"id":"Q3120196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9cdeeaa47836a24aa0e972cf68fcbb987cf489","datavalue":{"value":{"amount":"+0.75217956","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":"Q445209$8ED06942-6EC3-4175-89AA-F142C3C7412F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fab2a4f381503e4898097549cd63bc9553f617d","datavalue":{"value":{"entity-type":"item","numeric-id":1762356,"id":"Q1762356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a05526955d4b7a18ff207ec706eeca5e7235c1","datavalue":{"value":{"amount":"+0.7348449","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":"Q445209$72418A36-0E2B-4234-97B0-FF6ED278DEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d673ade6a14176867a6fde5e485857da72717ab8","datavalue":{"value":{"entity-type":"item","numeric-id":2017144,"id":"Q2017144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452220497140444e5dbd72333ef0eeecd37d9e75","datavalue":{"value":{"amount":"+0.7333361","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":"Q445209$ACEE2D6A-2FA8-4B92-BBB7-F53C0222BFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48ebd099fbdfca41cfbd9282ace3b5f8c4d29c4","datavalue":{"value":{"entity-type":"item","numeric-id":4410047,"id":"Q4410047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae3f4e9b9321ceb42e2945377ba79cd4c0d24f8","datavalue":{"value":{"amount":"+0.71762043","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":"Q445209$9942F6CC-08BE-4220-84D3-3CEC2192ED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3d0547a6cc15546a9a168f6d77ce5dbe03758a","datavalue":{"value":{"entity-type":"item","numeric-id":5298810,"id":"Q5298810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a844d19a7b0afeb1a6bf06cbcd1d730dda480e","datavalue":{"value":{"amount":"+0.71246266","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":"Q445209$551CCF5A-E0DA-4435-9141-A03516E7F745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1126b2fb78f0437fdc13b7f923dcbc258d2fce2f","datavalue":{"value":{"entity-type":"item","numeric-id":4485746,"id":"Q4485746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a30fb941bc13a41630838b3033a593e16dcf4b","datavalue":{"value":{"amount":"+0.711455","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":"Q445209$F238EFA5-C0F9-429E-8A47-36722BDA6EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69349b3482be9ca79eac0f4cbd41eb44d72b4de","datavalue":{"value":{"entity-type":"item","numeric-id":1308254,"id":"Q1308254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07d440ba1e1de6311ac4143946476f4f7decb51","datavalue":{"value":{"amount":"+0.7101279","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":"Q445209$19369E71-A1A7-4A9A-93E4-515AF6286E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c34efb695623b7c4829b08ccb7e613cbab44e6f","datavalue":{"value":{"entity-type":"item","numeric-id":2430772,"id":"Q2430772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f0400a651c6b105824391b1fd1b1f454c8097b","datavalue":{"value":{"amount":"+0.7083399","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":"Q445209$2529DA2F-FFB7-4DAA-8FEB-ED53D7168C58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"deb7619ee5aeaef352ff3f2e52a18a396e268325","datavalue":{"value":"Furstenberg's correspondence principle, allowing statements in combinatorial number theory to be translated into statements in ergodic theory -- most notably Szemer\u00e9di's theorem [\\textit{H. Furstenberg}, J. Anal. Math. 31, 204--256 (1977; Zbl 0347.28016)] -- associates a shift-invariant probability measure on \\(\\{0,1\\}^{\\mathbb N}\\) that encodes combinatorial information about infinitely many of any given collection \\((A_n)\\) of sets with \\(A_n\\subset\\{1,\\dots,n\\}\\) for all \\(n\\).NEWLINENEWLINEHere it is shown that any shift-invariant measure on \\(\\{0,1\\}^{\\mathbb N}\\) arises in this way (it is straighforward to see that any ergodic measure does). The proof gives an explicit construction of a sequence of finite combinatorial approximations to any given measure with some uniformity in the rate of approximation and exploits specification properties of the shift. Using the explicit bounds, it is deduced that given any computable shift-invariant measure, there is a computable element of \\(\\{0,1\\}^{\\mathbb N}\\) that is generic for that measure. The correspondence principle also holds for actions of amenable groups, and the inverse result that all invariant measures arise is shown in that setting also.","type":"string"},"datatype":"string"},"type":"statement","id":"Q445209$212760CC-1C25-4141-9AC7-2B4C64268201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inverting the Furstenberg correspondence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inverting_the_Furstenberg_correspondence"}}}}}