Abstract
A family $\mathcal{F}\subset 2^G$ of subsets of an abelian group $G$ is a \emph{Sidon system} if the sumsets $A+B$ with $A,B\in \mathcal{F}$ are pairwise distinct. Cilleruelo, Serra and the author previously proved that the maximum size $F_k(n)$ of a Sidon system consisting of $k$-subsets of the first $n$ positive integers satisfies $C_k n^{k-1}\leq F_k(n) \leq \binom{n-1}{k-1}+n-k$ for some constant $C_k$ only depending on $k$. We close the gap by proving an essentially tight structural result that in particular implies $F_k(n)\geq (1-o(1))\binom{n}{k-1}$. We also use this to establish a result about the size of the largest Sidon system in the binomial random family $\binom{[n]}{k}_p$. Extensions to $h$-fold sumsets for any fixed $h\geq 3$ are also obtained.
Reference11 articles.
1. József Balogh, Zoltán Füredi, and Souktik Roy. An upper bound on the size of Sidon sets. American Mathematical Monthly, 130(5):437-445, 2023.
2. R. C. Bose. An affine analogue of Singer's theorem. The Journal of the Indian Mathematical Society. New Series, 6:1-15, 1942.
3. Javier Cilleruelo, Oriol Serra, and Maximilian Wötzel. Sidon set systems. Revista Matemática Iberoamericana, 36(5):1527-1548, 2020.
4. D. Conlon and W. T. Gowers. Combinatorial theorems in sparse random sets. Annals of Mathematics. Second Series, 184(2):367-454, 2016.
5. Pál Erdős and Pál Turán. On a problem of Sidon in additive number theory, and on some related problems. Journal of the London Mathematical Society. Second Series, 16:212-215, 1941.