[論文レビュー] Stability of some versions of the Prékopa-Leindler inequality

Károly J. Böröczky, Keith Ball|ArXiv.org|Sep 21, 2009

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

ひとこと要約

本稿では、1次元におけるPrékopa-Leindler不等式の安定性版を確立し、それらを用いてBlaschke-Santaló不等式の安定性結果および偶関数に対する高次元のPrékopa-Leindler不等式を導出する。Brunn-Minkowski不等式の安定性版を鍵とする道具として用いることで、Prékopa-Leindler条件がほぼ満たされているとき、関数は共通の対数凸関数のスケーリングおよび平行移動版とL¹ノルムで近く、誤差項は乗法的スラックネスεおよび対数項に依存する。

ABSTRACT

Two consequences of the stability version of the one dimensional Prékopa-Leindler inequality are presented. One is the stability version of the Blaschke-Santaló inequality, and the other is a stability version of the Prékopa-Leindler inequality for even functions in higher dimensions, where a recent stability version of the Brunn-Minkowski inequality is also used in an essential way.

研究の動機と目的

• 関数とそれらの近似対数凸プロファイルとの間のL¹距離に関する明示的な定量的バウンドを伴う1次元Prékopa-Leindler不等式の安定性版を確立すること。
• [0, ∞) 上での乗法的形のPrékopa-Leindler不等式に拡張し、関数が単調減少かつ対数凸であることを要件とする。
• 1次元の安定性結果と幾何的還元技術を用いて、凸体に対するBlaschke-Santaló不等式の安定性版を導出すること。
• 1次元の安定性結果とBrunn-Minkowski不等式を用いて、高次元における偶関数に対するPrékopa-Leindler不等式の安定性版を証明すること。
• Prékopa-Leindler条件を満たす関数が共通の対数凸関数にどれほど近いかを、εおよびlog(ε)の項で表した誤差バウンドを定量化すること。

提案手法

• 1次元Prékopa-Leindler不等式の安定性版（定理1.2）を用い、関数f, gと基準対数凸関数mとの間のL¹距離がεおよび|ln ε|^{4/3}の関数としてバウンドされることを示す。
• 変数変換h(x) = H(e^x)e^xを用いて、[0, ∞) 上の乗法的Prékopa-Leindler不等式をℝ上の標準形に変換し、1次元の安定性結果の適用を可能にする。
• 先行研究からの幾何的・解析的技術を用いて、Blaschke-Santalóの安定性問題を軸対称性を持つo-対称凸体に還元する。
• Banach-Mazur距離と体積積の推定を用いて、体積積の安定性を径方向断面におけるPrékopa-Leindler不等式の安定性に関連付ける。
• 径方向スライスと等高線集合（Φ_t, Ψ_t, Ω_t）を用いて、関数f, g, mを比較し、L¹ノルムにおける対称差を等高線集合上の積分を用いて推定する。
• Brunn-Minkowski不等式の安定性形を適用し、等高線集合の挙動を制御し、fとg、およびfとmの間のL¹距離に関するバウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 Prékopa-Leindler不等式がほぼタイトであるとき、L¹近似誤差の観点から1次元Prékopa-Leindler不等式の安定性をどのように定量的に記述できるか？
• RQ2 体積積の小さな摂動に対してBlaschke-Santaló不等式の安定性はどのように振る舞い、Prékopa-Leindler不等式とどのように関係するか？
• RQ3 高次元における偶関数に対するPrékopa-Leindler不等式は安定化可能か？また、Brunn-Minkowski不等式はこの拡張においてどのような役割を果たすか？
• RQ4 Prékopa-Leindler条件を満たす関数の等高線集合は、互いにどのように関係し、基準対数凸関数とどのように関連するか？その結果生じるL¹距離は何か？
• RQ5 Prékopa-Leindler不等式におけるスラックネスパラメータεに対する近似誤差の定量的依存関係は何か？また、対数補正項はどのように生じるか？

主な発見

• ℝ 上の非負可積分関数f, g, mで、mが対数凸であり、m((r+s)/2) ≥ √(f(r)g(s)) を満たすものとする。∫m ≤ (1+ε)√(∫f ∫g) ならば、あるa>0, b∈ℝが存在して、∫|f(t) - a m(t+b)| dt ≤ c ⋅ ε^{1/3} |ln ε|^{4/3} ∫m(t) dt が成り立つ。
• 同様の安定性バウンドは、[0, ∞) 上の乗法的形に対しても成り立つ。M(√(rs)) ≥ √(F(r)G(s)) ならば、∫|F(t) - a M(b t)| dt ≤ c ⋅ ε^{1/3} |ln ε|^{4/3} ∫M(t) dt が成り立つ。
• Blaschke-Santaló不等式の安定性が確立された：体積積 |K|·|K^z| が最大値κ_n²の(1+ε)以内にあるならば、Kとユークリッド球とのBanach-Mazur距離はO(√ω(ε))である。ここでω(ε) = ε^{1/3} |ln ε|^{4/3} である。
• 高次元における偶関数に対して、Prékopa-Leindler条件がスラックネスεで成り立つならば、fとgの間のL¹距離はC_n ⋅ √ω(ε)でバウンドされる。ここでω(ε) = ε^{1/3} |ln ε|^{4/3} である。
• 同じ条件下で、fと基準対数凸関数mとの間のL¹距離もO(√ω(ε))でバウンドされ、同様にgとmの間の距離に対しても同様のバウンドが成り立つ。
• 誤差バウンドはε^{1/3} |ln ε|^{4/3}に依存しており、安定性が対数補正項を除いて鋭いことを示し、定数は次元nにのみ依存する。