结果族 087：The Mahler conjectures, functional inequalities and polar-product symplectic width · 学科：Convex and metric geometry · 验证状态：主结果已 Lean 形式化
把一个凸块想成”允许购买的商品组合”：块内每一点是一种配方。再定义它的”价格对偶块”：所有不会让任何配方总价超过 1 的价格向量。商品空间越扁，价格空间就越胖——两者体积的乘积能被压到多小？Mahler 1939 年猜：对称凸块的乘积有最小值 @@M@@4^n/n!@@，恰好由方块家族取得。这篇论文在一切维度上证明了这个猜想，并找出全部取等号的形状。
关键词卡片
@@M@@K^\circ=\{y:\langle x,y\rangle\le1,\ \forall x\in K\}@@，与 @@M@@K@@ 对偶的价格块。@@M@@P(K)=|K|\cdot|K^\circ|@@，在任何线性拉伸下不变。@@M@@x\in K@@ 当且仅当 @@M@@-x\in K@@，图形关于原点镜像对称。看个具体例子
取二维最熟悉的例子：正方形 @@M@@K=[-1,1]^2@@，面积 4；它的极体是菱形 @@M@@K^\circ=\{|x|+|y|\le1\}@@，面积 2。
乘积 @@M@@4\times2=8=\dfrac{4^2}{2!}@@，正是 @@M@@n=2@@ 时的最小值；高维同理，立方体与八面体互为极体，乘积同为 @@M@@\dfrac{4^n}{n!}@@。定理说：任何维度、任何对称凸体都有 @@M@@|K|\,|K^\circ|\ge\dfrac{4^n}{n!}@@，且等号恰好属于 Hanner 多胞体的可逆变线性像。
为什么值得关心
这个 1939 年提出的问题悬置八十余年，此前连三维都到 2020 年才被攻克；论文同时拿下精确下界与全部等号情形，还顺带推出泛函版 Mahler 不等式与熵–运输不等式。
已 Lean 形式化
第一级台阶
导读把凸块比作”商品组合空间”、极体比作”价格空间”：商品越扁，价格越胖。卸掉比喻后，对象只有一个——关于原点镜像对称的实心几何块；操作是对偶（取极）：从块内每点对价格向量提出”总价不超过一”的约束，所有满足约束的价格向量构成新块。两个块的”体积”此消彼长，其乘积在拉伸剪切下不变，于是可以问：这个不变量最小能是多少、最扁的形状长什么样。
第二级台阶
| 用本科术语说：凸体是含内点的紧凸集。原点对称凸体 K 的极体定义为 K°={y：对一切 x∈K 有 ⟨x,y⟩≤1}，体积乘积 P(K)= | K | · | K° | 在可逆线性变换下不变——两个行列式因子恰好相消。Hanner 多胞体由中心对称线段出发递归生成：反复做笛卡尔积（ℓ∞ 和）或凸包直和（ℓ1 和），方块、八面体及一切混合体都在此类。 |
第三级台阶
| 定理在一切维数陈述：对每个 n≥1 与每个原点对称凸体，P(K)≥4^n/n!，等号当且仅当 K 是 Hanner 多胞体的可逆线性像。”对称”这一假设贯穿证明——非对称情形常数更小，由逻辑独立的姊妹篇处理；块不需任何光滑性，靠极体的内接多胞体逼近过渡。证明的解析心脏是一个把圆盘映到”透镜域”的共形映射，其边界律（均匀角度映到均匀虚坐标加独立符号）经全纯质量估计与概率翻译，最终把下界归约为”可行单纯形体积在 K 上的积分不超过 | K | K° | “这一初等包含关系。 |
论文在一切维数上证明了中心对称 Mahler 猜想（symmetric Mahler conjecture）：原点对称凸体 @@M@@K\subset\mathbb R^n@@ 的体积乘积满足 @@M@@|K|\,|K^\circ|\ge 4^n/n!@@，等号当且仅当 @@M@@K@@ 是 Hanner 多胞体的可逆变线性像，下界与全部等号情形一并解决。
凸体（convex body）@@M@@K@@ 的极体（polar body）定义为 @@M@@K^\circ=\{y:\langle x,y\rangle\le1,\ \forall x\in K\}@@，体积乘积 @@M@@P(K)=|K|\,|K^\circ|@@ 是可逆线性变换下的不变量。Mahler 于 1939 年在数的几何（geometry of numbers）的转移定理研究中提出：对称凸体的 @@M@@P(K)@@ 能小到多少？立方体与其极体（交叉多胞体）给出 @@M@@4^n/n!@@，猜想这就是最小值。此前只有平面情形完全解决（Mahler 的不等式，Reisner 刻画平行四边形等号），三维由 Iriyeh–Shibata（2020）攻克；高维仅有 Bourgain–Milman 反向 Blaschke–Santaló 不等式、Kuperberg 的显式下界、Nazarov 的复分析方法等不带精确常数的指数阶估计。Saint-Raymond 对无条件凸体（unconditional body）证得精确不等式（Meyer–Reisner 随后在该类识别出 Hanner 等号），Reisner 对 zonoid 亦证得精确不等式（等号为平行多胞体），但一般对称凸体既无组合结构也无解析结构可用，问题悬置逾八十年。
主定理：对每个整数 @@M@@n\ge1@@ 与每个原点对称凸体 @@M@@K\subset\mathbb R^n@@，有 @@M@@|K|\,|K^\circ|\ge 4^n/n!@@；等号成立当且仅当 @@M@@K@@ 是 Hanner 多胞体（Hanner polytope）的可逆变线性像。Hanner 多胞体由中心对称线段出发递归生成：取笛卡尔积（@@M@@\oplus_\infty@@ 和）或凸包直和（@@M@@\oplus_1@@ 和），立方体、交叉多胞体及混合体皆属此类。由 Fradelizi–Meyer 的几何到泛函的蕴涵式，还得到偶泛函 Mahler 不等式（functional Mahler inequality）：对偶的正常下半连续凸函数 @@M@@\varphi@@，@@M@@(\int e^{-\varphi})(\int e^{-\varphi^*})\ge 4^n@@，常数在 @@M@@\varphi(x)=\sum_i|x_i|@@ 处取到；以及对称熵–运输不等式（entropy–transport inequality）@@M@@H(\eta_1)+H(\eta_2)\le -n\log(4e^2)+\mathcal T(\nu_1,\nu_2)@@。
证明的解析心脏是一个平面”透镜”共形映射：@@M@@F(z)=\frac8{\pi^2}\sum_{j\ge0}\frac{(-1)^jz^{2j+1}}{(2j+1)^2}@@ 把单位圆盘双全纯地映到凸透镜域 @@M@@\overline D=\{v+it:|t|\le1,\ |v|\le\lambda(t)\}@@，半宽 @@M@@\lambda@@ 严格凹。它满足关键边界律：圆周上均匀分布的角度恰被送到 @@M@@[-1,1]@@ 上均匀分布的虚坐标加一个独立公平符号，即 @@M@@F(e^{i\Theta})\stackrel{\mathrm{law}}{=}\varepsilon\lambda(T)+iT@@。这是 Gross 共形 Skorokhod 嵌入中均匀分布例子的旋转。
先对有限条带定义的多胞体 @@M@@A=\{X:|b_i\cdot X|\le1\}@@（极体 @@M@@A^\circ=\operatorname{conv}\{\pm b_i\}@@）证明。第一步证全纯质量估计（holomorphic mass estimate）：若全纯映射 @@M@@f@@ 以原点为唯一零点、最低齐次主部次数为 @@M@@k@@ 且次水平集紧，则水平集上 Jacobian 子式平方和的积分 @@M@@\ge(\pi k)^d/d!@@——论文用 Stokes 定理与齐次通量比较直接证明，背景是广义 Lelong 数理论。第二步对 @@M@@f_k=(g(b_jz))^k@@（@@M@@g=F^{-1}@@）令 @@M@@k\to\infty@@：径向变量代换 @@M@@u_i=\rho_i^{1/k}e^{i\theta_i}@@ 把积分质量集中到边界采样点，Fatou 引理给出可行性概率之和 @@M@@S=\sum_I P_I\ge1@@。第三步用透镜边界律把概率精确翻译成实体积：每个可行基与符号组对应极体内一个以 0 和带符号行为顶点的单纯形，其并 @@M@@\Sigma_X\subset A^\circ@@，于是 @@M@@1\le S=\frac{d!}{4^d}\int_A|\Sigma_X|\,dX\le\frac{d!}{4^d}|A|\,|A^\circ|@@，不等式随之成立。最后用极体的内接对称多胞体逼近 @@M@@(1-\delta)Q\subset Q_j\subset Q@@ 过渡到任意对称凸体，不需要任何光滑性或一般位置假设。
等号分类另起一幕。设 @@M@@P(K)=4^n/n!@@，令 @@M@@Q=K^\circ@@ 并升维为 @@M@@B=K\oplus_1[-1,1]@@（其极体为 @@M@@Q\times[-1,1]@@），范数和公式保持等号；于是可行单纯形的缺失体积积分趋于零，迫使每个内部点、每个方向都有取到透镜边界的最优表示。在趋近 @@M@@B@@ 顶点处，透镜端点渐近 @@M@@\lambda(1-\eta)\sim\frac2\pi\eta\log\frac1\eta@@ 给出支撑函数不等式，经凸分离转化为：以 @@M@@Q@@ 为单位球的赋范空间中任意三点都有度量中点（metric median）。由 Lima 的范数可加分解判据，这等价于三球交性质（3.2 intersection property）——两两相交的三闭球必有公共点；Hansen–Lima 的经典分类定理断言此类有限维 Banach 空间恰为实直线经有限次 @@M@@\ell_1/\ell_\infty@@ 直和得到者，其单位球正是 Hanner 多胞体，故 @@M@@Q@@ 从而 @@M@@K@@ 是线性 Hanner 体。
主结果已由 Lean 形式化证明。本篇与同族两篇姊妹篇互补：一般凸体篇证非对称常数 @@M@@(n+1)^{n+1}/(n!)^2@@（单纯形等号），辛几何篇用球嵌入从体积角度另证对称下界；三者在透镜映射这一解析工具上同源，但逻辑上相互独立。按 OpenAI 官方声明，未经形式化的结果可能有问题；本篇主结果已形式化，可信度较高，泛函与熵–运输推论则仍以论文推导为准。
问 1：证明最关键的一步在哪？
| 答：可行性一节的概率下界 S=Σ_I P_I≥1。对有限多胞体 A={ | b_i·X | ≤1}，取透镜映射 F 的逆的高次幂，径向变量代换 u_i=ρ_i^{1/k}e^{iθ_i} 使全纯质量集中在边界采样点，Fatou 引理逼出概率之和至少为 1；透镜边界律再把 S 精确翻译成 (d!/4^d)∫_A | Σ_X | dX，数值 4^d/d! 全部来自全纯质量估计的精确归一化 (πk)^d/d!。这一步是全文数值的心脏。 |
问 2：”原点对称”这个假设能去掉吗？
答：不能直接去掉。引言明言：一般（无中心）Mahler 问题的猜想常数 (n+1)^{n+1}/(n!)² 更小，单纯形等号情形不在本文范围内；单有一般问题的定理推不出对称定理，本文论证也处处使用对称，与姊妹篇逻辑独立。等号分类同样依赖对称性升维 B=K⊕₁[−1,1] 时范数和公式保持等号。
问 3：与已有工作相比真正的新意是什么？
答：此前精确结果都带结构假设：Saint-Raymond 的无条件体、Reisner 的 zonoid；高维一般情形只有 Bourgain–Milman、Kuperberg、Nazarov 等不带精确常数的指数阶界。本文对任意对称凸体拿到精确常数加完整等号分类，且解析入口（Gross 共形 Skorokhod 嵌入例子的旋转、广义 Lelong 数背景的直接质量计算）是全新路线，不依赖此前任何估计作为前提。
问 4：等号分类为什么比不等式更难核验？
答：链条最长。零亏 deficit 推到”每个内部点每个方向都有取到透镜边界的表示”，再在趋近 B 的顶点处用透镜端点渐近 λ(1−η)~(2/π)ηlog(1/η) 得支撑函数不等式，凸分离化为度量中位数，Lima 的范数可加判据化为三球交性质，最后 Hansen–Lima 有限维分类收口。五步里任何一步的退化情形（如极限表示）处理不严，分类就会多出或少掉等号体。
问 5：作为 AI 生成证明，最可能的出错模式是什么？
答：等号方向的测度论细节——”缺失体积积分趋零”推出逐点/逐方向表示时，零测例外集的处理；以及 Fatou 极限与变量代换的交换。本文主结果已 Lean 形式化，这是最强核验；泛函与熵–运输推论未形式化，仍以论文推导为准。
问 6：下游推论与使用者是谁？
| 答：经 Fradelizi–Meyer 蕴涵得偶泛函 Mahler 不等式 (∫e^{−φ})(∫e^{−φ*})≥4^n（φ=Σ | x_i | 取等），再经 Gozlan 等价得对称熵–运输不等式 H(η₁)+H(η₂)≤−nlog(4e²)+T(ν₁,ν₂)。数的几何（转移定理）、凸几何与 log-Concave 测度社区直接受益。注意：泛函版等号分类论文未给出。 |
总评
八十年老猜想的完整解决（下界加全部等号）且有 Lean 背书，分量在整批结果中属最高一档；残余风险集中在未形式化的推论与等号论证的退化情形，但主定理可信度很高。