[論文レビュー] Near equality in the two-dimensional Brunn-Minkowski inequality

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

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

ひとこと要約

本稿は、2次元のブランン＝ミンコフスキー不等式における安定性結果を確立する。もし 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.

研究の動機と目的

• 2次元におけるブランン＝ミンコフスキー不等式がほぼ鋭いときの条件を同定すること。
• 不等式における近似等式が成立する場合、集合がほぼ相似な凸集合に含まれることを示すこと。
• 定量的安定性を確立する：不等式の欠落量 $ \delta $ が、相似な凸集合へのハウスドルフ距離を制御すること。
• フレイマンの1次元安定性結果を幾何的・解析的技法を用いて2次元に拡張すること。
• 高次元における安定性結果の基盤を築くために、2次元ケースを基礎的ステップとして分析すること。

提案手法

• 集合 $ |A|, |B| \approx 1 $ に正規化し、$ A, B $ がコンパクトであると仮定することで、問題をコンパクト性の議論に還元する。
• 1次元の安定性結果（命題1.2）を $ \mathbb{R}^2 = \mathbb{R} \times \mathbb{R} $ 内のスライス $ A_x, B_x $ に適用し、ほとんどすべてのスライスにほぼ区間構造が存在することを保証する。
• ジョンの定理を用いて、極限集合 $ \mathcal{C}_\nu $ の幾何的性質を制御し、それが固定された球に均等に含まれるとともに、固定された球を含むことを保証する。
• 背理法を用いる：極限集合 $ \mathcal{C}_\nu $ が球でないものと仮定すると、$ |tA_\nu + (1-t)B_\nu| $ に対して下界が得られ、近似等式の仮定と矛盾する。
• 支持超平面と中心が $ z $ である球 $ \mathcal{B} $ を導入し、$ \mathcal{C}_\nu $ の幾何的性質とベクトル $ v $ を用いて、和集合の測度に対する下界を導出する。
• コンパクト部分集合による近似と、測度の小さな摂動における不等式の安定性を用いて、一般のボレル集合へ結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 2次元ブランン＝ミンコフスキー不等式において、近似等式が成立する条件は何か？ そのとき、集合がほぼ凸的かつ相似的であると示されるのはなぜか？
• RQ2 不等式における欠落量 $ \delta $ は、$ A $ と $ B $ が相似な凸集合によってどれほどよく近似できるかにどのように関係するか？
• RQ3 スライス化とコンパクト性の議論を用いて、1次元の安定性結果を2次元に拡張できるか？
• RQ4 和集合の測度がほぼ最適である場合に生じる幾何的制約は何か？ それらを用いて非凸な構造を除外できるか？
• RQ5 極限集合 $ \mathcal{C}_\nu $ の構造は、$ \mathbb{R}^2 $ におけるブランン＝ミンコフスキー不等式の安定性にどのように影響するか？

主な発見

• もし $ |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) $ はコンパクトな部分集合である。
• 証明は、極限凸集合 $ \mathcal{C}_\nu $ の外にある点 $ z $ を中心とする球 $ \mathcal{B} $ を用いた背理法に依存し、和集合の測度に対して下界が得られる。
• 重要な幾何的洞察は、$ \mathcal{C}_\nu $ が固定された球と $ z $ からの距離 $ \rho \geq \eta $ の点を両方含むならば、線形不等式によって定義される集合 $ \tilde{\mathcal{C}}_\nu $ の測度が $ c\rho^2 $ 以上で下界を持つことである。これにより、$ |tA_\nu + (1-t)B_\nu| $ に対して正の下界が得られる。
• コンパクト集合による近似を用いることで、一般のボレル集合へ結果を拡張でき、$ \delta $ に関して一様に安定性推定が保たれる。