[論文レビュー] The extremal volume ellipsoids of convex bodies, their symmetry properties, and their determination in some special cases

Osman Güler, Filiz Gürtuna|ArXiv.org|Sep 5, 2007

Point processes and geometric inequalities参考文献 34被引用数 10

ひとこと要約

本稿は、半無限計画法を用いて、凸体の最小外接楕円体（CE）および最大内接楕円体（IE）を現代的で統一的な枠組みで取り扱い、最適性条件と対称性に基づく正確な計算手法を確立する。特に、K が切断された2次錐または楕円体円柱である場合の CE(K) に対して明示的な公式を導出し、自己同型群における対称性が非線形計画法を用いた正確な解法を可能にすることを示す。

ABSTRACT

A convex body K has associated with it a unique circumscribed ellipsoid CE(K) with minimum volume, and a unique inscribed ellipsoid IE(K) with maximum volume. We first give a unified, modern exposition of the basic theory of these extremal ellipsoids using the semi-infinite programming approach pioneered by Fritz John in his seminal 1948 paper. We then investigate the automorphism groups of convex bodies and their extremal ellipsoids. We show that if the automorphism group of a convex body K is large enough, then it is possible to determine the extremal ellipsoids CE(K) and IE(K) exactly, using either semi-infinite programming or nonlinear programming. As examples, we compute the extremal ellipsoids when the convex body K is the part of a given ellipsoid between two parallel hyperplanes, and when K is a truncated second order cone or an ellipsoidal cylinder.

研究の動機と目的

• 最適化文献における空白を埋めるために、半無限計画法を用いた凸体の極値楕円体（CE および IE）の統一的で現代的な解説を提供すること。
• 自己同型群が極値楕円体の構造および正確な計算に与える影響を調査すること。
• 特に切断された2次錐および楕円体円柱を含む特殊な凸体に対して、最小外接楕円体の閉形式解を導出すること。
• 凸体の自己同型群における対称性が、CE(K) および IE(K) の正確な解析的解に至る条件を確立すること。

提案手法

• CE(K) および IE(K) 問題を、凸解析からの最適性条件を活用して半無限計画問題として定式化する。
• フレーツ・ジョンの最適性条件を適用し、接触点とラグランジュ乗数を用いて極値楕円体を特徴付ける。
• K の自己同型群を用いて極値楕円体の形を制約し、対称性（例えば、共分散行列の対角構造および対称軸上での中心位置）を仮定する。
• 接触点、ラグランジュ乗数、楕円体境界上の妥当性制約を含む最適性条件からなる方程式系を導出する。
• 特定の対称的ケース（例えば、楕円体および錐の対称的切断）に対して代数的に解き、一般には2次方程式に帰着される。
• アフィン不変性および幾何変換（平行移動、スケーリング）を用いて一般ケースを標準形に還元し、閉形式解を可能にする。

実験結果

リサーチクエスチョン

• RQ1 凸体の最小外接楕円体が数値的ではなく正確に計算可能となる条件は何か？
• RQ2 凸体の自己同型群は、その極値楕円体の構造および対称性にどのように影響を与えるか？
• RQ3 切断された2次錐または楕円体円柱の最小外接楕円体の正確な解析的表現は何か？
• RQ4 極値楕円体のパラメータ（中心、形状行列、体積）は、凸体の幾何的パラメータにどのように依存するか？
• RQ5 接触点の対称性およびラグランジュ乗数の分布が、極値楕円体の特定に果たす役割は何か？

主な発見

• 凸体 K の最小外接楕円体は一意的であり、半無限計画法から導かれる最適性条件によって特徴付けられる。
• K が群作用（例えば、反射または回転）に関して対称である場合、極値楕円体も同様の対称性を有し、パrametric 形式が対角共分散行列および対称軸上での中心に簡略化される。
• 切断2次錐 Qαβ に対しては、CE(Qαβ) の中心は τe₁、形状行列は diag(a,b,…,b) であり、パラメータ a, b, τ は3つの場合（αβ = −1/n、α+β = 0、一般ケース）に明示的に導出されている。
• αβ = −1/n の場合、最適楕円体は原点中心の単位球体（τ=0, a=b=1）となり、最大の対称性を示す。
• α+β=0 かつ αβ≠−1/n の場合、中心は原点に保たれ、パラメータは a=1/(nβ²), b=(n−1)/(n(1−β²)) となり、軸方向および径方向に異方性が現れる。
• 一般の α,β に対して α+β≠0 かつ αβ≠−1/n の場合、中心 τ は n, α, β および判別式 Δ を含む2次式の解として与えられ、非対称かつ非球形な解が得られる。