English

The Oddtown problem modulo a composite number

Combinatorics 2025-09-03 v1

Abstract

A family of subsets A\mathcal{A} of an nn-element set is called an \ell-Oddtown if the sizes of all sets are not divisible by \ell, but the sizes of pairwise intersections are divisible by \ell. Berlekamp and Graver showed that when is a \ell is a prime, the maximum size of an \ell-Oddtown is nn. For composite moduli with ω\omega distinct prime factors, the argument of Szegedy gives an upper bound of ωnωlog2n\omega n-\omega\log_2 n on the size of an \ell-Oddtown. We improve this to ωn(2ω+ε)log2n\omega n-(2\omega +\varepsilon)\log_2 n for most \ell and nn using a combination of linear algebraic and Fourier-analytic arguments.

Keywords

Cite

@article{arxiv.2509.00586,
  title  = {The Oddtown problem modulo a composite number},
  author = {Boris Bukh and Ting-Wei Chao and Zeyu Zheng},
  journal= {arXiv preprint arXiv:2509.00586},
  year   = {2025}
}

Comments

10 pages, 1 figure

R2 v1 2026-07-01T05:13:39.480Z