Antichain codes

Abstract

AbstractA family of sets is said to be an antichain if for all distinct , and it is said to be a distance‐ code if every pair of distinct elements of has Hamming distance at least . Here, we prove that if is both an antichain and a distance‐ code, then . This result, which is best‐possible up to the implied constant, is a purely combinatorial strengthening of a number of results in Littlewood–Offord theory; for example, our result gives a short combinatorial proof of Hálasz's theorem, while all previously known proofs of this result are Fourier‐analytic.