命题 2′（Sunflower）— Shadow–spread 不相容引理（弱形式 $(C\log\log k)^k$） weak-PASS

4. 五个证明草稿（L3）

L3 启动 6 个 sub-agent（numerical / prover_1 / prover_2 / advocate / lit_1 / lit_2）。下面浓缩各自核心。

4.1 L3.numerical（BCW 形式 $\psi_j$ 扫描）

用 BCW Lemma 3.2 形式 $\psi_j=\binom{k}{j}\sigma^j M$，$\sigma=C\log\log k/k$，扫 $k\in\{10,50,100,500,1000\}$，二分求 $M^*(k)=$ 最大 $M$ 使 $\forall j\in[1,k-1]:\phi_j>\psi_j$。结果（核心表）：

关键发现：

1. binding $j^\star=1$ 仍持续。改换 $\psi_j$ 形式不能消除；偏置 不在 $\psi$，而在 $\phi$（vanilla KK 下界对小 $j$ 太松）。需 cascade Kruskal–Katona 或 shifted shadow（即 BCW 论文真正的技术核心）。
2. base 单调外推安全：$C=2$ 时 base 从 $k=10$ 的 $3.58$ 单调降到 $k=1000$ 的 $1.89$，目标 $C\log\log k$ 从 $0.83$ 单调升到 $3.87$，$k\sim 100$ 已交叉。
3. 建议锁 $C\ge 2$。$C=1$ 边界仅在 $k>10^6$ 才安全。

verdict：weak-pass with caveat — 数值 headroom 充足；caveat 是 prover 必须用 cascade-KK shadow 把 binding 推到 mid-range，否则 $j^\star=1$ artifact 卡常数。

4.2 L3.prover_1（BCW + Tao entropy 主路线）

Lemma A（BCW 形式 $|\partial_j\mathcal F|$ 量化）：若 $\mathcal F$ 在所有非空 $S$ 上 $\sigma$-spread，则随机 $F\sim\mathrm{Unif}(\mathcal F)$ 满足

$$H(F)\le k\log(1/\sigma),\qquad H(F\mid S\subseteq F)\ge H(F)-|S|\log(1/\sigma),$$

BCW Lemma 3.2 给 $|\partial_j\mathcal F|\le M\sigma^{-(k-j)}$。

Lemma B（iterated dichotomy）：单轮 entropy contraction

$$\log(1/\sigma_{\text{new}})\le\log(1/\sigma)-\log\log(1/\sigma)+O(1),$$

即 $u=\log(1/\sigma)$ 递推 $u_{t+1}=u_t-\log u_t+O(1)$。从 $u_0=\log k$ 到 $u_T\sim\log\log k$ 需 $T'=\Theta(\log k/\log\log k)$ 轮。停止条件 $\sigma_T=1/(\log\log k)$，每轮 $\log M$ 损失 $k\log u_t$，积分 $\sum\log u_t=O(\log\log k)$，故 $\log M\le k\log\log k+O(k)$。

主结果：sunflower-free $\mathcal F$ 满足 $|\mathcal F|\le(C\log\log k)^k$。

关键 gap（prover_1 自承）：

1. 每轮收益 $u\to u-\log u$ 是 Tao blog 暗示，BCW 仅证 $u\to u-O(1)$ — $\log u$ 增益未量化。
2. 停止于 $\sigma=1/\log\log k$ 而非 $\sigma=O(1)$ 是否仍触发 sunflower：Rao 阈值 $\sigma\ge C\log k/k$ 与 $1/\log\log k$ 量级不匹配。
3. sentinel binding $j^\star=1$ 在 prover_1 视角是 特征而非 bug：$j=1$ 直接代入 $|\partial_1|\le M\sigma^{-(k-1)}$ + KK $\binom{x}{k-1}\approx kM^{(k-1)/k}$ 比较即得 $M\le\sigma^{-k}=(\log\log k)^k$。

4.3 L3.prover_2（Frankl–Pach + Kostochka，绕开 spread）

替代路径：用 Frankl–Pach 1984 的 $\Delta$-system bound + Kostochka 1996 的 entropy/covering 机器，不调用 BCW/Rao 的 spread 框架。

核心：用 fractional covering LP 对偶把 Kostochka 第二步的 $\log k$ 替成 $\log\log|\mathcal F|$（Kostochka §4 注记 2 暗示的"entropy 二次精化"），通过

$$H(X)\ge\log|\mathcal F|-O(k\log\log\log k),\qquad H(X)\le k\log(c\log\log k),$$

直接给 $\log|\mathcal F|\le k\log(C\log\log k)+O(k\log\log\log k)$，估计 $C\le 12$。

四个 gap：

1. Kostochka §4 注记 2 的"entropy 二次精化"未严格证明，需重做 fractional covering 对偶（可能需 Lovász local lemma 或 Frankl shifting 预处理）。
2. Frankl–Pach $\Delta$-kernel 向下传递在 $r=3$ 之外未验证。
3. Entropy 链式法则的条件独立性依赖 link 的 sunflower-free 保持（Frankl 1977 标准但形式不一）。
4. 常数 $C$ 显式追踪需 Stirling 二阶项；$C\le 12$ 可能虚高。

L4.algebraic 否决（详见 §5）：gap (1)(2) 是真文献空白，prover_2 路线 不能独立闭合 弱形式，建议保留为 prover_1 路线的 cross-check（同阶不同常数），不作主线。

4.4 L3.advocate（弱形式价值论证）

