On product sets of arithmetic progressions

MaRDI QIDQ6387249zbMATH OpenFDO

Authors Max Wenqiang Xu, Yunkun Zhou

Publication date 31 December 2021

Abstract: We prove that the size of the product set of any finite arithmetic progression $mathcalAsubsetmathbbZ$ satisfies [|mathcal A cdot mathcal A| ge frac{|mathcal A|^2}{(log |mathcal A|)^{2 heta +o(1)} } ,] where $2heta=1-(1+loglog2)/(log2)$ is the constant appearing in the celebrated ErdH{o}s multiplication table problem. This confirms a conjecture of Elekes and Ruzsa from about two decades ago. If instead $mathcalA$ is relaxed to be a subset of a finite arithmetic progression in integers with positive constant density, we prove that [|mathcal A cdot mathcal A | ge frac{|mathcal A|^{2}}{(log |mathcal A|)^{2log 2- 1 + o(1)}}. ] This solves the typical case of another conjecture of Elekes and Ruzsa on the size of the product set of a set $mathcalA$ whose sum set is of size $O(|mathcalA|)$. Our bounds are sharp up to the $o(1)$ term in the exponents. We further prove asymmetric extensions of the above results.

This page was built for publication: On product sets of arithmetic progressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6387249)