{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nAnother version of the problem, sometimes called the **weak sunflower conjecture** or the **Erdős–Szemerédi sunflower conjecture**, deals with the case where the family of sets is a subset of the [[power set|00E0YZCERH]] of an *n*-element set. In this version, the size of the individual sets is not restricted. The conjecture states that if $\\mathcal{F}$ is a family of subsets of ${1, 2, \\ldots, n}$ and $|\\mathcal{F}| \u003e c^n$ for some constant $c\u003c2$, then $\\mathcal{F}$ must contain a sunflower of size 3 (the case where $r=3$).\n\nThis conjecture was resolved as a consequence of a breakthrough on the cap set problem. Alon, Shpilka, and Umans had previously shown that an exponential upper bound for the cap set problem would imply a solution to the weak sunflower conjecture for $r=3$. In 2016, Ellenberg and Gijswijt, building on the work of Croot, Lev, and Pach, used polynomial methods to prove a tight exponential upper bound on the size of cap sets.\n\nFollowing this, Eric Naslund and Will Sawin adapted these methods to provide an explicit proof for the weak sunflower conjecture. They proved that the size of any family of subsets of ${1, 2, \\ldots, n}$ without a 3-sunflower is at most $3n \\sum_{k \\le n/3} \\tbinom{n}{k}$, which is bounded by $(1.89)^n$ for large $n$. This confirmed the conjecture that such families have a size of at most $c^n$ for a constant $c\u003c2$.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "HXGKSE638C"
    ],
    "kind": "statement",
    "name": "Weak sunflower conjecture",
    "role": "proposition",
    "sources": [
      {
        "locator": "Sunflower (mathematics), section Weak sunflower conjecture",
        "mention": "wikipedia://en/8208248#P463",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:8208248@r1372848827"
      }
    ],
    "tag": "ESR34XYZVZ"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/ESR34XYZVZ/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/ESR34XYZVZ.md",
  "msc": null,
  "name": "Weak sunflower conjecture",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ESR/ESR34XYZVZ.md",
  "status": null,
  "tag": "ESR34XYZVZ",
  "uri": "m2://ESR34XYZVZ",
  "url": "https://math2.tamnd.com/wiki/weak-sunflower-conjecture/",
  "writing": {
    "tag": "ESR34XYZVZ",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}