结果族 087：The Mahler conjectures, functional inequalities and polar-product symplectic width · 学科：Convex and metric geometry · 验证状态：暂无形式化证明，请以社区核验为准
“商品组合空间”与”价格空间”玩的是你胖我瘦的对偶游戏：一个越扁，另一个越胖，体积乘积却似乎有个底线。这次商品空间不必左右对称（比如只许买 0 到 1 份），取价格对偶前得先找一个最优的”摆位”。Mahler 1938 年猜：不对称时体积乘积的最小值由三角形家族取得。这篇论文在所有维度证明了这个猜想，并确认等号只属于单纯形。
关键词卡片
@@M@@(K-s(K))^\circ=\{y:\langle x,y\rangle\le1,\ \forall x\in K-s(K)\}@@。@@M@@n+1@@ 个顶点张成的最简立体。@@M@@P(K)=|K|\,|(K-s(K))^\circ|@@，仿射不变量。看个具体例子
代入 @@M@@n=2@@：数字版定理为
@@M@@P(K)\ \ge\ \frac{(n+1)^{n+1}}{(n!)^2}=\frac{3^3}{2!^2}=\frac{27}{4}=6.75\quad(n=2)@@
具体验证：取标准三角形 @@M@@T@@（顶点 @@M@@(0,0),(1,0),(0,1)@@），面积 @@M@@\tfrac12@@；在 Santaló 点处取极体，其面积为 @@M@@\tfrac{27}{2}@@。乘积 @@M@@\tfrac12\times\tfrac{27}{2}=\tfrac{27}{4}=6.75@@，恰好取等——三角形就是二维的”最省钱”形状，任何其他凸块都更贵。
为什么值得关心
平面情形 Mahler 本人在 1938 年的多边形论文中已证（三角形取等），三维到近年才被攻克，本文补齐了全部高维。它与对称篇、辛几何篇合起来全面解决 Mahler 问题：对称常数为 @@M@@4^n/n!@@（Hanner 等号），一般常数为 @@M@@(n+1)^{n+1}/(n!)^2@@（单纯形等号）；此前高维只有不带精确常数的指数阶估计。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的对偶游戏这次换了规则：商品空间不必左右对称——比如”每种货只能买 0 到 1 份”。不对称时直接取价格对偶没有意义，得先把块在内部挪到一个”最省的对齐摆位”，使对偶块的体积尽可能小，再谈两个体积的乘积。要问的仍是那句：这个乘积有没有底线、最”省钱”的形状是谁。导读已剧透答案：三角形家族，即高维的单纯形。
第二级台阶
| 用本科术语精确化：凸体是含内点的紧凸集；给定内部点 z，平移后的极体定义为 (K−z)°={y：对一切 x∈K 有 ⟨y,x−z⟩≤1}。使极体体积取最小的 z 是唯一的，称为 Santaló 点 s(K)；体积乘积 P(K)= | K | · | (K−s(K))° | 是仿射不变量。单纯形是 n+1 个仿射无关点的凸包——线段、三角形、四面体的高维推广。 |
第三级台阶
定理在一切维数陈述：对每个 n≥1 与每个凸体 K——不要求对称、不要求边界正则——都有 P(K)≥(n+1)^{n+1}/(n!)²，等号当且仅当 K 是单纯形。”无假设”意味着不能靠光滑化或组合结构归约；与对称篇的关系需要说清：对称常数 4^n/n! 更大但只在限制类上陈述，两个定理互不蕴涵。证明走分析路线：先用锥/Laplace 对应把几何不等式化为一对 Laplace 积分之积不小于 1，再用高斯变量的锥投影构造双映射，经变量代换与 Jensen 不等式，把全部困难压缩成一个误差泛函的非正性，最后由矩阵均差公式与一维严格标量不等式收口。
论文证明了一般凸体（不必中心对称）的 Mahler 猜想：任何 @@M@@K\subset\mathbb R^n@@ 在 Santaló 点处的体积乘积满足 @@M@@|K|\,|(K-s(K))^\circ|\ge (n+1)^{n+1}/(n!)^2@@，等号恰为单纯形，全部维数与全部等号情形一并解决。
对不含对称性假设的凸体 @@M@@K@@，极体体积 @@M@@|(K-z)^\circ|@@ 在唯一的内部点——Santaló 点（Santaló point）@@M@@s(K)@@——处取最小，体积乘积 @@M@@P(K)=|K|\,|(K-s(K))^\circ|@@ 是仿射不变量，单纯形给出 @@M@@(n+1)^{n+1}/(n!)^2@@。Mahler 1938 年的多边形论文证明了平面不等式并识别三角形等号；Meyer 1991 年完成平面一般凸体的等号分类。高维方面，Bourgain–Milman 的反向 Santaló 定理、Kuperberg 的 Gauss 环绕积分方法、Nazarov 的 @@M@@\bar\partial@@/Bergman 核方法及 Mastrantonis–Rubinstein 的推广都只给出指数阶下界，常数不精确；Meyer–Reisner 用影子系统（shadow system）处理至多 @@M@@n+3@@ 个顶点的多胞体，Kim–Reisner 证明单纯形是严格局部极小；三维情形由 Chen–Li–Xi–Xu 证得 @@M@@P\ge 64/9@@ 且等号恰为四面体。一般高维凸体的精确常数与全局等号分类此前完全未攻克。
定理（一般 Mahler 猜想）：对每个 @@M@@n\ge1@@ 与每个凸体 @@M@@K\subset\mathbb R^n@@，@@M@@P(K)\ge\frac{(n+1)^{n+1}}{(n!)^2}@@，等号当且仅当 @@M@@K@@ 是单纯形（simplex）。定理不带任何对称性或边界正则性假设，且对每个内部平移点 @@M@@z@@ 都给出下界。推论：一般泛函 Mahler 不等式——对任意正常下半连续凸函数 @@M@@\varphi@@（无需中心化或归一化），@@M@@(\int_{\mathbb R^n}e^{-\varphi})(\int_{\mathbb R^n}e^{-\varphi^*})\ge e^n@@，常数由 @@M@@\varphi(x)=\sum_i x_i+\iota_{[-1,\infty)^n}(x)@@ 达到；以及熵–运输形式 @@M@@H(\eta_1)+H(\eta_2)\le -3n+\mathcal T(\nu_1,\nu_2)@@。
第一步是 Klartag 的锥/Laplace 对应（cone/Laplace correspondence）：令 @@M@@m=n+1@@，把平移后的 @@M@@K-z_0@@ 提升为锥 @@M@@C@@，取正对偶锥 @@M@@D=C^*@@；切片计算给出 @@M@@\chi_C(V)\chi_D(U)=\frac{(n!)^2}{m^m}\,|K|\,|(K-z_0)^\circ|@@，于是目标不等式化为在 @@M@@\langle U,V\rangle=m@@ 时证明两个 Laplace 积分之积 @@M@@\chi_C(V)\chi_D(U)\ge1@@。
第二步构造一对从高斯变量出发、分别落入 @@M@@C@@ 与 @@M@@D@@ 的映射。由 Moreau 锥分解，@@M@@Z+\xi_z=\Pi_C(Z+\xi_z)-\Pi_D(-Z-\xi_z)@@ 且两项正交；对每个实数层参数 @@M@@z@@ 唯一选取偏置 @@M@@\xi_z@@ 使 @@M@@\mathbb E X_z=a(z)U@@。关键的”同时正规化”用 Brouwer 不动点定理同时选锥坐标与高斯协方差 @@M@@\Sigma=I+T@@（@@M@@T@@ 在固定谱箱内），使 @@M@@\mathbb EA=0@@ 且 @@M@@\lambda T^2+\mathbf C\circ T+\mathbf K=0@@——协方差随投影场一起反馈调节，这是后续矩阵项相消的前提。
第三步把两映射截断、高斯光滑化后作变量代换并用 Jensen 不等式，得到归一化对数 Laplace 乘积的下界 @@M@@-\mathcal E@@，余下任务为证 @@M@@\mathcal E\le0@@。主要困难在于投影导数场 @@M@@P_z=D\Pi_C@@ 既不交换也不随 @@M@@z@@ 单调，各自独立估计会同时丢掉精确常数与等号信息。论文转而把整个场与线性高斯矩阵 @@M@@L=\sum_i G_iM_i@@ 的谱阈值比较：用 Hermite 展开与高斯逆生成元协方差恒等式分离出一次高斯部分，再减去一个非负的层亏量。最后用 Daleckiĭ–Kreĭn 矩阵均差公式（divided-difference formula）把剩余项表示为 @@M@@L@@ 的特征值对上的平均，由一维严格标量不等式吸收误差，得 @@M@@\mathcal E\le-.14\,\tau T^2-\int(W-W_0)\,d\beta\le0@@。这些标量不等式由固定的小数常数参数经解析插值与尾项论证延拓到整条实数轴，数值采样不替代证明。
等号情形：@@M@@\mathcal E=0@@ 强制 @@M@@T=0@@、谱测度集中于对角且层测度 @@M@@\beta@@ 为零，进而迫使系数矩阵 @@M@@M_i@@ 两两交换、投影导数在同一组基下对角化，锥随之分裂为一维半直线的直和，其有界截面是单纯形；反向是直接的体积计算。
本篇暂无形式化证明，请以社区核验为准。姊妹篇用完全不同的透镜共形映射方法证明对称常数 @@M@@4^n/n!@@ 并分类 Hanner 等号（已形式化），辛几何篇又给出对称情形的第三条路线；两篇合起来把对称与非对称 Mahler 问题同时解决。按 OpenAI 官方声明，未经形式化的结果可能有问题；本篇证明链较长且依赖一组带精确小数常数的标量不等式，尤其值得社区仔细复核。
问 1：证明最关键、最脆弱的一步在哪？
答：误差泛函 E 的非正性证明。锥投影的导数矩阵族 P_z=DΠ_C 既不交换也不随 z 单调，独立估计会同时丢掉精确常数与等号信息；论文转而把整个场与线性高斯矩阵 L=ΣG_iM_i 的谱阈值比较，用 Hermite 展开与高斯逆生成元协方差恒等式分离一次高斯部分、减去非负层亏量，最终得 E≤−.14τT²−∫(W−W₀)dβ≤0。这一矩阵比较是全文技术核心。
问 2：为什么必须在 Santaló 点处取极？
答：不对称时极体体积随平移中心变化，P(K) 的定义取的是全部内部点上的下确界，Santaló 点是其唯一最小点（论文第一节自带存在唯一性证明）。定理实际对每个内部点 z 都给出下界，但在 s(K) 处才是标准形式——这是仿射不变性的正确坐标。
问 3：与已有工作相比真正的新意是什么？
答：既有精确结果全部带限制：Meyer–Reisner 影子系统只到 n+3 个顶点的多胞体，Chen–Li–Xi–Xu 只到三维，Bourgain–Milman/Kuperberg/Nazarov 只有指数阶常数。本文对任意维数任意凸体给出精确常数加全局等号分类，方法（Klartag 锥/Laplace 对应＋Moreau 投影分解＋Daleckiĭ–Kreĭn 均差公式）与影子系统的形变路线完全不同。
问 4：哪个环节最可能出错？
答：附录的标量不等式。它们由固定的小数常数（有理数证书）出发，经解析插值与尾项论证延拓到整条实数轴；论文强调”数值采样不替代证明”，恰说明这里是审稿焦点——若插值链有缝隙，−.14τT² 这类系数就悬空。此外 Brouwer 不动点同时选锥坐标与协方差（矩阵方程 λT²+C∘T+K=0）的存在性论证也值得细查。本文未形式化，是族内三篇中核验最薄弱的一环。
问 5：等号分类的论证结构是什么？
答：E=0 强制 T=0、L 的谱测度集中于对角、层测度 β 为零；这迫使系数矩阵 M_i 两两交换、投影导数在同一组基下对角化，正对偶锥随之分裂为一维半直线的直和，其有界截面恰是单纯形。反向是直接体积计算。链条从分析等式走到刚性代数结构，中间任何松脱都会漏出新的等号体或错杀单纯形。
问 6：谁会用这个结果？
答：推论直接给出一般泛函 Mahler 不等式 (∫e^{−φ})(∫e^{−φ*})≥e^n——无需中心化或归一化，势 φ=Σx_i+指示函数取等——以及熵–运输不等式 H(η₁)+H(η₂)≤−3n+T(ν₁,ν₂)。log-concave 测度、最优输运与数的几何（转移定理）社区是直接用户。
总评
这是 Mahler 问题的另一半收官之作，方法原创、覆盖完整；但未形式化、依赖带小数常数证书的标量不等式链，是它与已形式化的对称篇之间最大的可信度落差，社区复核应优先攻附录。