{"entities":{"Q847041":{"pageid":848889,"ns":120,"title":"Item:Q847041","lastrevid":64790727,"modified":"2026-04-11T22:14:40Z","type":"item","id":"Q847041","labels":{"en":{"language":"en","value":"Roth's theorem in \\(\\mathbb Z^n_4\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5668750"}},"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":"Q847041$79B59E6E-ACAF-4504-AD0F-9A0D330BBDAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71b035dac6a8cde4b722f2bc953b67a67493edba","datavalue":{"value":{"text":"Roth's theorem in \\(\\mathbb Z^n_4\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q847041$757BB9F3-D18B-4EC2-BC88-A56238C60720","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d34c7509642d5a7891a2e7668122f3bed1568d1f","datavalue":{"value":"1197.11017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847041$36A6A6FB-4685-4C63-8E46-CE0D974F17EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e006a000ffb78f66a5837a0fcea1c8c12e3a1e30","datavalue":{"value":{"entity-type":"item","numeric-id":351353,"id":"Q351353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847041$8C72BD25-7A92-4FE8-99EB-28DA38A23C3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"798647a4fdc592c9e5a0791548218dba5dd11de2","datavalue":{"value":{"entity-type":"item","numeric-id":298379,"id":"Q298379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847041$50E9F4C8-5CA4-4344-8172-6B7CD9C1C2B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37a253becd3246676c908d0bb46c884f77dcecea","datavalue":{"value":{"time":"+2010-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q847041$1F55BF22-8DC4-47C0-A5F6-64150995325E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af678e44e04f34af12b9c7ac698c66c71806c23e","datavalue":{"value":"https://arxiv.org/abs/0807.5101","type":"string"},"datatype":"url"},"type":"statement","id":"Q847041$E7F5AFA4-8610-4E69-9975-52C3BDAB5CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe8c40035c2196e95cbdd1a7d07ad28a841e432a","datavalue":{"value":"http://pjm.math.berkeley.edu/apde/2009/2-2/p05.xhtml","type":"string"},"datatype":"url"},"type":"statement","id":"Q847041$E8546D1C-861F-4478-89B6-80A7CF077D6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ff61c126db5a45af07b3f044460e25fba47b44e","datavalue":{"value":"In 1953, \\textit{K. F. Roth} [J. Lond. Math. Soc. 29, 20--26 (1953; Zbl 0055.27201)] proved that any subset of \\(\\mathbb{Z}_n\\) of sufficiently large density contains a proper three-term arithmetic progression. This result was improved by \\textit{R. Meshulam} [J. Comb. Theory, Ser. A 71, No. 1, 168--172 (1995; Zbl 0832.11006)]. Namely, he proved that if \\(G\\) is a finite abelian group of odd order, and \\(A\\subset G\\) contains no proper three-term arithmetic progression, then  \\[ |A|=O(|G|/\\log^c|G|), \\]  where \\(c\\) is an explicit constant.  In the more special case, when \\(G\\) is specialized to \\(\\mathbb{Z}_3^n\\), the bounds are ``better'', although finding the best bound is still an open question. The present author goes to an other direction. In this paper \\(G\\) is taken to be \\(\\mathbb{Z}_4^n\\). The main result is the following bound on \\(|A|\\):  \\[ |A|=O(|G|/\\log|G|\\log\\log^c|G|), \\]  where the constant is the same as in Meshulam's result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q847041$CAF188F4-58A8-492A-A80B-5F316F957269","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d659dfac8419b1ea96935804ccfffd67abda7ab2","datavalue":{"value":"11B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847041$0D1EDEC4-EFBE-4722-84C5-CE286395B41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847041$605A4B36-66BA-48CE-93AE-C9C2C3B3366A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cf9bb457e4c18a64c2d8b5b27139a50fb48891d","datavalue":{"value":"5668750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847041$77FEFC6F-58CA-4D93-84ED-F980BEB0155D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb2c77af65e7f6937facc86e558b5c302c43c129","datavalue":{"value":"Roth-Meshlam","type":"string"},"datatype":"string"},"type":"statement","id":"Q847041$0F8485C6-F6B8-4E3D-B0D5-9D720DA3CE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a3bc189031111c70b6fd1c9489b74d77ec0da7c","datavalue":{"value":"Roth's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q847041$AE80BB61-3457-4369-89CA-DB99CAB76600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e8a75011abf9e1b2949dafe6f3da14707ff5d8","datavalue":{"value":"arithmetic progression","type":"string"},"datatype":"string"},"type":"statement","id":"Q847041$16386A5C-D0DD-4B26-AE5E-5665810F0321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc1ee42d30655c336eec439b7ec7333ad8b52b","datavalue":{"value":"cap set problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q847041$33BE88FB-6006-453D-80A5-2FFDC84CBFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e79842346e85cb54e0f9ada8e7a7a7a6e248169","datavalue":{"value":"Balog-Szemer\u00e9di","type":"string"},"datatype":"string"},"type":"statement","id":"Q847041$B44A33E1-3454-4257-8B10-8D207E2C1090","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d51ddda6546395d674b8b6fa353d3af954afd3ef","datavalue":{"value":{"entity-type":"item","numeric-id":284701,"id":"Q284701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847041$FD57C330-2E2E-4AF0-B401-70647DD1BA8C","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":"Q847041$B2E24716-C7BE-422E-BF4F-B5DCDDBD41A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6595f71673dc462fc04b9eea5b58a9e04374eb1","datavalue":{"value":"W3125540216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847041$E3381A9E-9FBB-4B08-8791-2FF2CA8B3D42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a29d0a927652399ddd4d4efd409ea63113e427c","datavalue":{"value":"10.2140/APDE.2009.2.211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847041$8AE0D0B8-369F-4C23-9599-D64EB2E371CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e3e8956e8fb59d099d24ac156312512bf7fbb9","datavalue":{"value":{"entity-type":"item","numeric-id":3612058,"id":"Q3612058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b00ea50605166e92bdde324ab2766c8072a940b","datavalue":{"value":{"amount":"+0.8314886689186096","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":"Q847041$BE87A517-794B-4FFB-8FEB-47C6C17B41F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4112b1b5ef65a82c9ce046753cbb2a1fd840fb44","datavalue":{"value":{"entity-type":"item","numeric-id":1894019,"id":"Q1894019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79250cf755af05cfe0333732638349becb8141d4","datavalue":{"value":{"amount":"+0.8253560662269592","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":"Q847041$F637E3E1-2246-46AE-BE11-7E3E8A2B613F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01536ce68eedf4dc30b788ec3717675b9ec276c3","datavalue":{"value":{"entity-type":"item","numeric-id":2987023,"id":"Q2987023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f502e998d30a35c7ee15eb5dc43b0d7dae6bc8","datavalue":{"value":{"amount":"+0.8210448622703552","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":"Q847041$5CD084F8-3A63-4E68-844C-4BDCF9CC0442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a9e5fe4d9dbd114c11905e038e7b0f9f36e0de","datavalue":{"value":{"entity-type":"item","numeric-id":4604480,"id":"Q4604480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0a7d4102c507093b1fc1958997b2ead331e374","datavalue":{"value":{"amount":"+0.8173053860664368","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":"Q847041$5859462A-9E96-4A9D-A96A-8A1868A87731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ef63f62bf9a1aa0f71b94b38e859e8cd17c26c","datavalue":{"value":{"entity-type":"item","numeric-id":509698,"id":"Q509698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbc6259ca456fa43cdbfe08d1fcdc0f6c31b911","datavalue":{"value":{"amount":"+0.8149309754371643","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":"Q847041$4BE33419-B1C1-4BFC-8DA5-EABBA0A737DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Roth's theorem in \\(\\mathbb Z^n 4\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Roth%27s_theorem_in_%5C(%5Cmathbb_Z%5En_4%5C)"}}}}}