Godbersen 猜想对带反射的混合体积成立吗？

Godbersen 不等式究竟约束了什么

被最大化的对象不是 K 自身的体积，而是混合体积。混合体积 V_n 是体积在 Minkowski 意义下的多重线性、对称极化，因此当差体 K−K 写成 K+(−K) 时，多重线性把 V_n(K−K) 展开为若干项 V_n(K[k], −K[n−k]) 之和，各项以二项式系数 C(n,k) 加权。经典的 Rogers–Shephard 不等式用 C(2n,n) V_n(K) 约束整个差体，等号恰好对单纯形成立。Godbersen 在 1938 年、Makai Jr. 在 1974 年各自猜想同一界逐项成立，这是更强的命题，因为它分别约束每个混合项，而不只是它们的加权和。

该猜想包含两部分，论文对两者都给出了结论。不等式部分断言对每个 0 ≤ k ≤ n 有 V_n(K[k], −K[n−k]) ≤ C(n,k) V_n(K)。等号部分断言当 1 ≤ k ≤ n−1 且 K 满维时，等号成立迫使 K 是单纯形。端点情形 k = 0 与 k = n 是平凡的，因为此时混合体积就是 V_n(K)；低维凸体使两边都为零。k = 1 与 k = n−1 的情形已可由 Minkowski 非对称测度的界 s(K) ≤ n 推出。因此未解决的内容落在中间的 k 范围，而论文的等号刻画正是在这里发挥作用。

逐项界为何比整体界更难

逐项加细在先天上比它所加细的整体不等式风险大得多。整体界只有一族极值体，但逐项不等式族原则上可能允许更多极值体，而涉及混合体积的不等式已知会产生难以描述的复杂等号情形。论文指出，人们仍普遍预期对满维 K 和 1 ≤ k ≤ n−1，唯一的等号情形依然是单纯形，这一点记录在凸几何的标准参考文献中。

论文的贡献在于对一般凸体确认了这一预期，而不只是对多胞体。第二、第三作者此前的成果已对所有凸体证明该不等式，但只在多胞体中刻画了等号。本文通过一个关于单纯形的结构性结果而非对极值体的直接分类分析，补上了这一缺口。

用单调性证明不等式

不等式通过把问题嵌入乘积空间、再应用混合体积的单调性来证明。对凸体 L ⊆ M 和固定的 C_1,…,C_{n−1}，单调性给出 V_n(L, C_1,…,C_{n−1}) ≤ V_n(M, C_1,…,C_{n−1})。把 K^2 = K×K 写成 ι_1K + ι_2K，并令 Δ 为对角嵌入，则 ΔK ⊆ K^2，于是单调性不等式可以应用 n 次。结合混合体积的标准投影公式，得到 V_n(K) V_n(K[k], −K[n−k]) ≤ C(n,k) V_n(K)^2，再除以正体积 V_n(K) 即得 Godbersen 不等式。

同一论证可推广到高阶。对 p ≥ 1，对角映射 Δ_p 把 x 送到 (R^n)^p 中的 (x,…,x)，且 K^p = ι_1K + ⋯ + ι_pK。论文证明当 k_0 + ⋯ + k_p = n 时，V_{pn}(−Δ_pK[n−k_0], ι_1K[n−k_1], …, ι_pK[n−k_p]) ≤ (n!)^p/(pn)! · C(n; k_0,…,k_p) · V_n(K)^p。这就是高阶 Godbersen 不等式，当 p = 1 时退化为原命题。不等式部分由此得证；更难的一半是判定等号何时成立。

等号转化为接触锥上的条件

单调性不等式中的等号有一个已知的重新表述，涉及混合面积测度的支集：若 L ⊆ M 且含 L 的相关混合体积等于含 M 的相应值，则支撑函数 h_L 与 h_M 在某个混合面积测度的支集上一致。把它应用到乘积空间论证，Godbersen 不等式的极值体必须满足 h_{ΔK} = h_{K^2} 在 S_{B[n−1], ι_1K[k], ι_2K[n−k]} 的支集上成立。

论文随后借助混合面积测度的局部投影公式，以及关于 Schneider 混合面积测度支集猜想的一个已知部分结果，把这一解析条件转化为几何条件。结果是命题 1.3：若满维 K 达到等号，则对单位球面上任意两个方向 u、v，只要 dim T(K,u) ≤ k 且 dim T(K,v) ≤ n−k，就存在方向 w 使接触锥 T(K,w) 同时包含 T(K,u) 与 T(K,v)。换言之，等号迫使 K 的接触锥在一种受控的并运算下封闭。这是从体积不等式通向 K 局部法结构陈述的桥梁。

