Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2509.00586 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- A family of subsets $\mathcal{A}$ of an $n$-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 $n$. For composite moduli with $ω$ distinct prime factors, the argument of Szegedy gives an upper bound of $ωn-ω\log_2 n$ on the size of an $\ell$-Oddtown. We improve this to $ωn-(2ω+\varepsilon)\log_2 n$ for most $\ell$ and $n$ using a combination of linear algebraic and Fourier-analytic arguments.