[論文レビュー] The discrete logarithmic Minkowski problem

Károly J. Böröczky, Pál Hegedüs+1 more|arXiv (Cornell University)|Sep 28, 2014

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

ひとこと要約

本稿では、離散的対数的ミンコフスキー問題の解の存在に対する新しい十分条件を確立し、Böröczky らおよび Zhu の先行研究を統合・拡張する。主な貢献は、錐体積測度を用いた新たな不等式であり、それが所望の測度を持つ多面体の存在を保証する。これは、従来の部分空間濃縮条件や対称性に基づく条件を一般化するものである。

ABSTRACT

Existence of solution of the logarithmic Minkowski problem is proved for the case where the discrete measures on the unit sphere satisfy the subspace concentration condition with respect to some special proper subspaces. In order to understand how optimal this condition is, we discuss certain conditions that any cone volume measure satisfies.

研究の動機と目的

• 離散的対数的ミンコフスキー問題の解の存在に対する新しい十分条件を確立すること。
• Böröczky らによる偶数の場合およびZhuによる離散的ケースを含む、先行研究を統合・一般化すること。
• 部分空間濃縮条件を、対称的または偶数でない測度のより広いクラスへと拡張すること。
• 錐体積測度の性質とその部分空間における挙動に基づく幾何的基準を提供すること。
• 凸体の極値的配置を特徴付ける、錐体積測度に関する新たな不等式を証明すること。

提案手法

• 相反する方向を含む錐体積測度に関する新たな不等式を導入：$ V_K(\{u\}) + V_K(\{ -u \}) + 2(n-1)\sqrt{V_K(\{u\})V_K(\{ -u \})} \leq V(K) $。
• Brunn-Minkowski 不等式とFubiniの定理を用いて、凸体の断片による体積の下界を導出する。
• 体積の積分表現に対して算術-幾何平均不等式を適用し、核心的な不等式を導出する。
• 等号成立条件を解析し、類似や面の平行移動といった幾何的対称性と関連付ける。
• 切り詰めた錐台と近似の議論を用いて、極限状況における部分空間濃縮条件を検証する。
• 新しい条件が部分空間濃縮条件を含意することを確立し、従って解の存在をより広い条件下で保証する。

実験結果

リサーチクエスチョン

• RQ1 与えられた球面上の離散測度と一致する錐体積測度を持つ多面体の存在を保証する、新たな十分条件は何か？
• RQ2 新しい条件は、Böröczky らの部分空間濃縮条件とどのように関係し、一般化されるか？
• RQ3 多面体の錐体積測度は、部分空間濃縮条件よりも強い不等式を満たす可能性があるか？
• RQ4 導出された錐体積測度不等式において、等号が成立する幾何的条件は何か？
• RQ5 新しい条件は、非対称な測度に対しても、離散的対数的ミンコフスキー問題の解の存在を保証するのに十分か？

主な発見

• 離散的対数的ミンコフスキー問題の解の存在に対する新しい十分条件が確立され、これは偶数の場合とZhuの離散的結果の両方を一般化する。
• 任意の原点を含む凸体 $ K $ に対して、不等式 $ V_K(\{u\}) + V_K(\{ -u \}) + 2(n-1)\sqrt{V_K(\{u\})V_K(\{ -u \})} \leq V(K) $ が成り立ち、等号が成り立つのは $ F(K,u) $ と $ F(K,-u) $ が平行移動可能であり、かつ $ h_K(u) = h_K(-u) $ のときに限る。
• $ \mathbb{R}^2 $ では不等式 $ \sqrt{V_K(\{u\})} + \sqrt{V_K(\{ -u \})} \leq \sqrt{V(K)} $ が成り立ち、等号が成り立つのは $ K $ が $ u^\bot $ に平行な辺をもつ台形であり、対角線の交点が $ u^\bot $ 上にあるときに限る。
• 導出された不等式から $ V_K(\{u\}) \cdot V_K(\{ -u \}) \leq \frac{1}{4n^2} V(K)^2 $ が従い、同じ等号成立条件が成り立つ。
• 新しい条件は部分空間濃縮条件を含意するため、従来の知られていた条件よりも広い範囲で解の存在を保証する。
• 証明手法は、Brunn-Minkowski 不等式、Fubini の公式、および体積の断片への算術-幾何平均不等式の適用を統合する。