[论文解读] 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 型不等式，证明了集合的 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) 的凹性性质。
• 在乘积测度背景下推导 Minkowski 第一定理的类比形式。
• 通过反例证明对称性和单峰性假设的最优性。
• 将高斯 Brunn-Minkowski 不等式推广至无条件凸体类。

提出的方法

• 利用具有对称单峰边缘分布的乘积测度结构，推导集合的凸组合上的函数不等式。
• 以广义形式应用 Prékopa–Leindler 不等式，建立 Minkowski 和测度的 μ-凹性。
• 采用理想集（ℝⁿ 的非空可测子集）的概念，将不等式推广至凸体之外。
• 利用主不等式和对数凹测度的性质，推导出映射 t ↦ μ(A + tB) 的 1/n-凹性。
• 构造在对称性或单峰性被移除时违反不等式的显式测度例子，证明假设的紧致性。
• 将主结果应用于标准高斯测度，表明 Brunn-Minkowski 不等式对无条件凸集成立。

实验结果

研究问题

• RQ1 当底层测度非对数凹时，具有对称单峰密度的乘积测度是否仍满足 Brunn-Minkowski 不等式？
• RQ2 在这些测度下，平行体积函数 t ↦ μ(A + tB) 的精确凹性性质是什么？
• RQ3 在弱于完全对数凹性的假设下，能否将高斯 Brunn-Minkowski 不等式推广至无条件凸集？
• RQ4 边缘分布的对称性和单峰性条件是否为不等式成立所必需？
• RQ5 在此广义乘积测度框架下，Minkowski 第一定理的哪些类比形式出现？

主要发现

• 在给定的测度假设下，对所有非空可测集 A, B ⊆ ℝⁿ，不等式 μ(λA + (1−λ)B)^{1/n} ≥ λμ(A)^{1/n} + (1−λ)μ(B)^{1/n} 成立。
• 对任意可测集 A, B，映射 t ↦ μ(A + tB) 在 [0, ∞) 上是 1/n-凹的，这推广了经典的 Brunn 定理。
• 本文在具有对称单峰密度的乘积测度背景下证明了类 Minkowski 第一定理的不等式。
• 构造了反例表明对称性和单峰性假设是最优的——任一条件被违反即导致反例。
• 建立了无条件凸集的高斯 Brunn-Minkowski 不等式，将已知结果推广至更广泛的集合类。
• 主不等式对所有理想集（非空可测集）成立，而不仅限于凸集，从而扩大了其适用范围。