[论文解读] 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为截断的二阶锥或椭球柱体时，推导出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）提供统一且现代的阐述，填补优化文献中的空白。
• 研究自同构群在确定极值椭球的结构与精确计算中的作用。
• 推导特殊凸体（包括截断二阶锥与椭球柱体）的最小外接椭球的闭式解。
• 建立凸体自同构群中对称性导致CE(K)与IE(K)精确解析解的条件。

提出的方法

• 将CE(K)与IE(K)问题表述为半无限规划问题，利用凸分析中的最优性条件。
• 应用Fritz John最优性条件，通过接触点与拉格朗日乘子刻画极值椭球。
• 利用K的自同构群约束极值椭球的形式，假设对称性（例如协方差矩阵为对角形，中心位于对称轴上）。
• 从最优性条件推导出涉及接触点、拉格朗日乘子及椭球边界可行性约束的方程组。
• 对特定对称情形（如椭球与锥体的对称截断）代数求解该方程组，一般情形下化为二次方程。
• 利用仿射不变性与几何变换（平移、缩放）将一般情形约化为标准形式，从而实现闭式解。

实验结果

研究问题

• RQ1 在何种条件下，凸体K的最小外接椭球可被精确计算而非数值求解？
• RQ2 凸体的自同构群如何影响其极值椭球的结构与对称性？
• RQ3 截断二阶锥或椭球柱体的最小外接椭球的精确解析表达式是什么？
• RQ4 极值椭球的参数（中心、形状矩阵、体积）如何依赖于凸体的几何参数？
• RQ5 接触点的对称性与拉格朗日乘子的分布，在确定极值椭球中起何作用？

主要发现

• 凸体K的最小外接椭球唯一，且可通过半无限规划导出的最优性条件表征。
• 当K在群作用下对称（如反射或旋转对称）时，极值椭球继承该对称性，其参数形式简化为对角协方差矩阵与位于对称轴上的中心。
• 对于截断二阶锥Qαβ，CE(Qαβ)的中心位于τe₁，形状矩阵为diag(a,b,…,b)，其中参数a、b、τ在三种情形下显式导出：αβ = −1/n，α+β = 0，以及一般情形。
• 在αβ = −1/n情形下，最优椭球为以原点为中心的单位球（τ=0，a=b=1），表明具有最大对称性。
• 当α+β=0且αβ≠−1/n时，中心保持在原点，椭球参数为a=1/(nβ²)，b=(n−1)/(n(1−β²))，表明轴向与径向方向存在各向异性。
• 在一般情形α,β满足α+β≠0且αβ≠−1/n时，中心τ由含n、α、β及判别式Δ的二次公式给出，得到非对称、非球形解。