Sunflower 猜想 (Erdős–Rado, 1960)

极值集合论 · Erdős \$1000 悬赏 · 65 年未解 · 当前最佳 $(C\log k)^k$（Rao 2020）vs 下界 $2^k$

📖 主笔记 sunflower.html

16 节，约 12000 字 + 公式 + 表格
历史（Erdős–Rado 1960 → ALWZ 2019 → Rao 2020 → Park–Pham 2022）+ 当前工具栈（spread / Talagrand / Kahn-Kalai / boosting）+ Tao 2020 信息论瓶颈诊断 + cap-set 桥梁 + PFR 2023 + 多 agent 头脑风暴（10 角度 + 5 题对 + 2 综合）+ 5 命题深入研究 verdict 表 + v2 流水线实战教训。

5 个深入研究的命题（Template 2 v2 流水线产出）

命题 1 — Frankl shifting 保 sunflower-freeness KILL ❌

无条件 · v2 流水线（仅 7 agent，sentinel 即 KILL）
陈述：$\mathcal F$ sunflower-free $\Rightarrow S_{ij}\mathcal F$ sunflower-free。显式反例 $\{12,14,23\} \xrightarrow{S_{1,2}} \{12,14,13\}$ at $k=2, n=4$。$n=4$ 共 24 反例，$n=5$ 660 反例，$n=6$ 4680 反例。v2 流水线最典型胜利：sentinel 阶段（第 7 agent）即终结一个看似合理的 lemma 候选。

命题 2 — Shadow-spread 不相容引理 weak-PASS conditional

无条件 · v2 完整流水线，~22 agent
原强形式 $f(k,3) \le 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 年未严证，是命题 2 最大 critical path。

命题 3 — Lasserre level-3 SDP（数值 + 渐近） split-PASS

无条件 · v2 完整流水线，~22 agent
P3.a (数值，$k \le 6$)：PASS。Schrijver–Delsarte 块对角后 $k=5$ 仍可解；sunflower-SDP 文献为零（首篇卖点）；预期 $f(3,3) \le 30$ 量级数值。P3.b (渐近)：KILL 由 cap-set 双重 barrier 独立排除；改写为 negative result 与 P3.a 配双面故事。5 命题中最可立即启动的研究方向。

命题 4 — set-system → $\mathbb F_3^n$ sunflower-preserving 嵌入 split-WARN

无条件 · v2 完整流水线，~22 agent
正向：KILL。Lemma 1 ($\sum \mathbf 1_{F_i} \equiv 0 \pmod 3 \Leftrightarrow \text{sunflower}$) 被 sentinel 反证（实际 $\Leftrightarrow F_1=F_2=F_3$）；Sidon / 二阶张量构造均失败；char-2 vs char-3 是真实结构 barrier。负向：conditional PASS。$m(k) \ge 0.687 k\log k$ 紧到 1.46×，但依赖 P1* 双向 bridge 未证。最强产出：char-barrier short note。

命题 5 — spread 类证明的 $\log k$ barrier position-paper PASS

无条件 · v2 完整流水线 + 修订降级，~22 agent
原 Razborov-Rudich 路径 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。STOC/FOCS 量级 position paper。

📄 Template 3 投稿草稿（writer + reviewer 流水线产出）

对 P3 和 P5（最有 publishable 潜力的两条主线）跑 Template 3：每篇 1 writer + 1 reviewer（均 Opus 4.7，Mode A 含独立复现 + Editor Persona 审视）。两篇都被 reviewer 实质性降级 — Reviewer 找到 writer 漏掉的算术错误 / KMOS 转移合法性问题 / dimensional inconsistency，将原 unconditional theorem 降为 conditional。这是 Template 3 v1.6 的典型胜利：诚实的 conditional 论文比藏 gap 的 "定理" 论文更可发。

Paper 2 — Lasserre SDP for sunflower-free families major-revision

17 页 / 362 KB · Discrete Analysis 目标 · paper_submission/paper2_lasserre_sdp/
Theorem A（block-diag）+ Theorem B（method/recipe for $f(k,3)$ numerical SDP）+ Proposition C（trivial $2^k$ SDP-floor）+ Conjecture C（原 ambition $(c\log k)^k$ floor 降为可证伪猜想）。 Reviewer 反转：原 Theorem C 证明 Lemma 5.3 expected-count 错 $\Theta(\binom{n}{k}^2)$（在 $n \gg k$ 区，almost every 三元组是 sunflower with empty kernel）；$f(2,3) = 4$ 错正为 $f(2,3) = 6$；LP integrality gap $n/6 \to \infty$ 已 acknowledge。 Editor verdict：Discrete Analysis major-revision → conditional accept；Combinatorica desk-reject。 📋 reviewer_report.md · 🔬 reproduction_note.md

