[论文解读] The isotropic position and the reverse Santaló inequality

Apostolos Giannopoulos, Grigoris Paouris+1 more|arXiv (Cornell University)|Dec 13, 2011

Point processes and geometric inequalities参考文献 17被引用 6

一句话总结

本文通过凸体的等参位置，提出了一种新的、基于凸几何的反向 Santaló 不等式、$M$-椭球体存在性以及反向 Brunn–Minkowski 不等式的证明。通过利用等参位置的性质以及凸几何和对数凹测度的基本工具，作者证明了：任何具有有界等参常数的凸体均满足反向 Santaló 不等式，从而在维度无关的情况下，对体积积 $s(K)^{1/n}$ 给出统一的下界。

ABSTRACT

We present proofs of the reverse Santaló inequality, the existence of M-ellipsoids and the reverse Brunn-Minkowski inequality, using purely convex geometric tools. Our approach is based on properties of the isotropic position.

研究动机与目标

• 通过等参位置和凸几何工具，提供反向 Santaló 不等式的新且初等的证明。
• 通过等参位置和体积比较，建立任意中心凸体的 $M$-椭球体存在性。
• 作为反向 Santaló 不等式和等参性质的推论，推导出反向 Brunn–Minkowski 不等式。
• 仅使用凸体和对数凹测度的基本工具，统一并重新推导渐近凸几何中的关键结果。
• 证明有界等参常数蕴含反向 Santaló 不等式，且该结论可推广至所有凸体。

提出的方法

• 将凸体的等参位置作为规范形式，其定义为体积为 1、中心位于原点且惯性矩阵已归一化。
• 应用受 Milman 技术启发的一般同构对称化论证，保持关键几何参数不变。
• 利用 Klartag 方法中的凸扰动，控制体积和极性在小形变下的行为。
• 利用 Brunn–Minkowski 不等式的经典推论，推导出体积比较估计。
• 将 $M$-椭球体 ${\cal E}_K$ 定义为 $K$ 的保持体积的线性像，使得 $K$ 与 ${\cal E}_K$ 在覆盖数上处于统一常数因子内。
• 利用覆盖数 $N(K, T)$ 及其对偶性，将 $|K+T|^{1/n}$ 与 $|{\cal E}_K + T|^{1/n}$ 关联，从而建立反向 Brunn–Minkowski 不等式。

实验结果

研究问题

• RQ1 能否仅通过凸几何工具和等参位置证明反向 Santaló 不等式？
• RQ2 所有具有有界等参常数的凸体是否都满足反向 Santaló 不等式？
• RQ3 能否通过等参位置和初等凸几何方法建立 $M$-椭球体的存在性？
• RQ4 在 $M$-位置下，凸体的仿射像是否存在统一的反向 Brunn–Minkowski 不等式？
• RQ5 在等参框架下，反向 Santaló 不等式、$M$-椭球体存在性与渐近体积积之间有何关系？

主要发现

• 所有中心凸体均满足反向 Santaló 不等式，且具有统一的下界：$\left(\frac{s(K)}{s(B_2^n)}\right)^{1/n} \geq c$，其中 $c>0$ 为绝对常数，该结论通过等参位置和凸扰动方法证明。
• 所有具有有界等参常数的凸体均满足反向 Santaló 不等式，且通过密度和连续性论证可推广至所有凸体。
• 对每个中心凸体 $K$，均存在一个 $M$-椭球体 ${\cal E}_K$，使得 $|K| = |{\cal E}_K|$，且覆盖数 $N(K, {\cal E}_K)$ 与 $N({\cal E}_K, K)$ 均被 $e^{cn}$ 统一有界，其中 $c$ 为绝对常数。
• 反向 Brunn–Minkowski 不等式成立：对任意中心凸体 $K$ 和任意凸体 $T$，有 $|K+T|^{1/n} \simeq |{\cal E}_K + T|^{1/n}$，其中常数因子为 $e^{c + \log 8}$。
• 体积积 $s(K) = |K||K^\circ|$ 满足 $e^{-2(c + \log 8)} s(B_2^n) \leq s(K) \leq e^{2(c + \log 8)} s(B_2^n)$，表明经典与反向 Santaló 不等式在渐近意义下等价。
• 体的 $M$-位置确保 $K$、$K^\circ$ 及其 $M$-椭球体之间的覆盖数被统一有界，从而实现对 Brunn–Minkowski 不等式的部分逆向。