命题 1（Sunflower）— Frankl shifting 保 sunflower-freeness KILL

$$S_{ij}(F)=\begin{cases}(F\setminus\{j\})\cup\{i\}, & j\in F,\ i\notin F,\ (F\setminus\{j\})\cup\{i\}\notin\mathcal F,\\ F, & \text{otherwise}.\end{cases}$$

$S_{ij}\mathcal F=\{S_{ij}(F):F\in\mathcal F\}$。这是组合极值学的标准工具：保 size $|S_{ij}\mathcal F|=|\mathcal F|$、保 uniformity，且迭代收敛到 shifted family（即 $j\in F\Rightarrow (F\setminus\{j\})\cup\{i\}\in\mathcal F$ 当 $i\notin F$）的不动点。

1.2 P1 的原始 ambition（§13.5）

Sunflower 主问题（Erdős–Ko–Rado 1960 / Erdős–Rado 1960）：找 $k$-uniform 不含 $r$-sunflower 的最大族 size $f(k,r)$。Erdős–Rado 给出 $f(k,r)\le (r-1)^k k!$；ALWZ 2020（Alweiss–Lovett–Wu–Zhang，arXiv:1908.08483）将上界推进到 $(\log k)^k(r\log\log k)^{O(k)}$，是 50 年最大跃迁。

P1 的设想：若能证 "Frankl shift 保 sunflower-free"，则求 $f(k,r)$ 时只需在 shifted family 内搜索 — shifted family 有强结构（lex-initial-like），可能给出新 case-bash 上界，甚至链接到 ALWZ 的 entropy 框架。换言之 P1 是 lemma 候选：证之则 §13.6 / §13.7 的 main attack 全部依赖它。

2. 五角度发散探索摘要

L1 阶段并行启动 5 个 angle agents（详见 /tmp/sunflower_brainstorm/prop1/L1P1_*.md）。简评如下：

2.1 角度 A 的 case 拆分（关键）

反证：设 $\mathcal F$ sunflower-free 而 $S_{ij}\mathcal F$ 含 sunflower $\{A_1,A_2,A_3\}$ 核 $Y$。对每个 $A_t$ 看是否被 shift 改动：被改动的 $A_t$ 满足 $i\in A_t,\,j\notin A_t$，原像为 $A_t^*=(A_t\setminus\{i\})\cup\{j\}$；未改动者 $A_t^*=A_t$。设 $T\subseteq\{1,2,3\}$ 为被改动下标。

• Case 0（$|T|=0$）：原像即 $\{A_1,A_2,A_3\}$ 已是 $\mathcal F$ 中 sunflower — 矛盾。✓ 闭合。
• Case 3（$|T|=3$）：$i\in $ 全部，$j\notin$ 全部，故 $i\in Y, j\notin\bigcup A_t$。换 $i\to j$ 得 $\mathcal F$ 中 sunflower 核 $(Y\setminus\{i\})\cup\{j\}$ — 矛盾。✓ 闭合。
• Case 1（$|T|=1$，WLOG $T=\{1\}$）：$A_1$ 被改，$A_2,A_3$ 保留。角度 A 的草稿声称：「若 $i\in P_1$（花瓣）且 $j\notin A_2\cup A_3$，则 $A_1^*=(A_1\setminus\{i\})\cup\{j\}$，三对交全 $=Y$，故 $\{A_1^*,A_2,A_3\}\subseteq\mathcal F$ 是 sunflower — 矛盾。」
• Case 2（$|T|=2$）：「组合 Case 1 与 Case 3 思路」 — 未真正展开。

L1 ranker 给 A 高分（15/20）正是因为 Case 0 / Case 3 闭合得漂亮，Case 1 看起来"几乎闭合"。这种乐观正是 v1 流水线（无 sentinel）会陷入的陷阱。

3. L1 ranker 与 sentinel：sentinel 的工作过程

3.1 sentinel 的职责

v2 流水线在 L1 发散后强制运行 sentinel：一个独立 agent，目标 = 在小参数上做完整数值 / 暴力检验，与 advocate（角度 A–E）的乐观平衡。sentinel 不 care 证明优雅，只 care "能不能跑出反例"。

3.2 实施

