{"entities":{"Q6970000":{"pageid":21323064,"ns":120,"title":"Item:Q6970000","lastrevid":84048800,"modified":"2026-05-08T19:51:06Z","type":"item","id":"Q6970000","labels":{"en":{"language":"en","value":"The Furstenberg-S\u00e1rk\u00f6zy theorem for polynomials in one or more prime variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8054257"}},"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":"Q6970000$FB0B923A-54CC-4D8E-85DD-2F7192AC1B5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f968752487d51cfe9042cb69118dec98b57e2c6f","datavalue":{"value":{"text":"The Furstenberg-S\u00e1rk\u00f6zy theorem for polynomials in one or more prime variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970000$7E23D511-97C3-4227-A176-9899D39BFDFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1361635c3c18e21685a3397e5a137df0b92c0774","datavalue":{"value":"1572.11021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970000$1691B6E6-A5B9-4A7E-A295-78D03FC10537","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83d066ffe9ac3d88065c3d8a551cc7eed8a8e4b4","datavalue":{"value":"10.1007/S11139-025-01120-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970000$02E24ECD-96D5-4B9B-996C-20CCA0F85245","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10fa5d26d7f26e7586174771bb1cd144b2759ee","datavalue":{"value":{"entity-type":"item","numeric-id":353396,"id":"Q353396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$41A77822-E9BB-4BF9-ADD8-696642E56F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72232ae8ffdc4ffbac4a28cfbf8493c5ce26c53d","datavalue":{"value":{"entity-type":"item","numeric-id":2192423,"id":"Q2192423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$0A4FFCCA-6ABC-4683-8273-DC3C2D018097","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08c25da5813a64bb58b545e5a473febdb94089f7","datavalue":{"value":{"entity-type":"item","numeric-id":175895,"id":"Q175895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$AF7EE402-A48A-4FF7-8B1E-88CCD89740E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a2026fb75f5daddaed5a35be8cef68702a6e3d6","datavalue":{"value":{"time":"+2025-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970000$AEDA87B0-E191-406F-8ECB-7E9FA7A5FDF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac5ff51bf92835ca20f42d74b89fca29e3c75fac","datavalue":{"value":"For \\(X \\subseteq \\mathbb Z\\) and \\(N \\in \\mathbb N\\), let \\N\\[ D(X,N) = \\max \\{ |A|: A \\subseteq \\{ 1, 2, \\ldots, N \\}, \\quad (A - A) \\cap X \\subseteq \\{ 0 \\} \\}. \\] \\NIn the case of \\(S\\) the set of perfect squares, Furstenberg and S\u00e1rk\u00f6zy showed independently -- and famously -- that \\[D(S,N) = o(N).\\] A major objective has been to strengthen this bound. A secondary objective has been to prove generalisations and analogues of such results.\\N\\NWhen the article under review was written, the strongest upper bound on \\(D(S,N)\\) was demonstrated by \\N\\textit{T. F. Bloom} and \\textit{J. Maynard} [Compos. Math. 158, No. 8, 1777--1798 (2022; Zbl 1514.11019)], \\Nwho showed that \\N\\[ D(S,N) \\ll N(\\log N)^{-c \\log \\log \\log N}, \\] \\Nfor some absolute constant \\(c > 0\\). This has very recently been sharpened to \\N\\[ D(S,N) \\ll N \\exp(-c \\sqrt{\\log N}) \\] \\Nby \\textit{B. J. Green} and \\textit{M. Sawhney} [``New bounds for the Furstenberg-S\u00e1rk\u00f6zy theorem'', Preprint, \\url{arXiv:2411.17448}]. \\NA natural generalisation is to \\(h(\\mathbb Z)\\), where \\(h\\) is an intersective polynomial, i.e., a polynomial with a root to every modulus. A variant of this is the case of \\(h(\\mathcal P)\\), where \\(\\mathcal P\\) is the set of primes, and \\(h\\) is \\(\\mathcal P\\)-intersective (for every modulus \\(d\\), the polynomial has a root that is coprime to \\(d\\)). In these two settings, the best results to date are by \\N\\textit{N. Arala} [Funct. Approximatio, Comment. Math. 71, No. 2, 271--296 (2024; Zbl 1562.11019)] and \\N\\textit{A. Rice} [Acta Arith. 157, No. 1, 69--89 (2013; Zbl 1327.11011)], respectively. In a case of the latter setting, \\N\\textit{B. Green} [J. Am. Math. Soc. 37, No. 4, 1121--1201 (2024; Zbl 1564.11116)] recently showed that \\N\\[ D(\\mathcal P - 1, N) \\ll N^{1-c}. \\]\\N\\NNow Doyle and Rice produce similar results for multivariable polynomials. The image enlarges when more variables are introduced, so the point is to obtain stronger bounds. One then needs to avoid pathologies, e.g., \\((x+y)^2\\) would be univariate after a change of variables. These situations can be detected geometrically, and the authors make such an assumption at co-finitely many prime reductions. The authors then establish analogues of the aforementioned results. When \\(\\ell \\ge 3\\), they get \\N\\[ D(h(\\mathbb Z^\\ell), N) \\ll_h N \\exp(-c \\sqrt{\\log N}) \\] and \\N\\[ D(h(\\mathcal P^\\ell), N) \\ll_h N \\exp(-c (\\log N)^{1/4}). \\] \\NThe case \\(\\ell = 2\\) is also treated, but the exponents are poorer and messier. In the case \\(\\ell = 1\\), the authors show that \\N\\[ D(h(\\mathcal P), N) \\ll N (\\log N)^{-c \\log \\log \\log N}, \\] \\Nwhich sharpens the previous record by the second author.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970000$4D433D30-FE90-4883-A7E4-7ABC3C402995","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"41e0568071789a3b319f12bf04f6c6012dd9aac5","datavalue":{"value":{"entity-type":"item","numeric-id":264386,"id":"Q264386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$2C17CF3C-0A6E-4B1A-8042-117ED495EF48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d659dfac8419b1ea96935804ccfffd67abda7ab2","datavalue":{"value":"11B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970000$BF3E8E52-9728-41A9-A0FB-60C2E341F220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7807824a11fe5363eea2a03822871daa153ca473","datavalue":{"value":"8054257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970000$DA2D8CA3-80FA-4EFD-9EF3-CD7787093A75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6bf5f4bbc261f56accdfd23d8d842c153c1c25e","datavalue":{"value":"arithmetic combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970000$10979E30-C5FA-439A-AF2F-AD8BE0E4A72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"406a797fe91d6339df45d065af111440495849ff","datavalue":{"value":"difference set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970000$CE2182CA-DC7B-4D0F-974F-3DB68F2744D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722a41206af94d31df83d4974e8e8410e7902db9","datavalue":{"value":"circle method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970000$F99F774B-0E60-4F8B-B7DE-AFA4CDCC7B7C","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":"Q6970000$A306CDFC-3AA6-4C6F-A208-5C52B302933B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0143f0fa837974cdf667e9727751768931175637","datavalue":{"value":{"entity-type":"item","numeric-id":1333068,"id":"Q1333068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$A5793D0F-EE15-41EA-8494-2A3E5D8D18B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe79acea9d4738f1003c22b652f871cbbd7f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":5041007,"id":"Q5041007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$A1FDB87B-9389-4E3F-8D6C-F003EDA6ADD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059de9912f193709da1eb2d143358869ad71bd45","datavalue":{"value":{"entity-type":"item","numeric-id":4152616,"id":"Q4152616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$F3FE9BAC-8435-47BE-BA52-E0FD1D059D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be7ad34e82ac67e0e3a13efd4e701c7bc878cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1845783,"id":"Q1845783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$33AD3262-5089-4E40-8B57-EDB0D48CED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d211c6f7d5f6aff7a5a367120e35a8eeabd823","datavalue":{"value":{"entity-type":"item","numeric-id":3382246,"id":"Q3382246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$A5D09285-D893-4ED9-8CF4-996534AFB482","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":"Q6970000$827413FF-0F0C-4533-9D3A-163794C069FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e073502687e61e37f42cb5d7deb96331d66bdcbb","datavalue":{"value":{"entity-type":"item","numeric-id":1847946,"id":"Q1847946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$A6A155C6-EE2C-4B13-A285-E2EAFABBA568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81144b8bfbed428c252d183b7b6bcc14964350f0","datavalue":{"value":{"entity-type":"item","numeric-id":6579952,"id":"Q6579952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$BF9EC9EA-3EC8-483D-ABFC-018FE4F553EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67ae9df9d6629dd360890e7f281ec552ceebe30","datavalue":{"value":{"entity-type":"item","numeric-id":5250684,"id":"Q5250684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$CF87CA61-0489-4000-903D-C2B16CA29B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1967476d1bac42192c56b7ab350e5f3e51cd73e","datavalue":{"value":{"entity-type":"item","numeric-id":1253276,"id":"Q1253276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$2811E7B5-87A2-40BA-A65F-225FD0F2E09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb56f2c0e6c202b641d2db83274bd3bebd51ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5833284,"id":"Q5833284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$BD416BF2-E116-4AE1-ABBC-6CEABA8A0F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b485fb5e9b65335241769ffdd93ce33378ba06","datavalue":{"value":{"entity-type":"item","numeric-id":2256129,"id":"Q2256129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$BD56C507-9C7B-4570-B9D7-73D8C608FB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe807d51a2578bc5744c03ceee53f0afa0b9352e","datavalue":{"value":{"entity-type":"item","numeric-id":3630873,"id":"Q3630873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$78903E8C-BCA7-44D3-9AD5-D59AC222E479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f003877a67842f23143beebbe7c0cf681c3def7e","datavalue":{"value":{"entity-type":"item","numeric-id":999722,"id":"Q999722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$00B09AF4-79CA-48F1-9F55-B4150DA6D3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1d38a1090f153752ab5821d5a35aa7fcdb8b58","datavalue":{"value":{"entity-type":"item","numeric-id":3414055,"id":"Q3414055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$DF0D91DF-2B85-4A21-85E5-36339549A3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8103be02cc4bdb99189e8b0566fdf2ff97d71e0a","datavalue":{"value":{"entity-type":"item","numeric-id":949868,"id":"Q949868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$B61CFADB-E77A-4E4F-BE39-AE9B1D6D6540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3709a1a0783f4aa26734b581b3b301f95784c10a","datavalue":{"value":{"entity-type":"item","numeric-id":2839296,"id":"Q2839296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$F5A4956B-D07F-4EED-A7D8-D5C712E6FD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0a940c5cf1228b59b987c1570ebb9fd91da186","datavalue":{"value":{"entity-type":"item","numeric-id":3423329,"id":"Q3423329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$88B1329E-6467-4287-84B8-C4641FDE70C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a1844c568142f10e5dbff58d8cec172998066a","datavalue":{"value":{"entity-type":"item","numeric-id":3795742,"id":"Q3795742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$9149BB71-7C48-4702-B217-FE0A0A1221BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0117f8d0b493cb7bf65ea4b612dcfb0dd6cae84d","datavalue":{"value":{"entity-type":"item","numeric-id":4614202,"id":"Q4614202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$E354C14E-6740-41E2-9BE3-B8429CF1E7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b895c2b149409a2c170642b6eab9c2f3c90d61","datavalue":{"value":{"entity-type":"item","numeric-id":3144103,"id":"Q3144103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$FC8D4633-91FC-4356-8713-CA64BF378DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8256bbcd0c07cc1e865a9fcc2d145dc1ecb6f13","datavalue":{"value":{"entity-type":"item","numeric-id":3296100,"id":"Q3296100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$25848686-2A90-4660-903E-B26545D6B753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a46248b866a93081df264c1c61ee6b2d1e19f26","datavalue":{"value":{"entity-type":"item","numeric-id":5445015,"id":"Q5445015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$13F4EFF5-A588-4136-A582-F92DDE801FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7513c180dfa72792ef8b111e84338dc51e026361","datavalue":{"value":{"entity-type":"item","numeric-id":800967,"id":"Q800967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$6B0ADD36-C4A8-4F71-9832-E67ED37366A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41db2b2cc0fe551659eeed9d6aecd93ea9181066","datavalue":{"value":{"entity-type":"item","numeric-id":790165,"id":"Q790165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$0604BCF7-CA11-4DFE-B2E7-A2866BE600A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5bb4554aa3d966d168d390fe4fbaf7eece1c27","datavalue":{"value":{"entity-type":"item","numeric-id":4168982,"id":"Q4168982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$BFE69C7C-71F5-4653-BEF6-70B4EC1C2310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9a192e29c5fa2b315034dbab8437c018701c0e","datavalue":{"value":{"entity-type":"item","numeric-id":4168983,"id":"Q4168983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$9361F18E-AAB1-4E68-B00D-1965616C7117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93a1f10255d70fd2de8515e0dea50eb4d10fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":1773864,"id":"Q1773864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$7F123EF3-B7D3-4442-A083-9E43186407C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5120942648b591d678a22e4c610e29700d5ec7a","datavalue":{"value":{"entity-type":"item","numeric-id":2785542,"id":"Q2785542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$D09A7778-E083-43AF-8C60-F3D99F6F1977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a837e69cec3f425e7101bcfcd5fe891e8bdefb2f","datavalue":{"value":{"entity-type":"item","numeric-id":7025795,"id":"Q7025795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$439E3E56-1B75-44AD-A2A3-26ADDE2E38FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7e0c66bf07523f2a5811471057ae1e76aaadd9","datavalue":{"value":{"entity-type":"item","numeric-id":2308836,"id":"Q2308836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970000$652CD18E-0DFF-4CF3-8175-312E2F89CBCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Furstenberg-S\u00e1rk\u00f6zy theorem for polynomials in one or more prime variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Furstenberg-S%C3%A1rk%C3%B6zy_theorem_for_polynomials_in_one_or_more_prime_variables"}}}}}