← Combinatorics 主索引 · Template 2 v2 模板 · decision_log · P1 KILL
Template 2 v2 流水线 · L1 sentinel 击毁 Lemma 1 后命题强制拆分 · 正向 KILL / 负向 conditional weak-PASS
原命题 4：存在多项式时间嵌入 $\Phi:\binom{[n]}{k}\to\mathbb F_3^{m(k)}$，$m(k)=O(k\log k)$，使 sunflower 结构在加性零和 $\Phi(A)+\Phi(B)+\Phi(C)=0$ 下保持。
L1 sentinel 数值反证 indicator 版 Lemma 1（"sum≡0 ⟺ sunflower" 实为 "sum≡0 ⟺ $F_1=F_2=F_3$"）后，命题被强制拆分为两半：
整体：split-WARN。建议把 P4 改写为 "sunflower-preserving 线性嵌入到 $\mathbb F_3^m$ 的 cap-set barrier"，主定理为负向 $\Omega(k\log k)$，附录列三类 P1$^*$ 候选失败证明（构成 barrier 的必要伴生材料）。
设 $\binom{[n]}{k}$ 为 $[n]$ 的 $k$-子集族。命题 4（原始）：
$$\exists\,\Phi:\binom{[n]}{k}\to\mathbb F_3^{m(k)},\ m(k)=O(k\log k),\ \text{poly-time},$$
使三元组 $\{F_1,F_2,F_3\}$ 是 set-system sunflower（公共核 $Y$，花瓣 $F_t\setminus Y$ 两两不交）当且仅当 $\Phi(F_1)+\Phi(F_2)+\Phi(F_3)=0\in\mathbb F_3^{m}$。
动机：若该 $\Phi$ 存在，则 sunflower-free 集族经 $\Phi$ 即变 cap-set，Ellenberg–Gijswijt $2.756^m$ + Naslund–Sawin slice rank 立刻给 sunflower lemma 的几何最优编码，与 ALWZ 2021 的 $(C k\log k)^k$ 同阶。换句话说：命题 4 是 sunflower lemma 的"几何向量化"。
L1 角度 A（Top-1 排名 31/40）提出最自然 indicator 嵌入 $\Phi(F)=\mathbf 1_F\in\mathbb F_3^n$，并声称：
$\mathbf 1_{F_1}+\mathbf 1_{F_2}+\mathbf 1_{F_3}\equiv 0\pmod 3$ 当且仅当 $\{F_1,F_2,F_3\}$ 是 3-sunflower（含退化 $F_1=F_2=F_3$）。
A 的论证：sum 在位置 $i$ 的值 = $|\{j:i\in F_j\}|\bmod 3\in\{0,1,2\}$；sum$\equiv 0$ "意味着" $i\in F_1\cap F_2\cap F_3$（被 3 集覆盖）或 $i\notin F_1\cup F_2\cup F_3$（被 0 集覆盖），等价于 sunflower 结构。
| 统计量 | 计数 |
|---|---|
| sum $\equiv 0\pmod 3$ | 20 |
| 真 sunflower（互异） | 360 |
| 含退化 sunflower（$F_1=F_2=F_3$） | 380 |
| sum$\equiv 0$ ∧ sunflower 严格 | 0 |
| sum$\equiv 0$ 但非 sunflower 严格 | 20（全是 $F_1=F_2=F_3$） |
| sunflower 严格但 sum$\not\equiv 0$ | 360（全部！） |
正确逻辑：sum 在位置 $i$ 取值 $\in\{0,1,2\}$，$3\not\equiv 0$ 是错的（$3\bmod 3=0$ 没错，但 1 和 2 也是合法值，A 的"被覆盖 0 或 3 次"误把 $\{0,3\}$ 合并而忽略了花瓣坐标 mod 3 = 1 ≠ 0）。实际：sum$\equiv 0$ ⟺ 每个 $i$ 被覆盖 0 或 3 次 ⟺ $F_1=F_2=F_3$。
具体反例：标准 sunflower $F_1=\{0,1,2\},\ F_2=\{0,3,4\},\ F_3=\{0,5,6\}$，核 $Y=\{0\}$。坐标 0：被覆盖 3 次 → sum=3 ≡ 0；坐标 1–6 各：被覆盖 1 次 → sum=1 $\not\equiv 0$。整体 sum $\not\equiv 0$。
Lemma 1 broken：A 的"免费午餐"（indicator embedding 直接给 sunflower→3-AP）消失。"sum $\equiv 0$ ⟺ sunflower" 实际是平凡的 "sum $\equiv 0$ ⟺ 三集合相同"。
sentinel 把命题 4 由"single statement"拆分为两半：
正向需找新的 $\Phi$ 候选；负向独立有效（信息论 + cap-set），但是条件命题，桥梁 P1$^*$ 是空假设直至有 $\Phi$ 候选满足。
| 角度 | 路线 | L1 ranker 总分 | 实际命运 |
|---|---|---|---|
| A | indicator + random projection（$\Phi(F)=\mathbf 1_F$ 后 $\mathbb F_3$-Sidon 投影） | 31 / Top-1 | 致命：Lemma 1 被 sentinel 360/360 反证；A 退到 2/10 严谨性；"免费午餐"消失 |
| B | 反例 / 不存在性（cap-set 拉回 $\Omega(k\log k)$） | 29 / 并列 | 救星：升级到 prover_2 主定理，给负向 $\Omega(k\log k)$ tight；但条件 on P1$^*$ |
| C | 随机 hash $\Phi(F)\sim\mathrm{Unif}(\mathbb F_3^m)$ | 23 / weak | 预先识破：random $\Phi$ 只排假 3-AP（false positive），不保 sunflower→3-AP（true positive）；"特征 2 vs 特征 3" 鸿沟根本无解 |
| D | 信息论下界（Erdős–Rado + cap-set 联立） | 29 / 并列 | 支援 B；提供 Step 1/Step 2 信息论框架；与 prover_2 合并 |
| E | Boolean Fourier / $\mathbb F_3$ Fourier 兼容性 + PFR-$\mathbb F_3$ | 22 / 弱 | $U^3$ + slice + char-2/3 三重错位；PFR 在 $\mathbb F_3$ 仅 partial（GGMT 2024 quasi-poly），路径过长 |
A 给出 indicator embedding 配合 $\mathbb F_3$-Sidon 投影 $\pi:\mathbb F_3^n\to\mathbb F_3^m$，目标 $m=3k\log_3 n=O(k\log k)$。这是经典 random hash 模板（Bose–Chowla / $B_k[1]$），若 Lemma 1 成立则只剩"线性投影保 sunflower"这一标准降维。
L1 ranker 给 A 31/40（Top-1）正因 Lemma 1 看起来"漂亮地利用了 $\mathbb F_3$ 的 0/1/2 三值恰对应 0/1或2/3 个集合覆盖"。这是 v1 流水线（无 sentinel）会陷入的陷阱：高分 verdict + 简洁论证 + 经典模板 → 进 L2 文献检索后开始套 Naslund–Sawin / Croot–Lev–Pach，可能数周后才被审稿人 catch。
L2 search + reader 围绕"非 indicator 嵌入"+"char-2/3 mismatch"+"PFR ↔ sunflower" 三轴定位 11 篇主线文献。核心 4 篇：
| 文献 | 给命题 4 的工具 | 对正向的杀伤 |
|---|---|---|
| Naslund–Sawin 2017（arXiv 1711.06825） | $\mathbb F_3^n$ sunflower-free $\le 1.89^n$（slice rank）；sunflower + slice rank + $\mathbb F_3$ 三要素同框 | 对任何线性 $\Phi$ 给 $m\ge\log_{1.89}|\mathcal F|$，若 $|\mathcal F|=2^{[n]}$ 即 $m\ge\Omega(n)$，与目标 $O(k\log k)$ 直接矛盾 → 命题 4 必须限 $|\mathcal F|\le k^{O(1)}$ 或选定 sub-family |
| Alweiss–Lovett–Wu–Zhang 2021（arXiv 1908.08483） | sunflower lemma $(Ck\log k)^k$；$O(k\log k)$ 嵌入维数的对数尺度来源 | 给负向 $\Omega(k\log k)$ 的"目标对偶"，与 cap-set 联立形成 prover_2 主定理；但本身不构造 $\Phi$ |
| Croot–Lev–Pach 2017（arXiv 1605.01506） | slice rank 范式，三体共线类条件被绑死 | 任何"线性三和=0 ⟺ sunflower"目标立即被 $1.89^m$ 封死 |
| Croot–Sisask 2010（arXiv 1003.2978） | almost-period 引理；char-2/char-3 鸿沟桥梁工具 | argument 在任意 abelian group 都跑得通，但常数在 char-2 vs char-3 显著不同 — char-3 损失 $\Omega(1)$ 谱质量 |
| 属性 | char-2 ($\mathbb F_2^n$) | char-3 ($\mathbb F_3^n$) |
|---|---|---|
| squaring | $x^2=x$（identity） | $x^3=x$（仅 Frobenius，degree 折叠） |
| Fourier | self-dual $(-1)^{\langle\cdot,\cdot\rangle}$ | 三次单位根 $\omega=e^{2\pi i/3}$，复数嵌入 |
| indicator $\{0,1\}^n$ 与线性结构 | 对齐 | 不对齐（值集 $\{0,1\}\subsetneq\{0,1,2\}$） |
| polynomial method 上界 | 无 $1.89^n$ 类型 cap-set 上界 | $2.756^n$（Ellenberg–Gijswijt）/ $1.89^n$（Naslund–Sawin sunflower） |
| PFR | 2023 完全证（GGMT，Lean 化） | 仅 partial（GGMT 2024 后续 quasi-poly） |
| Roth 改良 | Bloom–Sisask 突破 $N/\log N$ | polynomial method 给 $2.756^n$，与 entropy 路线无法互换 |
结论：sunflower 是 set-system 不变量（核 + 花瓣）→ 自然活在 $\mathbb F_2$ indicator 层；3-AP 是 $\mathbb F_3$-affine 不变量 → 活在 $\mathbb F_3$。两个 characteristic 不同的代数结构无法用单一 $\Phi$ 同构对应。这是命题 4 正向构造的根本性障碍，并非技术细节。
L3.prover_1 + L3.advocate + 二阶张量延伸尝试了四类非 indicator $\Phi$ 候选，全部失败。下表完整列出：
| 候选 | 定义 | 失败原因 | L4 评估 |
|---|---|---|---|
| (i) indicator | $\Phi(F)=\mathbf 1_F\in\mathbb F_3^n$ | L1 sentinel 360/360 反证（§1.3）；"sum$\equiv 0$ ⟺ $F_1=F_2=F_3$" | dead（数值反证） |
| (ii) Sidon $B_2^+[1]$ | $\Phi(F)=\sum_{i\in F}v_i$，$\{v_i\}\subset\mathbb F_3^m$ 是 Sidon $B_2^+[1]$ 集合（$v_i+v_j$ 唯一），$m=2\log_3 n+O(\log\log n)$ | $\Phi(F_1)+\Phi(F_2)+\Phi(F_3)=\sum_{i\in P_1\sqcup P_2\sqcup P_3}v_i$（核 $3Y\equiv 0$ 自动消去），故 $(\ast)\ \sum_{i\in P_1\sqcup P_2\sqcup P_3}v_i=0$ 是 sunflower 的必要条件。但 Sidon 只控 2 项等式 $v_i+v_j=v_{i'}+v_{j'}$，不阻止 3 体加性退化 $v_a+v_b+v_c=0$ — 这种"加性三元组"在任何 $|S|>3^{m/3}$ 集合中由 Naslund–Sawin 必现。($\ast$) 不充分 | fail（必要不充分） |
| (iii) $B_3[1]$ Behrend 修补 | 升级到三和唯一集（Behrend 风格） | Behrend 类构造 $|S|\le 3^m/3^{c\sqrt m}$，即 $m=\Omega((\log n)^2)$，已超目标 $O(k\log k)$。L4.analytic 直接 kill | fail（维数爆） |
| (iv) 二阶张量 | $\Phi(F)=(\sum v_i,\sum v_i\otimes v_i)\in\mathbb F_3^m\oplus\mathbb F_3^{m^2}$ | 名义上识别核 $Y$ 的乘法痕迹，但维数翻到 $m^2=\Theta((\log n)^2)$，与 $B_3[1]$ 等价，无结构性增益。L4.analytic 否决 prover_1b（"kill prover_1b, pivot to spread-encoding"） | fail（与 (iii) 等价） |
| (v) Spread + Behrend "统一编码" | advocate 通道 1：把 ALWZ spread family 重新嵌入到 $\mathbb F_3^n$ 上的 cap-set 几何中，揭示 spread parameter $\leftrightarrow$ Behrend-type density | 未给出可计算 $\Phi$，仅概念性。adversary §1 直接揭穿："bridge 没桥墩" | fail（非构造性） |
设 $\{v_1,\dots,v_n\}\subset\mathbb F_3^m$ 是 $\mathbb F_3$-Sidon $B_2^+[1]$，定义 $\Phi(F)=\sum_{i\in F}v_i$。设 $\{F_1,F_2,F_3\}$ 共核 $Y$，花瓣 $P_t=F_t\setminus Y$ 两两不交。则
$$\Phi(F_1)+\Phi(F_2)+\Phi(F_3)=\underbrace{3\sum_{i\in Y}v_i}_{\equiv 0\bmod 3}+\sum_{t=1}^{3}\sum_{i\in P_t}v_i=\sum_{i\in P_1\sqcup P_2\sqcup P_3}v_i\pmod 3.$$
线性条件 $\Phi(F_1)+\Phi(F_2)+\Phi(F_3)=0$ 等价于
$$(\ast)\quad\sum_{i\in P_1\sqcup P_2\sqcup P_3}v_i=0\pmod 3.$$
($\ast$) 必要而非充要条件，原因双重：
所以 Sidon 单层无法把 sunflower 与"其它三和零"配置区分。要排除这种加性退化必须升级 $B_3[1]$（三和唯一），但 $B_3[1]$ 维数 $\Omega((\log n)^2)$ 超目标。
L3.advocate 声称命题 4 修订形式有 4 个独立发表通道：(1) spread↔Behrend "统一编码"，(2) $\Omega(k\log k)$ 紧 lower bound，(3) char-2 vs char-3 barrier explicit form，(4) meta barrier "$C\ge 2$"。
L4.adversary 揭穿：四通道高度纠缠，实际独立通道仅 1 个：
结论：advocate 的"4 通道"是同一论证的换皮，无定量结论。
假设：(P1$^*$ 双向) $\Phi(A)+\Phi(B)+\Phi(C)=0\iff\{A,B,C\}$ sunflower；(P2$'$) $\Phi$ 在某 size-$(k-1)!^{1-o(1)}=2^{k\log k(1-o(1))}$ 的 Erdős–Rado / Abbott–Hanson sf-free 族 $\mathcal F$ 上单射。
则 $S:=\Phi(\mathcal F)\subseteq\mathbb F_3^m$ 必为 cap-set，由 Ellenberg–Gijswijt 2017：$|S|\le c\cdot 2.756^m$。结合 $|S|=|\mathcal F|\ge 2^{k\log k(1-o(1))}$：
$$m\ge\frac{k\log k(1-o(1))}{\log_2 2.756}\approx 0.687\,k\log k.$$
匹配 sentinel 的 $\Omega(k\log k)$ 上界（random linear $\Phi$ 给 $O(k\log k)$）到比值
$$\frac{1}{0.687}\approx 1.46.$$
下界紧到常数倍 1.46×。
步骤 3 的 P1$^*$ 反向方向是空假设：
L4.adversary §1：「prover_2 的 $\Omega(k\log k)$ 是条件下界：若 P1$^*$ $\Phi$ 存在则 $m=\Omega(k\log k)$。空真理风险 — P1$^*$ 可能根本不可实现，bridge 本身没桥墩。命题 4 的 cap-set 桥梁基础未确立。」
L3.numerical 给出朴素信息论合成：
| $k$ | $|\mathcal F|\ge 2^k$（朴素 Erdős–Rado 自构造） | $m_{\min}$ from cap-set $\approx 0.684k$ | $k\log k$ | gap = $\log k/0.684$ |
|---|---|---|---|---|
| 10 | $1.0\times 10^3$ | 6.8 | 23.0 | 3.37 |
| 100 | $1.3\times 10^{30}$ | 68.4 | 460.5 | 6.73 |
| 1000 | $10^{301}$ | 684.0 | 6907.8 | 10.10 |
| $10^4$ | — | 6839.5 | 92103.4 | 13.47 |
朴素信息论（$|\mathcal F|=2^k$ + cap-set）只给 $m\ge 0.684k=\Omega(k)$，不给 $\log k$ 因子。
缺失的 $\log k$ 因子根因：cap-set 上界对任何 $A\subseteq\mathbb F_3^m$ 无 3-AP 都生效，但「sunflower-free」远比「3-AP-free」弱（3-AP-free $\Rightarrow$ sunflower-free 但反不真），cap-set 上界丢掉了 sunflower 结构里"$k$ 朵瓣 pairwise disjoint"的 codimension。
真正给 $\Omega(k\log k)$ 必须升级 $|\mathcal F|$ 下界至 super-exponential：
L4.numerical 进一步质疑 1.46×：
| 视角 | P4 正向 | P4 负向 | 综合 caveat |
|---|---|---|---|
| L4.adversary（对手专家） | 弃权偏负 | conditional | 「bridge 没桥墩」— P1$^*$ 不可实现风险高；advocate 4 通道是同一论证换皮 |
| L4.algebraic（代数视角） | hold | publish_ready | 正向：Sidon 必要不充分 + 二阶张量未写；负向：prover_2 在 P1$^*$ 双向假设下严证 $m\ge 0.687k\log k$，代数上 clean |
| L4.analytic（解析视角） | accept_revised | accept (conditional on P1$^*$) | kill prover_1b（二阶张量与 $B_3[1]$ 等价无增益）；pivot to spread-encoding；1.46× 紧度数学上紧、定义上脆 |
| L4.numerical（数值视角） | reject | accept | 正向：Lemma 1 已 broken，新构造 $m=O(k\log k)$ 随机线性 $\Phi$ 存在但常数 0.684–1.46 间未 settle；负向：信息论 $\Omega(k\log k)$ 在 P1$^*$ 双向下严格 |
| 总计 | 1 accept_revised, 1 hold, 1 reject, 1 弃权 → KILL（多数倾向） | 3 publish_ready / accept + 1 conditional → weak-PASS conditional | 整体 split-WARN |
P4 正向：KILL — 五类构造尝试（indicator / Sidon $B_2^+[1]$ / $B_3[1]$ / 二阶张量 / spread+Behrend）全部失败，Lemma 1 broken；advocate "4 通道"是同一论证换皮；2/4 票 kill（reject + 弃权偏负），1/4 hold，1/4 accept_revised。多数倾向 KILL。
P4 负向：weak-PASS conditional — prover_2 主定理在 P1$^*$ 双向 + Erdős–Rado 极值族单射假设下给 $m\ge 0.687k\log k$，与 sentinel $\Omega(k\log k)$ 紧到 1.46×；3/4 publish_ready + 1/4 conditional。但 P1$^*$ bridge 是空假设直至有 $\Phi$ 候选 — 论证整段是条件命题。
整体：split-WARN。命题 4 既不能直接 KILL 整体（负向有条件价值），也不能直接 PASS（P1$^*$ bridge 未证 + 正向构造全死）。
写 char-2 vs char-3 barrier note（L3.lit_1 + advocate §3 + adversary §1 合并）：
P4 负向 $\Omega(k\log k)$ tight 论证暂搁，等以下两条桥梁工作之一：
命题 4 的精神（sunflower lemma 几何编码）应转移到 P5（sunflower lemma 常数改进）或 P3（Frankl–Pach 类型 shift 的非 trivial extension），它们没有 char-2 vs char-3 barrier。
| 阶段 | v1（无 sentinel）会发生什么 | v2 实际发生 |
|---|---|---|
| L1 发散 | 5 角度并行；A 拿 31/40 Top-1；进入 L2 套 Naslund–Sawin / Croot–Lev–Pach | 5 角度并行；A 拿 Top-1；但 sentinel 同时跑 $n=6,k=3$ 全 8000 三元组数值 |
| L1 sentinel | — | 360/360 反证 Lemma 1 → 强制 split + warn |
| L2 search | 查 Naslund–Sawin、ALWZ、Ellenberg–Gijswijt；可能误把"线性三和=0 ⟺ sunflower"当 setup 引 | 查同一文献，但已知 indicator 死，重新围绕"非 indicator + char-2/3 barrier" 定位 11 篇 |
| L3 prover_1 / advocate | 试 Sidon → 数周后 catch ($\ast$) 必要不充分；可能再试 $B_3[1]$、二阶张量 → 维数爆 | 三类候选并行尝试，当周完成；adversary 同步跑揭穿"4 通道"换皮 |
| L4 reviewer | 解析 reviewer 与数值 reviewer 才发现 P1$^*$ bridge 是空假设 | 4 票同步：1 reject、1 hold、1 accept_revised、1 弃权 → 触发 split-WARN |
| L5 总结 | 记 KILL，但已花数周 + ~$30-80 | 记 split-WARN + 修订建议 + char-barrier note 路径；总成本约 $5-10 |
| 预期人工攻关时间（无 v2） | folklore "indicator + slice rank" 直觉 + 5 类候选反复试 → 数月反复 case-bash + 论文提交后才 catch P1$^*$ 空假设 | 1 天 |
本命题是 v2 流水线双层防御的标本：
v2 把"数值 sentinel + 对手 adversary"两层并行机制相对于"线性论证 pipeline"的不对称收益，在命题 4 上特别明显 — 因为命题 4 同时具备 (a) folklore "indicator + cap-set" 直觉（sentinel 必杀）和 (b) "条件下界看起来发表-ready" 陷阱（adversary 必杀）。
work/sunflower-proposition4_f3_embedding.html/tmp/sunflower_brainstorm/prop4/L1P1_{A,B,C,D,E}_*.md/tmp/sunflower_brainstorm/prop4/L1_ranker.md/tmp/sunflower_brainstorm/prop4/L1_sentinel.md/tmp/sunflower_brainstorm/prop4/L2_{search,reader}.md/tmp/sunflower_brainstorm/prop4/L3_*.md/tmp/sunflower_brainstorm/prop4/L4_*.md/tmp/sunflower_brainstorm/prop4/L5_summary.md/tmp/sunflower_brainstorm/prop4/verify_lemma1.pywork/reference_sunflower_research/prop4/decision_log.md