sentinel 调用 system python3，对 $n=4,5,6$ 与 $k=2$ 全枚举：

1. 列出 $\binom{[n]}{2}$ 全部 $\binom{n}{2}$ 条边。
2. 对所有 $2^{\binom{n}{2}}$ 个子族 $\mathcal F$，过滤出 sunflower-free 的（3 元组无 $\Delta$-system）。
3. 对每个 sunflower-free $\mathcal F$ 与每对 $i
4. 记录所有反例（$\mathcal F, i, j$）三元组。

3.3 结果

反例比例稳定在 1/4 量级，并随 $n$ 增长保持；这绝非边缘事件，而是 shifting 在 $k=2$ 下的结构性特征。

4. 核心反例展示

4.1 最小反例（$n=4, k=2$）

取

$$\mathcal F = \big\{\{1,2\},\ \{1,4\},\ \{2,3\}\big\} \subseteq \binom{[4]}{2}.$$

Step 1：验证 $\mathcal F$ sunflower-free。三对交：

• $\{1,2\}\cap\{1,4\}=\{1\}$
• $\{1,2\}\cap\{2,3\}=\{2\}$
• $\{1,4\}\cap\{2,3\}=\emptyset$

三对交两两不等（$\{1\},\{2\},\emptyset$），故 $\mathcal F$ 不构成 3-sunflower。又 $|\mathcal F|=3$，唯一 3 元组就是 $\mathcal F$ 自身，故 $\mathcal F$ sunflower-free。✓

Step 2：作用 $S_{1,2}$（$i=1, j=2$）。逐个看：

• $\{1,2\}$：含 $i=1$，shift 条件 $j\in F, i\notin F$ 不满足 → 保留为 $\{1,2\}$。
• $\{1,4\}$：不含 $j=2$ → 保留为 $\{1,4\}$。
• $\{2,3\}$：含 $j=2$，不含 $i=1$；候选像 $(\{2,3\}\setminus\{2\})\cup\{1\}=\{1,3\}\notin\mathcal F$ → 替换为 $\{1,3\}$。

结果：

$$S_{1,2}\mathcal F = \big\{\{1,2\},\ \{1,4\},\ \{1,3\}\big\}.$$

Step 3：验证 $S_{1,2}\mathcal F$ 含 3-sunflower。三对交：

• $\{1,2\}\cap\{1,4\}=\{1\}$
• $\{1,2\}\cap\{1,3\}=\{1\}$
• $\{1,4\}\cap\{1,3\}=\{1\}$

三对交全等于 $\{1\}$。花瓣：$\{2\},\{4\},\{3\}$ 两两不交且非空。故 $S_{1,2}\mathcal F$ 是正宗 3-sunflower，核 $Y=\{1\}$。 $\blacksquare$

4.2 反例计数表

给出小尺度全谱（sentinel 数据）：

注：$n=3$ 不存在 3-sunflower（$\binom{3}{2}=3$ 边 $K_3$ 三对交分别为 3 个不同顶点，不能全相等），故所有 8 子族 vacuously sunflower-free，shift 也保持。$n\ge 4$ 起反例每量级出现。

4.3 角度 A 的 Case 1 错在哪里

角度 A 的 Case 1 草稿声称："$T=\{1\}$，$i\in P_1$，$j\notin A_2\cup A_3$ ⇒ $\{A_1^*,A_2,A_3\}$ 是 $\mathcal F$ 中 sunflower — 矛盾。"

用上面反例对照（这里 shift 的方向取 $i=1, j=2$，但 sentinel 的反例对应"被 shift 进来"的集合是 $\{1,3\}$ — 它在 $S_{1,2}\mathcal F$ 中，原像是 $\{2,3\}\in\mathcal F$）：

• $S_{1,2}\mathcal F = \{\{1,2\},\{1,4\},\{1,3\}\}$ 是 sunflower 核 $\{1\}$。
• $T=\{3\}$（即 $A_3=\{1,3\}$ 是新进来的，原像 $A_3^*=\{2,3\}$）。$|T|=1$，对应 Case 1。
• $i=1\in A_3=\{1,3\}$，且 $1\in Y=\{1\}$，故 $i\in Y$。这把案例打入 A 草稿的子情形 "$i\in Y$"。

