{"title":"Convexity, Elementary Methods, and Distances","authors":"Oliver Roche-Newton, Dmitrii Zhelezov","doi":"10.1007/s00454-023-00625-7","DOIUrl":null,"url":null,"abstract":"<p>This paper considers an extremal version of the Erdős distinct distances problem. For a point set <span>\\(P \\subset {\\mathbb {R}}^d\\)</span>, let <span>\\(\\Delta (P)\\)</span> denote the set of all Euclidean distances determined by <i>P</i>. Our main result is the following: if <span>\\(\\Delta (A^d) \\ll |A|^2\\)</span> and <span>\\(d \\ge 5\\)</span>, then there exists <span>\\(A' \\subset A\\)</span> with <span>\\(|A'| \\ge |A|/2\\)</span> such that <span>\\(|A'-A'| \\ll |A| \\log |A|\\)</span>. This is one part of a more general result, which says that, if the growth of <span>\\(|\\Delta (A^d)|\\)</span> is restricted, it must be the case that <i>A</i> has some additive structure. More specifically, for any two integers <i>k</i>, <i>n</i>, we have the following information: if </p><span>$$\\begin{aligned} | \\Delta (A^{2k+3})| \\le |A|^n \\end{aligned}$$</span><p>then there exists <span>\\(A' \\subset A\\)</span> with <span>\\(|A'| \\ge |A|/2\\)</span> and </p><span>$$\\begin{aligned} | kA'- kA'| \\le k^2|A|^{2n-3}\\log |A|. \\end{aligned}$$</span><p>These results are higher dimensional analogues of a result of Hanson [4], who considered the two-dimensional case.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00454-023-00625-7","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
This paper considers an extremal version of the Erdős distinct distances problem. For a point set \(P \subset {\mathbb {R}}^d\), let \(\Delta (P)\) denote the set of all Euclidean distances determined by P. Our main result is the following: if \(\Delta (A^d) \ll |A|^2\) and \(d \ge 5\), then there exists \(A' \subset A\) with \(|A'| \ge |A|/2\) such that \(|A'-A'| \ll |A| \log |A|\). This is one part of a more general result, which says that, if the growth of \(|\Delta (A^d)|\) is restricted, it must be the case that A has some additive structure. More specifically, for any two integers k, n, we have the following information: if