[論文レビュー] Borell's generalized Prékopa-Leindler inequality: A simple proof

Arnaud Marsiglietti|arXiv (Cornell University)|Sep 22, 2015

Point processes and geometric inequalities参考文献 26被引用数 4

ひとこと要約

本稿は、質量輸送および関数解析的手法を用いて、ボレルの一般化されたプリコーパ・レインダー不等式の簡潔で自己完結的な証明を提示する。主な貢献は、ブンン＝ミンコフスキーおよびボレル＝ブラスカム＝リーブ不等式といった古典的不等式を回復・拡張する統一的枠組みを提供することであり、対称な凸体における対数ブンン＝ミンコフスキー不等式と凸測度との間の新たな関係を、一般化された平均不等式を通じて確立している。

ABSTRACT

We present a simple proof of Christer Borell's general inequality in the Brunn-Minkowski theory. We then discuss applications of Borell's inequality to the log-Brunn-Minkowski inequality of Böröczky, Lutwak, Yang and Zhang.

研究の動機と目的

• ブンン＝ミンコフスキー理論におけるクリスティン・ボレルの一般化されたプリコーパ・レインダー不等式の洗練され、アクセス可能な証明を提供すること。
• 古典的ブンン＝ミンコフスキー不等式およびボレル＝ブラスカム＝リーブ不等式を含む既知の関数不等式を、統一的な枠組みの下で統合・拡張すること。
• 対称な凸体における凸測度の下で、サログルーの対数凹測度に関する結果を一般化する新たな不等式を確立すること。
• 対数ブンン＝ミンコフスキー不等式が、$p$-平均ミンコフスキー組み合わせのためのより広いクラスの測度不等式をどのように導くかを示すこと。
• $\alpha$-凹測度の理論を、$p$-同次結合を含む形に拡張し、対応する関数不等式を導出すること。

提案手法

• 証明は、特に一般化されたホルダー不等式（補題3）を用いて積測度を制御する質量輸送および関数解析を用いる。
• 中心的な議論は、密度 $\psi$ の等高線集合上で定義された関数に、定理1（ボレル＝ブンン＝ミンコフスキー不等式）を適用することにあり、変換 $\varphi(x,y) = (1-\lambda)x + \lambda y$ を用いる。
• この手法は、測度 $\mu$ をレベル集合 $\{\psi \geq t\}$ で切り分け、これらのスライスの特性関数に不等式を適用することを含む。
• 不等式における合成凸体を定義するために、$p$-平均ミンコフスキー結合 $K_\lambda = (1-\lambda)\cdot K_0 \oplus_p \lambda \cdot K_1$ を用いる。
• 証明は、コロナリー6（一般化されたブンン＝ミンコフスキー不等式の関数的形）をレベル集合に適用し、合成凸体の測度と個々の測度の $\alpha$-平均との関係を結ぶ。
• 結果は、レベル集合にわたる積分と同次性および連続性を用いて、全測度への不等式の拡張を達成する。

実験結果

リサーチクエスチョン

• RQ1 既存の手法よりも単純で直接的な方法で、ボレルの一般化されたプリコーパ・レインダー不等式を証明できるか？
• RQ2 対数ブンン＝ミンコフスキー不等式は、$\alpha$-凹測度の下で、対称な凸体へどの程度まで拡張可能か？
• RQ3 このような測度の下で、対称な凸体の $p$-ミンコフスキー結合の測度を特徴付ける一般化された平均の正確な形は何か？
• RQ4 関数的変換を通じて、ボレル＝ブラスカム＝リーブ不等式と一般化されたブンン＝ミンコフスキー不等式はどのように関係するか？
• RQ5 $\alpha$-凹密度に対して、不等式 $\mu((1-\lambda)\cdot K \oplus_p \lambda \cdot L) \geq M_{(n/p + 1/\alpha)^{-1}}^\lambda(\mu(K), \mu(L))$ が成り立つ条件は何か？

主な発見

• 関数解析および質量輸送を用いて、ボレルの一般化されたプリコーパ・レインダー不等式の新たな素朴な証明が確立された。
• 対数ブンン＝ミンコフスキー不等式は、$\alpha \geq -p/n$ のとき、$\alpha$-凹密度の下で対称な凸体に対する一般化された測度不等式を導く。
• 不等式 $\mu((1-\lambda)\cdot K \oplus_p \lambda \cdot L) \geq M_{(n/p + 1/\alpha)^{-1}}^\lambda(\mu(K), \mu(L))$ は、すべての $p \in [0,1]$ および $\alpha \in [-p/n, 1]$ に対して成り立ち、サログルーの結果を拡張している。
• 結果は、対数ブンン＝ミンコフスキー不等式の下で平面において成り立つことが証明され、コロナリー5を用いて無条件の場合へ拡張されている。
• レベル集合および関数的積分を用いた証明技法は、関数的不等式から測度不等式を導出するための強固な手法を提供する。
• この枠組みは、ボレル＝ブラスカム＝リーブ不等式、一般化されたブンン＝ミンコフスキー不等式、および対数ブンン＝ミンコフスキー不等式を、単一の関数的不等式構造の下で統一している。