[论文解读] Dualities in Convex Algebraic Geometry

Philipp Rostalski, Bernd Sturmfels|arXiv (Cornell University)|Jun 25, 2010

Advanced Optimization Algorithms Research参考文献 23被引用 21

一句话总结

本文通过统一三种对偶性——凸体对偶性、代数曲线的射影对偶性以及多项式优化中的拉格朗日/Karush-Kuhn-Tucker 对偶性——探讨了凸几何、代数几何与优化之间的相互作用。研究表明，多项式规划的最优值是一个代数函数，其最小多项式由约束集的代数边界在射影对偶下的结果导出；并证明在特定条件下，theta 体（谱半定阴影）可精确表示实代数曲线的凸包。

ABSTRACT

Convex algebraic geometry concerns the interplay between optimization theory and real algebraic geometry. Its objects of study include convex semialgebraic sets that arise in semidefinite programming and from sums of squares. This article compares three notions of duality that are relevant in these contexts: duality of convex bodies, duality of projective varieties, and the Karush-Kuhn-Tucker conditions derived from Lagrange duality. We show that the optimal value of a polynomial program is an algebraic function whose minimal polynomial is expressed by the hypersurface projectively dual to the constraint set. We give an exposition of recent results on the boundary structure of the convex hull of a compact variety, we contrast this to Lasserre's representation as a spectrahedral shadow, and we explore the geometric underpinnings of semidefinite programming duality.

研究动机与目标

• 统一并比较三种对偶性：凸体对偶性、代数曲线的射影对偶性以及优化中的拉格朗日对偶性。
• 阐明紧致实代数曲线的凸包的几何与代数结构。
• 研究谱半定阴影的代数边界与其通过 theta 体表示之间的关系。
• 证明多项式规划的最优值是一个代数函数，其最小多项式源自约束集的射影对偶。
• 探讨半定规划对偶性的几何基础及其与代数几何的联系。

提出的方法

• 使用线性矩阵不等式（LMIs）将谱半定体定义为凸集，以一个由对称 4×4 矩阵 Q(x,y,z) ≥ 0 定义的三维枕头形谱半定体为例。
• 对谱半定体的代数边界应用射影对偶性，表明 Q(x,y,z) 的行列式定义了一个超曲面，其射影对偶编码了最优值函数的最小多项式。
• 利用 Karush-Kuhn-Tucker（KKT）条件作为多项式规划中最优性的必要与充分条件，将其与半定规划中的互补松弛性联系起来。
• 利用 theta 体作为谱半定阴影来表示实代数曲线的凸包，通过正定矩阵的平方和（SOS）表示法实现。
• 应用消去理论与格罗布纳基（Gröbner bases）计算谱半定阴影的代数边界，特别是通过从矩阵不等式中消去辅助变量。
• 使用半定规划对凸体及其对偶的边界进行采样，实现理论结果的可视化与数值验证。

实验结果

研究问题

• RQ1 在多项式优化中，三种对偶性——凸体对偶性、代数曲线的射影对偶性以及拉格朗日对偶性——如何相互关联？
• RQ2 多项式规划的最优值与约束集的射影对偶之间存在何种精确的代数关系？
• RQ3 在何种条件下，d 次 theta 体能精确表示实代数曲线的凸包？
• RQ4 如何利用消去理论算法化地计算谱半定阴影的代数边界？
• RQ5 谱半定体边界上的奇点具有何种几何意义？它们与对偶凸体的关系如何？

主要发现

• 多项式规划的最优值是一个代数函数，其最小多项式由约束集代数边界的射影对偶确定。
• 在有限收敛条件下，紧致实代数曲线的凸包可表示为 theta 体，即谱半定阴影。
• 对于由 h₁ = x² + y² + z² − 1 和 h₂ = 19x² + 21y² + 22z² − 20 定义的曲线，theta 体 TH₁(I) 等于该曲线的凸包，即 TH₁(I) = conv(X)，其代数边界由三个二次曲面的乘积给出。
• 1 次平方和锥的对偶是 theta 体 TH₁(I)，该对偶关系通过一个 4×4 正定矩阵表示实现，其中参数通过格罗布纳基与饱和运算被消去。
• 谱半定阴影 conv(X) 的边界由二次曲面构成，通过计算消去理想得到主理想 ⟨h₄h₅h₆⟩ 得到验证。
• 谱半定体 P 与其对偶凸体 PΔ 之间保持面维数对偶：P 的 1D 面对应 PΔ 的 0D 面，P 的奇异 0D 面对应 PΔ 的 2D 面。