[論文レビュー] A note on the convex infimum convolution inequality

Naomi Feldheim, Arnaud Marsiglietti+2 more|arXiv (Cornell University)|May 1, 2015

Functional Equations Stability Results参考文献 10被引用数 6

ひとこと要約

この論文は、Maureyの1次元凸下界畳み込み不等式を満たす対称的測度を特徴づけ、そのような測度が積測度下で凸集合およびリプシッツ関数に対して2段階のTalagrand型集中をもたらすことを示している。主な結果は、凸性の性質(τ)のテンソル化が、混合ノルムにおけるガウス型および指数型の尾部を有する強い集中をもたらすことを確立している。

ABSTRACT

We characterize the symmetric measures which satisfy the one dimensional convex infimum convolution inequality of Maurey. For these measures the tensorization argument yields the two level Talagrand's concentration inequalities for their products and convex sets in $\mathbb{R}^n$.

研究の動機と目的

• R 上の対称的ボレル確率測度が1次元凸下界畳み込み不等式（性質(τ)）を満たすものとして特徴づけること
• この特徴づけをR^n 上の積測度へ拡張し、凸集合に対する集中不等式を導出すること
• このような測度下で凸集合およびリプシッツ関数に対して2段階のTalagrand型集中不等式を確立すること
• 性質(τ)がPoincaré不等式を満たさない測度に対しても、Poincaré不等式よりも強い集中をもたらすことを示すこと

提案手法

• 非負のコスト関数φを用いた下界畳み込みによる定義：(f□φ)(x) = inf_y {f(y) + φ(x−y)} を用いて、凸下界畳み込み不等式（性質(τ)）を適用する
• 測度μ = μ₁ ⊗ … ⊗ μₙ における性質(τ)のテンソル化を適用し、φ(x) = ∑φ₀(xᵢ/C_τ) とすることで不等式を保存する
• 不等式 μ(A + B_φ(t)) ≥ 1 − e^{-t}/μ(A) を用いて凸集合の集中を導出する。ここで B_φ(t) = {x : φ(x) ≤ t} である
• x = y + z と分解し、|y|₂ ≤ √(2t)C_τ および |z|₁ ≤ 2tC_τ を満たすことで、x ∈ √(2t)C_τB₂ⁿ + 2tC_τB₁ⁿ が得られ、2段階の集中を確立する
• リプシッツ関数の中央値に基づく集中評価を用い、A = {f ≤ Medₐf} および B = {f < Medₐf − r} という凸集合を用いて尾部推定を行う
• 指数的尾部評価を証明する：1-リプシッツ関数fに対して μ(|f − Medₐf| > r) ≤ 2 exp(−1/8 min{r/b, r²/a²}) が成り立ち、a, b はコスト関数φに依存する

実験結果

リサーチクエスチョン

• RQ1 R 上のどの対称的測度が1次元凸下界畳み込み不等式（性質(τ)）を満たすか？
• RQ2 性質(τ)は積測度下でどのようにテンソル化され、R^n における集中をもたらすか？
• RQ3 凸性(τ)を用いて、対数ソボレフ不等式やPoincaré不等式の代わりに、凸集合に対して2段階のTalagrand型集中不等式を確立できるか？
• RQ4 凸下界畳み込み不等式を満たす測度下でのリプシッツ関数に対する正確な尾部評価は何か？
• RQ5 性質(τ)が、特に対数凸でないか、または離散的測度である場合に、Poincaré不等式よりも強い集中をもたらす仕組みは何か？

主な発見

• この論文は、1次元凸下界畳み込み不等式を満たす対称的測度を完全に特徴づけ、そのような測度は、不等式における最適定数が有限であり、Muckenhoupt型条件に関連するものであることが示された
• このような測度に対して、性質(τ)のテンソル化により2段階の集中が得られ、μ(A + 6√tB₂ⁿ + 9tB₁ⁿ) ≥ 1 − e^{-t}/μ(A) が成り立ち、Talagrandの結果を一般化する
• 凸集合の集中は下界畳み込み不等式を用いて導出され、μ(A + B_φ(t)) ≥ 1 − e^{-t}/μ(A) が得られ、ここでB_φ(t)はコスト関数の下位集合である
• 1-リプシッツ関数fに対して、中央値からの逸脱は μ(|f − Medₐf| > r) ≤ 2 exp(−1/8 min{r/b, r²/a²}) を満たし、a, b はコスト関数φに依存する
• この手法により、Poincaré不等式よりも強い集中が得られ、性質(τ)は√tおよびtの両方の項において指数的減衰をもたらすが、Poincaré不等式は√t項のみに依存する
• 結果は、Poincaré不等式を満たさない測度、例えば完全に離散的測度に対しても適用可能であり、凸下界畳み込み不等式を満たす限り有効である