[論文レビュー] A note on Mahler's conjecture

Shlomo Reisner, Carsten Schütt+1 more|arXiv (Cornell University)|Sep 18, 2010

Point processes and geometric inequalities参考文献 14被引用数 4

ひとこと要約

この論文は、体積積 |K||K⁰| を最小化する凸体 K が、正の一般化されたガウス曲率を持つ境界点をもてばならないことを証明しており、その結果、このような最小化体は多面体でなければならないことを示している。一般化された二階微分可能性と曲率解析を用いて、もし体が正の曲率を持つ点をもつならば、その先端を切り落とすことで体積積を厳密に小さくでき、最小性に矛盾する。

ABSTRACT

Let $K$ be a convex body in $\mathbb{R}^n$ with Santaló point at 0\. We show that if $K$ has a point on the boundary with positive generalized Gauß curvature, then the volume product $|K| |K^\circ|$ is not minimal. This means that a body with minimal volume product has Gauß curvature equal to 0 almost everywhere and thus suggests strongly that a minimal body is a polytope.

研究の動機と目的

• 中心対称な凸体における体積積 |K||K⁰| の最小化体が多面体であるかどうかという、凸幾何学における重要な未解決問題を解明すること。
• 境界点における曲率性質を分析することで、体積積の最小化体の幾何的構造を解明すること。
• 局所的最小性に関する先行結果を拡張し、一般化されたガウス曲率が正である一点ですら、グローバル最小性を排除することを示すこと。
• 最小化体がほとんど everywhere でガウス曲率がゼロでなければならないことを示すことで、マラー予想を支持する証拠を提供すること。

提案手法

• 凸関数の一般化された二階微分可能性を用いて、境界点における一般化されたガウス曲率を定義する。
• 正の曲率を持つ境界点が原点に来て外向き法線が −eₙ になるように、凸体を平行移動および回転する。
• 2つの新しい体 Kₓ(Δ)（K からキャップを切り落としたもの）と Kˣ(Δ)（外部の点と凸包をとったもの）を構成する。
• 双対性の応用：Kₓ(Δ) の双対が Kˣ(Δ/(1−Δ)) であることを示し、体積積の比較を可能にする。
• デュピンの指標関数と一般化されたヘッシアン行列を用いた体積推定により、切り落とされたキャップの体積を評価する。
• Δ、r（曲率半径）、n を用いた |Kₓ(Δ)||Kₓ(Δ)⁰| の漸近的不等式を導出し、曲率が正である場合に矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般化されたガウス曲率が正である境界点をもつ凸体が、体積積 |K||K⁰| を最小化できるか？
• RQ2 正の曲率を持つ一点が存在する場合、体積積が最小でないことを示唆するか？
• RQ3 体積積の最小性が、凸体の曲率にどのような幾何的制約を課えるか？
• RQ4 ガウス曲率がほとんど everywhere でゼロでなければならないならば、体積積の最小化体は必然的に多面体であるか？
• RQ5 曲率が正である場合、キャップを切り落としたような摂動体の体積積は元の体積積と比べてどうなるか？

主な発見

• 凸体 K が正の一般化されたガウス曲率を持つ境界点をもつならば、体積積 |K||K⁰| は最小でない。
• 一般化されたガウス曲率は、局所的サポート関数のヘッシアン行列を用いて定義され、境界が一般化された意味で強凸である点で正である。
• 証明では、このような体から小さなキャップを切り落とすと、新たな体が得られ、その体積積は厳密に小さくなることが示されている。
• K とその極が両方とも正の曲率を持つと仮定した場合、t→0 のときの g(t) の振る舞いにより、小刻み Δ に対して成り立たない不等式が生じ、矛盾が生じる。
• この結果から、体積積の最小化体は境界上でほとんど everywhere でガウス曲率がゼロでなければならないことが示唆される。
• これは、体積積の最小化体が多面体である可能性を強く示唆し、中心対称な場合にマラー予想を支持する。