结果族 210：Foulkes’ conjecture for sixth powers and quadratic stabilization · 学科：Algebra · 验证状态：暂无形式化证明，请以社区核验为准
两种装箱法：左边是 6 个大箱子、每箱装 @@M@@b@@ 件商品（可重复、不分顺序）；右边是 @@M@@b@@ 个小箱子、每箱装 6 件。总件数都是 @@M@@6b@@，但两边”能装出哪些花样”的清单不同。Foulkes 猜想说右边清单更丰富，足以把左边每种花样一对一嵌进去。本文证明：箱数取 6 时，这件事对一切 @@M@@b\ge6@@ 都成立。
关键词卡片
@@M@@\Sym^b V@@＝从 @@M@@V@@ 里无序挑 @@M@@b@@ 份、允许重复的所有组合撑成的空间。@@M@@\GL(V)@@ 的作用兼容的一一嵌入，”花样对照表”不破坏对称性。@@M@@h_a[h_b]@@，”箱中套箱”结构的精确代数化身。@@M@@a=6@@ 时有洞，本文只能绕路。看个具体例子
取 @@M@@V=\mathbb{C}^6@@、@@M@@b=7@@：猜想断言 @@M@@\Sym^6(\Sym^7 V)@@ 的每种花样都能在 @@M@@\Sym^7(\Sym^6 V)@@ 里找到对应。@@M@@b=6@@ 时两边是同一表示、毫无难度，全部难关都在 @@M@@b>6@@；本文对每个 @@M@@b@@ 逐一攻下。
为什么值得关心
把 1950 年猜想的已知范围从 @@M@@a\le5@@ 推进到 @@M@@a=6@@；旧路线（Foulkes–Howe 映射）到这一站已断裂，本文用”大范围代数＋中范围组合＋小范围计算机”三层结构另辟蹊径，其中大范围部分由已 Lean 形式化的姊妹篇支撑。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”两种装箱法”翻译成半数学语言：对象是一个带对称性的向量空间——可以想成”所有商品撑起的线性空间”；操作是”无序挑选、允许重复”这一过程的嵌套：先无序选 @@M@@b@@ 件合成一份大箱内容、再无序取 @@M@@6@@ 份，或者先选 @@M@@6@@ 件再取 @@M@@b@@ 份。两种装箱各撑起一个更大的配置空间；猜想断言后者的花样至少与前者一样多，多到足以把前者一对一嵌入。
第二级台阶
用表示论术语精确化。”对称幂” @@M@@\Sym^b V@@ 由 @@M@@V@@ 中无序 @@M@@b@@ 元组张成，也是 @@M@@V@@ 上 @@M@@b@@ 次齐次多项式的空间。@@M@@V@@ 的可逆线性变换全体组成群 @@M@@\GL(V)@@，它诱导这些空间的线性作用，”等变映射”就是与该作用交换的线性映射。复数域上多项式表示完全可约，可拆成不可约的 Schur 模 @@M@@\Schur_\lambda V@@，其中 @@M@@\lambda@@ 取遍整数分拆；@@M@@\Sym^a(\Sym^b V)@@ 的特征标由对称函数的复合（plethysm）@@M@@h_a[h_b]@@ 给出，于是”等变单射存在”等价于 @@M@@h_b[h_6]-h_6[h_b]@@ 的每个 Schur 系数非负，即 Schur 正性。
第三级台阶
定理的语境：@@M@@a\le5@@ 分别由 Thrall、Dent–Siemons 及”种子计算加 McKay 传播”解决，而惯用的典范 Foulkes–Howe 映射在 @@M@@(6,6)@@ 处已有非零核，老路断裂；Brion 只证明固定 @@M@@a@@ 时猜想最终成立，未给与维数无关的显式界。定理断言：对一切 @@M@@b\ge6@@ 与一切有限维复向量空间 @@M@@V@@，存在 @@M@@\GL(V)@@-等变单射 @@M@@\Sym^6(\Sym^b V)\hookrightarrow\Sym^b(\Sym^6 V)@@。复数域假设挡住的是特征零完全可约性这一把”嵌入”化成”系数不等式”的翻译；@@M@@b=6@@ 两边相同、是平凡起点。证明分两段：@@M@@b\ge30@@ 由姊妹篇的二次稳定化定理覆盖，@@M@@6\le b\le29@@ 化为有限组重数上界与下界的比较，交由计算机验证收尾。
证明了 Foulkes 猜想在 @@M@@a=6@@ 成立：对一切 @@M@@b\ge6@@ 与有限维复向量空间 @@M@@V@@，存在 @@M@@\GL(V)@@-等变单射 @@M@@\Sym^6(\Sym^b V)\hookrightarrow\Sym^b(\Sym^6 V)@@，即 @@M@@h_b[h_6]-h_6[h_b]@@ Schur-正；已知范围由 @@M@@a\le5@@ 推进到 @@M@@a=6@@。
Foulkes 在 1950 年研究协变量（concomitants）时提出猜想：当 @@M@@1\le a\le b@@ 时，应有 @@M@@\GL(V)@@-等变嵌入 @@M@@\Sym^a(\Sym^b V)\hookrightarrow\Sym^b(\Sym^a V)@@。在复数域上由完全可约性（complete reducibility），这等价于 plethysm 复合 @@M@@h_a[h_b]@@ 与 @@M@@h_b[h_a]@@ 之差是 Schur-正的（Schur-positive）。二元形式情形由经典 Hermite 互反律（Hermite reciprocity）给出同构，高维只能期待重数不等式。已知情形：@@M@@a=1@@ 平凡，@@M@@a=2@@ 属于 Thrall（1942），@@M@@a=3@@ 属于 Dent–Siemons（2000），@@M@@a=4,5@@ 分别靠 Müller–Neunhöffer 在 @@M@@(4,4)@@ 与 Cheung–Ikenmeyer–Mkrtchyan 在 @@M@@(5,6)@@ 的计算机计算配合 McKay 传播定理得到。但人们惯用的典范 Foulkes–Howe 映射在 @@M@@(5,5)@@、@@M@@(6,6)@@ 处有非零核，这条老路到 @@M@@a=6@@ 断掉；Evseev–Paget–Wildon 的特征消缩递推只核实到两参数之和 @@M@@\le 19@@，对应第六情形的 @@M@@b\le 13@@。Brion 虽然证明了对固定 @@M@@a@@ 猜想最终成立，却未给出与维数无关的显式界，因此 @@M@@a=6@@ 的完全证明此前悬而未决。
主定理：对每个整数 @@M@@b\ge 6@@ 与每个有限维复向量空间 @@M@@V@@，存在 @@M@@\GL(V)@@-等变单射 @@M@@\Sym^6(\Sym^b V)\hookrightarrow\Sym^b(\Sym^6 V)@@；等价地，对每个 @@M@@b\ge 6@@，@@M@@h_b[h_6]-h_6[h_b]@@ 的全部 Schur 系数非负。定理对 @@M@@\dim V@@ 无任何限制。对角情形 @@M@@b=6@@ 两边是同一表示，全部难点在 @@M@@b>6@@。证明在结构上分两段：@@M@@b\ge 30@@ 的比较由姊妹篇的二次稳定化定理一次性覆盖，@@M@@6\le b\le 29@@ 则化为有限的重数比较；论文还保留了一条不依赖姊妹篇的独立路线，覆盖 @@M@@b\ge 150@@ 加上验证到 @@M@@b=149@@ 的有限计算。
整体是”大范围靠代数、中范围靠组合、小范围靠计算机”的三层结构。先由姊妹篇的二次稳定化定理：典范乘法映射 @@M@@\mu_{6,b,V}:\Sym^b(\Sym^6 V)\to\Sym^6(\Sym^b V)@@ 在 @@M@@b\ge 30@@ 时满射，配合完全可约性即得该范围的嵌入；余下只需处理 @@M@@6\le b\le 29@@。由 Cauchy 分解，源 @@M@@\Sym^6(\Sym^b V)@@ 的 Schur 支撑长度至多六，故只需在 @@M@@V=\mathbb C^6@@ 上比较六部划分 @@M@@\lambda\vdash 6b@@ 处的源重数 @@M@@F(\lambda)@@ 与目标重数 @@M@@Q(\lambda)@@；矩形平移引理给出 @@M@@Q(d+6e_i)\ge Q(d)@@ 与 @@M@@F(d+6e_6)=F(d)@@，从而可按”剩余类加网格”归约。上界侧，循环公式把 @@M@@h_6[h_b]@@ 写成 @@M@@720@@ 个置换因式积的平均，带符号条带规则（signed strip rule，plethystic Murnaghan–Nakayama 规则的特例）说明每个因式积的系数只能是 @@M@@0,\pm1@@ 且中间划分受包含关系约束；丢弃符号与部分约束后，得到对每个间隙坐标单调的上界函数 @@M@@U(d)\ge F(d)@@。下界侧，最高权多项式乘法把已知的正重数传播到更大的权，而”幂证书”（power certificate）利用基的首项单项式互异，把重数放大归结为点和集（sumset）的 Matolcsi–Ruzsa 型下界 @@M@@|kD|\ge f(C,h,k)@@。另有一个不走重数的图表证书（chart certificate）：取非零向量 @@M@@v@@ 并在 @@M@@z(v)@@ 处局部化，多元对称不变量的因子长度论证说明，只要 @@M@@\lambda_2+\cdots+\lambda_6\le b@@，目标 @@M@@R_b@@ 的整个权空间都落在乘法像 @@M@@A_b@@ 里，从而 @@M@@Q\ge F@@。证书程序对 @@M@@6\le b\le 25@@ 先测 @@M@@Q\ge U@@，失败的划分（共 @@M@@145435@@ 个）再由 Newton 恒等式递推精确计算 @@M@@F@@，无一为负；对 @@M@@26\le b\le 149@@ 把间隙向量分解为 @@M@@d=r+6m@@（@@M@@7776@@ 个剩余类乘一个六百万点的网格），用共享的幂表与按剩余类精确的种子数组做传输测试，最终只剩尾带 @@M@@\lambda_3+\cdots+\lambda_6\le 27@@。带内的差 @@M@@Q-F@@ 由七个与 @@M@@b@@ 无关的 Laurent 级数分子 @@M@@G_j(q,y)@@ 的系数和给出，第二个程序逐一检查了 @@M@@57065668@@ 个系数，无一为负。论文还保留了一条独立路线：图表（chart）证书配合极化（polarization）引理给出 @@M@@b\ge a(a-1)^2=150@@ 时的典范满射，连同验证到 @@M@@b=149@@ 的有限计算，不依赖姊妹篇同样完成证明。
本篇暂无形式化证明。主路线的 @@M@@b\ge 30@@ 部分由已 Lean 形式化的姊妹篇（二次稳定化定理）支撑；@@M@@6\le b\le 29@@ 部分是传统数学论证加两个有限计算机验证，程序源代码完整印在附录（C++17、128 位整数，第二个程序用任意精度整数收尾），并附参考输出与复现脚本。按 OpenAI 官方声明，未经形式化的结果可能有问题，本文宜以社区核验为准。
问 1：证明里最脆弱的一环在哪里？
（答：中范围归约管线与两个计算机程序。矩形平移把比较压到 @@M@@\lambda_6<6@@，证书把残余压进带 @@M@@\lambda_3+\cdots+\lambda_6\le27@@；带内的差 @@M@@Q-F@@ 由七个与 @@M@@b@@ 无关的 Laurent 级数分子的系数和给出，第二个程序逐一检查了 @@M@@57{,}065{,}668@@ 个系数、第一个程序处理 @@M@@145{,}435@@ 个划分。归约条件任何遗漏、级数截断长度不足或整数溢出都会静默出错；论文用 128 位整数加任意精度收尾、印出完整源码与参考输出，正是对这一风险的防御。）
问 2：为什么不能继续走 Foulkes–Howe 映射的老路？
（答：McKay 传播定理要求典范映射在种子 @@M@@(a,b_0)@@ 处对每个 @@M@@V@@ 单射，而 Müller–Neunhöffer 与 Cheung–Ikenmeyer–Mkrtchyan 已算出 @@M@@(5,5)@@、@@M@@(6,6)@@ 处典范映射有非零核——@@M@@a=6@@ 时只要 @@M@@\dim V\ge6@@ 就失败。本文因此只比较重数、不要求任何指定映射单射，这是方法上的关键转向。）
问 3：相比既有工作，真正的新意是什么？
（答：把已知范围从 @@M@@a\le5@@ 推进到 @@M@@a=6@@ 且对 @@M@@\dim V@@ 无限制——Evseev–Paget–Wildon 的特征消缩只核实到 @@M@@b\le13@@，Brion 的”最终成立”无有效界。方法上是三层结构：大范围交给姊妹篇的二次稳定化 @@M@@b\ge a(a-1)=30@@；中范围用带符号条带规则给源重数上界、幂证书（点和集的 Matolcsi–Ruzsa 型下界）给目标重数下界；小范围计算机收尾。另保留不依赖姊妹篇的独立路线。）
问 4：这类 AI 生成证明最可能的出错模式是什么？
（答：程序与命题的错位。五千万量级的系数检查无法人工复验，风险在于程序实际枚举的集合与引理断言的集合不一致、截断估计刚好差一、或符号翻转被边界条件吞掉。缓解措施完整：源码全印、附参考输出与复现脚本、@@M@@b\ge30@@ 部分由已 Lean 形式化的姊妹篇支撑——但 @@M@@6\le b\le29@@ 段仍属”信任程序”的地带，需第三方复跑。）
问 5：为什么保留一条不依赖姊妹篇的独立路线？
（答：图表证书加极化给出 @@M@@b\ge a(a-1)^2=150@@ 的典范满射（导言所引的大范围命题），配上验证到 @@M@@b=149@@ 的同一组程序即独立闭环。这使主定理不系于单一路线，顺带加强：@@M@@b\ge150@@ 时不仅重数占优，典范乘法映射本身满射。）
问 6：结果谁会用、下一步在哪？
（答：plethysm 系数是表示论与代数复杂度理论的硬通货——几何复杂度理论的基本操作正是这类 Schur 正性比较，不变量与协变量研究直接消费这些重数不等式；”对一切维数成立”让使用者免于逐维检查。论文未讨论 @@M@@a=7@@ 时证书方法的组合爆炸是否可控，这是显然的下一站。）
总评
把六十五年老猜想的已知边界实实在在推进一步，大范围有形式化背书、另备独立路线，工程上相当稳健；最大风险集中在两个有限验证程序与归约管线的正确性，独立复跑之前宜保持审慎。