A Marstrand Theorem for Subsets of Integers

Abstract

We propose a counting dimension for subsets of $\mathbb{Z}$ and prove that, under certain conditions on E,F ⊂ $\mathbb{Z}$, for Lebesgue almost every λ ∈ $\mathbb{R}$ the counting dimension of E + ⌊λF⌋ is at least the minimum between 1 and the sum of the counting dimensions of E and F. Furthermore, if the sum of the counting dimensions of E and F is larger than 1, then E + ⌊λF⌋ has positive upper Banach density for Lebesgue almost every λ ∈ $\mathbb{R}$. The result has direct consequences when E,F are arithmetic sets, e.g., the integer values of a polynomial with integer coefficients.