An example concerning set addition in \(\mathbb{F}_2^n\) (Q2423213)

The set \(L_{d}\) of vectors in \(\mathbb{F}_{2}^{D}\) with Hamming weight \(d\) is called a layer. The union \(L_{s} \cup \dots{} \cup L_{s+k-1}\) of \(k\) consecutive layers is called a band of width \(k\) in \(\mathbb{F}_{2}^{D}\). In this paper the authors construct arbitrary large finite sets \(A\) and \(B\) in some vector space over \(\mathbb{F}_{2}\) with the property that \(\mathbb{P}(a+b\in A|a\in A,b\in B) \ge 1 - \delta\) such that if \(A^{'} \subset A\) and \(B^{'} \subset B\) satisfy \(|A^{'} + B^{'}| \le K|A^{'}|\), then \(|B^{'}| = O_{K,\delta}(|B|^{1/2})\), where \(0 < \delta < 1 < K\). The set \(A\) contains a direct product of \(m\) bands in copies of \(\mathbb{F}_{2}^{m}\). The set \(B\) is formed by the standard basis vectors in \((\mathbb{F}_{2}^{m})^{m}\).