[論文レビュー] A quantitative stability result for the Prékopa-Leindler inequality for arbitrary measurable functions

Károly J. Böröczky, Alessio Figalli+1 more|arXiv (Cornell University)|Jan 27, 2022

Advanced Topology and Set Theory被引用数 1

ひとこと要約

本稿では、任意の可測関数に対して、すべての次元においてPrékopa–Leindler不等式の定量的安定性評価を確立し、等号がほぼ達成される関数は、乗算およびスケーリングの下で共通の対数凸関数に近いことを証明している。この結果は、計算可能な定数を提供し、凸集合に限らない一般の可測関数へ安定性理論を拡張する。

ABSTRACT

We prove that if a triplet of functions satisfies almost equality in the Prékopa-Leindler inequality, then these functions are close to a common log-concave function, up to multiplication and rescaling. Our result holds for general measurable functions in all dimensions, and provides a quantitative stability estimate with computable constants.

研究の動機と目的

• 等号がほぼ達成される場合のPrékopa–Leindler不等式に対する定量的安定性結果を確立すること。
• 凸集合に限らない、任意の次元における一般の可測関数への安定性解析を拡張すること。
• 不等式の不足分を用いて、共通の対数凸関数への距離の明示的・計算可能な境界を提供すること。
• Brunn–MinkowskiおよびPrékopa–Leindler不等式の既存の安定性結果を、非凸な可測関数の設定に一般化すること。
• スケーリングおよび平行移動の下で、ほぼ極値関数が共通の対数凸関数にどの程度近いかという問題を解消すること。

提案手法

• R^n+1における上位集合の幾何学と関数の安定性を関連付けるために、下位集合技術の使用。
• 元の関数を近似するための補助的対数凸関数˜f, ˜g, ˜hを、上位集合の点毎の上界として構成。
• Fubiniの定理を用いて、上位集合の積分を通じて関数間のL1距離を計算。
• Chebyshevの不等式を用いて、上位集合の対称差が小さいようなレベルs0を選択。
• 選択された高さs0で関数を切り詰め、L1誤差を制御する新しい対数凸近似˜f1, ˜g1, ˜h1を生成。
• Prékopa–Leindler不等式の構造と三角不等式を用いて、元の関数と近似関数間の総L1距離を評価。

実験結果

リサーチクエスチョン

• RQ1 三つの可測関数がPrékopa–Leindler不等式をほぼ満たす場合、それらはどの程度共通の対数凸関数に近いか？
• RQ2 指示関数や対数凸関数に限らない、任意の可測関数に適用可能な、Prékopa–Leindler不等式の定量的安定性評価を確立できるか？
• RQ3 高次元におけるPrékopa–Leindler不等式の安定性評価における明示的・計算可能な定数は何か？
• RQ4 安定性誤差は、不等式の不足分および等号からの距離を制御するパrameter τ に対してどのようにスケーリングされるか？
• RQ5 非凸な可測関数に対しても、L1ノルムおよび上位集合の差の観点から、定量的制御を保ったまま安定性結果を拡張できるか？

主な発見

• 三つの可測関数がPrékopa–Leindler不等式をほぼ満たす場合、それらはスケーリングおよび平行移動の下で、共通の対数凸関数とのL1距離が、τ^{-N'_n} ε^{γ_n(τ) Q(τ)/16} |log ε|^{ρ_n(τ)} のオーダーで近い。
• この安定性評価はすべての次元n ≥ 2で成り立ち、凸または対数凸関数に限らない任意の可測関数に適用可能である。
• 安定性バウンドにおける定数は明示的に計算可能であり、γ_n(τ) = τ^{3n}/(2^{3n+1} n^{3n} |log τ|^{3n}) かつ N'_n はnにのみ依存する。
• 不足分εは十分に小さくなければならない。具体的にはε < c_n e^{-M_n(τ)} であり、M_n(τ) は|log τ|に比例し、An(τ), ρ_n(τ), Q(τ) を含む項の比に比例する。
• 元の関数と共通の対数凸関数との対称差を制御する点で、従来の安定性評価を改善している。
• 十分に小さなεの条件下で、共通の対数凸関数とのL1距離に対する最終的なバウンドは、τ^{-N'_n - n - 1} ε^{γ_n(τ) Q(τ)/32} |log ε|^{ρ_n(τ)} のオーダーであり、すべての定数は明示的に計算可能である。