[论文解读] Every free basic convex semi-algebraic set has an LMI representation

J. William Helton, Scott McCullough|arXiv (Cornell University)|Aug 29, 2009

Advanced Optimization Algorithms Research参考文献 19被引用 22

一句话总结

本文证明了：由对称矩阵值多项式定义的有界、凸、自由基本开半代数集，均可表示为线性矩阵不等式（LMI）的解集，从而在非交换设置下建立了矩阵凸性与LMI可表示性之间的基本等价关系。主要贡献在于对标准LMI表征的逆向证明，表明在有界性及常数项可逆性条件下，仅凸性即可推出LMI可表示性。

ABSTRACT

The (matricial) solution set of a Linear Matrix Inequality (LMI) is a convex basic non-commutative semi-algebraic set. The main theorem of this paper is a converse, a result which has implications for both semidefinite programming and systems engineering. For p(x) a non-commutative polynomial in free variables x= (x1, ... xg) we can substitute a tuple of symmetric matrices X= (X1, ... Xg) for x and obtain a matrix p(X). Assume p is symmetric with p(0) invertible, let Ip denote the set {X: p(X) is an invertible matrix}, and let Dp denote the component of Ip containing 0. THEOREM: If the set Dp is uniformly bounded independent of the size of the matrix tuples, then Dp has an LMI representation if and only if it is convex. Linear engineering systems problems are called "dimension free" if they can be stated purely in terms of a signal flow diagram with L2 performance measures, e.g., H-infinity control. Conjecture: A dimension free problem can be made convex if and only it can be made into an LMI. The theorem here settles the core case affirmatively.

研究动机与目标

• 建立标准事实的逆命题：LMI解集是凸自由基本半代数集。
• 确定每个凸、有界、自由基本开半代数集是否都可表示为LMI形式。
• 阐明非交换（自由）多项式设置下矩阵凸性与LMI可表示性之间的关系。
• 探讨其对自由实代数几何与半定规划的启示，特别是投影性质与可表示类别的影响。

提出的方法

• 通过对称矩阵值自由多项式 $ p(X) $ 的可逆性集定义自由基本开半代数集，其中 $ X $ 为对称矩阵元组。
• 利用矩阵形式的Hahn-Banach分离定理（Effros-Winkler），通过首一仿射线性矩阵多项式将点与矩阵凸集分离。
• 证明：若对称自由多项式 $ p $ 满足 $ p(0) $ 可逆，且 $ \mathcal{D}_p $ 有界且凸，则存在首一仿射线性矩阵多项式 $ L $，使得 $ \mathcal{D}_p = \mathcal{D}_L $。
• 利用自由多项式的结构及其在所有矩阵维数上的矩阵元组取值，分析凸性与可逆性集的性质。
• 应用自由分析与算子空间理论的结果，弥合非交换设置下代数结构与凸几何之间的鸿沟。
• 在某些情况下利用不可约性假设，证明此类多项式必为二次型，从而支持LMI表示的最小性。

实验结果

研究问题

• RQ1 每个有界、凸、自由基本开半代数集是否都可表示为线性矩阵不等式（LMI）的解集？
• RQ2 对称自由多项式 $ p $ 需满足何种条件，可保证其可逆性集 $ \mathcal{D}_p $ 具有LMI表示形式？
• RQ3 在自由非交换设置下，LMI可表示性与凸性与经典交换情形有何不同？
• RQ4 在自由设置下，LMI集的投影所构成的自由半代数集类，是否与LMI可表示集类等价？
• RQ5 对于其可逆性集同时有界且凸的自由多项式，其结构约束（如次数）为何？

主要发现

• 由对称自由多项式 $ p $ 定义的有界、凸、自由基本开半代数集，若 $ p(0) $ 可逆，则其可表示为线性矩阵不等式（LMI）的解集。
• 主要结果表明：当 $ \mathcal{D}_p $ 有界且 $ p(0) $ 可逆时，$ \mathcal{D}_p $ 的凸性是其LMI可表示性的充要条件。
• 在自由设置下，与经典交换情形不同，无需额外条件（如“直线测试”），仅凸性即可推出LMI可表示性。
• 对于不可约自由多项式 $ p $，若 $ \mathcal{D}_p $ 有界且凸，则 $ p $ 必为二次型。
• 在自由设置下，LMI集的投影所构成的自由半代数集类，与LMI可表示集类完全一致，与经典情形形成鲜明对比。
• 该结果表明：在由信号流图控制的无维系统问题中，所有凸性条件均可由LMI捕获，暗示在此类背景下不存在超越LMI表示的凸性。