English

On the size of $A+\lambda A$ for algebraic $\lambda$

Combinatorics 2023-06-07 v1

Abstract

For a finite set ARA\subset \mathbb{R} and real λ\lambda, let A+λA:={a+λb:a,bA}A+\lambda A:=\{a+\lambda b :\, a,b\in A\}. Combining a structural theorem of Freiman on sets with small doubling constants together with a discrete analogue of Pr\'ekopa--Leindler inequality we prove a lower bound A+2A(1+2)2AO(A1ε)|A+\sqrt{2} A|\geq (1+\sqrt{2})^2|A|-O({|A|}^{1-\varepsilon}) which is essentially tight. We also formulate a conjecture about the value of lim infA+λA/A\liminf |A+\lambda A|/|A| for an arbitrary algebraic λ\lambda. Finally, we prove a tight lower bound on the Lebesgue measure of K+TKK+\mathcal{T} K for a given linear operator TEnd(Rd)\mathcal{T}\in \operatorname{End}(\mathbb{R}^d) and a compact set KRdK\subset \mathbb{R}^d with fixed measure. This continuous result supports the conjecture and yields an upper bound in it.

Keywords

Cite

@article{arxiv.2010.00119,
  title  = {On the size of $A+\lambda A$ for algebraic $\lambda$},
  author = {Dmitry Krachun and Fedor Petrov},
  journal= {arXiv preprint arXiv:2010.00119},
  year   = {2023}
}
R2 v1 2026-06-23T18:55:22.373Z