[論文レビュー] 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

ひとこと要約

本稿は、凸幾何における混合体積のアレクサンドロフ＝フェンヒェルの不等式について、双曲的多項式の性質と混合体積の導関数の対数凹性を活用した、新しい帰納的証明を提示する。問題を $ f_m(t)^{1/m} $ の凹性に還元することで、凸錐内での同次関数およびヘッシアン行列の解析を独創的に応用し、$ 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 $ における混合体積のアレクサンドロフ＝フェンヒェルの不等式に対する新しい、簡潔な証明を提供すること。
• 関数 $ f_m(t) = V(K_1 + tK_2, \dots, K_1 + tK_2, K_3, \dots, K_{n-m+2}) $ に対して、$ m \geq 3 $ のときの $ f_m(t)^{1/m} $ の凹性を示し、完全な不等式への到達のための重要なステップを確立すること。
• 代数的還元補題を用いて、$ m=2 $ の場合（標準的なアレクサンドロフ＝フェンヒェルの不等式）を $ m=3 $ の場合に還元すること。
• 混合体積の代数的構造、特に第一導関数の対数凹性と第二導関数の非負性を、同次関数の枠組み内で活用すること。

提案手法

• 次元 $ n $ における帰納法を用い、$ \mathbb{R}^{n-1} $ で不等式が成り立つと仮定して $ \mathbb{R}^n $ で証明する。
• 連続性と単純多面体の強い同型性の性質を用いて、原点を内部に含む多面体のケースに還元する。
• ミンコフスキーの定理を応用し、混合体積をミンコフスキー和の体積の $ 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} $ が非負であり、十分な非可約性を満たすことでヘッシアン行列の構造が保証されることを証明する。
• 抽象的な補題（補題3）を適用し、凸錐上に定義された $ p $ 回同次関数 $ f $ が第一導関数を対数凹性を持ち、ヘッシアンの成分が非負であれば、$ f^{1/p} $ は凹的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $ m \geq 3 $ のときの $ f_m(t)^{1/m} $ の凹性に基づく帰納的証明によって、アレクサンドロフ＝フェンヒェルの不等式を示すことができるか？
• RQ2 $ m=3 $ の場合の不等式から、代数的還元により $ m=2 $ の場合の不等式が導かれるか？
• RQ3 混合体積の導関数に対して、$ f_m^{1/m} $ の凹性を保証する最小の代数的・幾何的条件は何か？
• RQ4 同次性と第一導関数の対数凹性、第二導関数の非負性のみを用いて、$ f_m^{1/m} $ の凹性を確立できるか？

主な発見

• $ m \geq 3 $ のとき、関数 $ f_m(t)^{1/m} $ は $ \mathbb{R}^+ $ 上で凹的であり、これは $ n $ 次元におけるアレクサンドロフ＝フェンヒェルの不等式を示す（$ n-1 $ 次元で成立すると仮定すれば）。
• $ m=2 $ の場合のアレクサンドロフ＝フェンヒェルの不等式は、補題1により $ m=3 $ の場合に還元され、不等式は対称的3次形式に帰着され、ホルマンドーの本に記載された結果が用いられる。
• 混合体積関数の第一導関数 $ \partial^i \mathcal{F} $ は対数凹的である。これは、これらが $ \mathbb{R}^{n-1} $ における混合体積に比例しており、帰納法により対数凹性が既知であるためである。
• ヘッシアン行列 $ \nabla^2 \mathcal{F} $ は非可約であり、非対角成分が非負であるため、補題3の証明におけるペロン＝フロベニウスの定理の適用が保証される。
• 関数 $ \mathcal{F} $ は $ m $ 回同次であり、補題3の条件を満たすため、$ \mathcal{F}^{1/m} $ は凹的である。これにより、$ f_m^{1/m} $ の所望の凹性が証明される。
• 証明は、第一導関数が対数凹的で、ヘッシアンの成分が非負である同次関数の一般的性質に起因し、不等式が洗練された代数的・幾何的統一的枠組みのもとで示されることを示している。