用面格刻画单纯形

极性把接触锥条件转化为面条件。若 K 的内部包含原点，K 的接触锥对应极体 K° 的面，于是命题 1.3 变为：对 K° 的任意两个面 F 与 G，只要 dim F ≤ k−1 且 dim G ≤ n−k−1，就存在 K° 的一个真面同时包含二者。论文证明这一面格条件本身即可刻画单纯形，这是等号分析的技术核心。

定理 1.4 对满维 K 和整数 1 ≤ k ≤ n−1 给出三个条件的等价性：K 是单纯形；任意两个满足 dim F ≤ k−1 与 dim G ≤ n−k−1 的面 F、G 都落在某个公共真面中；以及任意两个满足 dim T(K,u) ≤ k 与 dim T(K,v) ≤ n−k 的方向 u、v，其接触锥都包含在某个公共接触锥中。此前这一方向上唯一已知的结果是 Develin 关于多胞体的定理。这里的困难在于一般凸体的面格可能是无限的，论证无法逐一枚举面。证明改为对 k 作归纳，在削弱一个面的维数界的同时加强另一个面的维数界，并利用一个面的任何真面维数严格更小这一事实。

高阶等号归结为两面情形

对高阶不等式，等号分析沿同一路径展开。命题 1.7 指出，若满维 K 在高阶不等式中达到等号，则对任意 p+1 个满足 dim T(K,u_i) ≤ k_i 的方向 u_0,…,u_p，存在单一方向 w，其接触锥包含每个 T(K,u_i)。定理 1.8 把面格刻画从两个面推广到 p+1 个面：K 是单纯形，当且仅当任意满足 dim F_i ≤ k_i−1 的面 F_0,…,F_p 都落在某个公共真面中，等价地相应的接触锥条件成立。

从 p+1 个面归约到两个面，靠的是一条把相邻两个维数界合并的引理，反复折叠约束列表，直到只剩定理 1.4 的两面条件。反方向很短：若 K 是单纯形，它的面本身也是单纯形，因此满足 dim F_i ≤ k_i−1 的这些面合起来至多包含 k_0 + ⋯ + k_p = n 个顶点，于是存在一个顶点不在其中任何一个面内，从而存在包含所有这些面的一个面。这正是高阶不等式的等号情形依然恰好是单纯形的原因，也确认了 Schneider 2000 年的猜想。

等号在何处不再平凡

等号陈述是有意受限的，这些限制对理解结果很重要。若某个 k_i 等于 n，高阶不等式两边都等于 (n!)^p/(pn)! · V_n(K)^p，等号总成立，单纯形刻画不提供任何信息。若 K 是低维的，两边都为零，等号同样平凡。零指标可以在不改变等号是否成立的前提下删除，因此实质情形是 k_0,…,k_p ≥ 1，这迫使 p ≤ n−1。论文的等号刻画正是在这一范围内、对满维 K 成立。

实际后果是一个清晰的两分而非数值阈值。在非平凡范围内，极值体在所述条件下是唯一的：满维凸体在 Godbersen 不等式或其高阶形式中达到等号，当且仅当它是单纯形。论文自身的定位把这一结果与其他把单纯形刻画为唯一极值体的结论并列，例如 Minkowski 非对称界 s(K) ≤ n、Ball 的逆等周不等式、Grünbaum 不等式和 Zhang 的投影不等式。这里的独特贡献在于该刻画通过面格获得，并且覆盖一般凸体而非仅多胞体。

这项结果最值得关注之处

读这篇论文最有用的方式，是把它看作关于哪种结构特征控制等号的陈述。不等式本身来自混合体积单调性在乘积空间中的应用，而这一论证此前已知可推广到高阶。缺失的是对一般凸体的等号分析，论文表明决定性信息不是度量的而是组合的：等号迫使接触锥具有并封闭性质，经极性后变成面格上的并封闭性质，而仅凭这一性质就把凸体锁定为单纯形。

对把本结果与其他单纯形刻画相比较的读者，相关的区别在于等号断言的适用范围。该结果覆盖经典不等式中非平凡指标范围 1 ≤ k ≤ n−1 的满维凸体，以及高阶版本中满足 k_0,…,k_p ≥ 1 且和为 n 的情形，而 k_i = n 的退化情形与低维凸体被排除在外，因为那里的等号是自动成立的。在这一范围内，标题问题的答案毫不含糊：猜想成立，单纯形不只是极值体，而是唯一的极值体。

本文引用的文献