1: \begin{abstract}

2: We show that a non-empty subset of an abelian group with a small edge

3: boundary must be large; in particular, if $A$ and $S$ are finite, non-empty

4: subsets of an abelian group such that $S$ is independent, and the edge

5: boundary of $A$ with respect to $S$ does not exceed $(1-\gam)|S||A|$ with a

6: real $\gam\in(0,1]$, then $|A|\ge4^{(1-1/d)\gam |S|}$, where $d$ is the

7: smallest order of an element of $S$. Here the constant $4$ is best possible.

8: 

9: As a corollary, we derive an upper bound for the size of the largest

10: independent subset of the set of popular differences of a finite subset of an

11: abelian group. For groups of exponent $2$ and $3$, our bound translates into

12: a sharp estimate for the additive dimension of the popular difference set.

13: 

14: We also prove, as an auxiliary result, the following estimate of possible

15: independent interest: if $A\seq\Z^n$ is a finite, non-empty downset then,

16: denoting by $w(a)$ the number of non-zero components of the vector $a\in A$,

17: we have

18:   \[\frac1{|A|} \sum_{a\in A} w(a) \le \frac12\, \log_2 |A|.\]

19: \end{abstract}