结果族 088：Sharp projection-body inequalities and a counterexample to simplex maximization · 学科：Convex and metric geometry（凸几何与度量几何） · 验证状态：主结果已 Lean 形式化
猜想在数学里只有两种结局：被证明，或被一个反例掀翻。在”影子打包”（投影体）的体积评分里，Brannen 1996 年猜想冠军应该是三角形家族（单纯形）。这篇论文造出反例：两个十维”三角形”并排焊成高维图形（笛卡尔积），得分反而比二十维”三角形”高——冠军宝座易主，而且高维里差距还在指数式拉大。
关键词卡片
@@M@@\Pi K@@，把各方向影子大小打包成的凸体。@@M@@n+1@@ 个顶点的最简立体。@@M@@R_d(K)=|\Pi K|/|K|^{d-1}@@，仿射不变的”影子总分”。看个具体例子
全部结论浓缩成一个整数比较。记 @@M@@c_d@@ 为 @@M@@d@@ 维单纯形的得分，数字版定理：
@@M@@\frac{R_{20}(T_{10}\times T_{10})}{c_{20}}=\frac{22\,355\,476}{22\,020\,096}>1,\qquad 121\cdot184\,756-21\cdot1\,048\,576=335\,380>0@@
读法：两个十维标准单纯形的积 @@M@@T_{10}\times T_{10}@@（@@M@@T_{10}@@ 是十维”三角形”）的归一化投影体体积，比二十维单纯形的高约 @@M@@1.5\%@@，证书是一个可直接机器复核的整数不等式。核心武器是乘积恒等式 @@M@@R_{r+s}(A\times B)=R_r(A)\,R_s(B)@@——得分在乘积下相乘，于是 @@M@@R_{20}(T_{10}\times T_{10})=c_{10}^2@@，一切都化作初等计算。
为什么值得关心
极值问题的”最大值一端”由此改写：单纯形不是冠军，真正的最大化体是谁仍属公开问题；构造初等、数值精确，高维中乘积的超出还随维数指数增长。
已 Lean 形式化
第一级台阶
导读的”影子档案评分”游戏中，每个立体按各方向影子大小打包成一个抽象体，再按体积打分；分数已按原立体体积归一，拉伸平移都不影响。Brannen 猜的冠军是单纯形家族——三角形、四面体的高维亲戚。导读的反例用的是”并排焊接”：把两个十维三角形拼成二十维的乘积体，焊接件的得分竟然比二十维三角形本人还高，冠军宝座就此易主。
第二级台阶
| 用本科术语精确化：凸体 K 的投影体 ΠK 是支撑函数等于 K 在各方向超平面上正交投影之 (d−1) 维体积的对称凸体；归一化得分 R_d(K)= | ΠK | / | K | ^{d−1} 在仿射变换下不变。单纯形 T_d=conv(0,e₁,…,e_d) 的得分是 c_d=(d+1)d^d/d!，且同维数一切单纯形同分。关键的乘积恒等式说：笛卡尔积的得分是因子得分的乘积——R_{r+s}(A×B)=R_r(A)·R_s(B)。 |
第三级台阶
| 定理的语境是 Brannen 1996 年的上界猜想 | ΠK | ≤c_d | K | ^{d−1}（三维已被证明成立）。定理取 K=T₁₀×T₁₀⊂ℝ²⁰，用乘积恒等式把比较化为两个十维单纯形常数与一个二十维常数的初等对账：比值等于 121·C(20,10)/(21·2²⁰)，其分子分母都是精确整数，证书 121×184756−21×1048576=335380>0 严格违反上界。构造只依赖多胞体的面向量公式与 Fubini 定理，无任何逼近或存在性论证；进一步的推论断言：一切足够高的维数里都有单纯形乘积把得分超出 c_n 达指数倍 λⁿ，而真正的最大化体是谁，论文明确留作公开问题。 |
构造出二十维的初等反例：两个十维单形的笛卡尔积 @@M@@T_{10}\times T_{10}@@ 的规范化投影体体积严格超过二十维单形，推翻 Brannen 1996 年”单形使投影体体积最大”的猜想；且高维中超出的倍数随维数指数增长。
投影体（projection body）@@M@@\Pi K@@ 的支撑函数是 @@M@@K@@ 在各方向超平面上正交投影的 @@M@@(d-1)@@ 维体积，Petty 确立了其仿射协变性。归一化泛函 @@M@@R_d(K)=|\Pi K|/|K|^{d-1}@@ 的极值是凸几何经典问题：谁最小、谁最大？该泛函在仿射变换下不变，极值体只能在仿射等价类中寻找，椭球与单形是两类天然候选。极小值一侧，Petty 猜想椭球唯一最小化（同族姊妹篇已在 @@M@@n\ge4@@ 证明）。极大值一侧，Brannen 于 1996 年猜想单形最大化 @@M@@R_d@@；单形的值是 @@M@@c_d=(d+1)d^d/d!@@，猜想即 @@M@@|\Pi K|\le c_d|K|^{d-1}@@。陈-冯-李-席-徐证明了 @@M@@d=3@@ 时上界 @@M@@R_3\le18=c_3@@ 成立（四面体取等）；Feng–Hu–Liu–Xu 随后在每个 @@M@@d\ge9@@ 用至多 @@M@@d+2@@ 个面的多胞形给出反例，但构造依赖扰动立方体投影与 Minkowski 存在性定理，也没有精确值。本文给出一个完全初等、可精确计算的构造。
主定理：取标准单形 @@M@@T_{10}=\operatorname{conv}(0,e_1,\dots,e_{10})@@，令 @@M@@K=T_{10}\times T_{10}\subset\mathbb{R}^{20}@@，则
@@M@@D\frac{R_{20}(K)}{c_{20}}=\frac{121\binom{20}{10}}{21\cdot2^{20}}=\frac{22\,355\,476}{22\,020\,096}>1,@@
整数证书为 @@M@@121\cdot184\,756-21\cdot1\,048\,576=335\,380>0@@——严格违反 Brannen 上界。一般地有乘积检验：@@M@@R_{r+s}(T_r\times T_s)/c_{r+s}=\frac{(r+1)(s+1)}{r+s+1}\binom{r+s}{r}\frac{r^rs^s}{(r+s)^{r+s}}@@，故 @@M@@r+s@@ 维的任何普适上常数至少是 @@M@@c_rc_s@@。指数超出推论：存在 @@M@@\lambda>1@@ 与 @@M@@N\ge20@@，使每个 @@M@@n\ge N@@ 都有单形的笛卡尔积 @@M@@K_n\subset\mathbb{R}^n@@ 满足 @@M@@R_n(K_n)\ge\lambda^n c_n@@。最优上常数与最大化体是什么，文中明确留作公开问题。
证明完全初等，所有恒等式自证，骨架分四步。
先建立面向量公式，即 Cauchy 投影公式（Cauchy’s projection formula）的多胞形情形：满维多胞形 @@M@@P@@ 的每个面 @@M@@F@@ 贡献一条以原点为中心的线段，长度为面面积 @@M@@s_F@@ 的一半、方向为外单位法向 @@M@@\nu_F@@，即 @@M@@\Pi P=\sum_F[-s_F\nu_F/2,\,s_F\nu_F/2]@@——投影体是区段和（zonotope）。证明靠两个观察：面 @@M@@F@@ 到 @@M@@u^\perp@@ 的投影的 Jacobian 是 @@M@@|\langle\nu_F,u\rangle|@@；除去零测集外，投影中每点恰由沿 @@M@@u@@ 方向直线的”入射面”与”出射面”两个面的原像覆盖，对重数积分即得。
再证乘积恒等式。@@M@@A\times B@@ 的暴露面是两因子暴露面的乘积，而当两个泛函都非零时积面余维至少为 2，故 @@M@@A\times B@@ 的面恰为 @@M@@F\times B@@ 与 @@M@@A\times G@@ 两族，其面积-法向量为 @@M@@(|B|s_F\nu_F,0)@@ 与 @@M@@(0,|A|s_G\nu_G)@@。代入面向量公式得 @@M@@\Pi(A\times B)=(|B|\Pi A)\times(|A|\Pi B)@@，体积相除即得 @@M@@R_{r+s}(A\times B)=R_r(A)R_s(B)@@——归一化投影体积在笛卡尔积下乘法化。
然后精确计算单形值。@@M@@T_d@@ 的坐标面面积-法向量为 @@M@@-e_i/(d-1)!@@，斜面为 @@M@@w/(d-1)!@@（@@M@@w=e_1+\cdots+e_d@@），故 @@M@@\Pi T_d@@ 是 @@M@@([0,1]^d+[0,w])/(d-1)!@@ 的平移。关键一步是对”挤出体”@@M@@Q+[0,w]@@ 的纤维论证：@@M@@Q@@ 的每条平行于 @@M@@w@@ 的纤维是区间，添上线段 @@M@@[0,w]@@ 后长度恰增 @@M@@\|w\|@@，由 Fubini 定理得体积 @@M@@=1+h_{\Pi Q}(w)=d+1@@。再由仿射协变性 @@M@@\Pi(LP)=|\det L|L^{-t}\Pi P@@ 知一切满维单形同取值 @@M@@c_d@@。
最后拼装。乘积恒等式给出 @@M@@R_{20}(T_{10}\times T_{10})=c_{10}^2@@，与 @@M@@c_{20}@@ 的比较化为上面的精确整数不等式。指数超出推论把每个 @@M@@n\ge20@@ 写成 @@M@@n=10k+d_r@@（@@M@@d_r\in\{10,\dots,19\}@@），取 @@M@@K_n=T_{10}^{\,k}\times T_{d_r}@@ 得 @@M@@R_n(K_n)=c_{10}^kc_{d_r}@@；用级数估计 @@M@@e<\beta=11/4@@ 给出 @@M@@c_n<(n+1)\beta^n@@，而精确算得 @@M@@c_{10}/\beta^{10}>1@@，选 @@M@@\lambda\in(1,(c_{10}/\beta^{10})^{1/10})@@，对十个剩余类各取阈值即得 @@M@@\lambda^n@@ 倍超出。关于上常数随维数的增长，Henk 对中心对称体曾给出最优上常数的下界 @@M@@2^d(9/8)^{\lfloor d/3\rfloor}@@；本文的乘积迭代则从单形乘积一侧给出指数超出的直接证据。
论文标注主结果已 Lean 形式化。它与同族姊妹篇《Petty’s projection-volume conjecture in dimensions at least four》互补：那边证明椭球是 @@M@@R_n@@ 的唯一最小化元，这边推翻”单形是最大化元”的猜想，一正一反界定了该泛函的极值行为。不同于 Feng–Hu–Liu–Xu 的扰动式构造，本文的乘积构造初等、数值精确，整数证书可直接机器复核。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文主结果已形式化，可信度高。
问 1：证明里最关键、最脆弱的一步在哪？
| 答：乘积恒等式的面分类。A×B 的暴露面是两因子暴露面之积，两个非零泛函同时暴露时积面余维至少 2，故面恰为 F×B 与 A×G 两族——这一步漏掉或算错任一族，面积-法向量 ( | B | s_Fν_F,0) 就不完整，R 的乘法性崩塌，整篇反例失去地基。幸运的是全文初等，此步可完全手工核验。 |
问 2：Brannen 猜想此前不是已被推翻了吗？新意何在？
答：Feng–Hu–Liu–Xu 已在每个 d≥9 给出反例，但构造依赖扰动立方体投影与 Minkowski 存在性定理，且没有精确值。本文的 Contribution 是三件事：完全初等的显式构造、可机器复核的精确整数证书（335380>0）、以及乘积检验这一可迭代机制——它把”反例存在”升级为”指数级超出”的定量现象。
问 3：为什么恰好选十维因子？
答：比较式 R_{r+s}(T_r×T_s)/c_{r+s}=((r+1)(s+1)/(r+s+1))·C(r+s,r)·r^r s^s/(r+s)^{r+s} 对 (r,s) 是显式的；对称取 r=s=10 是使整数证书为正的干净选择，同时 c₁₀/β¹⁰>1（β=11/4>e）保证十维块能在指数超出推论里反复复用。这不是凑出来的巧合，而是乘积公式下的直接算术。
问 4：哪个假设不能去掉？
答：乘积恒等式要求因子是满维多胞体且 r,s≥2。指数超出推论把每个 n≥20 写成 10k+d_r（d_r∈{10,…,19}）取 K_n=T₁₀^k×T_{d_r}——每个因子维数至少 10，正是为了逐次套用恒等式；若允许低维因子，Cauchy 面向量公式的重数论证（入射/出射面各一）需要另行检查。
问 5：作为 AI 生成证明，它最可能出什么错？
| 答：此类计算型论文的风险本最低，但两处值得复核：面向量公式的因子 1/2（作者自言”为固定后续常数所依赖的 1/2 而自证”），以及挤出体纤维论证 | Q+[0,w] | =1+h_{ΠQ}(w)=d+1。主结果已 Lean 形式化，加上整数证书可独立机器验证，这是全批可信度最高的一档。 |
问 6：谁会用到它？
答：凸几何极值问题社区：极大值端自此改写——最优上常数在 r+s 维至少是 c_r c_s，且 Henk 对中心对称体的下界 2^d(9/8)^{⌊d/3⌋} 与本文的单纯形乘积一侧互相补充；与证明椭球唯一最小化的姊妹篇合看，R_d 的两端图景各定一半，真正的最大化体仍是公开问题。
总评
小而漂亮的反例文章：初等、精确、形式化三重保险，几乎无可质疑；其真正分量在于乘积机制揭示的指数超出，把”猜想错了”变成”错得离谱”。