[論文レビュー] Stable Gaussian Minimal Bubbles

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

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

ひとこと要約

本稿はガウス多バブル定理の安定性版を確立し、固定された体積下でガウス表面積がほぼ最小である集合は、正単体の錐に近いことを証明している。具体的には3つの集合に対しては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 $ 個の互いに素な集合のガウス表面積のすべての安定した局所最小値を分類する。
• 対称な集合に対する表面積最小化に関する先行結果における凸性仮定を排除する。
• 体積保存変換のみを用いてミルマン＝ネーマンのガウス多バブル定理の安定性版を解明する。

提案手法

• 集合の体積保存変異を用いた解析であり、行列値偏微分不等式を回避する。
• 表面積の変化を摂動下で研究するために、オーランシュタイン＝ウーレン半群およびその導関数に依存する。
• 主要な方程式には、オーランシュタイン＝ウーレン作用素による表面積の2次変動および界面における境界積分が含まれる。
• 問題を低次元スライスに還元するために、フィビニの定理と対称性を用いる。
• 3より大きい $ m $ の場合に最小化子を特徴付けるために、有限次元最適化問題（問題1.15）を用いる。その解は正単体上の錐に対応する。
• 任意の標準的配置からの逸脱が表面積を増加させることを示すことで、安定性結果を導出する。その際、$ \rho \to 1^{-} $ における漸近的解析を用いる。

実験結果

リサーチクエスチョン

• RQ1 $ \mathbb{R}^{n+1} $ 内の $ m $ 個の互いに素な集合に対して、ガウス表面積がほぼ最小であるような配置が、正単体上の錐に近いのはどのような条件下か？
• RQ2 ガウス等周不等式を用いて、微小ノイズ下での多数派が安定する予想に対する次元に依存しない境界を確立できるか？
• RQ3 固定体積を持つ $ m $ 個の集合に対して、ガウス表面積関数の安定した局所最小値は何か？
• RQ4 ガウス測度下での二重バブルおよび多バブル配置の安定性は、ルベーグ測度の場合と比べてどう異なるか？
• RQ5 独立な平行移動の数（$ n+1 $ 個）は、表面積最小化配置の安定性にどのような役割を果たすか？

主な発見

• $ m = 3 $ の場合、$ \mathbb{R}^{n+1} $ 内の任意の3つの互いに素な集合で、総ガウス表面積がほぼ最小であるものは、隣接する120度セクターに近い。
• $ m \leq n+1 $ の場合、有限次元最適化問題（問題1.15）が解かれる限り、最小ガウス表面積は正単体上の錐によって達成される。
• 本稿は、微小ノイズ下での多数派が安定する予想に対する、これまでに知られていた唯一の次元に依存しない境界を提供する。特に3人の候補者に対して有効である。
• 本稿は、$ m $ 個の集合に対するガウス表面積関数のすべての安定した局所最小値を分類し、それらが正しく正単体上の錐に一致することを示した。
• 行列値偏微分方程式不等式を回避し、代わりに体積保存変換のみを用いることで、従来の手法を簡素化した。
• 安定性結果は、すべての次元 $ n+1 \geq m-1 $ において一様に成り立つため、次元に依存しない。