2
$\begingroup$

Let $G$ ($G=\mathbb{Z}^n_2$ for my case) be a additive group and $A$ be a subset of $G$. For any set $S\subseteq G$ define its doubling as $$\sigma (S)=\dfrac{|S+S|}{|S|}$$ Suppose $A$ has small doubling. i.e. $\sigma (A)\leq c$ for some real number $c\geq 1$. What can we say about $\sigma (A+A)$? I know in general it is not true that $\sigma (A+A)\leq\sigma (A)$. But does there exist sets $A$ satisfying $$\sigma (2^k A)\leq\sigma(2^{k-1}A)\ \ \ \ \forall k\geq 0$$ and can we characterize them?

$\endgroup$
5
  • $\begingroup$ Is there a typo? $s=2$? $\endgroup$ Nov 18, 2013 at 5:58
  • 1
    $\begingroup$ If $A$ is a subgroup, then $\sigma(mA)=1$ for every $m\ge 1$. Similarly, taking $A$ to be an arithmetic progression yields $\sigma(mA)=2+o(1)$. Does this answer your question? $\endgroup$
    – Seva
    Nov 18, 2013 at 9:32
  • $\begingroup$ I noticed this special case as well. Thanks for reminding. I should have mentioned it. But I'd love to see whether there is a non-group $A$ satisfying the requirement. $\endgroup$
    – yue
    Nov 18, 2013 at 9:50
  • $\begingroup$ and non-coset $A$ $\endgroup$
    – yue
    Nov 18, 2013 at 9:54
  • 1
    $\begingroup$ I would expect that no characterisation can be given and, in fact, you have $\sigma(2^kA)\le\sigma(2^{k-1}A)$ for all "non-pathological" cases. As just one example, consider the situation where $A$ is a sufficiently dense subset of a subgroup. $\endgroup$
    – Seva
    Nov 18, 2013 at 12:26

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.