On sumsets in Euclidean space (Q1587664)

Some addition theorems for Lebesgue measurable sets and lattice subsets of Euclidean space \(\mathbb{R}^n\) are proved. Let \(P\) be an \(n\)-dimensional parallelepiped, \(A\) and \(B\) be non-empty measurable subsets of \(P\) such that the convex hull of \(A\) is \(P\). If \(S=A+B\), then \[ m(S)\geq 2^nm(B)+\min\{m(A),m(p\setminus B)\},\tag{Theorem 4} \] where \(m\) stands for the Lebesgue measure. In particular, if \(A\) and \(2A\) are measurable, then we get a lower estimate for \(m(2A)\). The author also proves a discrete version of the later case (yielding for \(n=1\) the Freiman inequality): Let \(A\) be an \(n\)--dimensional lattice set, \(\Lambda\) be the intersection of all lattices containing \(A\), and \(P\) a prime parallelepiped of \(\Lambda\) with \(V\) being the set of vertices of \(P\). If \(V\subset A\subset P\), then \[ |2A|\geq 2^n|A|-4^n+3^n+\min \biggl\{|A|-2^n, \frac{m(P)}{d(A)}-|A|+2^n-1 \biggr\}, \tag{Theorem 2} \] where \(d(A)\) is the determinant of \(A\), and the primality is essential. The latter result is actually deduced from a more general result (Theorem 5 of the paper). An example connected with a consequence of the discrete version in \(\mathbb{Z}^2\) shows that there exist sets \(A\) with \(|2A|=(2^n+1)|A|-4^n+3^n-2^n\) for \(n=2\) (if this is true for \(n>2\) is open).