clopen.solutions

Covering $\mathbb{F}_2^n$ with Hamming Balls

Recorded by the registry's curators from arXiv; the authors did not submit it here.

AI-Verified

Michael Jaber; Vinayak M. Kumar

Green asked the following question concerning structures in sumsets: Suppose that $\mathbb{F}_2^n$ is partitioned into sets $A_1, \dots, A_K$. Does $A_i+A_i$ contain a coset of codimension $O_K(1)$ for some $i$? An answer is not known even in the case of $K = 3$. We resolve this question in the affirmative in two special cases: (1) when $A_1, A_2$ are Hamming balls of radius $r < n/2 - 7$ relative to different bases, and (2) when $A_1$ is a Hamming ball of sufficiently small constant density.

Claims

PARTIALLY RESOLVED OP-01037 — A partition of the Boolean cube with no structured sumset
Partial resolution · fidelity not yet established

Files and sources

Paper
arXiv:2606.07918v1 ↗
Licence
arXiv's non-exclusive licence to distribute
Posted on arXiv
6 June 2026

No verification run is on record for this version.