[论文解读] Minimal volume product near Hanner polytopes

Jaegil Kim|arXiv (Cornell University)|Dec 11, 2012

Point processes and geometric inequalities参考文献 25被引用 3

一句话总结

本文证明了在 $ℝ^n$ 中的对称凸体类中，每个 Hanner 多面体在 Banach-Mazur 距离下都是体积积的严格局部极小化器。通过几何扰动分析与关联单形的体积比较，建立了 Hanner 多面体附近体积积增长的线性下界，确认了其在 Mahler 猜想中的局部最优性。

ABSTRACT

Mahler's conjecture asks whether the cube is a minimizer for the volume product of a body and its polar in the class of symmetric convex bodies in a fixed dimension. It is known that every Hanner polytope has the same volume product as the cube or the cross-polytope. In this paper we prove that every Hanner polytope is a strict local minimizer for the volume product in the class of symmetric convex bodies endowed with the Banach-Mazur distance.

研究动机与目标

• 建立 Hanner 多面体在对称凸体类中体积积的局部极小性。
• 将此前仅针对立方体的局部极小性结果扩展至更广泛的 Hanner 多面体类。
• 提供当对称凸体偏离 Hanner 多面体时，体积积增加量的定量估计。
• 使用几何与分析方法，比较 Hanner 多面体附近扰动体及其极体的体积。

提出的方法

• 利用 Banach-Mazur 距离分析对称凸体 $K$ 邻近 Hanner 多面体 $H$ 时的体积积 $\mathcal{P}(K) = |K||K^\circ|$。
• 基于 Hausdorff 距离 $\delta = \mathrm{d}_{\mathcal{H}}(K,H)$ 的扰动论证，将 $K$ 与由 $H$ 的旗结构导出的星形多面体 $P = \bigcup_{\mathbb{F}} X_{\mathbb{F}}$ 进行比较。
• 通过比较 $K$ 与 $P$ 的体积，以及 $K^\circ$ 与 $P^\circ$ 的体积，建立以 $\delta$ 表示的 $|K||K^\circ|$ 的下界。
• 利用体积积在线性变换与对偶性下的不变性，固定位置以简化分析。
• 依赖 Hanner 多面体作为低维 Hanner 多面体的 $\ell_1$ 或 $\ell_\infty$ 直和的结构，定义关联单形 $X_{\mathbb{F}}$ 及其对偶 $X^*_{\mathbb{F}^*}$。
• 通过结合扰动带来的体积增量与 Hanner 多面体的已知体积恒等式，建立线性下界 $\mathcal{P}(K) \geq \mathcal{P}(H) + c(n)\delta$。

实验结果

研究问题

• RQ1 每个 Hanner 多面体在对称凸体类中，于 Banach-Mazur 距离下是否都是体积积的严格局部极小化器？
• RQ2 当对称凸体 $K$ 从 Hanner 多面体 $H$ 发生扰动时，体积积如何变化？
• RQ3 能否建立以 $H$ 的 Banach-Mazur 距离或 Hausdorff 距离表示的体积积增长量的定量下界？
• RQ4 Hanner 多面体的几何结构是否允许建立稳定的体积比较论证，从而确认其局部极小性？

主要发现

• 在对称凸体类中，每个 Hanner 多面体在 Banach-Mazur 距离下都是体积积的严格局部极小化器。
• 对于任意充分接近 Hanner 多面体 $H$ 的对称凸体 $K$，体积积满足 $\mathcal{P}(K) \geq \mathcal{P}(H) + c(n)\delta$，其中 $\delta = \mathrm{d}_{\mathcal{BM}}(K,H) - 1$，且 $c(n) > 0$ 仅依赖于维数 $n$。
• 常数 $c(n)$ 显式地满足下界 $\frac{2^{n-1}\varepsilon^2}{n!^3}$，其来源于单位正交多面体的体积与组合因子。
• 证明表明，体积积随 $H$ 的距离 $\delta$ 线性增加，从而确认了严格局部极小性。
• 该结果将此前由 Nazarov 等人证明的立方体局部极小性推广至整个 Hanner 多面体类。
• 分析依赖于将 $K$ 与 $K^\circ$ 与关联于 $H$ 的旗结构的星形多面体 $P = \bigcup_{\mathbb{F}} X_{\mathbb{F}}$ 进行比较，并利用扰动带来的体积增量。