A 草稿对 $i\in Y$ 子情形写："若 $i\in Y$ 且 $j\notin A_2,A_3$..."后面没继续展开，直接跳到"若 $i\in P_1$"那一支声称闭合。

真正漏洞：当 $i\in Y$（即 shift 的"目标元素"恰好落在 sunflower 的核中），原像 $A_3^*=(A_3\setminus\{i\})\cup\{j\}$ 把 $i$ 替成 $j$。但

1. $A_2=\{1,2\}$ 含 $i=1$，所以 $A_2\cap A_3^*=\{1,2\}\cap\{2,3\}=\{2\}\neq Y=\{1\}$。
2. $A_2\cap A_3 = \{1,2\}\cap\{1,3\} = \{1\}$（在 shift 后），但 $A_2\cap A_3^* = \{2\}\neq\{1\}$。
3. 故 $\{A_1=\{1,2\},A_2=\{1,4\},A_3^*=\{2,3\}\}$ 不是 sunflower — 草稿声称的"反推到 $\mathcal F$ 中 sunflower"失败。

4.4 为什么 sunflower-free 与 intersecting 不同

归纳：shift 保性质的判据似乎是"谓词 $\le 2$ 元 + 单调（$\mathcal F'\supseteq\mathcal F$ 则性质保）"。sunflower-free 既不是单调（去除元素可能制造新 sunflower 反过来不可能 — 但同 size shift 可），也不是 2 元，失败是结构必然，不是技术细节。

5. 修订建议 — 哪些 sub-class 上 shifting 仍可能保 sunflower-freeness

原命题死，但下列修订形式仍值得 L2/L3 攻关。每条都附"为何这样改可能可行"。

5.1 限制族类

(a) Erdős–Ko–Rado intersecting 子族

$$\mathcal F\subseteq\binom{[n]}{k},\quad \forall F,F'\in\mathcal F:\ F\cap F'\neq\emptyset.$$

EKR 极值族（$n\ge 2k$，$|\mathcal F|\le\binom{n-1}{k-1}$）已知是 star-like 的，shift 在 EKR 内部移动是 well-studied。修订陈述：若 $\mathcal F$ intersecting + sunflower-free + $n\ge 2k$，则 $S_{ij}\mathcal F$ 也 intersecting + sunflower-free。

动机：intersecting 强制所有对交非空；shift 在此约束下"核已经同步"，反而无法制造新核。本笔记反例 $\{\{1,2\},\{1,4\},\{2,3\}\}$ 不是 intersecting（$\{1,4\}\cap\{2,3\}=\emptyset$），故不在此修订形式范围内。值得在 $k=3, n=7,8$ 上跑 sentinel 验证。

(b) shift-stable 终态族

设 $\mathcal F^* = \lim_{m\to\infty} S_{i_m j_m}\cdots S_{i_1 j_1}\mathcal F$ 为 shift 不动点，即 shifted family：$\forall F\in\mathcal F^*, j\in F, i

修订陈述：若 $\mathcal F^*$ 已 shifted 且 sunflower-free，则任何 $S_{ij}\mathcal F^*=\mathcal F^*$（恒等），故 trivially 保。这个版本平凡为真，但有意义的是反方向：

修订 (b')：若 $\mathcal F$ sunflower-free，是否存在 shift 序列使 $\lim$ 仍 sunflower-free？sentinel 数据显示 $n=4$ 时 41 个 sf-free 族中只有 17 个在某个 shift 下保持，其余 24 都立即坏掉 — 故修订 (b') 也大概率假，需进一步实验。

(c) compressed-by-symmetric-pair 算子

定义对称压缩 $C_{ij}$：若 $F\bigtriangleup\{i,j\}\notin\mathcal F$，则把"$j\in F, i\notin F$"或"$i\in F, j\notin F$"中较 lex-小者保留，另一对应的集合替为对称伴侣。即 真正 的 swap，不是单方向 push。

这是 Kleitman 1966 monotone compression 的变体。修订陈述：sunflower-freeness 在 $C_{ij}$ 下保持。

