[论文解读] On semidefinite representations of plane quartics

Didier Henrion|ArXiv.org|Sep 10, 2008

Advanced Optimization Algorithms Research参考文献 11被引用 6

一句话总结

本文確立了平面四次曲線的凸包恰好為半定表示的條件，表明此類集合可透過最多12個提升變數實現半定表示，若四次曲線可有理參數化，則僅需2個提升變數即可實現精確表示。研究結果基於平方和表示與Lasserre的矩-平方和層次結構，並提供了明確的構造方法與數值範例。

ABSTRACT

This note focuses on the problem of representing convex sets as projections of the cone of positive semidefinite matrices, in the particular case of sets generated by bivariate polynomials of degree four. Conditions are given for the convex hull of a plane quartic to be exactly semidefinite representable with at most 12 lifting variables. If the quartic is rationally parametrizable, an exact semidefinite representation with 2 lifting variables can be obtained. Various numerical examples illustrate the techniques and suggest further research directions.

研究动机与目标

• 確定雙變數四次多項式之凸包何時可恰好以半定形式表示。
• 特徵化此類表示所需的最少提升變數數量。
• 針對可有理參數化的四次曲線，透過低秩構造方法將精確半定表示推廣至其凸包。
• 探討Lasserre層次結構中第一階半定鬆弛的精確性，適用於平面四次曲線。
• 提供計算工具與範例，以構造代數平面曲線凸包的半定表示。

提出的方法

• 利用Lasserre的矩-平方和層次結構，透過線性矩陣不等式（LMIs）構造凸包的外逼近。
• 利用非負雙變數四次多項式為平方和（SOS）的事實，實現精確半定表示。
• 應用基於提升的投影方法，將凸包表示為一個多面體的投影。
• 採用參數化方法，將可有理參數化的曲線之提升變數數量減少至2個。
• 利用多項式及其單項式所導出的矩陣與局部化矩陣，構造明確的LMI表示。
• 透過數值範例驗證結果，包括水滴型四次曲線，展示精確表示的可行性與限制。

实验结果

研究问题

• RQ1 在何種條件下，平面四次曲線的凸包可透過有界數量的提升變數實現精確半定表示？
• RQ2 可有理參數化的四次曲線是否可在半定形式中僅使用2個提升變數表示？
• RQ3 決定Lasserre層次結構中第一階鬆弛對平面四次曲線凸包之精確性的關鍵因素為何？
• RQ4 奇點與梯度消失如何影響精確半定表示的存在性？
• RQ5 給定四次曲線之凸包，所需的最少提升變數數量為何？

主要发现

• 任何具有非空內部的平面四次曲線，其凸包皆可透過最多12個提升變數實現精確半定表示。
• 若四次曲線可有理參數化，則其凸包可透過僅2個提升變數實現精確半定表示。
• 由於雙變數四次多項式具有SOS性質，Lasserre層次結構中的第一階鬆弛對平面四次曲線是精確的。
• 高階鬆弛（超過第一階）的精確性問題仍為開放問題。
• 數值範例顯示，同一四次曲線的不同半定表示可能需要不同數量的提升變數。
• 本文指出當前理論中的一個缺口：水滴型四次曲線的凸包尚無已知的精確半定表示。