[论文解读] Near equality in the two-dimensional Brunn-Minkowski inequality

Michael Christ|arXiv (Cornell University)|Jun 9, 2012

Point processes and geometric inequalities参考文献 11被引用 15

一句话总结

本文建立了二维Brunn-Minkowski不等式的一个稳定性结果：若Minkowski和$ A+B $的测度几乎等于$ (|A|^{1/2} + |B|^{1/2})^2 $，则$ A $与$ B $几乎与位似凸集重合。证明使用了维数约化、紧致性以及通过支撑超平面的几何分析进行的反证法，表明近似等式迫使集合在缺陷$ \delta \to 0 $时渐近地成为凸集且位似。

ABSTRACT

If a pair of subsets of two-dimensional Euclidean space nearly achieves equality in the Brunn-Minkowski inequality, in the sense that the measure of the associated sumset is nearly equal to the lower bound provided by the inequality, then these sets must nearly coincide with a pair of homothetic convex sets. The proof relies on a continuum analogue of a theorem of Freiman which characterizes finite sets of integers whose sumsets are of nearly minimal size. Small corrections and clarifications have been made in this draft.

研究动机与目标

• 刻画二维Brn-Minkowski不等式在何时几乎取等。
• 证明不等式中近似等式意味着集合几乎包含于位似凸集中。
• 建立定量稳定性：缺陷$ \delta $控制集合到位似凸集的Hausdorff距离。
• 通过几何与分析技术，将Freĭman的一维稳定性结果推广至二维情形。
• 通过分析二维情形作为基础步骤，为高维稳定性结果奠定基础。

提出的方法

• 通过归一化$ |A|, |B| \approx 1 $并将$ A, B $设为紧致集，将问题约化为紧致性论证。
• 对$ \mathbb{R}^2 = \mathbb{R} \times \mathbb{R} $中的集合$ A, B $的截面$ A_x, B_x $应用一维稳定性结果（命题1.2），确保几乎所有截面都具有近乎区间的结构。
• 利用John定理控制极限集$ \mathcal{C}_\nu $的几何性质，确保其被一个球均匀包含且包含一个固定球。
• 采用反证法：假设极限集$ \mathcal{C}_\nu $不是球，将导出$ |tA_\nu + (1-t)B_\nu| $的下界，与近似等式假设矛盾。
• 引入一个支撑超平面和一个以$ z $为中心的球$ \mathcal{B} $，利用$ \mathcal{C}_\nu $的几何性质与向量$ v $，推导出和集测度的下界。
• 通过用紧致子集逼近一般Borel集，并利用不等式在小测度扰动下的稳定性，将结果从紧致集推广至一般Borel集。

实验结果

研究问题

• RQ1 在何种条件下，二维Brunn-Minkowski不等式中的近似等式意味着集合几乎凸且位似？
• RQ2 不等式中的缺陷$ \delta $与$ A $和$ B $被位似凸集近似时的几何逼近之间有何关系？
• RQ3 能否通过截面法与紧致性论证，将一维稳定性结果推广至二维？
• RQ4 当和集测度接近最优时，会产生何种几何约束？这些约束如何用于排除非凸构型？
• RQ5 极限集$ \mathcal{C}_\nu $的结构如何影响$ \mathbb{R}^2 $中Brunn-Minkowski不等式的稳定性？

主要发现

• 若$ |A+B|^{1/2} \leq |A|^{1/2} + |B|^{1/2} + \delta \max(|A|,|B|)^{1/2} $，则$ A $与$ B $包含于同一紧致凸集$ \mathcal{K} $的平移中，且对称差的测度小于$ \varepsilon(\delta) \max(|A|,|B|) $。
• 函数$ \varepsilon(\delta) $满足$ \lim_{\delta \to 0} \varepsilon(\delta) = 0 $，表明近似等式迫使集合渐近地位似于凸集。
• 该结果对满足$ |A|/|B| \in \Lambda $的集合一致成立，其中$ \Lambda \subset (0,\infty) $为紧致集。
• 证明依赖于一个反证法：考虑一个以$ z $为中心、位于极限凸集$ \mathcal{C}_\nu $外部的球$ \mathcal{B} $，导出和集测度的下界。
• 关键几何洞见是：若$ \mathcal{C}_\nu $既包含一个固定球，又包含距离$ z $为$ \rho \geq \eta $的点，则由线性不等式定义的集合$ \tilde{\mathcal{C}}_\nu $的测度有下界$ c\rho^2 $，从而导出$ |tA_\nu + (1-t)B_\nu| $的正下界。
• 通过紧致集逼近，该结果可推广至一般Borel集，且在$ \delta $上保持稳定性估计的一致性。