动机：$C_{ij}$ 不 break 对称性 — 对核 $Y$ 关于 $\{i,j\}$ 的归属不会单方向激活。本笔记的反例 $\{2,3\}\to\{1,3\}$ 是单方向 push（仅当 $\{1,3\}\notin\mathcal F$ 时触发），$C_{ij}$ 会同时检验对称伴侣 $\{1,3\}\to\{2,3\}$ 而把"哪边留下"按 lex 选 — 在反例配置里 lex 小的是 $\{1,3\}$，但保留 $\{2,3\}$ 也合规，等价于不动。需 sentinel 重跑。

(d) $r\ge k+1$ 大花瓣 sunflower-free

原命题取 $r=3$。改 $r\ge k+1$（核空时即 $r$ 个两两不交集）。

修订陈述：若 $\mathcal F$ 不含 $r$-sunflower 且 $r\ge k+1$，则 $S_{ij}\mathcal F$ 同。

动机：$r$ 越大，sunflower 越稀有；$r\ge k+1$ 把 sunflower 推到接近"两两不交"（matching）领域，shift 保 matching size 是经典结果（Frankl 1980）。本反例 $r=3, k=2$，对应 $r=k+1$ 临界 — 故此修订也未必能救。需在 $r=4, k=2$ 与 $r=4, k=3$ 上跑 sentinel。

5.2 改算子

(e) symmetric two-point shift

$S_{\{i,j\}}^{\mathrm{sym}}(F) = F\bigtriangleup\{i,j\}$ 当 $|F\cap\{i,j\}|=1$ 且对称伴侣不在 $\mathcal F$ 中。这与 (c) 在算子层等价。

(f) entropy-monotone compression（ALWZ-style）

用 ALWZ 2020 的"spread"度量：$\mathcal F$ 是 $r$-spread 若 $\forall S, |\{F\in\mathcal F:S\subseteq F\}|\le r^{-|S|}|\mathcal F|$。修订陈述：若 $\mathcal F$ $r$-spread + sunflower-free，则某种 entropy 单调算子（不同于 Frankl shift）保两性质。

动机：ALWZ 的核心是"非 spread 族必含 sunflower"。spread 是真正的"sunflower-free 替代品"，且 entropy 视角下是单调的 — 比 Frankl shift 更适配。但需重新定义算子，不再是单点 $i\to j$ push。

5.3 总修订矩阵

建议：放弃 P1 原形，把 (a) 与 (f) 提升为独立命题 P1.a 与 P1.f，分别走自己的 Template 2 v2 流程。其余 (b)–(e) 作为反面文献注记保留。

6. KILL verdict + 价值告示

6.1 Template 2 v2 流水线的价值

6.2 给后续命题的教训

1. folklore 红旗：凡涉及"shift / compression / symmetrization 保 X"类陈述，sentinel 必须独立跑。X = $r$ 元谓词（$r\ge 3$）时尤其。
2. Case-bash 的隐藏假设：每个 case 闭合时，强制写出"反推到 $\mathcal F$ 的步骤依赖哪些前提"。$A_t^*\in\mathcal F$ 与 $A_t^*$ 处于特定结构是不同断言，永远不要合并。
3. $k=2$ 不平凡：L1 sentinel 草稿误判 $k=2$ 是"trivial"（"$k=2$ sunflower-free = 三角形-free 图"），实际 sunflower 核非空时不是三角形-free 而是 star — 不同概念。小 $k$ 的"看起来平凡"必须从定义重新展开，而不是诉诸熟悉的图论翻译。
4. 修订形式比原命题更有研究价值：(a) intersecting + sf-free 与 (f) ALWZ spread + 新算子 都是 ALWZ 主线的可能桥梁；保留为独立命题 P1.a / P1.f。

6.3 文件位置

• 本笔记：work/sunflower-proposition1_shifting_preserves.html
• L1 brainstorm 五角度：/tmp/sunflower_brainstorm/prop1/L1P1_{A,B,C,D,E}_*.md
• L1 ranker：/tmp/sunflower_brainstorm/prop1/L1_ranker.md
• L1 sentinel：/tmp/sunflower_brainstorm/prop1/L1_sentinel.md
• decision_log：work/reference_sunflower_research/prop1/decision_log.md