[論文レビュー] Brunn-Minkowski type inequality for product measures and unconditional convex bodies

Piotr Nayar, Artem Zvavitch|arXiv (Cornell University)|Apr 19, 2015

Point processes and geometric inequalities参考文献 12被引用数 3

ひとこと要約

本稿では、ℝⁿ 上の対称的かつ単峰性を持つ密度関数をもつ積測度について、Brunn-Minkowski型の不等式を確立する。測度 μ による集合のミンコフスキー和の測度は、それらの測度の重み付き幾何平均以上であることを証明する。主な結果は、測度に最小限の対称性および単峰性の仮定をおくことで、ガウス型のBrunn-Minkowski不等式を無条件凸体へと拡張する。

ABSTRACT

We show that for any product measure $\mu=\mu_1 \otimes \ldots \otimes \mu_n$ on $\mathbb{R}^n$, where $\mu_i$ have symmetric unimodal densities, the inequality \[ \mu(\lambda A + (1-\lambda)B)^{1/n} \geq \lambda \mu(A)^{1/n} + (1-\lambda)\mu(B)^{1/n} \] holds true for any non-empty ideals $A,B \subseteq \mathbb{R}^n$. In addition, we deduce $\frac{1}{n}$-concavity of the parallel volumes $t \mapsto \mu(A+tB)$, Brunn's type theorem, as well as certain analogues of Minkowski first inequality. We also provide examples showing optimality of our assumptions. As a consequence of the above result, the Gaussian Brunn-Minkowski inequality holds true in the case of unconditional convex sets.

研究の動機と目的

• 対称的かつ単峰性を持つ密度関数をもつ積測度 μ = μ₁ ⊗ … ⊗ μₙ に対するBrunn-Minkowski型不等式を確立すること。
• 可測集合 A, B に対して、写像 t ↦ μ(A + tB) の凹性の性質を調査すること。
• 積測度の文脈において、ミンコフスキーの第一不等式の類似形を導出すること。
• 反例を用いて、対称性および単峰性の仮定が最適であることを示すこと。
• ガウス型のBrunn-Minkowski不等式を、無条件凸体のクラスへと拡張すること。

提案手法

• 対称的かつ単峰性を持つ周辺分布をもつ積測度の構造を活用し、集合の凸結合に関する関数不等式を導出する。
• 一般化されたPrékopa–Leindler不等式を適用し、ミンコフスキー和測度の μ-凹性を確立する。
• 非空で可測なℝⁿ の部分集合である理想集合（ideal sets）の概念を用いて、不等式を凸体を超えて一般化する。
• 主な不等式および対数凹測度の性質を用いて、写像 t ↦ μ(A + tB) の 1/n-凹性を導出する。
• 対称性または単峰性を欠いた場合に不等式が成立しないことを示す明示的な例を構築し、仮定の最適性を証明する。
• 主な結果を標準ガウス測度に適用し、無条件凸集合においてBrunn-Minkowski不等式が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 測度が対数凹でない場合でも、対称的かつ単峰性を持つ密度関数をもつ積測度に対して、Brunn-Minkowski不等式は成り立つか？
• RQ2 このような測度のもとで、平行体積関数 t ↦ μ(A + tB) の正確な凹性性質は何か？
• RQ3 完全な対数凹性よりも弱い仮定のもとで、ガウス型のBrunn-Minkowski不等式を無条件凸集合へと拡張できるか？
• RQ4 測度の周辺分布に対して、対称性および単峰性の条件は不等式が成り立つために必要か？
• RQ5 この一般化された積測度枠組みにおいて、ミンコフスキーの第一不等式の類似形はどのようなものか？

主な発見

• 与えられた測度仮定のもとで、すべての非空可測集合 A, B ⊆ ℝⁿ に対して不等式 μ(λA + (1−λ)B)^{1/n} ≥ λμ(A)^{1/n} + (1−λ)μ(B)^{1/n} が成り立つ。
• 任意の可測集合 A, B に対して、写像 t ↦ μ(A + tB) は [0, ∞) 上で 1/n-凹性をもつ。これは古典的Brunnの定理の一般化である。
• 本稿では、対称的かつ単峰性を持つ密度関数をもつ積測度の文脈において、ミンコフスキー型の第一不等式を証明する。
• 対称性または単峰性の仮定を満たさない場合に反例が構成可能であることを示す例が提示され、仮定の最適性が裏付けられる。
• ガウス型のBrunn-Minkowski不等式が、無条件凸集合に対しても成り立つことが示され、既知の結果がより広いクラスの集合へと拡張される。
• 主な不等式は、凸体に限らず、すべての理想（非空可測集合）に対して成り立つため、適用範囲が広がる。