{"entities":{"Q628365":{"pageid":630213,"ns":120,"title":"Item:Q628365","lastrevid":63077940,"modified":"2026-04-11T10:26:57Z","type":"item","id":"Q628365","labels":{"en":{"language":"en","value":"The discretized sum-product and projection theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5864352"}},"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":"Q628365$1C0B68DB-C8D6-4CC0-842D-144725925E67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fccffc14ddd8566e89e2acee3dfd018106624a8d","datavalue":{"value":{"text":"The discretized sum-product and projection theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q628365$9CD8F9DF-A45F-4575-AFB3-C9186C037DD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"965e26387d0315fcdc1696736878f56c59179578","datavalue":{"value":"1234.11012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628365$0C998A1E-F67A-41A6-8BE3-5C12B3341335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6924efb9c4710525a1d5e4ff39bdd4eac50b786","datavalue":{"value":{"entity-type":"item","numeric-id":225502,"id":"Q225502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$64638FA0-E4DF-4739-9753-25259471EABD","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":"Q628365$3D26F9C8-0516-4870-9406-2E363704FC9D","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":"Q628365$92C13F14-9C05-4CC8-96B8-1155DB5491D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e490c943af946628d82cbf3cecc326b934e392f","datavalue":{"value":"The author proves: Given \\(0<\\sigma<1\\) and \\(\\kappa>0\\), there exist \\(\\varepsilon_0>0\\) and \\(\\varepsilon_1>0\\) such that the following holds for \\(\\delta>0\\) sufficiently small. Let \\(\\mu\\) be a probability measure on \\([0,1]\\) satisfying  \\[ \\mu(I)<\\rho^\\kappa \\]  whenever \\(I\\) is a size-\\(\\rho\\) interval such that \\(\\delta<\\rho<\\delta^{\\varepsilon_0}\\).   Let \\(A\\subset [1,2]\\) be a discrete set consisting of \\(\\delta\\)-separated points \\(| A|>\\delta^{-\\sigma}\\) such that also  \\[  | A\\cap I|<\\rho^\\kappa| A| \\]  whenever \\(I\\) is a size-\\(\\rho\\) interval such that \\(\\delta<\\rho<\\delta^{\\varepsilon_0}\\). Then there exists \\(x\\in\\text{supp}\\mu\\) such that  \\[ N(A+xA,\\delta)>\\delta^{-\\varepsilon_1}| A|,  \\]  where \\(N(X,\\delta)\\) denotes the covering number of the set \\(X\\) by \\(\\delta\\)-balls.   Given \\(0<\\alpha<2\\), \\(\\beta>0\\), \\(\\kappa>0\\), there exist \\(\\tau_0>0\\) and \\(\\eta>\\frac \\alpha 2\\) such that the following holds. Let \\(\\mu_1\\) be a probability measure on \\(S^1\\) such that  \\[ \\max_\\theta \\mu_1([\\theta-\\rho,\\theta+\\rho])<C\\rho^\\kappa. \\]  Let \\(\\delta>0\\) be chosen sufficiently small and let \\( {\\mathcal A}\\subset [1,2]\\times [1,2]\\) be a union of size-\\(\\delta\\) squares satisfying  \\[ | {\\mathcal A}|=\\delta^{2-\\alpha} \\]  and  \\[ \\max_x | {\\mathcal A}\\cap {\\mathcal B}(x,\\rho)|<\\delta^\\beta| {\\mathcal A}|\\text{ for }\\delta <\\rho<\\delta^{\\tau_0}. \\]  Then there exists \\(\\theta\\in \\text{supp}\\mu_1\\) such that  \\[  | \\pi_\\theta({\\mathcal A})|>\\delta^{1-\\eta}, \\]  where \\(\\pi_\\theta\\) denotes the orthogonal projection on the line \\(y=(\\tan\\theta)x\\).   Given \\(0<\\alpha<2\\), \\(\\kappa>0\\), there exists \\(\\eta>\\frac \\alpha 2\\) such that, if \\({\\mathcal A} \\subset {\\mathbb R}\\times {\\mathbb R}\\) is a set of Hausdorff dimension  \\[ H-\\dim {\\mathcal A}>\\alpha, \\]  then  \\[ H-\\dim \\pi_\\theta({\\mathcal A})\\geq \\eta \\]  for all \\(\\theta\\in S^1\\) except in an exceptional set \\(E\\) satisfying  \\[ H-\\dim E\\leq \\kappa.  \\]  Let \\({\\mathbb P}^k\\) be the \\(k\\)-dimensional projective space and for \\(\\bar{y}\\in {\\mathbb P}^k,\\rho>0\\), let  \\[ V(y^{\\perp},\\rho)=\\left\\{\\bar{x}\\in {\\mathbb P}^k:\\frac{|\\langle x,y\\rangle|}{| x|\\cdot| y|}<\\rho\\right\\} . \\]  For \\(d\\geq 2\\), given \\(0<\\alpha<d\\) and \\(\\kappa>0\\), there exist \\(\\tau_0\\), \\(\\varepsilon>0\\), and \\(\\eta>\\frac{\\alpha}{d}\\) such that the following holds for small \\(\\delta>0\\): Let \\(\\mu_1\\) be a probability measure on \\({\\mathbb P}^{d-1}\\) such that  \\[ \\max_{\\bar{y}}\\mu_1(V(y^{\\perp},\\rho))<\\rho^k\\,\\text{if}\\,\\delta<\\rho<\\delta^{\\tau_0}. \\]  Let \\(E\\subset [0,1]^d\\) be a union of size-\\(\\delta\\) balls and satisfying  \\[ | E|>\\delta^{d-\\alpha} \\]  and a non-concentration property  \\[ \\max_x | E\\cap B(x,\\rho)|<\\rho^k| E|\\text{ if }\\delta <\\rho<\\delta^{\\kappa}. \\]  Then there exist \\(D\\subset {\\mathbb P}^{d-1}\\) and \\(E'\\subset E\\) with the following properties:  \\[ \\eta(D)>1-\\delta^\\varepsilon, \\]   \\[ | E'| >\\delta^\\varepsilon| E|, \\]  and  \\[ |\\pi_\\theta(E'') |>\\delta^{1-\\eta} \\]  whenever \\(\\theta\\in D\\) and \\(E''\\subset E'\\) satisfies  \\[ | E''|>\\delta^{2\\varepsilon}| E|.  \\]    For all \\(\\kappa>0\\) and \\(C>1\\), there exist \\(k\\in{\\mathbb Z}_+\\) and \\(C'>1\\) such that the following holds. Let \\(\\mu\\) be a probability measure on \\([\\frac 12,1]\\) satisfying, for \\(\\delta<\\rho<1\\),  \\[ \\max_a\\mu(B(a,\\rho))<C\\rho^\\kappa. \\]  Denote by \\(\\nu\\) the image measure of \\(\\mu\\times\\ldots \\times\\mu\\) (\\(k^2\\)-fold) under the map  \\[ (x_1,\\ldots,x_{k^2})\\mapsto (x_1\\ldots x_k)+(x_{k+1}\\ldots x_{2k})+\\ldots+(x_{k^2-k+1}\\ldots x_{k^2}) . \\]  Then for all \\(\\delta<\\rho<1\\),  \\[ \\max_a\\nu(B(a,\\rho))<C'\\rho. \\]  Let \\(\\mu\\) and \\(\\nu\\) be (possibly discrete) probability measures on \\([0,1]\\) satisfying, for all \\( \\delta\\leq \\rho\\leq 1\\), the conditions  \\[ \\max_a \\mu(B(a,\\rho)) \\lesssim\\rho^\\alpha \\]  and  \\[ \\max_a \\nu(B(a,\\rho)) \\lesssim\\rho^\\beta. \\]  Assume \\(\\alpha+\\beta>1\\). Let \\(\\psi:[0,1]\\times [0,1]\\to [0,1], (x,y)\\mapsto xy\\) and \\(\\psi[\\mu\\otimes\\nu]\\) be the image measure. Then  \\[ | (\\psi[\\mu\\otimes\\nu])^\\wedge (\\xi)| \\lesssim |\\xi|^{\\frac{1-\\alpha-\\beta}{2}} \\text{ for } 1\\leq|\\xi|\\leq \\frac{1}{\\delta}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q628365$B85F790E-5C6F-4E55-903E-1B2E4B90885D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"673232f43112473145a334497c1a94b085310abc","datavalue":{"value":{"entity-type":"item","numeric-id":290031,"id":"Q290031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$803A831E-5F8C-433A-BC6E-C3692EA05F95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d659dfac8419b1ea96935804ccfffd67abda7ab2","datavalue":{"value":"11B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628365$DBCA034C-66B3-427B-B161-1EABD9C318C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60551c32cee84b665e3d2e3d70e6f9b39b8fbea6","datavalue":{"value":"28A78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628365$75AB3861-4738-4C62-82A7-AB49A0AD4F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85bd8080c61b6e59488355ff592e0c47c617bea","datavalue":{"value":"11K55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628365$403C7DC2-5648-4708-8015-621672A0883B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa3e8c6cdc8be68beca462cccffacdc0c3e6886","datavalue":{"value":"5864352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628365$8A2AD935-55FD-4C19-AD2C-9C6A92C237BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6808c273775090e1c9e7ba1e6d1cdeb5ec3278f","datavalue":{"value":"sum-product theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q628365$A060507E-1257-47BF-994B-36B337416ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414ab37a239193049ff6f0ce12b01d60a6a971aa","datavalue":{"value":"projection theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q628365$6ECA24F1-44D2-4DB8-8C21-90CC70AC2144","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":"Q628365$E9666AFE-DAB4-401F-95B4-1DCCB134C301","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"952b2370330b25faa562f1037b2f5398e6e500f6","datavalue":{"value":"Q97302455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628365$55CE7169-D417-42DE-A31B-30E4A7344FB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6567fc263ae8a9b88fcf6b8750a7bcc2308b89b8","datavalue":{"value":"https://doi.org/10.1007/s11854-010-0028-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q628365$7AD17E50-36A9-45D7-AB9E-BCFE1FBE0658","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e73104edc9af40a3dda1dee7315f457a16814fe","datavalue":{"value":"W1965246163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628365$BBA5BD7D-81E0-437F-9A70-7F9A09E1C67F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a901e50a4b2a98b0354dbf9d27993437e7cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":2504001,"id":"Q2504001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$70718F90-97BA-46AC-A9B3-9D72C5A7F173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c38d2d7cf0976fc9b816dd9ee339ffb7fd2d21c3","datavalue":{"value":{"entity-type":"item","numeric-id":4663497,"id":"Q4663497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$D7AA75EF-BFFE-4E84-A3AA-45BB3136CCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4529fe9a15134409d0e48dae8eafa67234956063","datavalue":{"value":{"entity-type":"item","numeric-id":1005069,"id":"Q1005069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$A6264F73-B577-4D1B-9147-53B1DEEE845A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a657ea6ad9714c6b69f50aae6e02ae3d538485d0","datavalue":{"value":{"entity-type":"item","numeric-id":5466771,"id":"Q5466771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$CD1DB09F-5D0F-4AE5-B8D2-4DFA4EAA1F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7257490fae02ea4a11635d256c862250200c2598","datavalue":{"value":{"entity-type":"item","numeric-id":2471787,"id":"Q2471787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$6CA7ACCE-7989-4C5A-A28E-E14D1AACC691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca4353bad02af02f78e6875ce43e59e78086f45","datavalue":{"value":{"entity-type":"item","numeric-id":3074557,"id":"Q3074557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$DC990C2B-A258-4E35-99C6-DCFEC2BB1947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c834f7cdea5c1724715d5c2890d0917b28ae46","datavalue":{"value":{"entity-type":"item","numeric-id":4328334,"id":"Q4328334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$15AC1825-E1F0-458F-9BF4-29522409550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c451ebd49df7a4cce39c10d200808e69ab4811a8","datavalue":{"value":{"entity-type":"item","numeric-id":5393666,"id":"Q5393666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628365$032108C2-130F-4B75-9715-D3095FB45BE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e1a13699353100f6170568af5607e6e41be20f2","datavalue":{"value":"10.1007/S11854-010-0028-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628365$F0F3578E-1F40-453C-AF97-01370F12EFFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77c781036e4d8949f1da2a71b0d95b72b51a36a","datavalue":{"value":{"entity-type":"item","numeric-id":5021150,"id":"Q5021150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610d39cc9750b714801bfa94362ab9943be17a6f","datavalue":{"value":{"amount":"+0.8420159220695496","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":"Q628365$C3EC8E25-602B-463F-B3EC-A00B9E1613EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eadee4cdc24c54fadd2e39d50601fc2f5a03a67","datavalue":{"value":{"entity-type":"item","numeric-id":826449,"id":"Q826449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee425337e3376fdec3eba237c133340eb511946","datavalue":{"value":{"amount":"+0.8193374872207642","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":"Q628365$628F3D07-0B8F-4BE3-93AC-A18809273FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33faf48b2ebc9d39b490e325173d42b555a13f00","datavalue":{"value":{"entity-type":"item","numeric-id":2299249,"id":"Q2299249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8fbee4ad6ab4df5b2e0616d0ccdd8a9e57a085","datavalue":{"value":{"amount":"+0.8030163645744324","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":"Q628365$1A0906B8-60B3-44D4-8F74-F7BF6C3D2359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a09f9dcdbc44d169baa2ccc4523d1fbb6c47f60","datavalue":{"value":{"entity-type":"item","numeric-id":2840646,"id":"Q2840646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e9f74bfa1013ff9285710461238c505a749700","datavalue":{"value":{"amount":"+0.7845680713653564","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":"Q628365$5AF56A67-0C0B-41A8-B979-1C472D96942E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9db368819837c796d9989f86f246eaac206da2","datavalue":{"value":{"entity-type":"item","numeric-id":2504001,"id":"Q2504001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ec5171c34727c701e0468258c0efcea596c96b","datavalue":{"value":{"amount":"+0.7649458646774292","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":"Q628365$FCD2D776-1ED9-470B-A730-FF69F413FF2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The discretized sum-product and projection theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_discretized_sum-product_and_projection_theorems"}}}}}