[论文解读] Near Equality in the Brunn-Minkowski Inequality

Michael Christ|arXiv (Cornell University)|Jul 20, 2012

Point processes and geometric inequalities参考文献 7被引用 21

一句话总结

本文证明了在 ℝᵈ 中，几乎在 Brunn-Minkowski 不等式中达到等式的 Borel 集对，必须几乎包含在相似的凸集中，将此前在 d=1,2 时的结果推广至所有维度，采用了一种新颖的对称化技术。关键贡献在于提出了一个定量稳定性结果，表明近似等式意味着集合在小测度误差范围内近似凸且相似，该误差由近似等式参数 δ 控制。

ABSTRACT

A pair of subsets of Euclidean space which nearly achieves equality in the Brunn-Minkowski inequality must nearly coincide with a pair of homothetic convex sets. The two-dimensional case was treated in a previous paper in this series by an argument which does not seem to generalize to higher dimensions. Here the result is extended to arbitrary dimensions. An induction on the dimension, a symmetrization argument, and a description of near solutions of an additive functional equation are used to establish sufficient regularity to set up a compactness argument.

研究动机与目标

• 刻画在 ℝᵈ 中几乎在 Brunn-Minkowski 不等式中达到等式的 Borel 集对。
• 将已知的 d=1 和 d=2 时的稳定性结果推广至所有维度 d≥1。
• 证明此类几乎达到等式的集合必须几乎包含在一对相似的凸集中，且测度误差由近似等式参数 δ 控制。
• 发展一种对称化方法，可在保留结构信息的同时，支持高维中的归纳论证。

提出的方法

• 引入集合 A, B 的部分对称化 (A♮, B♮)，在不完全对称化为椭球体的前提下提升对称性。
• 利用 |A♮ + B♮| ≤ |A + B| 的性质，将对称化后的集合与原始不等式关联。
• 通过将 ℝᵈ 分解为 ℝᵈ⁻¹ × ℝ¹ 的方式，对维度进行归纳，利用在 ℝ¹ 和 ℝᵈ⁻¹ 中已知的结果。
• 采用函数方程方法分析近似凸性，通过条件 |tφ(x′) + (1−t)ψ(x″) − ζ(tx′ + (1−t)x″)| ≤ γ 进行分析。
• 使用保测度的仿射变换，将问题约化为标准形式，使得 φ, ψ, ζ 在球体的大子集上近似线性。
• 通过在所有方向上的紧致性与旋转不变性论证，将局部近似凸性结论强化为整体近似凸性。

实验结果

研究问题

• RQ1 哪些特征刻画了在 ℝᵈ 中几乎满足 Brunn-Minkowski 不等式等式的集合 A, B ⊂ ℝᵈ？
• RQ2 Brunn-Minkowski 不等式中等式的稳定性在更高维度 d ≥ 3 时表现如何？
• RQ3 几乎达到等式的集合的结构能否被定量地与相似的凸集联系起来？
• RQ4 部分对称化在多大程度上保留了稳定性分析所必需的几何与测度信息？
• RQ5 函数方程方法如何被调整以处理高维和集不等式中的近似等式？

主要发现

• 对于任意 d ≥ 1，若 |A + B|^{1/d} ≤ |A|^{1/d} + |B|^{1/d} + δ(max(|A|,|B|))^{1/d}，则 A 和 B 几乎包含在相似的凸集中。
• A 与 αK + u 之间、B 与 βK + v 之间的对称差的测度被限制在 ε(δ)max(|A|,|B|) 内，其中当 δ → 0 时，ε(δ) → 0。
• 该结果在所有 d 上一致成立，误差 ε(δ) 仅依赖于 δ 和比值 |A|/|B| ∈ Λ ⊂ (0,∞)。
• 对称化技术通过将问题约化为测度相近的低维情形，使得高维中的归纳过程得以推进。
• 证明表明，近似等式迫使集合近似凸且相似，即使原始集合是任意的 Borel 集。
• 该论证通过在旋转群上的紧致性论证，结合函数方程的测度控制，从局部近似凸性推导出全局结构。