 that $|A' \cap Z| > m/2$ and $|Z| {\leqslant}|(B+B) \setminus [\lambda k]|$. It follows that, given $B$ such that $B = A \setminus [\lambda k / 2]$ for some $A \in {\mathcal{D}}(b,\mu)$, the number of choices for $A'$ is at most $$\sum_{\ell > m/2} \binom{\mu b}{\ell}\binom{\lambda k / 2}{k - b - \ell} {\leqslant}\sum_{\ell > m/2} \left( \frac{e\mu b}{\ell} \cdot \frac{2}{\lambda-2} \right)^\ell {\lambda k / 2 \choose k - b} {\leqslant}2^{-m} \left( \frac{2}{\lambda - 2}\right)^b {\lambda k / 2 \choose k},$$ where the inequalities follow from  and the bounds $\mu b {\leqslant}2^{-8} \lambda m$ and $\lambda {\geqslant}3$, which together imply that $$\frac{2e\mu b}{m} \cdot \frac{2}{\lambda-2} {\leqslant}\frac{e \lambda}{2^5(\lambda-2)} {\leqslant}\frac{1}{4}.$$ By , and recalling again that $\mu b {\leqslant}2^{-8} \lambda m$, it follows that there are at most $$e^{2\delta b} \left( \frac{\lambda}{\lambda-2} \right)^{\mu b / 2} 2^{-m} \binom{\lambda k/2}{k} {\leqslant}2^{-m/2} \binom{\lambda k/2}{k}$$ choices for $A$ in this case, as required.

It will be useful in the next section (which deals with the case $r {\leqslant}2^{11} \mu b$) to be able to assume that $\mu = \Theta(\lambda)$. The next lemma, which follows from Corollary \[cor:prob:sumset\], provides a suitable bound on the size of ${\mathcal{D}}(b,\mu)$ when this is not the case.

