Measure of sumsets and ejective sets. I (Q1374579)

If \((G, \cdot)\) is a unimodular locally compact group and \(H\subset G\), \(H\) is said to be \textit{ejective} if \(\zeta_{H}(t) > 0\) for some real number \(t\) where\( \zeta_{H}(t) = \inf_A \sup_{h \in H} \mu \{ah\in G\setminus A; a \in A \} \), \(\mu\) is a Haar measure and the infimum is taken over all measurable sets \(A \subset G\) s.t. \(\mu (A) = t\). The motivation for this new notion stems from a swifty proof of two number-theoretical results by P. Erdös and D. A. Raikov on Schnirelman densities. The function \(\zeta_{H}\) is computed exactly for \(H = G\), \(G\) infinite compact commutative, and estimated from above for \(H = G\), \(G\) finite. The main result is a construction of a `small' ejective set \(H \subset G = \mathbb R / \mathbb Z\). The `small' means that the minimal number of intervals of length \(1 / n\) covering \(H\) is bounded from above by \(c \cdot (\log \log n)^{3} \log n\) (\(n\) large, \(c\) an absolute constant).