Paper 3 — encoding-specific SA-degree barrier for $\mathcal A_k$ major-revision (conditional)

16 页 / 363 KB · CCC 目标 · paper_submission/paper3_proof_barrier/
Theorem A（SA-degree $\Omega(\log k)$ for $\mathcal A_k$）+ Theorem B（GPW lifting → query depth $\Omega(\log k / \log\log k)$）— 二者均 conditional on Hypothesis K（K1: sunflower-free $r$-spread family at ALWZ threshold；K2: BHKKMS graph-matrix norm bound for planted ensemble）。 Reviewer 反转：KMOS 2017 black-box 不能原样套用（KMOS 是 random Boolean k-CSP 框架；sunflower-free 是 adversarial $\binom{[n]}{k}$ alphabet）；Lemma 4.4 在小 $k$ 数学错误（$F^* = C([n] \setminus W, k)$ for $|W| = n-2k$ collapses）；标题 "for spread-based proofs" 已修复为含 $\mathcal A_k$ 限定。 Editor verdict：CCC major-revision (conditional setup paper acceptable)；SICOMP out of scope until Hypothesis K closed。 📋 reviewer_report.md · 🔬 reproduction_note.md

资源

🔬 reference_sunflower_research/ — 各命题资产

5 个 prop 子目录，每个含 papers/ + code/ + logs/ + decision_log.md（实时审计 trail，~120 行）。

🧰 ../multi-agent-research/ — 可复用模板套件

通用研究模板：Template 1（开放问题头脑风暴）+ Template 2 v2（命题深入研究 5 层流水线）+ RECIPE.md。Sunflower 是该模板的第 2 个完整应用（继 Mersenne 之后）。

Verdict 表

命题主线v2 verdictagent核心结论 / 下一步
P1shifting lemmaKILL~7显式反例 at $k=2$；公开 folklore correction
P2shadow vs spreadweak-PASS~22弱形式 $(C\log\log k)^k$ 可达；攻 Tao Lemma A
P3Lasserre SDPsplit-PASS~22数值半立刻启动；渐近半改写 negative
P4$\mathbb F_3$ 嵌入split-WARN~22正向 KILL；写 char-barrier note
P5proof barrierposition-paper~22encoding-specific SA-degree barrier

关键发现（一行）

v2 流水线在 Sunflower 上找到 1 个显式反例 (P1)，1 个 split-PASS 立项命题 (P3.a Lasserre SDP，文献空白)，1 个 position-paper (P5 encoding-specific barrier)。65 年未解的 $C^k$ 仍未解，但研究地图被工程化。

累计 ~120 agent T1+T2 (2026-05-23) + ~4 agent T3 paper writers/reviewers (2026-05-30)，~$20 总成本（估算），约 4 小时实际时间。Erdős \$1000 悬赏仍挂着，但 P3+P5 两条主线已转成可投稿 conditional 论文。

v2 流水线实战教训（5 条）

  1. sentinel 早期 catch 反例的价值 — P1 在第 7 agent 被反例 KILL，节省 ~15 agent 后续工作。
  2. 文献空白本身可能是发表卖点 — P3.a 因"sunflower-SDP 文献 = 0 篇"反转为首篇 sunflower-SDP paper 的 ambition。
  3. advocate vs adversary 双层防御 — P4 advocate 报"4 个独立通道"被 adversary 揭穿"实际仅 1 个独立通道"。
  4. 声明降级 — P5 从 "Razborov-Rudich for sunflower" 降级为 "encoding-specific SA-degree barrier"，避免学术不诚实。
  5. Template 3 reviewer 比 writer 严格（v1.6 实战）— Paper 2 reviewer catch 了 Lemma 5.3 算术错（$\Theta(\binom{n}{k}^2)$ off）；Paper 3 reviewer catch 了 KMOS black-box 不合法 + Lemma 4.4 在小 $k$ 数学错误。两 paper 的 unconditional theorem 都被诚实降为 conditional。
研究 2026-05-23。Claude Sonnet 4.6 / Opus 4.7 协作产出。
Multi-agent 模板：RECIPE.md 可应用到任意新数学问题。
源：work/sunflower/（开发原副本）。