Near-sunflower exponential bound for k-uniform families

Near-sunflower analogue of the Erdős-Rado Sunflower Conjecture · arXiv:2010.05992

arXiv Conjecture low confidence— first stated 2020-10-12

Authors: Noga Alon, Ron Holzman

Status open high confidence

The conjecture that every k-uniform family containing no near-sunflower of size r satisfies |F| ≤ C^k (C depending only on r) remains open. The source paper, published in Israel Journal of Mathematics (2023), proves the C^k bound only under the strictly stronger condition of being focal-free (Section 6), leaving the near-sunflower version explicitly open. A 2024 follow-up (Huang–Shangguan–Zhang–Zhao, arXiv:2410.23611) provides asymptotically optimal bounds for focal-free hypergraphs and codes, extending the Alon-Holzman focal-free analysis, but does not address the near-sunflower conjecture. No verified proof or counterexample for the full conjecture has been found.

Cited literature (1)

partial Focal-free uniform hypergraphs and codes (2024)

Xinqi Huang, Chong Shangguan, Xiande Zhang, Yuhao Zhao · arXiv preprint · arXiv:2410.23611

Gives asymptotically optimal bounds on the maximum size of focal-free uniform hypergraphs and codes (a strictly stronger condition than near-sunflower-free, as every near-sunflower-free family is also focal-free), and connects focal-free structures to the Erdős Matching Conjecture, but does not resolve the near-sunflower conjecture.

Reviewer notes. The Erdős-Rado sunflower conjecture itself remains open; arXiv:2212.13609 (Fukuyama, 2022) claiming a proof was found to contain errors and was not accepted. Since the near-sunflower conjecture is weaker (near-sunflower-free is a stronger condition than sunflower-free), it remains open independently. The source paper was published as: Israel Journal of Mathematics, 2023. No internal references were supplied for verification.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Conjecture. If $\mathcal{F}$ is a $k$-uniform family of sets containing no near-sunflower of size $r$, then $|\mathcal{F}| \leq C^k$, where $C$ is a constant depending only on $r$.

Context

The paper introduces near-sunflowers as a weakening of sunflowers (allowing elements to belong to $0, 1, r-1,$ or $r$ sets in the family) and proposes this bound as a weaker version of the notorious Erdős-Rado sunflower conjecture. While the paper resolves the Erdős-Szemerédi-type question (exponential bound in $n$) for near-sunflowers via Theorem 1.3, the Erdős-Rado-type question (exponential bound in $k$) is explicitly left open; Section 6 proves the bound only under a stronger condition.

Notes. Section 6, where this conjecture is formally stated, is truncated in the provided PDF extraction; statement reconstructed from the abstract and introduction. PDF source — math notation may be garbled.

Source paper

Near-sunflowers and focal families
Noga Alon, Ron Holzman · 2020-10-12
https://arxiv.org/abs/2010.05992 PDF source