\[lem:big:or:small:sumset\] Let $b \in {\mathbb{N}}$. If $r {\leqslant}2^{11} \mu b$ and $\mu \not\in (\lambda / 2,2\
that $ |A' \cap Z| > m/2 $ and $ |Z| { \leqslant}|(B+B) \setminus [ \lambda k]|$. It follows that, given $ B$ such that $ B = A \setminus [ \lambda k / 2]$ for some $ A \in { \mathcal{D}}(b,\mu)$, the number of option for $ A'$ is at about $ $ \sum_{\ell > m/2 } \binom{\mu b}{\ell}\binom{\lambda k / 2}{k - b - \ell } { \leqslant}\sum_{\ell > m/2 } \left (\frac{e\mu b}{\ell } \cdot \frac{2}{\lambda-2 } \right)^\ell { \lambda k / 2 \choose k - b } { \leqslant}2^{-m } \left (\frac{2}{\lambda - 2}\right)^b { \lambda k / 2 \choose k},$$ where the inequalities follow from    and the boundary $ \mu b { \leqslant}2^{-8 } \lambda m$ and $ \lambda { \geqslant}3 $, which in concert imply that $ $ \frac{2e\mu b}{m } \cdot \frac{2}{\lambda-2 } { \leqslant}\frac{e \lambda}{2 ^ 5(\lambda-2) } { \leqslant}\frac{1}{4}.$$ By  , and recalling again that $ \mu b { \leqslant}2^{-8 } \lambda m$, it follows that there be at most $ $ e^{2\delta b } \left (\frac{\lambda}{\lambda-2 } \right)^{\mu b / 2 } 2^{-m } \binom{\lambda k/2}{k } { \leqslant}2^{-m/2 } \binom{\lambda k/2}{k}$$ choice for $ A$ in this case, as required. 

 It will be utilitarian in the next section (which deals with the case $ radius { \leqslant}2^{11 } \mu b$) to be able to assume that $ \mu = \Theta(\lambda)$. The next lemma, which follows from Corollary   \[cor: prob: sumset\ ], provides a suitable oblige on the size of $ { \mathcal{D}}(b,\mu)$ when this is not the case. 

 \[lem: big: or: small: sumset\ ] lease $ b \in { \mathbb{N}}$. If $ r { \leqslant}2^{11 } \mu b$ and $ \mu \not\in (\lambda / 2,2\
 thwt $|A' \cap Z| > m/2$ and $|Z| {\leqsuant}|(B+B) \setminus [\lambda k]|$. It rollows ghat, given $B$ such that $B = A \derminuw [\lambda k / 2]$ for some $X \in {\mathbal{D}}(b,\mu)$, tye nnmber of choices for $A'$ is at mkdt $$\sbm_{\xll > m/2} \binom{\mu n}{\ell}\binom{\lakbda k / 2}{k - b - \alu} {\peqslant}\sum_{\ell > m/2} \left( \frac{e\mu b}{\ell} \cdot \ftaf{2}{\lambda-2} \right)^\ejl {\lsibda k / 2 \choose k - b} {\leqslant}2^{-m} \left( \frzc{2}{\lambde - 2}\right)^b {\lambds k / 2 \choose k},$$ where the ijequwlities follow frol  and the biundf $\mu b {\leqslavt}2^{-8} \lambda m$ and $\lambda {\geqslant}3$, which together imply ghat $$\yrac{2e\mu b}{m} \xdit \vtac{2}{\lambda-2} {\lewslann}\frac{e \lambda}{2^5(\lambda-2)} {\laqslant}\grac{1}{4}.$$ By , and regalliig atain that $\mu b {\leqslait}2^{-8} \lambda m$, it follors that tvexe are at most $$e^{2\delta b} \left( \fraw{\lamcea}{\lxmbsa-2} \rjght)^{\mu b / 2} 2^{-m} \binom{\lzmbda k/2}{k} {\lewslant}2^{-m/2} \binom{\lambda k/2}{h}$$ choices for $Z$ in trif case, as required.

It will be useful in uhe nsxt section (which deals with the case $r {\leqspant}2^{11} \mu b$) to be able to assume that $\mu = \Theta(\lambda)$. The neft lejoa, cmlch wilpows from Corollary \[cor:prob:sumset\], provides a stjtsbke bound on thc size of ${\mathcal{D}}(n,\mk)$ eren this is nut the caae.

\[lem:big:or:small:sumdet\] Let $b \in {\mathbb{N}}$. Yf $r {\leqslant}2^{11} \mu b$ and $\mu \not\in (\lambda / 2,2\
that $|A' \cap Z| > m/2$ and \setminus k]|$. It that, given $B$ \setminus k / 2]$ some $A \in the number of choices for $A'$ at most $$\sum_{\ell > m/2} \binom{\mu b}{\ell}\binom{\lambda k / 2}{k - b - {\leqslant}\sum_{\ell > m/2} \left( \frac{e\mu b}{\ell} \cdot \frac{2}{\lambda-2} \right)^\ell {\lambda k / 2 k b} \left( - 2}\right)^b {\lambda k / 2 \choose k},$$ where the inequalities follow from and the bounds b {\leqslant}2^{-8} \lambda m$ and $\lambda {\geqslant}3$, which imply that $$\frac{2e\mu b}{m} \frac{2}{\lambda-2} {\leqslant}\frac{e \lambda}{2^5(\lambda-2)} {\leqslant}\frac{1}{4}.$$ By and again that b \lambda it follows that are at most $$e^{2\delta b} \left( \frac{\lambda}{\lambda-2} \right)^{\mu b / 2} 2^{-m} \binom{\lambda k/2}{k} {\leqslant}2^{-m/2} \binom{\lambda k/2}{k}$$ for $A$ case, as It be in the next deals with the case $r {\leqslant}2^{11} be able to assume that $\mu = \Theta(\lambda)$. next lemma, follows from Corollary \[cor:prob:sumset\], provides a bound on the size of ${\mathcal{D}}(b,\mu)$ when this not the case. \[lem:big:or:small:sumset\] Let $b \in {\mathbb{N}}$. If $r {\leqslant}2^{11} \mu b$ and $\mu / 2,2\
 that $|A' \cap Z| > m/2$ and $|Z| {\leqslant}|(B+B) \sEtminus [\lamBda k]|$. IT foLloWs That, GiveN $B$ such that $B = A \seTMinuS [\lambda k / 2]$ for some $A \in {\mathCal{D}}(b,\Mu)$, THe nuMBeR of chOices foR $a'$ iS AT moSt $$\SuM_{\elL > m/2} \BInOm{\mu b}{\Ell}\Binom{\laMbda k / 2}{k - b - \ell} {\LeqSlAnt}\sum_{\ell > m/2} \leFT( \fRac{e\mu b}{\ell} \CdoT \frac{2}{\lambda-2} \rIghT)^\ell {\laMbDa k / 2 \CHoose K - b} {\lEqslaNt}2^{-m} \lefT( \Frac{2}{\laMbda - 2}\right)^B {\lAMbda k / 2 \cHOose k},$$ whERE tHe inEqualities follow fROm  ANd the bounds $\mu b {\LeqslaNt}2^{-8} \LAmBDA m$ aNd $\lAmbda {\geqslAnT}3$, whicH TogetheR ImPLY ThaT $$\Frac{2e\mu b}{m} \cdot \Frac{2}{\lambda-2} {\lEQslAnt}\fraC{e \LamBDa}{2^5(\lambDa-2)} {\leqSlANt}\fRac{1}{4}.$$ By , and recAlliNg again thAt $\mu b {\lEQslant}2^{-8} \lAMbda m$, it FollowS thAt tHere ARe At MosT $$e^{2\DEltA B} \lEft( \FRac{\Lambda}{\laMbDa-2} \Right)^{\Mu b / 2} 2^{-m} \BINOM{\lamBda K/2}{k} {\leQslanT}2^{-m/2} \binom{\lambda K/2}{k}$$ cHoicES foR $A$ in tHis caSe, as ReQuireD.

It wilL be usEfUl in the next sectIon (wHich deals WitH tHe cAsE $r {\leqSLant}2^{11} \mu B$) to Be aBle to asSume thaT $\Mu = \THeTA(\LAmBda)$. The next lemma, whiCh FOLlOws from COrollaRY \[cOr:PRob:sumseT\], pRovIdes A SUitabLe boUNd On the sizE of ${\matHCaL{D}}(B,\mu)$ when ThIs is noT tHe cAse.

\[Lem:biG:Or:smAll:sumSet\] Let $b \iN {\mathBB{N}}$. If $r {\leqslant}2^{11} \mU B$ and $\mu \not\in (\laMBdA / 2,2\
 that $|A' \cap Z| > m/2$and $|Z| { \leqs lan t}| (B +B)\set minus [\lambda k]|$ . It follows that, giv en $B $s ucht ha t $B= A \se t mi n u s [ \l am bda  k /2]$ f orsome $A  \in {\mat hca l{ D}}(b,\mu)$, th e number o f c hoices for $ A'$  is at  m ost $$\su m_{ \ell> m/2} \binom {\mu b}{\ el l }\bino m {\lambd a k/ 2} {k - b - \ell} {\ l eq s lant}\sum_{\el l > m/ 2} \l e f t(\fr ac{e\mu b} {\ ell}\ cdot \f r ac { 2 } {\l a mbda-2} \righ t)^\ell {\l a mbd a k /2\ch o ose k- b}{\ l eqs lant}2^{-m}  \le ft( \frac {2}{\l a mbda -2 }\right )^b {\ lam bda  k / 2\c hoo se k}, $ $whe r e t he inequ al it ies f ollo w f r om and  the  boun ds $\mu b {\l eqs lant } 2^{ -8} \ lambd a m$  a nd $\ lambda  {\ge qs lant}3$, whichtoge ther impl y t ha t $ $\ frac{ 2 e\mu b }{m } \ cdot \f rac{2}{ \ lam bd a - 2 }{\leqslant}\frac{e  \ l a mb da}{2^5( \lambd a -2 )} {\leqsla nt }\f rac{ 1 } {4}.$ $ By ,and reca llinga ga in  that $ \m u b {\ le qsl ant }2^{- 8 } \l ambdam$, it f ollow s  that there ar e  at most $$e^ { 2\ d e lt a  b}\le ft( \frac{\ lamb d a}{\ lamb d a- 2}\ right )^{\m ub  / 2} 2^{-m} \binom{\l am bda k/ 2}{k}  {\leqslant}2 ^{-m/2} \b i n o m{\lambd a k/ 2 }{ k }$$ choices fo r $A$  in this c a se, as r equir ed.

Itwill be u s e ful in t henex t s ect i o n(which dealsw i th t he  case $ r { \leqsla nt} 2^{ 11}  \m ub$) to be  able to  a ss um etha t $\m u  = \Thet a( \la mb da) $. Th e  nextlemma , wh ic hf oll ows fro m  C o r olla ry  \ [cor :pr ob :sums et\] ,  pr ovidesa suitabl e b o undon  t he size  of ${\mathca l{ D}}(b,\mu) $whe n this i s not th e case.

\[lem:big:or:s m all:sum set \] Le t $b  \in {\ma thb b{N}}$ . I f  $r {\ leqsla nt}2^ {1 1}\ m u b$a n d$\m u\not\in (\ l a mbd a / 2 ,2 \
 that_$|A' \cap_Z| > m/2$ and_$|Z| {\leqslant}|(B+B)_\setminus_[\lambda k]|$._It_follows that, given_$B$ such that_$B = A \setminus_[\lambda k /_2]$_for some $A \in {\mathcal{D}}(b,\mu)$, the number of choices for $A'$ is at most_$$\sum_{\ell_> m/2}_\binom{\mu_b}{\ell}\binom{\lambda_k / 2}{k - b_- \ell} {\leqslant}\sum_{\ell > m/2}_\left( \frac{e\mu_b}{\ell} \cdot \frac{2}{\lambda-2} \right)^\ell {\lambda k / 2_\choose_k - b}_{\leqslant}2^{-m} \left( \frac{2}{\lambda - 2}\right)^b {\lambda k / 2_\choose k},$$ where the inequalities follow_from  and the_bounds_$\mu_b {\leqslant}2^{-8} \lambda m$_and $\lambda {\geqslant}3$, which together imply_that $$\frac{2e\mu b}{m} \cdot \frac{2}{\lambda-2} {\leqslant}\frac{e_\lambda}{2^5(\lambda-2)} {\leqslant}\frac{1}{4}.$$ By , and recalling again that_$\mu b {\leqslant}2^{-8} \lambda m$, it_follows that there are at_most $$e^{2\delta_b} \left( \frac{\lambda}{\lambda-2} \right)^{\mu b_/ 2} 2^{-m}_\binom{\lambda k/2}{k}_{\leqslant}2^{-m/2} \binom{\lambda k/2}{k}$$_choices for $A$ in this case,_as required.

It will_be useful in the next section_(which_deals with the_case_$r_{\leqslant}2^{11} \mu_b$) to be_able_to assume_that_$\mu = \Theta(\lambda)$. The next lemma,_which_follows from Corollary \[cor:prob:sumset\], provides a suitable bound_on the size of_${\mathcal{D}}(b,\mu)$_when this is not_the case.

\[lem:big:or:small:sumset\] Let $b \in_{\mathbb{N}}$. If $r {\leqslant}2^{11} \mu b$_and $\mu_\not\in (\lambda_/ 2,2\