{"entities":{"Q1084210":{"pageid":1094962,"ns":120,"title":"Item:Q1084210","lastrevid":66881022,"modified":"2026-04-12T13:29:37Z","type":"item","id":"Q1084210","labels":{"en":{"language":"en","value":"An ergodic Szemer\u00e9di theorem for IP-systems and combinatorial theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3977336"}},"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":"Q1084210$A6BEBB2F-6114-4E84-8ACA-A7D3052CC19F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00eafed1d1ef97ec0209d37ba974164e8e99122d","datavalue":{"value":{"text":"An ergodic Szemer\u00e9di theorem for IP-systems and combinatorial theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084210$6EB36645-33A1-433B-8484-E00473E15C9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d736cb57c7ec791816e9efdb1c9f0e36f415680","datavalue":{"value":"0605.28012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084210$55AB0BA5-650A-482D-946E-BCBCBC29138D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b6d71a288f97b3b146462a2e0e37bd01bf79fd9","datavalue":{"value":"10.1007/BF02792547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084210$1C203535-57BF-4EEF-962E-32B3196104E3","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":"Q1084210$0EE06D36-FB55-4449-83C5-60DEEF4E0BDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1084210$F4BF3807-9B60-427B-80F1-06E7CFD84BAA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6bab48528f38109afdfeb6dba833fbcdf6e041a","datavalue":{"value":"This paper is a continuation of the authors' research on Szemer\u00e9di's theorem, or, in the ergodic theoretic framework, an extension of the multiple recurrence theorem to IP-systems of (commuting) transformations [J. Anal. Math. 34, 275-291 (1978; Zbl 0426.28014)]. Let \\(T_ 1,T_ 2,...\\) be commuting transformations and \\(T_{\\alpha}=T_{i_ 1}T_{i_ 2}...T_{i_ k}(\\alpha =(i_ 1<i_ 2...<i_ k),k\\geq 1).\\) Then the family \\(\\{T_{\\alpha}\\}\\) is called an IP-system of transformations. In this set up the multiple recurrence theorem has this formulation: Let \\(\\{T_{\\alpha}^{(j)}\\},j=1,...,\\ell,\\) be \\(\\ell\\) commuting IP-systems of measure preserving transformations on a probability space (X,\\({\\mathcal B},\\mu)\\). Then for each \\(A\\in {\\mathcal B}\\) with \\(\\mu (A)>0\\) there exists an \\(\\alpha\\) such that \\(\\mu (A\\cap T_{\\alpha}^{(1)^{-1}}(A)\\cap...\\cap T_{\\alpha}^{(\\ell)^{- 1}}(A))>0.\\)    The special structure of IP-sets permits to study some combinatorial problems related to other structures than integer lattices (as in the earlier result). Here we mention three of these results.    1) Let \\((\\vartheta_{\\alpha})\\) be an IP-system obtained from a sequence of homomorphisms \\(G\\to G^*\\) between two commutative groups G and \\(G^*\\). If G is finite and if \\(L\\subset G^*\\) is of positive density then for some \\(\\alpha\\), L contains a coset of \\(\\vartheta_{\\alpha}(G)\\) in \\(G^*.\\)    2) If V is a countably infinite dimensional vector space over a finite field and if \\(L\\subset V\\) has positive density, then L contains affine subspaces of every dimension.    3) For any \\(\\delta >0\\) and \\(k\\in {\\mathbb{N}}\\) there is a finite set \\(\\Sigma\\) of similar k point configurations in \\({\\mathbb{R}}^ 2\\) such that if A is any measurable subset of the unit square of measure \\(>\\delta,\\) then A contains a translate of one of the configurations in \\(\\Sigma\\). The multiple recurrence theorem is a special case of a more general theorem (the Main theorem), which, to a certain extent is proved following the pattern of the ergodic theoretic version of Szemer\u00e9di's theorem, including the use of Hindman's theorem and the theorem of Hale-Jewett.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084210$A3F62A43-7898-46F6-95BC-C4C7FB35AC3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b34f18e8d99dc84abe1e08b84b797ef7b1807530","datavalue":{"value":"28D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084210$2B30BE90-D57D-41DA-B155-887BF98CF82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc918739208248f35fea9e5c33ece7f0619d7069","datavalue":{"value":"11B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084210$1D25EC44-96A4-4256-B2C8-8A355EF2FE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084210$B3708BD9-E813-4FAD-8F0D-5CCF89BE0C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"157305dfd5c4a00203c592f58c4b16e8bc6d182b","datavalue":{"value":"11T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084210$359C1380-45FC-4654-8050-775FC48748E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36ecef1fa17517f8777202d9f828c9cebe5df422","datavalue":{"value":"3977336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084210$C517BA8A-7098-415C-AA2F-91518A6F6643","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a77f123602928011c6c0319240cd4038cbf48d","datavalue":{"value":"vector spaces over finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084210$AF9082EA-5B18-430B-ADED-8A8B0695C865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b509dc17819efc1369b1d23a632fb6023b77e787","datavalue":{"value":"IP-systems of measure preserving transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084210$4069FB30-1F1C-4EC8-9D9A-D0BCED4CA911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb40535a9ce4830240ff73ce8b1fdd692070bbe7","datavalue":{"value":"multiple recurrence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084210$CBCC648B-F93D-46CF-86EA-43F98A21ADFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f227631221f4d274347b2cbc3b1dc7d4c7ef181d","datavalue":{"value":"ergodic theoretic version of Szemer\u00e9di's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084210$919C882A-D0DC-4C8C-8EA7-460EC5FBE0ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a4a87a26563fb7072ed0ed4aef6b4c573991923","datavalue":{"value":{"entity-type":"item","numeric-id":916796,"id":"Q916796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$0A4FB6C5-3168-4461-B8B9-B6BCA62486AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0e4d0508b89dd54fb272e16e56b67b48317695d","datavalue":{"value":{"entity-type":"item","numeric-id":798457,"id":"Q798457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$45CECA47-1668-4D0C-87DE-38A652F477A3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"08ee3a28ad7061c7a1a6c2d8df57321eb3f155ae","datavalue":{"value":{"entity-type":"item","numeric-id":189124,"id":"Q189124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$7C8FC4B2-FC67-4AC4-B959-9AE799DDC366","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":"Q1084210$164D53AA-C585-4103-B541-7B06D37D9CFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e18c9bcaac409de52e317d34789fba3e60f1662a","datavalue":{"value":{"entity-type":"item","numeric-id":1160420,"id":"Q1160420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$3BB228D9-0AA4-43A5-B05C-0F98A26859E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b37799c9e26baae0b2b93f30775072f585b68c","datavalue":{"value":{"entity-type":"item","numeric-id":3909268,"id":"Q3909268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$1F365A66-DAF4-4238-995D-C00B9AB017F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4f5dd345f1d2ee48a7eb920fc1bb5bdeba6612","datavalue":{"value":{"entity-type":"item","numeric-id":3220814,"id":"Q3220814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$381F18FD-A121-419C-A64F-0BF4FDC7E20B","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":"Q1084210$07B337D1-7495-4473-B292-E58E7729F087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c932f30f696284e5082effaa6453f4ee3196eaea","datavalue":{"value":{"entity-type":"item","numeric-id":3035753,"id":"Q3035753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$06B407F1-0AA7-47EB-A09B-CF23A1FFE1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f46978007ec9d9d4c5cf90c5dba9ed08876efc2","datavalue":{"value":{"entity-type":"item","numeric-id":1135540,"id":"Q1135540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$E17B9848-FC08-46B5-AFA2-086BD039EBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0755527dc26ccf06e69cd62ec76a91e4b8d0335c","datavalue":{"value":{"entity-type":"item","numeric-id":3903002,"id":"Q3903002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$8D883597-5D86-435D-B0EA-63AEEFF57638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e28ceed3df4fb175cb6b8295d11fd95564a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1844840,"id":"Q1844840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084210$FAC60294-FCBF-4997-ABDD-70CCE932C763","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d6f31079fa7bbdbd5c102807ae868e11f8a620","datavalue":{"value":{"entity-type":"item","numeric-id":4497324,"id":"Q4497324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21481c8408e480bbd250e5c99319ae184667262c","datavalue":{"value":{"amount":"+0.8872225284576416","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":"Q1084210$BB9642F9-46A0-46AE-9588-A7F44B1C2FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e41de47388a5177614342695a91514730f3c95","datavalue":{"value":{"entity-type":"item","numeric-id":2677809,"id":"Q2677809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df073646866251742c7e8b13137a4b6b814c02e9","datavalue":{"value":{"amount":"+0.8870395421981812","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":"Q1084210$DA11B8F8-3CCB-4BA6-8142-D98B739B1C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3269ba0c6e0d26131ceba669cb9f1f9b3b5e9546","datavalue":{"value":{"entity-type":"item","numeric-id":4505004,"id":"Q4505004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788a97c327975becea29ae5d64174d72a3fe353f","datavalue":{"value":{"amount":"+0.8547803163528442","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":"Q1084210$DB537687-1212-40D6-96D5-A401DC44103C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a7fff43723274ecd899eb8a63273482321e050","datavalue":{"value":{"entity-type":"item","numeric-id":3096564,"id":"Q3096564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788a97c327975becea29ae5d64174d72a3fe353f","datavalue":{"value":{"amount":"+0.8547803163528442","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":"Q1084210$298B75B4-3413-45CC-85D4-DECE8E07C714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24bff38efab02ddd81c7509db8c57db30ad0f584","datavalue":{"value":{"entity-type":"item","numeric-id":4714426,"id":"Q4714426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4192782e3927d95cc3b54aa5096dbc61668f0134","datavalue":{"value":{"amount":"+0.8541009426116943","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":"Q1084210$5DA071D6-B4B3-4928-AC0A-3E2ED148215A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An ergodic Szemer\u00e9di theorem for IP-systems and combinatorial theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_ergodic_Szemer%C3%A9di_theorem_for_IP-systems_and_combinatorial_theory"}}}}}