问题
太阳花（sunflower）：族中集合两两之交恒等于同一 «花芯» Y（即 «花瓣» 两两不交）的子族。Erdős–Rado 太阳花引理（1960）：多于 k!·(r−1)k 个 k 元集合的族必含 r-瓣太阳花。太阳花猜想：存在常数 c>1（与 k 无关），使得多于 ck 个 k-元的族必含 3-瓣太阳花。Polymath10（2016）把常数压到 c ≈ 3.6（对足够大的 k），距 «常数 >1 即可» 的目标仍差关键一步——但 «c 存在» 与 «c 的值» 是两件事：任何有限 c 都将瞬间改进复杂性理论的一族下界（AC⁰ 电路下界、矩阵乘法的 «高阶» 改进等）。
主要概念
为什么指数上界重要
Erdős–Rado 的 «阶乘型» 界在应用中 «太大»：电路复杂性、组合几何的 «杨辉三角式» 论证都需要 «指数» 界。猜想若真，AC⁰ 电路的 «太阳花消除» 论证将全面升级——这是 «纯组合猜想 → 计算复杂性» 的直接管道。
三瓣的特殊性
一般 r-瓣可从 3-瓣 «幂化»（迭代取太阳花）；故主攻 3-瓣。3-瓣的 «花瓣两两不交» 是 «线性代数化» 的门槛：Alweiss–Lovett–Wu–Zhang（2019–20）用 «倾向 spread» 的加权论证给出 c = (log k)O(1) 的 «准指数» 界——离常数只差 «对数因子»，这是近年最大进展。
主要命题与证明
命题 1（Erdős–Rado 太阳花引理，1960，完整证明） 若族 𝓕 的集合大小 ≤ k 且 |𝓕| > k!·(r−1)k，则 𝓕 含 r-瓣太阳花。
证明 对 k 归纳。k=0：任意 r 个空集成太阳花（花芯 ∅）；|𝓕| > 1 已含。归纳步：取极大 «不交子族» 𝓓 = {D₁,…,Dt}。若 t ≥ r：D₁,…,Dr 是花芯 ∅ 的太阳花 ✓。若 t = s < r：由极大性，每个 F ∈ 𝓕 与某 Dj 相交，故 |F ∩ Dj| ≥ 1，从而 F∖Dj 大小 ≤ k−1。按 «(相交的 Dj, 交点集 F∩Dj)» 给 𝓕 分子族：分子族数 ≤ s·2k（交点集是 Dj 的子集），每个 «残族» {F∖Dj} 是 ≤ k−1 元的族，由归纳假设，若 |残族| > (k−1)!·(r−1)k−1 则含 r-瓣太阳花，其 «原像» 补回 Dj 的交点集仍成太阳花（花芯加交点集）。若所有残族都不超界：|𝓕| ≤ s·2k·(k−1)!·(r−1)k−1 ≤ (r−1)·2k·(k−1)!·(r−1)k−1 = 2k·(k−1)!·(r−1)k ≤ k!·(r−1)k——与 |𝓕| 大于该界矛盾。□
命题 2（Alweiss–Lovett–Wu–Zhang 准指数界，2019–20；陈述） 多于 k·(log k)O(1)·2k（即 «(log k)O(1) 因子改进的指数界»）个 k-元的族含 3-瓣太阳花。方法：«倾向 spread»——若族 «到处分散» 则可找到花芯；«集中» 处递归。
说明 从 (log k)O(1) 到常数的最后一步是当前主战场；Polymath10 的 «c≈3.6 对足够大 k» 是 «常数存在性» 在 «渐近意义» 下的强证据。□
命题 3（复杂性回报；陈述） 太阳花界直接进入 «ω-正则» 电路的下界论证与矩阵乘法张量的 «组合切片» 分析——«c 存在 ⟹ 一族下界同时改进» 是该猜想在计算理论侧的精确含义。
说明 这一 «一题多酬» 的结构使太阳花猜想成为 «组合 ↔ 复杂性» 接口上被押注最重的开放题之一。□
进展与文献
Erdős–Rado 1960；Polymath10 的系列改进（Kostochka 等的 c 值压缩）；Alweiss–Lovett–Wu–Zhang《Improved bounds for the sunflower lemma》(2020–21)；Rao、Sawin 等的后续精细化。开放核心：常数界（c 的存在性）；r≥4 瓣的对应界；太阳花引理在 «单调电路下界» 中的极限。