[論文レビュー] Minimal volume product near Hanner polytopes

Jaegil Kim|arXiv (Cornell University)|Dec 11, 2012

Point processes and geometric inequalities参考文献 25被引用数 3

ひとこと要約

この論文は、Banach-Mazur距離のもとで、$ℝ^n$ 内の対称な凸体のクラスにおいて、すべてのハナー多面体が体積積の厳密な局所最小化子であることを証明する。幾何的摂動解析と関連する単体との体積比較を用いて、ハナー多面体の周囲で体積積の増加に対する線形下界を確立し、マラー予想におけるそれらの局所最適性を確認する。

ABSTRACT

Mahler's conjecture asks whether the cube is a minimizer for the volume product of a body and its polar in the class of symmetric convex bodies in a fixed dimension. It is known that every Hanner polytope has the same volume product as the cube or the cross-polytope. In this paper we prove that every Hanner polytope is a strict local minimizer for the volume product in the class of symmetric convex bodies endowed with the Banach-Mazur distance.

研究の動機と目的

• 対称な凸体のクラスにおいて、ハナー多面体の体積積の局所最小性を確立すること。
• 以前は立方体に限られていた局所最小性の結果を、それより広いクラスのハナー多面体へと拡張すること。
• 対称な凸体 $K$ がハナー多面体 $H$ からずれる際に、体積積がどの程度増加するかを定量的に推定すること。
• 幾何的および解析的技法を用いて、ハナー多面体の周囲における摂動された体積とその双対体積を比較すること。

提案手法

• ハナー多面体 $H$ の近傍における対称な凸体 $K$ の体積積 $\mathcal{P}(K) = |K||K^\circ|$ を、Banach-Mazur距離を用いて分析する。
• ハナー多面体 $H$ のフラグ構造に基づき、星型多面体 $P = \bigcup_{\mathbb{F}} X_{\mathbb{F}}$ を導出する。この多面体を用いて、$K$ と $H$ 間のHausdorff距離 $\delta = \mathrm{d}_{\mathcal{H}}(K,H)$ をもとに摂動議論を展開する。
• $K$ と $P$、$K^\circ$ と $P^\circ$ 間の体積比較を用いて、$\delta$ の関数として $|K||K^\circ|$ の下界を導出する。
• 線形変換および双対性における体積積の不変性を応用し、解析を簡略化するための位置固定を実施する。
• ハナー多面体が低次元のハナー多面体の $\ell_1$ または $\ell_\infty$ 積として構造を持つことを利用し、関連する単体 $X_{\mathbb{F}}$ 及びその双対 $X^*_{\mathbb{F}^*}$ を定義する。
• 摂動による体積増加とハナー多面体の既知の体積恒等式を組み合わせることで、線形下界 $\mathcal{P}(K) \geq \mathcal{P}(H) + c(n)\delta$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 すべてのハナー多面体は、Banach-Mazur距離のもとで、対称な凸体のクラスにおける体積積の厳密な局所最小化子か？
• RQ2 対称な凸体 $K$ がハナー多面体 $H$ からずれる際に、体積積はどのように変化するか？
• RQ3 ハナー多面体 $H$ からのBanach-Mazur距離またはHausdorff距離を用いて、体積積の増加に対する定量的下界を確立できるか？
• RQ4 ハナー多面体の幾何的構造は、局所最小性を確認するための安定な体積比較議論を可能にするか？

主な発見

• すべてのハナー多面体は、対称な凸体のクラスにおいて、Banach-Mazur距離のもとで体積積の厳密な局所最小化子である。
• ハナー多面体 $H$ に十分近い任意の対称な凸体 $K$ に対して、体積積は $\mathcal{P}(K) \geq \mathcal{P}(H) + c(n)\delta$ を満たす。ここで $\delta = \mathrm{d}_{\mathcal{BM}}(K,H) - 1$ であり、$c(n) > 0$ は次元 $n$ のみに依存する。
• 定数 $c(n)$ は、単位クロスポリトープの体積と組合せ論的係数から、$\frac{2^{n-1}\varepsilon^2}{n!^3}$ で下から抑えられる。
• 証明により、体積積は $H$ からの距離 $\delta$ に比例して増加することが示され、厳密な局所最小性が確認される。
• この結果により、ナザロフらが以前に示した立方体の局所最小性が、ハナー多面体の全クラスへと拡張される。
• 解析は、ハナー多面体 $H$ のフラグ構造に関連する星型多面体 $P = \bigcup_{\mathbb{F}} X_{\mathbb{F}}$ と $K$、$K^\circ$ を比較することに依拠し、摂動による体積増加を用いる。