[论文解读] Stable Gaussian Minimal Bubbles

Steven Heilman|arXiv (Cornell University)|Jan 13, 2019

Geometric Analysis and Curvature Flows参考文献 23被引用 4

一句话总结

本文建立了高斯多泡定理的稳定性版本，证明在固定体积下，高斯表面积近乎最小的集合必须接近正单形的锥形——具体而言，对于三个集合，即为120度扇形。该结果适用于最多 $ m \leq n+1 $ 个集合，并通过体积保持变换，无需矩阵值偏微分不等式，为小噪声下多重性最稳定猜想提供了维数无关的界。

ABSTRACT

It is shown that $3$ disjoint sets with fixed Gaussian volumes that partition $\mathbb{R}^{n}$ with nearly minimum total Gaussian surface area must be close to adjacent $120$ degree sectors, when $n\geq2$. These same results hold for any number $m\leq n+1$ of sets partitioning $\mathbb{R}^{n}$, conditional on the solution of a finite-dimensional optimization problem (similar to the endpoint case of the Plurality is Stablest Problem, or the Propeller Conjecture of Khot and Naor). When $m>3$, the minimal Gaussian surface area is achieved by the cones over a regular simplex. We therefore strengthen the Milman-Neeman Gaussian multi bubble theorem to a "stability" statement. Consequently, we obtain the first known dimension-independent bounds for the Plurality is Stablest Conjecture for three candidates for a small amount of noise (and for $m>3$ candidates, conditional on the solution of a finite-dimensional optimization problem). In particular, we classify all stable local minima of the Gaussian surface area of $m$ sets. We focus exclusively on volume-preserving variations of the sets, avoiding the use of matrix-valued partial differential inequalities. Lastly, we remove the convexity assumption from our previous result on the minimum Gaussian surface area of a symmetric set of fixed Gaussian volume.

研究动机与目标

• 建立高斯多泡问题的稳定性结果，表明近乎最优的配置接近于标准锥形。
• 在小噪声下，为社会选择理论中的多重性最稳定猜想提供维数无关的界。
• 分类 $ \mathbb{R}^{n+1} $ 中 $ m $ 个不相交集合的高斯表面积的稳定局部极小值。
• 从先前关于对称集合最小表面积结果中去除凸性假设。
• 仅使用体积保持变换，解决Milman-Neeman高斯多泡定理的稳定性版本。

提出的方法

• 分析使用集合的体积保持变分，避免使用矩阵值偏微分不等式。
• 该方法依赖于Ornstein-Uhlenbeck半群及其导数，以研究扰动下表面积的变化。
• 关键方程涉及通过Ornstein-Uhlenbeck算子和界面边界积分的表面积二阶变分。
• 证明利用Fubini定理和对称性，将问题约化为低维截面。
• 当 $ m > 3 $ 时，使用一个有限维优化问题（问题1.15）来刻画极小值点，其解对应于正单形的锥形。
• 通过证明任何对标准配置的偏离都会增加表面积，利用 $ \rho \to 1^{-} $ 时的渐近分析推导出稳定性结果。

实验结果

研究问题

• RQ1 在 $ \mathbb{R}^{n+1} $ 中，$ m $ 个不相交集合的近乎最小高斯表面积配置在何种条件下接近于正单形的锥形？
• RQ2 能否通过高斯等周不等式，为小噪声下多重性最稳定猜想建立维数无关的界？
• RQ3 固定体积下，$ m $ 个集合的高斯表面积泛函的稳定局部极小值是什么？
• RQ4 高斯测度下双泡和多泡配置的稳定性与勒贝格测度情形相比如何？
• RQ5 独立平移数（$ n+1 $）在最小表面积配置稳定性中起什么作用？

主要发现

• 对于 $ m = 3 $，$ \mathbb{R}^{n+1} $ 中任意三个不相交集合，若总高斯表面积近乎最小，则必须接近相邻的120度扇形。
• 对于 $ m \leq n+1 $，若有限维优化问题（问题1.15）有解，则最小高斯表面积由正单形的锥形实现。
• 该结果首次为小噪声下多重性最稳定猜想提供了已知的维数无关界，特别适用于三个候选人的情形。
• 本文分类了 $ m $ 个集合的高斯表面积泛函的所有稳定局部极小值，表明其恰好为正单形的锥形。
• 证明避免了矩阵值PDE不等式，仅使用体积保持变换，简化了先前的方法。
• 稳定性结果在所有维度 $ n+1 \geq m-1 $ 上一致成立，因此为维数无关。