[论文解读] A letter: The log-Brunn-Minkowski inequality for complex bodies

Liran Rotem|arXiv (Cornell University)|Dec 17, 2014

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

一句话总结

本文利用复插值理论建立了复体上的对数-布伦-明可夫斯基不等式。通过证明两个复体的对数闵可夫斯基均值的体积至少为其体积的加权几何平均，本文在复设置下证实了该猜想，并凸显了插值理论在几何不等式中的作用。

ABSTRACT

In this short note we explain why the log-Brunn-Minkowski conjecture is correct for complex convex bodies. We do this by relating the conjecture to the notion of complex interpolation, and appealing to a general theorem by Cordero-Erausquin.

研究动机与目标

• 证明在 $\mathbb{C}^n$ 中复体的对数-布伦-明可夫斯基不等式，扩展已知的实数和无条件体结果。
• 通过复插值技术证明两个复体的对数闵可夫斯基均值满足体积不等式。
• 阐明由于插值体积的对数凹性（源自Cordero-Erausquin定理），该不等式在复体上成立。
• 强调该结果支持一般凸几何中的更广泛对数-布伦-明可夫斯基猜想。
• 强调插值理论揭示了复设置下几何不等式的结构丰富性。

提出的方法

• 将对数闵可夫斯基均值 $L_\lambda(K,T)$ 定义为所有满足 $\langle x, \theta \rangle \leq h_K(\theta)^{1-\lambda} h_T(\theta)^\lambda$ 对所有 $\theta \in \mathbb{R}^{2n}$ 成立的点 $x$ 的集合。
• 利用复插值在 $\mathbb{C}^n$ 上定义一族范数 $\|\cdot\|_\lambda$，并令 $C_\lambda(K,T)$ 为 $\|\cdot\|_\lambda$ 的单位球。
• 应用引理2，证明 $C_\lambda(K,T)$ 的支撑函数满足 $h_{C_\lambda(K,T)}(z) \leq h_K(z)^{1-\lambda} h_T(z)^\lambda$，从而推出 $C_\lambda(K,T) \subseteq L_\lambda(K,T)$。
• 利用Cordero-Erausquin定理3，该定理指出 $\lambda \mapsto |C_\lambda(K,T)|$ 在 $[0,1]$ 上是对数凹的。
• 利用 $|C_\lambda(K,T)|$ 的对数凹性，推导出 $|C_\lambda(K,T)| \geq |K|^{1-\lambda} |T|^\lambda$，并结合包含关系，最终得出 $|L_\lambda(K,T)| \geq |K|^{1-\lambda} |T|^\lambda$。
• 通过支撑函数与体积比较，将复插值与几何不等式联系起来，从而完成证明。

实验结果

研究问题

• RQ1 在 $\mathbb{C}^n$ 中，复体是否满足对数-布伦-明可夫斯基不等式？
• RQ2 复插值理论能否用于证明凸体的几何体积不等式？
• RQ3 两个复体的对数闵可夫斯基均值的体积是否被其体积的加权几何平均从下方控制？
• RQ4 复对称性（关于 $e^{i\theta}z$ 的不变性）在实现对数-布伦-明可夫斯基不等式中起什么作用？
• RQ5 插值体积的对数凹性与复空间中几何不等式的结构有何关联？

主要发现

• 对所有复体 $K, T \subseteq \mathbb{C}^n$ 及所有 $\lambda \in [0,1]$，对数-布伦-明可夫斯基不等式成立，且满足 $|L_\lambda(K,T)| \geq |K|^{1-\lambda} |T|^\lambda$。
• 该不等式源于Cordero-Erausquin定理3所确立的插值体 $C_\lambda(K,T)$ 体积的对数凹性。
• 包含关系 $C_\lambda(K,T) \subseteq L_\lambda(K,T)$ 成立，这是由复插值导出的支撑函数的逐点有界性所致。
• 该结果证实了复设置下的猜想，为一般对数-布伦-明可夫斯基猜想提供了有力证据。
• 该证明揭示了由于旋转对称性及与复插值的兼容性，复体在几何不等式中具有更丰富的结构。
• 该方法表明，复插值不仅产生函数不等式，还蕴含凸几何中非平凡的体积不等式。