[论文解读] Aleksandrov-Fenchel inequality for coconvex bodies

Khovanskii, Askold, Timorin, Vladlen|arXiv (Cornell University)|May 20, 2013

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

一句话总结

该论文在严格凸锥内为共凸体的混合体积建立了经典的 Aleksandrov–Fenchel 不等式的共凸版本，利用一种对偶构造，将共凸体与有界区域内的凸体相关联。关键结果是共凸 Aleksandrov–Fenchel 二次型为半正定，从而推出反向的柯西-施瓦茨不等式，将经典不等式推广至非凸情形，其动机源于交换代数中的交点理论。

ABSTRACT

We prove a version of the Aleksandrov-Fenchel inequality for mixed volumes of coconvex bodies. This version is motivated by an inequality from commutative algebra relating intersection multiplicities of ideals.

研究动机与目标

• 将经典的 Aleksandrov–Fenchel 不等式推广至具有非空内部的严格凸锥中的共凸体情形。
• 建立满足反向柯西-施瓦茨型不等式的共凸混合体积不等式版本。
• 将共凸不等式与交换代数中的交点乘子联系起来，为代数结果提供几何解释。
• 证明与混合体积相关的共凸二次型为半正定，从而确保该不等式在该推广情形下的有效性。

提出的方法

• 通过将共凸体嵌入由支撑超平面定义的有界区域，在乘积空间 ℝ^d × ℝ 中构造一个凸体的线性族。
• 在乘积空间上定义一个体积多项式 Vol_α，其分解为依赖于高度变量 t 的齐次项与依赖于共凸体积函数 Vol_β 的项。
• 利用链式法则与方向导数，将作用于 Vol_α 上的微分算子与作用于 Vol_β ∘ π 上的算子相关联，其中 π 为到原空间的投影。
• 证明所得的二次型 Q_β^C 为两个在分离变量上的形式之差：一个是 t 上的正定项，另一个是 Q_β^C ∘ π。
• 利用经典 Aleksandrov–Fenchel 形式的已知符号 (1,ℓ)，推导出 Q_β^C ∘ π 的符号为 (ℓ,0)，因此为半正定。
• 最终得出结论：共凸二次型 Q_β^C 为半正定，从而推出共凸混合体积的反向柯西-施瓦茨不等式。

实验结果

研究问题

• RQ1 经典的 Aleksandrov–Fenchel 不等式是否可推广至具有非空内部的严格凸锥中的共凸体？
• RQ2 共凸体的混合体积形式是否可满足类似于经典情形的反向柯西-施瓦茨不等式？
• RQ3 共凸混合体积理论如何与交换代数中的交点乘子相关联？
• RQ4 与共凸体混合体积相关的共凸二次型的符号为何？
• RQ5 共凸体线性族的体积多项式是否为 d 次齐次多项式？

主要发现

• 对所有 u ∈ ℒ，共凸 Aleksandrov–Fenchel 二次型 Q_β^C 为半正定，即 Q_β^C(u) ≥ 0。
• 对称双线性形式 B_β^C 满足反向柯西-施瓦茨不等式：B_β^C(u₁,u₂)² ≤ B_β^C(u₁,u₁)B_β^C(u₂,u₂)。
• 与共凸体线性族相关的体积多项式 Vol_β 为 d 次齐次多项式。
• 恒等式 Vol_α = c't^d − Vol_β ∘ π 成立，其中 Vol_α 为关联凸族的体积多项式，且 c' > 0。
• 形式 Q_β^C ∘ π 的符号为 (ℓ, 0)，这意味着 Q_β^C 为半正定。
• 广义的反向 Brunn–Minkowski 不等式成立：对 k < d，函数 (L_{v₁}⋯L_{v_k}Vol_β)^{1/(d−k)} 为凸函数。