English

Upper bounds for sunflower-free sets

Combinatorics 2023-03-13 v1 Number Theory

Abstract

A collection of kk sets is said to form a kk-sunflower, or Δ\Delta-system, if the intersection of any two sets from the collection is the same, and we call a family of sets F\mathcal{F} sunflower-free if it contains no sunflowers. Following the recent breakthrough of Ellenberg and Gijswijt and Croot, Lev and Pach we apply the polynomial method directly to Erd\H{o}s-Szemer\'{e}di sunflower problem and prove that any sunflower-free family F\mathcal{F} of subsets of {1,2,,n}\{1,2,\dots,n\} has size at most F3nkn/3(nk)(322/3)n(1+o(1)). |\mathcal{F}|\leq3n\sum_{k\leq n/3}\binom{n}{k}\leq\left(\frac{3}{2^{2/3}}\right)^{n(1+o(1))}. We say that a set A(Z/DZ)n={1,2,,D}nA\subset(\mathbb Z/D \mathbb Z)^{n}=\{1,2,\dots,D\}^{n} for D>2D>2 is sunflower-free if every distinct triple x,y,zAx,y,z\in A there exists a coordinate ii where exactly two of xi,yi,zix_{i},y_{i},z_{i} are equal. Using a version of the polynomial method with characters χ:Z/DZC\chi:\mathbb{Z}/D\mathbb{Z}\rightarrow\mathbb{C} instead of polynomials, we show that any sunflower-free set A(Z/DZ)nA\subset(\mathbb Z/D \mathbb Z)^{n} has size AcDn |A|\leq c_{D}^{n} where cD=322/3(D1)2/3c_{D}=\frac{3}{2^{2/3}}(D-1)^{2/3}. This can be seen as making further progress on a possible approach to proving the Erd\H{o}s-Rado sunflower conjecture, which by the work of Alon, Sphilka and Umans is equivalent to proving that cDCc_{D}\leq C for some constant CC independent of DD.

Keywords

Cite

@article{arxiv.1606.09575,
  title  = {Upper bounds for sunflower-free sets},
  author = {Eric Naslund and William F. Sawin},
  journal= {arXiv preprint arXiv:1606.09575},
  year   = {2023}
}

Comments

5 pages

R2 v1 2026-06-22T14:39:51.184Z