The Oddtown problem modulo a composite number
Combinatorics
2025-09-03 v1
Abstract
A family of subsets of an -element set is called an -Oddtown if the sizes of all sets are not divisible by , but the sizes of pairwise intersections are divisible by . Berlekamp and Graver showed that when is a is a prime, the maximum size of an -Oddtown is . For composite moduli with distinct prime factors, the argument of Szegedy gives an upper bound of on the size of an -Oddtown. We improve this to for most and using a combination of linear algebraic and Fourier-analytic arguments.
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