{"entities":{"Q628350":{"pageid":630198,"ns":120,"title":"Item:Q628350","lastrevid":63076968,"modified":"2026-04-11T10:26:41Z","type":"item","id":"Q628350","labels":{"en":{"language":"en","value":"Deducing the multidimensional Szemer\u00e9di theorem from an infinitary removal lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5864338"}},"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":"Q628350$B81F147C-FE0A-467C-B1AE-B99B229120C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b80cf6e0ac8147c226418fb919cc2d7f650e11e0","datavalue":{"value":{"text":"Deducing the multidimensional Szemer\u00e9di theorem from an infinitary removal lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q628350$7F444894-E43D-4085-84C0-F6B7B076D5B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2d52b89dd18811dfb1dfc89e16529462d02062e","datavalue":{"value":"1213.37015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628350$C111A05B-8366-493D-89C0-1DEF72F5B31D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7cb94b734d7b2835c194481178a8cd8e8a59783","datavalue":{"value":{"entity-type":"item","numeric-id":163291,"id":"Q163291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$2375C0D5-DDFE-4DB6-94AC-90561A5ED483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea47cd398be2e1bd31e6b45d02de9148c81f65a6","datavalue":{"value":{"time":"+2011-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q628350$FCAABDF9-AD77-4C35-B177-9282E9D2D0A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3087b782a5aab563b1b2651b6213f38e0771ce75","datavalue":{"value":"https://arxiv.org/abs/0808.2267","type":"string"},"datatype":"url"},"type":"statement","id":"Q628350$C62F3D82-1EAF-467B-BC18-FE3D0E5E1F1D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46f06d1757f27c3e3c4cdeba3bc4148e30a4976d","datavalue":{"value":"The author gives a new ergodic-theoretic proof of the multi-dimensional multiple recurrence theorem of \\textit{H. Furstenberg} and \\textit{Y. Katznelson}, [J. Anal. Math. 34, 275--291 (1978; Zbl 0426.28014)], which by Furstenberg's correspondence principle also implies the multidimensional Szemeredi theorem. More precisely, the main result of the paper under review is the following:  Let \\(T_1, \\dots, T_d:~\\mathbb{Z} \\curvearrowright (X,\\Sigma,\\mu)\\) denote commuting, probability-preserving actions, and assume that \\(\\mu(A)>0\\) for some \\(A \\in \\Sigma\\). Then   \\[  \\liminf_{N \\to \\infty} \\frac{1}{N} \\sum_{n=1}^N \\mu \\left( T_1^{-n}(A) \\cap \\dots \\cap T_d^{-n}(A) \\right) > 0.  \\]   For the proof the author combines his method of ``pleasant'' and ``isotropized'' extensions from one of his earlier publications [see \\textit{T. Austin}, Ergodic Theory Dyn. Syst. 30, No. 2, 321--338 (2010; Zbl 1206.37003)] and \\textit{T. Tao}'s infinitary hypergraph removal method [J. Anal. Math. 103, 1--45 (2007; Zbl 1146.05038)] in a deliberate and interesting way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q628350$7760230C-A424-4C6D-A1C0-62BA7224565D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"91cb6986ddcf41bae6dd85a43f71829d301a1aed","datavalue":{"value":"37A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628350$120AFD68-88FD-4A02-9A4A-730D95DDD658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628350$DEFEED66-85E5-4438-AA74-D79841F87BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"97bf85d83b207d40f5cd1e5761ad8330c8b05c5c","datavalue":{"value":"37A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628350$643EC8BC-EB1B-4403-A374-A5FFD0DA507C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08518d1ee9b719a5bbebfd311aced3e8ae1f0b5b","datavalue":{"value":"37A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628350$A6AD187D-C7FC-4CAC-85EE-9FFC35005E4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99bc15fc0ab8f03dba28f8df7fcf0e17aeefe706","datavalue":{"value":"5864338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628350$6D9FB372-58B2-41FA-8C87-3E807052E280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb7b8493ae37f2c992687023d46f97593cf9dbc","datavalue":{"value":"ergodic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q628350$73A09AC4-BA67-42F7-9E45-5B31458F5F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6af75786f2560db6b18ec8522a48fc6abe3e78","datavalue":{"value":"Szemeredi theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q628350$91361672-A1CA-4B55-B53A-4F80E65BBB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cefc3e0bafeac2e7bf252a89b25c1a908e9e654c","datavalue":{"value":"multiple recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q628350$5EE71945-B1D0-499E-845E-940A533EB8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13b7e587af0051e0c0cb62a67f0235b8890674c","datavalue":{"value":"pleasant extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q628350$8AA675B8-F9F0-4F32-BD60-BD1D91DD3C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10f4d4999a846c8bf6e4b246817b91019b985489","datavalue":{"value":"isotropized extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q628350$27EEC338-CD4D-4867-8050-A42259A24D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb10062e2d42f1421aa2be679037a2bf3390cc2","datavalue":{"value":"infinitary hypergraph removal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q628350$7D4C0EA1-3C2C-46FF-A0F8-D2FB23C91D7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccb6ad564c868d0058889ba4ed454e3d439eb56e","datavalue":{"value":{"entity-type":"item","numeric-id":939069,"id":"Q939069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$19306204-DD4F-4B7D-B7E3-57E2B531EC5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d6ede932d357639fd37bceb64c8dede289df3b6e","datavalue":{"value":{"entity-type":"item","numeric-id":289853,"id":"Q289853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$7F8390EA-E0D7-4F32-97AC-FBB7A4D89E28","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":"Q628350$AAC38F46-EC46-4E3E-9A98-99C299C118F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e75153f0ec4c9e56f788f34f03f78d75e919feda","datavalue":{"value":"W1978545700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628350$741B54E7-33B8-41B9-A47F-5F9AB916B687","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"08d243a21579c43ee68360505afb7d6a31d5cc87","datavalue":{"value":"Q124805128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628350$86D4E95B-AE21-4D4F-B346-D60FBE4201E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef1032027ed98178e4264fd9fdb3e584ef35d84","datavalue":{"value":{"entity-type":"item","numeric-id":3558029,"id":"Q3558029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$CDFD1074-6AB8-4698-BB10-02E07BBBBDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c1c9056ee42da32d7f9eb635ca2801454729e2","datavalue":{"value":{"entity-type":"item","numeric-id":3800331,"id":"Q3800331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$86C35BFB-833B-44C5-B928-A6C7BD9B21EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdaf02c8ec071cab6338910ad6c6b2f335c2678d","datavalue":{"value":{"entity-type":"item","numeric-id":3781961,"id":"Q3781961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$5F2CC711-F51B-407D-92DB-CAD9C76B5D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b894995734ade4a2b240ba5049268a2ff06bb5","datavalue":{"value":{"entity-type":"item","numeric-id":5461981,"id":"Q5461981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$5D9F4E50-B7A3-43AB-9FC6-16DF0083EF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d0f87a7a9c77dbc12879de09aa35c23b818174","datavalue":{"value":{"entity-type":"item","numeric-id":1233943,"id":"Q1233943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$667C6227-B4DA-49FA-8D3B-5FF6B246BF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ddbdce1b29f01a7e03dcb69faf152cc455fef6","datavalue":{"value":{"entity-type":"item","numeric-id":1135955,"id":"Q1135955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$B582434E-05C5-4074-B07D-03A24306CAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b703a8de515f130329e77962926de3d0f9387f2","datavalue":{"value":{"entity-type":"item","numeric-id":4800032,"id":"Q4800032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$4CF13EC8-87A1-496F-9C8D-5CB195D3CBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab85a43c3a2c622940dade0ce475e90ad2f2b75","datavalue":{"value":{"entity-type":"item","numeric-id":2482877,"id":"Q2482877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$A4B07589-F9A5-47DD-BB0A-8C4F5FCA6573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2221449d26e3ceffaeabfedc31b3c18a732e45","datavalue":{"value":{"entity-type":"item","numeric-id":3184399,"id":"Q3184399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$3F259614-7C7A-46B1-9B59-25D4B71D709E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ede45b6578608f14e6981aee825f2dfc8aa4378","datavalue":{"value":{"entity-type":"item","numeric-id":2716653,"id":"Q2716653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$FCF3F626-8A1D-4535-ABD5-96B9600EFC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7382eb1c1cf5caa13b088920437fe7e0cc84740","datavalue":{"value":{"entity-type":"item","numeric-id":2388274,"id":"Q2388274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$AACAC71B-E47B-4AF5-9F66-83A091EECAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b07a671811203f6a204d4a2b5c177bf8333da6","datavalue":{"value":{"entity-type":"item","numeric-id":5469145,"id":"Q5469145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$F219C395-A860-4D69-9A04-E773FBC13078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b4033f41b7b69b09d65ebacdf888e404628f1d","datavalue":{"value":{"entity-type":"item","numeric-id":926374,"id":"Q926374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$5E17E82C-6823-4AAD-8F4D-935C1AA42261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14498f16b9ae97f035b0d401c10929eb4bf810d1","datavalue":{"value":{"entity-type":"item","numeric-id":5387252,"id":"Q5387252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$671002BA-0E37-4D8D-8648-52DC1CC2E8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d90d98aba5f3013f6e48a6d4919739eb3c02302","datavalue":{"value":{"entity-type":"item","numeric-id":1364386,"id":"Q1364386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$49CA3811-A4ED-4834-9D24-0CC9A4520230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bcf71ad0e63710374de5020576d9f55c2d5faf","datavalue":{"value":{"entity-type":"item","numeric-id":3420215,"id":"Q3420215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628350$F43EB2A5-B862-4ECA-94A0-B253A74E058C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca09567d3854871de502e1022ed0104fa1917e80","datavalue":{"value":"10.1007/S11854-010-0014-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628350$F3D0C8A0-F2DB-4972-8B64-F79EA15EDF06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a4b76afb882366a647263885cf5f0349f75c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2482877,"id":"Q2482877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41359997352a76ce01589c22a4f962a0c73c5173","datavalue":{"value":{"amount":"+0.7919883131980896","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":"Q628350$42E7BED3-EEB6-43F5-80D3-CE8C215106D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38538a73e3fc6adb774fd7c13e0c6847d03da8bf","datavalue":{"value":{"entity-type":"item","numeric-id":639342,"id":"Q639342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14049d1f10ed05e09a8c58fa45448a57a4492386","datavalue":{"value":{"amount":"+0.790306568145752","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":"Q628350$F08262FF-6585-4A8D-8406-689327E0474C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c23914fcf4b7a6bcc07cdbbf210063a1a7dab56","datavalue":{"value":{"entity-type":"item","numeric-id":926374,"id":"Q926374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b5d2e24a33b0eda52d04a382eaa02fc6cd1c8c","datavalue":{"value":{"amount":"+0.7873178124427795","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":"Q628350$3993D057-A247-43E4-A624-6E0EB7C586B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d612d931b7fb35c5070cdcf40a6d242959b2ed95","datavalue":{"value":{"entity-type":"item","numeric-id":870018,"id":"Q870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ced2ddaaedf2dac82d72db55f0df3a64d2bc02","datavalue":{"value":{"amount":"+0.7835060954093933","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":"Q628350$DEE4DDB3-540D-427B-B68A-BFF8C6F582D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7a4408b1565e1468e2fd235929e28922f3e1c8","datavalue":{"value":{"entity-type":"item","numeric-id":1135955,"id":"Q1135955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d47722038cbd369fdaca59004d24323c5d64d5","datavalue":{"value":{"amount":"+0.7748568058013916","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":"Q628350$29B85AA8-8675-4592-8C08-DCBD399F9E97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deducing the multidimensional Szemer\u00e9di theorem from an infinitary removal lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deducing_the_multidimensional_Szemer%C3%A9di_theorem_from_an_infinitary_removal_lemma"}}}}}