[論文レビュー] Davis' Convexity Theorem and Extremal Ellipsoids

Matthias J. Weber, Hans-Peter Schröcker|arXiv (Cornell University)|Jul 7, 2009

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

ひとこと要約

この論文は、一般のサイズ関数に対して、最小包囲楕円体および最大内接楕円体の一意性条件を、変換された固有値関数における凸性および凹性基準を用いて確立する。最小包囲楕円体の場合は、サイズ関数と半軸長の特定のべき変換の合成関数が凸であるとき、最大内接楕円体の場合は凹であるとき、一意性が成り立つことを証明している。体積、クエルマス積分、弧長について明示的な結果が得られている。

ABSTRACT

We give a variety of uniqueness results for minimal ellipsoids circumscribing and maximal ellipsoids inscribed into a convex body. Uniqueness follows from a convexity or concavity criterion on the function used to measure the size of the ellipsoid. Simple examples with non-unique minimal or maximal ellipsoids conclude this article.

研究の動機と目的

• 与えられた凸体に対して、最小包囲楕円体および最大内接楕円体が一意となる一般条件を確立すること。
• 古典的な一意性結果（例えばジョンの定理）を体積を超えて、より広いクラスのサイズ関数へと拡張すること。
• サイズ関数の変換された固有値関数の凸性または凹性に基づいて、一意性の必要十分条件を同定すること。
• 非凸的／非凹的サイズ関数では極値楕円体が一意でない場合がある反例を提示すること。
• 対称行列表現と中間楕円体の構成を用いて、先行研究の結果を統合・一般化すること。

提案手法

• 楕円体を対称正定値行列と中心ベクトルで表現し、形式 $(x - m)^T A (x - m) \leq 1$ を用いる。
• 行列 $A$ の順序付き固有値にサイズ関数 $f$ を定義し、連続性、厳密単調性、対称性を要請する。
• デイヴィスの凸性定理を適用し、$p = -1, -1/2$（最小包囲楕円体）および $p = 1, 1/2$（最大内接楕円体）に対して $f \circ w^p$ の凸性または凹性を分析する。
• 非一意性が成立する場合に矛盾を導くために、2つの候補となる極値楕円体間の行列補間を用いて「中間楕円体」$E_\lambda$ を構成する。
• 固定された中心または軸を持つ楕円体の解析を簡素化するために、極分解および同次行列表現を用いる。
• 幾何的・解析的技法、特に弧長の評価に楕円積分を用いて、反例におけるサイズ関数を評価する。

実験結果

リサーチクエスチョン

• RQ1 サイズ関数 $f$ がどのような条件下で、凸体の最小包囲楕円体が一意になるか。
• RQ2 サイズ関数 $f$ が体積でない場合に、最大内接楕円体が一意になるのはいつか。
• RQ3 サイズ関数が凸性や凹性を欠いている場合、極値楕円体の一意性が失われる可能性はあるか。
• RQ4 本研究の結果は、体積、クエルマス積分、弧長に関する先行の一意性定理をどのように一般化するか。
• RQ5 $f \circ w^p$ の凸性または凹性が、極値楕円体の一意性を保証するために果たす役割は何か。

主な発見

• 最小包囲楕円体は、$f \circ w^{-1}$ または $f \circ w^{-1/2}$ が凸であれば一意であり、ジョンの定理を体積を超えて拡張する。
• 最大内接楕円体は、$f \circ w^{1}$ が凹であれば一意であり、中心が指定されている場合、$f \circ w^{1/2}$ が凹であれば一意である。
• サイズ関数が凸性や凹性を欠いていると非一意性が生じる。例えば、$f(a,b) = \max\{a,b\} + 16\min\{a,b\}$ の場合、正方形の頂点を通る2つの異なる楕円が外接円より小さくなる。
• 正三角形において、最大弧長内接楕円は一意でない。辺に沿った退化した楕円は内接円より弧長が長く（$f(E_s) = 2 > \pi/\sqrt{3} \approx 1.8138$）、最大性を満たす。
• 弧長のサイズ関数は第1種完全楕円積分を含み、その非凹性が非一意性を引き起こす。
• 中心が指定されていない一般の場合、最大内接楕円体の一意性は $p = 1/2$ に対して未解決のままである。