English

On the discretised $ABC$ sum-product problem

Combinatorics 2023-11-13 v3 Metric Geometry Number Theory

Abstract

Let 0<βα<10 < \beta \leq \alpha < 1 and κ>0\kappa > 0. I prove that there exists η>0\eta > 0 such that the following holds for every pair of Borel sets A,BRA,B \subset \mathbb{R} with dimHA=α\dim_{\mathrm{H}} A = \alpha and dimHB=β\dim_{\mathrm{H}} B = \beta: dimH{cR:dimH(A+cB)α+η}αβ1β+κ.\dim_{\mathrm{H}} \{c \in \mathbb{R} : \dim_{\mathrm{H}} (A + cB) \leq \alpha + \eta\} \leq \tfrac{\alpha - \beta}{1 - \beta} + \kappa. This extends a result of Bourgain from 2010, which contained the case α=β\alpha = \beta. The paper also contains a δ\delta-discretised, and somewhat stronger, version of the estimate above, and new information on the size of long sums of the form a1B++anBa_{1}B + \ldots + a_{n}B.

Keywords

Cite

@article{arxiv.2110.02779,
  title  = {On the discretised $ABC$ sum-product problem},
  author = {Tuomas Orponen},
  journal= {arXiv preprint arXiv:2110.02779},
  year   = {2023}
}

Comments

55 pages pages. v3: Referee comments incorporated, to appear in Trans. Amer. Math. Soc. This version of the paper also contains the results from arXiv:2201.00564

R2 v1 2026-06-24T06:40:17.720Z