[論文レビュー] Near Equality in the Brunn-Minkowski Inequality

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

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

ひとこと要約

この論文は、ℝᵈ におけるBorel集合の対がBrunn-Minkowski不等式において等号にほぼ達している場合、それらはほぼホモトープな凸集合に含まれることを確立している。これは、d=1,2 での既存の結果を、d≥1 のすべての次元に拡張したものであり、新規の対称化技術を用いている。主な貢献は、近似等号が成立する場合、近似凸性およびホモトープ性が近似誤差δに依存する小さな測度誤差で制御されることを示す定量的安定性結果である。

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.

研究の動機と目的

• ℝᵈ におけるBorel集合の対で、Brunn-Minkowski不等式の等号にほぼ達するものについての特徴付けを行う。
• 既知のd=1およびd=2における安定性結果を、すべての次元d≥1に拡張する。
• このような近似等号達成集合が、測度誤差が近似等号パラメータδによって制御されるホモトープな凸集合の対にほぼ含まれることを示す。
• 高次元における帰納的議論を可能にする構造的情報を保持しつつ、幾何学的・測度論的情報を保つ新しい対称化手法を開発する。

提案手法

• 集合A, Bの部分的対称化 (A♮, B♮) を導入し、楕円体への完全対称化を避けることで、対称性を高める。
• |A♮ + B♮| ≤ |A + B| という性質を用い、対称化された集合と元の不等式との関係を確立する。
• ℝᵈ を ℝᵈ⁻¹ × ℝ¹ に分解することで、次元に関する帰納法を適用し、ℝ¹ および ℝᵈ⁻¹ における既知の結果を用いる。
• 関数方程式のアプローチを用い、|tφ(x′) + (1−t)ψ(x″) − ζ(tx′ + (1−t)x″)| ≤ γ という条件により近似凸性を分析する。
• 測度を保つアフィン変換を用い、φ, ψ, ζ が球の大きな部分集合上で近似的に線形になる標準形に帰着する。
• すべての方向についてのコンパクト性および回転不変性の議論を用い、局所的近似凸性から大域的近似凸性への結論を強化する。

実験結果

リサーチクエスチョン

• RQ1 ℝᵈ に含まれる集合A, Bが、Brunn-Minkowski不等式の等号にほぼ達する条件は何か？
• 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集合であっても、近似的に凸的かつホモトープ的であることが示された。
• 局所的近似凸性から大域的構造を導くために、回転に関するコンパクト性議論と、関数方程式の測度論的制御を組み合わせた議論が用いられた。