极值集合论 · 1960 年提出 · Erdős \$1000 悬赏 · 65 年未解
设 $r \ge 3$ 整数。若集族 $\mathcal F = \{A_1, \dots, A_r\}$ 满足存在公共"核" $Y \subseteq \bigcap_i A_i$ 使得对所有 $i \ne j$ 有 $A_i \cap A_j = Y$（即"花瓣"$A_i \setminus Y$ 两两不交），则称 $\mathcal F$ 是 $r$-sunflower（向日葵）。
记 $f(k, r)$ 为最小的 $N$ 使得每个 $k$-uniform 族 $\mathcal F \subseteq \binom{[n]}{k}$（$n$ 任意）若 $|\mathcal F| \ge N$ 必含 $r$-sunflower。
存在绝对常数 $C$ 使得对所有 $r \ge 3$， $$f(k, r) \;\le\; C^k \cdot c_r$$ 其中 $c_r$ 仅依赖于 $r$。$r = 3$ 是悬赏 \$1000 的核心情形：目标 $f(k, 3) = O(C^k)$。
已知下界（Erdős–Rado 1960 自构造）：取 $\mathcal F = \prod_{i=1}^k \{2i-1, 2i\}$（$k$ 个二元素的笛卡尔积），$|\mathcal F| = 2^k$，无 3-sunflower。故 $C \ge 2$。猜想最佳 $C = r-1$（$r=3$ 时 $C = 2$）。
| 年份 | 作者 | 结果 $f(k, r)$ 上界 | 工具 |
|---|---|---|---|
| 1960 | Erdős–Rado | $k! \cdot (r-1)^k$ | 组合归纳（link） |
| 1996 | Kostochka | $\sim k^k \cdot (\log\log k / \log k)^k$ | 熵 + fractional covering |
| 2019 | Alweiss–Lovett–Wu–Zhang | $(\log k)^k \cdot (r \log\log k)^{O(k)}$ | $r$-spread 族 + Talagrand spread |
| 2019 | Frankston–Kahn–Narayanan–Park | 等价改写 | threshold + spread |
| 2020 | Rao | $(C \log k)^k$ | boosting + ALWZ 简化 |
| 2020 | Tao (blog) | — | 诊断：$\log k$ 是 spread 类证明的内禀信息论瓶颈 |
| 2021 | Bell–Chueluecha–Warnke | 简化 + 推广 | quasi-spread |
| 2022 | Park–Pham | Kahn–Kalai threshold（同框架） | spread 框架孪生定理 |
从 Erdős–Rado 1960 的 $(k/e)^k$ 到 Rao 2020 的 $(C \log k)^k$，60 年共改进 $(\log k)^k / k^k$ 因子（= $1/k$ 的 $k$ 次方）；下界 $2^k$ 一动未动。
当前最佳上界与下界存在 $(\log k)^k$ 缺口：
核心工具栈：
Alweiss–Lovett–Wu–Zhang 的核心论证：
结果：$|\mathcal F| \le (\log k)^k \cdot (r \log\log k)^{O(k)}$。Rao 2020 简化把第二项收成 $(C\log k)^k$ 的"统一"形式。
Rao 用 boosting + Shannon entropy 双重论证：
Frankston–Kahn–Narayanan–Park 把 sunflower lemma 改写为 Kahn–Kalai threshold 的特例：
Tao 在 2020 年 blog post 提出关键诊断：
每次 spread refinement 把 $\log |\mathcal F|$ 减少 $\Omega(\log r)$ 比特（对应一个 "satisfying assignment" 的熵）。$k$ 次 refinement 累计 $\Omega(k \log r) = \Omega(k \log\log k)$ 比特。这是 spread 类证明的内禀信息论瓶颈，无论怎么改进 ALWZ 本身，spread 框架天花板就是 $(\log k)^k$。
关键启示：要打破 $\log k$ 必须跳出 spread 框架。
$\mathbb F_3^n$ 上的 cap-set 问题（无 3-AP 子集）由 Croot–Lev–Pach 2017 + Ellenberg–Gijswijt 2017 用 polynomial method（slice rank）解决，给出 $O(2.756^n)$ — 真正的 $C^n$（无 $\log$）。
Naslund–Sawin 2017 把 slice rank 移植到 sunflower-free $\subseteq \mathbb F_3^n$，但限于 $\mathbb F_3$ 字母表。一般 set-system 上的 sunflower 与 $\mathbb F_3^n$ 上的 3-AP 没有 sunflower-preserving 嵌入（见 §15 命题 4 的 KILL 证据）。
Polynomial Freiman–Ruzsa 猜想被 Gowers–Green–Manners–Tao 2023 在 $\mathbb F_2$ 上证明（Lean 4 形式化）。$\mathbb F_3$ 上仍 partial。
PFR 与 sunflower 的连接：
$f(k, 3)$ 的精确值：
SAT / 数值实验（命题 3 数值半，§15）有望刷出 $f(3, 3) \le 30$ 量级数据点。
前面 §1–§12 把 Sunflower 猜想（Erdős–Rado 1960）从历史、定义、最佳已知上界 $(C\log k)^k$（Rao 2020 改进 ALWZ 2019）一直讲到 Tao 2020 给出的"$\log k$ 是 spread 类证明的内禀信息论瓶颈"这一诊断。本节做一件不同的事：不是给一份新的证明草案，而是把 Sunflower 当作一个 研究路线规划问题，用多 agent 头脑风暴方法做一次系统性的发散与重收敛。
具体流程是：先准备 10 个互相不重叠的发散角度（历史方法重用、跨学科类比、算法迁移、经典极值组合内核、等价重述、子情形拆分、新框架、信息论瓶颈、跨猜想杠杆、反证路径），每个角度由独立 agent 写一份 Q1–Q10 的"单题深探"；再让 5 个配对 agent 把题目两两组合做协同分析（Q1+Q4 / Q2+Q3 / Q5+Q6 / Q7+Q8 / Q9+Q10）；最后由两个综合 agent 各自从"体系内"和"跨界 / 新工具"两个视角写 5 题合一的主线策略。本节是这 17 份产出之上的最终综合。
不能：给出 $f(k,3)\le C^k$ 的证明，或对常数 $C$ 的实质改进。Erdős 的 \$1000 悬赏在本节后仍然挂着。
能：把"上下界缺口"翻译成"证明类的禁区与白名单"；定位 5 个独立可写的小命题（lemma / 数值实验 / negative result），其中任一在 1–2 年内可由小团队推进；并把若干被现代 spread/熵框架掩盖的 1960–80 年代经典工具（Frankl shifting、Kruskal–Katona shadow、Bollobás set-pair、Frankl–Wilson 模 $p$）重新放回视野。
| 编号 | 角度 | 核心策略 | 主要障碍 |
|---|---|---|---|
| Q1 | 历史方法重用 | ER link 归纳 + ALWZ spread 混合；Kostochka 熵 + Talagrand spread；Razborov approximation 反向 | Tao 信息瓶颈：spread 为核心不变量的论证最优 $(\log k)^k$；ER 递归 $k$ 步每层损常数 |
| Q2 | 跨学科类比 | list-decoding 编码论；Gibbs / Dobrushin；Johnson scheme $J(n,k)$ 的 Lovász $\vartheta$ | Plotkin/Singleton 给 $2^{O(k)}$ 但常数受限；Boolean Fourier 衰减无定理 |
| Q3 | 算法迁移 | SAT 刷 $f(3,3)$；Lasserre level-$t$ SDP；ALWZ 常数打磨 | SAT 在 $k=4$ 即墙；ML 仅启发式；flag algebra 结构错配 |
| Q4 | 经典极值内核 | Frankl 1977 Δ-system；FW 模 $p$；Bollobás set-pair；Kruskal–Katona shadow；Frankl–Pach VC | FW 是 pairwise 而 sunflower 是多元；KK + spread 双向夹击需精确量化 |
| Q5 | 等价重述 | Kahn–Kalai 阈值（已榨干）；熵 / Shearer；Boolean Fourier hypercontractivity；kissing LP | FKKP 路径已含 $\log k$ 内禀代价；hypercontractivity 在 sunflower 上无现成衰减 |
| Q6 | 子情形拆分 | matroid / 线性代数族；cap-set / $\mathbb F_3^n$ 真 $C^k$（Naslund–Sawin）；dichotomy small-or-spread | 稀疏 / rainbow 与原版同阶；除 dichotomy 外子情形不直通主猜想 |
| Q7 | 新框架 | PFR + spread 融合（GGMT 2023）；多项式法越狱 $\mathbb F_3$ 限制；高阶 $U^d$ Fourier | PFR 可能隐式做 coset refinement；slice rank 结构错配 $\{0,1\}^n$ |
| Q8 | 信息论 / 复杂度瓶颈 | 形式化 Tao 瓶颈为 Razborov–Rudich 风格 proof barrier；通讯复杂度 $k$-DISJ 归约 | "spread-based proof"概念尚无干净定义 |
| Q9 | 跨猜想杠杆 | Park–Pham 为最弱蕴含候选；PFR 次候选；cap-set / slice rank；Frankl union-closed | PP 与 sunflower 是平行而非蕴涵；cap-set 字母表无界硬墙 |
| Q10 | 反证 / 否命题 | cap-set reduction 反证骨架；dichotomy + pseudorandom；电路下界依赖紧 sunflower | set-system → $\mathbb F_3^n$ 的 sunflower-preserving reduction 文献无 |
ALWZ-spread 是软上界，Kruskal–Katona shadow / Bollobás set-pair / 低频 Fourier 是硬下界。把 sunflower-free 重写为"软上界 vs 硬下界 在某 $j^*$ 处不相容"。Tao 2020 信息论 barrier 仅约束纯 spread 链，混合证书绕开。
Frankl 1977 shifting 把任意族压成 initial-segment compressed family，可直接喂给 Lasserre level-3 SDP（Schrijver–Delsarte 块对角）。先代数化几何，再 SoS 写证书。前置 lemma：shifting 保 sunflower-freeness — 这正是命题 1，已被 v2 流水线 KILL。
Naslund–Sawin 在 $\mathbb F_3^n$ 给真正 $C^n$（无 $\log$），多项式法不经 spread。Lovett–Solomon–Zhang dichotomy 把一般 set system 分成 "small junta" 与 "cap-set 几何块"。绕开 Park–Pham 平行天花板。
所有进展候选都可归约为对一个 dichotomy 的两端各自加压：sunflower-free $\Rightarrow$ (small) 或 (spread / pseudorandom)。 · 在 small 分支上，junta + 枚举即给 $C^k$；剩下要做的只是控制 junta 大小不依赖 $\log k$。 · 在 spread 分支上，必须跳出 spread 框架——选项是 (a) shadow / Bollobás 硬下界对偶 (T1)，(b) Lasserre level $\log k$ SoS 吸收 (T2)，(c) 多项式法越狱 / cap-set reduction (T3)，(d) PFR 单次替换归纳。 Q8 的形式化瓶颈把 spread 类证明的天花板钉在 $(\log k)^k$，这不是判 sunflower 死刑，而是禁区告示。
把 Sunflower 重新分解为三件独立的、各自可发表的工作：
5 个候选小命题已逐一通过 Template 2 v2 的 5 层流水线深入验证（详见 §15 表 + 各 proposition HTML）。命题 1 在 L1.sentinel 阶段已被显式反例 KILL，是 v2 流水线"早期 catch 错误"的典型胜利。
这套"10 角度 + 5 题对 + 2 综合"流程在 Sunflower 上的实质性贡献是有限的：所有提到的工具（spread / shifting / shadow / cap-set / SDP / PFR / 信息论 barrier）都是文献已有，agent 没有发明新数学。它们的启发性贡献是显著的：把分散在 1960–2023 文献里的工具放到同一张桌子上，让协同 / 张力 / 缺失桥梁第一次以紧凑形式可读，并把 5 个独立小命题筛出来。
地图本身不能代替走路。下一步真正的工作还得靠 P2/P3 上的人手算稿、SDP 数值、reduction 构造或反例。
5 个候选小命题各自跑了 Template 2 v2 的 5 层流水线（L1 角度 + ranker + sentinel；L2 search + reader；L3 numerical + 2 prover + advocate + 2 lit-integrator；L4 4 票专家投票；L5 summary + decision）。每个命题独立 HTML 笔记。
| # | 命题 | Verdict | 核心发现 | 笔记 |
|---|---|---|---|---|
| P1 | Frankl shifting 保 sunflower-freeness | KILL ❌ | L1.sentinel 在 $k=2, n=4$ 找到显式反例 $\{12, 14, 23\} \xrightarrow{S_{1,2}} \{12, 14, 13\}$（核 $\{1\}$ 的 sunflower）。$n=4$ 共 24 反例，$n=5$ 660 反例，$n=6$ 4680 反例。命题在标准定义下确凿假。 | P1 笔记 |
| P2 | Shadow-spread 不相容引理（弱形式 $(C\log\log k)^k$） | weak-PASS conditional | 原强形式 $C^k$ KILL（循环依赖 + binding $j^*=1$）。修订弱形式 $(C\log\log k)^k$ 数值有 2× headroom；4 票全 WEAK-GO。命门 gap：Tao 2020 blog 的 per-round entropy contraction $u \to u - \log u$ 6 年未严证。 | P2 笔记 |
| P3 | Lasserre level-3 SDP 数值 + level-$d$ 渐近 | split-PASS | P3.a (数值，$k \le 6$)：PASS。Schrijver–Delsarte 块对角后 $k=5$ 仍可解；sunflower-SDP 文献为零（卖点）；预期 $f(3,3) \le 30$ 量级数值。P3.b (渐近)：KILL，cap-set 双重 barrier 独立于 BHKKMP 排除 $-d+1$ 因子；改写为 negative result。 | P3 笔记 |
| P4 | set-system → $\mathbb F_3^n$ sunflower-preserving 嵌入 | split-WARN | 正向：KILL。Lemma 1（角度 A 免费午餐）被 sentinel 反证（$\sum \mathbf 1_{F_i} \equiv 0 \pmod 3 \Leftrightarrow F_1=F_2=F_3$，不是 sunflower）；Sidon / 二阶张量构造均失败；char-2 vs char-3 barrier 是真实结构障碍。负向：conditional PASS。$m(k) \ge 0.687 k\log k$ 紧到 1.46×，但依赖 P1* 双向 bridge 未证。 | P4 笔记 |
| P5 | spread 类证明的 $\log k$ 信息论 barrier | position-paper PASS | RR naturalness 路径 KILL（"large" 公理破：sunflower-free density 是 $2^{-\Omega(N)}$，sentinel 数值确认）。修订为 encoding-specific Cook-Reckhow + SoS + GPW lifting 形式：对 ALWZ-style encoding $\mathcal A_k$ 的 SA refutation degree $= \Theta(\log_2 k)$，配 GPW IND lift 给 query depth $\Omega(\log k)$。三机制 align 但共享 KL chain rule 同源。禁止吹成 paradigm barrier。 | P5 笔记 |
P1 在 L1.sentinel 阶段（流水线第 7 个 agent）就被反例 KILL。如果直接走传统 Template 2 v1 流程，可能跑到 L3.prover 或 L4 才发现 — 节省了 ~15 个 agent / ~6 月人手。这印证 v2 设计核心：v2 = 把"用 LLM 找数学突破"压成"用 LLM 系统性证伪乐观候选"。
P3 的 L3.lit_integrator_1 报告"sunflower-SDP 文献 = 0 篇"。这从"工具不成熟"的负面信号反转为"首篇 sunflower-SDP paper"的卖点。值得在 L2 search 阶段显式检查 MathSciNet 命中数 = 0 的方向。
P4 的 advocate 报告 "4 个独立可发表通道"，被 adversary 揭穿"实际仅 1 个独立通道，4 通道是同一论证换皮"。L4 的 4 票专家结构能 catch 这种 advocate-overhype。在 sunflower 这种"工具丰富但效果不彰"的领域，adversary 角色尤其重要。
P5 原 ambition 是 Razborov-Rudich 风格 paradigm barrier。L4.adversary 强烈要求降级为 encoding-specific（仅对 ALWZ-style $\mathcal A_k$）。这避免了流水线产出"看似强但学术不诚实"的结果。Template 2 v2 的"verdict 命名"严肃性是关键。
按 v2 verdict 优先级：