[论文解读] One more proof of the Alexandrov-Fenchel inequality

Dario Cordero–Erausquin, Bo’az Klartag+2 more|arXiv (Cornell University)|Feb 26, 2019

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

一句话总结

本文提出了一种关于凸几何中混合体积的Alexandrov-Fenchel不等式的新型归纳证明，利用双曲多项式性质及混合体积导数的对数凹性。通过将问题约化为 $ f_m(t)^{1/m} $ 的凹性，该证明在凸锥中通过齐次函数与Hessian矩阵分析的创新应用，建立了不等式，其关键结果为当 $ m \geq 3 $ 时 $ f_m^{1/m} $ 的凹性，进而通过 $ m=3 \Rightarrow m=2 $ 的约化推导出完整不等式。

ABSTRACT

We present a short proof of the Alexandrov-Fenchel inequalities for mixed volumes of convex bodies.

研究动机与目标

• 为 $ \mathbb{R}^n $ 中的混合体积提供一种新的、简洁的Alexandrov-Fenchel不等式证明，且独立于先前的方法。
• 建立 $ f_m(t)^{1/m} $ 在 $ m \geq 3 $ 时的凹性，其中 $ f_m(t) = V(K_1 + tK_2, \dots, K_1 + tK_2, K_3, \dots, K_{n-m+2}) $，作为获得完整不等式的关键步骤。
• 通过代数约化引理，将证明 $ m=2 $ 情况（标准Alexandrov-Fenchel不等式）的问题约化为 $ m=3 $ 情况。
• 利用混合体积及其导数的代数结构，特别是第一阶导数的对数凹性与二阶导数的非负性，在齐次函数框架下进行分析。

提出的方法

• 在维度 $ n $ 上使用归纳法，假设不等式在 $ \mathbb{R}^{n-1} $ 中成立，以证明其在 $ \mathbb{R}^n $ 中成立。
• 通过连续性与单形多面体的强同构性质，将问题约化为原点位于其内部的多面体情形。
• 应用Minkowski关于混合体积作为齐次多项式的定理，其中混合体积通过Minkowski和体积的 $ n $ 阶偏导数定义。
• 定义函数 $ \mathcal{F}(h) = V(K[h], \dots, K[h], K_3, \dots, K_{n-m+2}) $，其中 $ K[h] $ 是依赖于高度参数 $ h_i $ 的多面体，并分析其导数。
• 证明第一阶导数 $ \partial^i \mathcal{F} $ 为正且对数凹，第二阶导数 $ \partial^{ij} \mathcal{F} $ 为非负，且具备足够的不可约性以确保Hessian矩阵结构。
• 应用一个关键的抽象命题（命题3）：若在凸锥上定义的 $ p $-齐次函数 $ f $ 满足第一阶导数对数凹且Hessian矩阵元素非负，则 $ f^{1/p} $ 为凹函数。

实验结果

研究问题

• RQ1 能否基于 $ f_m(t)^{1/m} $ 在 $ m \geq 3 $ 时的凹性，通过归纳法证明Alexandrov-Fenchel不等式？
• RQ2 $ m=2 $ 情况的Alexandrov-Fenchel不等式是否可通过代数约化从 $ m=3 $ 情况推出？
• RQ3 确保 $ f_m^{1/m} $ 凹性的混合体积导数的最小代数与几何条件是什么？
• RQ4 是否仅通过齐次性、第一阶导数的对数凹性以及第二阶导数的非负性，即可建立 $ f_m^{1/m} $ 的凹性？

主要发现

• 当 $ m \geq 3 $ 时，函数 $ f_m(t)^{1/m} $ 在 $ \mathbb{R}^+ $ 上为凹函数，这在假设 $ n-1 $ 维情形成立的前提下，蕴含了 $ n $ 维中的Alexandrov-Fenchel不等式。
• 通过引理1，$ m=2 $ 情况的Alexandrov-Fenchel不等式可由 $ m=3 $ 情况推出，该引理将不等式约化为对称三线性形式，并利用Hörmander著作中关于双曲多项式的结论。
• 混合体积函数的第一阶导数 $ \partial^i \mathcal{F} $ 为对数凹函数，因为其与 $ \mathbb{R}^{n-1} $ 中的混合体积成比例，而后者由归纳法已知为对数凹函数。
• Hessian矩阵 $ \nabla^2 \mathcal{F} $ 是不可约的，且非对角线元素非负，确保了Perron-Frobenius定理在命题3证明中的适用性。
• 函数 $ \mathcal{F} $ 为 $ m $-齐次函数，且满足命题3的条件，因此 $ \mathcal{F}^{1/m} $ 为凹函数，从而证明了 $ f_m^{1/m} $ 所需的凹性。
• 该证明将Alexandrov-Fenchel不等式建立在齐次函数的一般性质之上，即第一阶导数对数凹且Hessian矩阵元素非负，从而实现了论证的清晰、代数-几何统一。