核心论点（4 段，浓缩）：

1. 方法学价值：Rao base 的 $\log k$ 来自 single entropy-encoding round；$\log\log k$ 是 iterated dichotomy 第一次把"每轮挤一个 $\log$"做成定理的产物。框架可迁移到 Kahn–Kalai 阈值问题。
2. 文献现状：Tao blog 暗示但未量化、BCW 单轮不迭代、PP fragment cover 形式可嵌套但作者只用单层 — iterated dichotomy 是 文献明示但未量化的 gap。
3. iterated 收敛：BCW 已显式给出单轮常数 trade-off，仅需 $O(\log\log\log k)$ 轮，每轮代价常数因子，总 blow-up $\le\exp(O(\log\log\log k))=O(\log\log k)^{O(1)}$ 被 base 吸收。停止规则由 PP baseline 强制。
4. 不动点解释：$\sigma_*=\sigma_*\log(1/\sigma_*)$ 的不动点条件 $\log(1/\sigma_*)=1$ 数值上指向 $\sigma\sim 1/e$ 而非 $1/\log\log k$ — advocate 的"收益骤降"叙述被 L4.analytic 标存疑。

4.5 L3.lit_integrator（3-stream 融合）

lit_1（Rao→Tao+BCW→PP）：

3 条 fresh lemma：L*（iterated refinement 量化，命门）/ L**（BCW 凸性损失兼容性）/ L***（$\psi$ 公式校正，决定 binding 是否真在中段）。

lit_2（Tao + Frankl–Pach + Kostochka entropy 融合）：

把三流写成同一 filtered entropy 链 $H_0\ge H_1\ge\cdots\ge H_T$，关键引理：sunflower-free 下存在 $T=O(\log\log k)$ 轮使 $H_0-H_T\ge k\log\log k-O(k)$。

两道硬关：

• 每轮 $\Omega(\log)$ 收益（S2 Frankl–Pach 提供 trace-entropy gap，$w=3$ 限制版未量化）— 即 lit_1 的 L*。
• 轮数 $O(\log\log k)$ 闭合（Tao blog 暗示，Kostochka 凸性可给 implicit）。

5. L4 四票投票

6. Verdict + 主要 gap + 下一步

6.1 最终 verdict：weak-PASS

6.2 主要 gap 清单（按优先级）

6.3 下一步路线（3–6 月）

1. 月 1–2：攻 G1 命门。
   • 形式化 Lemma A 为独立陈述：「若 $\mathcal F$ 是 $\sigma$-spread 且 sunflower-free，则可 refine 到 $\sigma'$-spread 子族 $\mathcal F'$，$\log(1/\sigma')\le\log(1/\sigma)-\log\log(1/\sigma)+O(1)$，且 $|\mathcal F'|\ge|\mathcal F|/\sigma'^{-O(k)}$。」
   • 从 BCW 单轮 $u-O(1)$ 出发，尝试通过 entropy splitting + sunflower-free 二次细化压出 $\log u$ 项。Tao blog comments 给出方向：spread refinement → info loss 对偶 → KL 散度 chain。
   • 2 轮 attempt 不下立即转 fallback（步骤 4）。
2. 月 3：cascade-KK 工程实现 (G3)，把 numerical binding 推到 mid-range，验证 $C$ 显式追踪表 — 这一步即使 G1 未解也独立有用（修复 numerical caveat）。
3. 月 4：澄清 G4，统一 advocate / prover_1 的轮数估计（重做 $\sum\log u_t$ 积分）。
4. 月 5–6：fallback 选项。
   • (选 a) G1 局部成功（仅在 $\sigma\in[1/\log k,1/\log\log k]$ 区间证 $u-\log u$ contraction）→ 弱形式弱版 $(C(\log k/\log\log k))^k$ 仍是改进。
   • (选 b) G1 全 fail → 把 Lemma A 反向 KILL（构造反例族证 $u-\log u$ 不可达），这本身也 publishable（"Tao 2020 blog comment 不可救"）。
   • (选 c) 转 prover_2 路线 — algebraic 已否决，不推荐。

6.4 不去做什么

• 不再追强形式。L1 三角度独立 KILL 已确定强形式 = 主猜想，攻关 = 攻 Erdős–Rado 主猜想，超出弱形式范围。
• 不投入 prover_2。algebraic 已发现引用的两个 lemma 不存在；保留为 cross-check 一次性产出，不再追加资源。
• 不吹"接近 Erdős"。$(\log\log k)^k$ ratio $k=2^{20}$ 时 $\approx e^{10^6}$，社区不接受 iterated-log "距离" 修辞。

6.5 文件位置

• 本笔记：work/sunflower-proposition2_shadow_spread.html
• L1 五角度：/tmp/sunflower_brainstorm/prop2/L1P1_{A,B,C,D,E}_*.md
• L1 ranker / sentinel：/tmp/sunflower_brainstorm/prop2/L1_{ranker,sentinel}.md
• L2 search / reader：/tmp/sunflower_brainstorm/prop2/L2_{search,reader}.md
• L3 numerical / prover_{1,2} / advocate / lit_{1,2}：/tmp/sunflower_brainstorm/prop2/L3_*.md
• L3 numerical 数据 + 代码：/tmp/sunflower_brainstorm/prop2/L3_numerical_{run.py,output.txt}
• L4 numerical / analytic / algebraic / adversary：/tmp/sunflower_brainstorm/prop2/L4_*.md
• decision_log：/tmp/sunflower_brainstorm/prop2/decision_log.md