[論文レビュー] Aleksandrov-Fenchel inequality for coconvex bodies

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

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

ひとこと要約

本稿は、内部が空でない厳密に凸な錐内における共凸体の混合体積に関して、古典的なアレクサンドロフ–フェンヒェルの不等式の共凸版を確立する。共凸体を有界領域内の凸体と関連付ける双対性構成を用いる。主な結果は、共凸アレクサンドロフ–フェンヒェルの二次形式が非負定値であることであり、これは逆コーシー–シュワルツ不等式を意味し、非凸な設定への古典的不等式の一般化であり、可換代数における交差理論に由来する動機を持つ。

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.

研究の動機と目的

• 内部が空でない厳密に凸な錐内における共凸体の設定に、古典的なアレクサンドロフ–フェンヒェルの不等式を拡張すること。
• 混合体積の不等式の共凸版を確立し、逆コーシー–シュワルツ型不等式を満たすようにすること。
• 共凸不等式を可換代数における交差乗法の次数と結びつけ、代数的結果の幾何的解釈を提供すること。
• 混合体積に関連する共凸二次形式が非負定値であることを証明し、一般化された設定における不等式の有効性を保証すること。

提案手法

• 共凸体を支持超平面によって定義される有界領域に埋め込み、積空間 ℝ^d × ℝ 内の線形な凸体族を構成する。
• 積空間上の体積多項式 Vol_α を定義し、変数 t（高さ）に依存する同次項と、共凸体積関数 Vol_β に依存する項に分解する。
• 連鎖律と方向微分を用いて、Vol_α に作用する微分作用素と、π による射影先の Vol_β ∘ π に作用する作用素との関係を確立する。
• 得られる二次形式 Q_β^C が、変数が互いに不交和である二つの形式の差として表され、t に関する正定値項と、Q_β^C ∘ π の形の項に分解されることを示す。
• 古典的なアレクサンドロフ–フェンヒェル形式の既知の符号型 (1,ℓ) を用いて、Q_β^C ∘ π が符号型 (ℓ,0) を持つ、したがって非負定値であることを導出する。
• 結論として、共凸二次形式 Q_β^C が非負であることを示し、共凸混合体積における逆コーシー–シュワルツ不等式が成り立つことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 内部が空でない厳密に凸な錐内における共凸体に対して、古典的なアレクサンドロフ–フェンヒェルの不等式が拡張可能か？
• RQ2 共凸体の混合体積形式が、古典的ケースに類似した逆コーシー–シュワルツ不等式を満たすか？
• RQ3 共凸混合体積理論は、可換代数における交差乗法の次数とどのように関係するか？
• RQ4 共凸体の混合体積に関連する二次形式の符号型は何か？
• RQ5 共凸体の線形族の体積多項式は、常に次数 d の同次多項式か？

主な発見

• すべての u ∈ ℒ に対して、共凸アレクサンドロフ–フェンヒェルの二次形式 Q_β^C は非負定値であり、Q_β^C(u) ≥ 0 が成り立つ。
• 対称双一次形式 B_β^C は逆コーシー–シュワルツ不等式を満たす：B_β^C(u₁,u₂)² ≤ B_β^C(u₁,u₁)B_β^C(u₂,u₂)。
• C-共凸体の線形族に関連する体積多項式 Vol_β は、次数 d の同次多項式である。
• 恒等式 Vol_α = c't^d − Vol_β ∘ π が成り立ち、ここで Vol_α は関連する凸体族の体積多項式で、c' > 0 である。
• 形式 Q_β^C ∘ π の符号型は (ℓ, 0) であり、これは Q_β^C が非負定値であることを示唆する。
• 一般化された逆ブルン–ミンコフスキー不等式が成り立つ：k < d のとき、関数 (L_{v₁}⋯L_{v_k}Vol_β)^{1/(d−k)} は凸である。