{"entities":{"Q870018":{"pageid":871866,"ns":120,"title":"Item:Q870018","lastrevid":64970025,"modified":"2026-04-11T23:26:46Z","type":"item","id":"Q870018","labels":{"en":{"language":"en","value":"A quantitative ergodic theory proof of Szemer\u00e9di's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132812"}},"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":"Q870018$CEF75CF9-1BCF-40D8-916F-61AFF05747BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8359dacbc889fd129bf16d6930c9017eb89f0c2","datavalue":{"value":{"text":"A quantitative ergodic theory proof of Szemer\u00e9di's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q870018$180576D6-9B54-45B1-B794-6D25D818A86D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75ee3ccdceb3c5888cbca936e69651a2a59ad871","datavalue":{"value":"1127.11011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870018$2AC375B6-D335-48EC-A18A-5E6720373044","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870018$F9AA1964-16FB-4D8D-86F3-9C2D881CA1D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39eed756ef4774638f5dc70a5b404d4f34900328","datavalue":{"value":{"time":"+2007-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q870018$385724C9-1D7D-4562-8990-40BF1839C9CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7022a1b999c8f1449e97809017679e3df6f202b","datavalue":{"value":"https://arxiv.org/abs/math/0405251","type":"string"},"datatype":"url"},"type":"statement","id":"Q870018$9914ED97-4C9D-4EF1-97B1-80953CEC667F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"33442d6e9ac972827196e12dee7376bd0cf35bf3","datavalue":{"value":"https://eudml.org/doc/128162","type":"string"},"datatype":"url"},"type":"statement","id":"Q870018$46692239-5986-49A4-8F32-4C8715C0D840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4daf4b92c11da7192936870ce3c5e379a77e925c","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_13/Abstracts/v13i1r99.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q870018$1432D9E4-4A93-41D3-B43C-BDC77F5C03A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"022bbbe983e931bba0938149b1bda87ab80dc712","datavalue":{"value":"The paper starts with a short discussion of some main ideas on which the known proofs of Szemer\u00e9di's theorem on arithmetic progressions of length \\(k\\) are based (the combinatorial ones, proofs using ergodic theory, Gowers' proof using Fourier theory and the proof based on the hypergraph regularity lemma). This can be not only useful for an interested beginner in the subject, but also explains the author's motivation for a new ergodic proof of Szemer\u00e9di's \\(k\\)-term arithmetic subprogressions theorem given in the paper. The proof does not depend on the axiom of choice, nor on an infinite set of measures, the use of Fourier transform or inverse theorems of additive combinatorics. The author characterizes the proof as a ``finitary'' and ``quantitative'' version of the ergodic Furstenberg proof. The reading of the paper does not require familiarity with other proofs, but the author discusses on many places their relationship to the presented one. The proof also implies explicit quantitative bounds, though very poor.","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$C66A2EE3-2B31-4971-AF2A-E84E1FC44EA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870018$1CBA582A-04BA-4372-854E-F5A6A771922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870018$F8DE9744-1B5C-4A2B-A512-C0A9D5D8CD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"91cb6986ddcf41bae6dd85a43f71829d301a1aed","datavalue":{"value":"37A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870018$155CFE7D-56A2-46EA-A4E8-48A2A3FF3FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"162400a10781af61bdd5cefbc3066e403d730f80","datavalue":{"value":"37B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870018$99040708-8140-479B-A6CA-AD8365DD6F88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a71e1ced0f55f4ce26d387605691649569573f10","datavalue":{"value":"5132812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870018$2088CFCD-C541-4E2A-B714-BAAD9E32D054","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50b17dc6a499f6e6dc5a381c85dee387ae2b5ef","datavalue":{"value":"van der Waerden theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$5E704B58-B28C-494E-9699-50398CEB6020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a560222bab624a1cc9a694f629e5dc04d1571a11","datavalue":{"value":"Szemer\u00e9di theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$C8F9009D-917B-4658-BD9A-3F4BAAC6FE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c74bdec151c9ba5193b6b5a9edb858d97285d41","datavalue":{"value":"Furstenberg ergodic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$90937BBD-FC51-4860-9FB7-8F6BCD842C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"433dc55e331dc5eb364e16e69edd66d79111e9c7","datavalue":{"value":"Gowers proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$2C5047F2-4206-488D-A528-CF5598D115C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13c32acaec0f55aa8967614669667bc52cd8f80","datavalue":{"value":"Fourier analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$87A7590D-9B37-469A-A63E-440F8D36151C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35536655fa910b4e32e36f6f3746d1a0e3c736c3","datavalue":{"value":"ergodig theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$C5BF6360-AD37-40C4-9106-D88B6B0B4E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b54990e897239bc9968962aeb41dbba0832bf4","datavalue":{"value":"inverse theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$14D0BC7C-10D5-4345-9F85-DB5969171DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70ff610cbc9e9db9d9acc0b74bb26d292e8d1a77","datavalue":{"value":"hypergraph regularity lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$67D7D04C-D8FE-441D-8179-F8BD68934B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e227aa1385fd3bf307374d7ce1d2c9e0ef81c5e5","datavalue":{"value":"van der Corput lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$991A8ED8-B3DC-4B83-9F2B-50D879A40209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6951d5c944411aa9a693cd88475fe3d12958cf95","datavalue":{"value":"generalized von Neumann theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$0C1F3F8E-23FB-4D1C-A3F0-445C3BBC0CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b0222be6b817e182fe01dca07d0b593a3b5f9e","datavalue":{"value":"Gowers norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$6D5E0577-CBC9-4B78-BBB4-24D6FA0CA030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77f24f3c9f58d33b6a88229bc0c895cf19527a81","datavalue":{"value":"Gowers uniform functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$E2E63EF2-0404-4789-9B11-2121F0B8D923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d320d1ce471e8324910562c82e5be5d90337a65","datavalue":{"value":"uniformity norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$3FEEA32C-05B2-4068-998C-81729EC97FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"433f8e686b61d0371dfc064572199b396809587a","datavalue":{"value":"almost periodic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q870018$F69F2DC6-7925-4431-BBF4-22B251466AF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa0a0fd6d39713c055b1389b556244194d49e99e","datavalue":{"value":{"entity-type":"item","numeric-id":934227,"id":"Q934227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870018$44DFD3FA-9787-4FFF-960F-44CA24BD68CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac599b3b4b403e13ff34b53d17b49cf088c1290e","datavalue":{"value":{"entity-type":"item","numeric-id":587322,"id":"Q587322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q870018$B1C8FD69-B8D4-4F15-86BA-C5E96014E8FB","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":"Q870018$BAFDD89B-D323-4D07-8041-4A752C4D6AC3","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"b66b4170b6914c9d5cfbd26c97f5ca748a9c8f97","datavalue":{"value":"bafkreiavldx66vbuslfdgap6rbhyr7iyysql65mriqmlzo3t6zpzqkf4zi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q870018$E87BD0E0-F1B5-4ACA-A8F4-DB1757ED5830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152e6ba394dae117c6c58b9d25375183f254a6ad","datavalue":{"value":{"entity-type":"item","numeric-id":3220812,"id":"Q3220812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3fce33f395dc735d47d8f49700868c8a4c68e2","datavalue":{"value":{"amount":"+0.8552539944648743","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":"Q870018$54D6BBA9-2106-4C6B-B5E6-C3C94C382882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2947ade21df359326fbacd7de8b45b248302518d","datavalue":{"value":{"entity-type":"item","numeric-id":5948246,"id":"Q5948246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba069dcad1b05642743cfc8d1d9e876b6c347b2d","datavalue":{"value":{"amount":"+0.8394112586975098","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":"Q870018$1290D360-F3FA-4E6B-A3F3-1735DF8719FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfabe4f1cb6d727e3db791b8f9c903e5c44999b5","datavalue":{"value":{"entity-type":"item","numeric-id":3567579,"id":"Q3567579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f189675b3b0480282816f12cc9039f00da89a507","datavalue":{"value":{"amount":"+0.8380540013313293","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":"Q870018$DE4B8A18-A9B7-4C31-BD8B-A7CB632671BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92afb2f065cfc7a2438ee6392db43e582b780f6","datavalue":{"value":{"entity-type":"item","numeric-id":5431587,"id":"Q5431587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7f8b57fa31fcac062a93ef9679880d9c66dd3a","datavalue":{"value":{"amount":"+0.8322591781616211","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":"Q870018$009C9D23-82E3-4E1F-B44B-80D9AD973BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbf61739ef5f123c60cce709f1e8db6a15952b1","datavalue":{"value":{"entity-type":"item","numeric-id":2220972,"id":"Q2220972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070e25a0f6ea78b49109ec65ea74425e98fecb96","datavalue":{"value":{"amount":"+0.7906196713447571","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":"Q870018$A60EBC3D-4809-404D-B2DA-C0DBB429DDF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A quantitative ergodic theory proof of Szemer\u00e9di's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_quantitative_ergodic_theory_proof_of_Szemer%C3%A9di%27s_theorem"}}}}}