[论文解读] A note on Mahler's conjecture

Shlomo Reisner, Carsten Schütt+1 more|arXiv (Cornell University)|Sep 18, 2010

Point processes and geometric inequalities参考文献 14被引用 4

一句话总结

本文证明，使体积积 |K||K⁰| 最小的凸体不可能在边界上具有正的广义高斯曲率，这意味着此类极小化体必为多面体。通过广义二阶可微性与曲率分析，作者表明：若某凸体在某点具有正曲率，则通过截去一个帽状部分可严格减小体积积，与极小性矛盾。

ABSTRACT

Let $K$ be a convex body in $\mathbb{R}^n$ with Santaló point at 0\. We show that if $K$ has a point on the boundary with positive generalized Gauß curvature, then the volume product $|K| |K^\circ|$ is not minimal. This means that a body with minimal volume product has Gauß curvature equal to 0 almost everywhere and thus suggests strongly that a minimal body is a polytope.

研究动机与目标

• 解决凸几何中的一个关键开放问题：对于中心对称凸体，使体积积 |K||K⁰| 最小的极小化体是否为多面体。
• 通过分析边界点处的曲率性质，研究体积积极小化体的几何结构。
• 在先前局部极小性结果的基础上，证明即使存在一个点具有正广义高斯曲率，也会排除全局极小性。
• 通过证明极小化体几乎处处具有零高斯曲率，为马勒猜想提供支持。

提出的方法

• 利用凸函数的广义二阶可微性，定义边界点处的广义高斯曲率。
• 对凸体进行平移与旋转，使具有正曲率的边界点位于原点，外法向量为 −eₙ。
• 构造两个新体：通过从 K 截去一个帽状部分得到 Kₓ(Δ)，通过取 K 与外部一点的凸包得到 Kˣ(Δ)。
• 利用对偶性：证明 Kₓ(Δ) 的对偶为 Kˣ(Δ/(1−Δ))，从而实现体积积的比较。
• 应用体积估计，借助广义 Hessian 矩阵与杜潘指标曲面，以界定被截去帽状部分的体积。
• 推导 |Kₓ(Δ)||Kₓ(Δ)⁰| 关于 Δ、r（曲率半径）与 n 的渐近不等式，若曲率为正则导致矛盾。

实验结果

研究问题

• RQ1 具有边界点处正广义高斯曲率的凸体能否实现最小体积积 |K||K⁰|？
• RQ2 存在一个正曲率点是否意味着体积积不可能是最小的？
• RQ3 体积积的极小性对凸体曲率施加了何种几何约束？
• RQ4 若极小化体几乎处处具有零高斯曲率，其是否必为多面体？
• RQ5 当曲率为正时，扰动体（如截帽体）的体积积与原体相比如何？

主要发现

• 若凸体 K 在边界上某点具有正广义高斯曲率，则其体积积 |K||K⁰| 不可能达到最小。
• 广义高斯曲率通过局部支撑函数的 Hessian 矩阵定义，在边界在广义意义下严格凸的点处为正。
• 证明表明：从此类体截去一小段帽状部分后，可得到一个体积积严格更小的新体。
• 矛盾源于假设 K 及其对偶在某点均具有正曲率，导致一个不等式无法在 Δ 很小时成立，原因在于 g(t) 在 t→0 时的行为。
• 结果表明，任何体积积极小化体的边界上几乎处处必须具有零高斯曲率。
• 这强烈表明体积积的极小化体必为多面体，从而支持了中心对称情形下的马勒猜想。