[论文解读] A Gramian Description of the Degree 4 Generalized Elliptope

Afonso S. Bandeira, Dmitriy Kunisky|arXiv (Cornell University)|Dec 30, 2018

Advanced Optimization Algorithms Research参考文献 59被引用 4

一句话总结

本文提供了四次广义椭圆体的完整Gramian刻画，这是组合优化中割多面体的一个更紧致的凸松弛。论文建立了Gram矩阵属于该集合的充要条件，证明了二次与四次伪矩阵之间紧致的秩不等式，并表明椭圆体与四次广义椭圆体之间唯一的极点共享仅为割矩阵，从而消除了虚假极点。

ABSTRACT

One of the most widely studied convex relaxations in combinatorial optimization is the relaxation of the cut polytope $\mathscr C^N$ to the elliptope $\mathscr E^N$, which corresponds to the degree 2 sum-of-squares (SOS) relaxation of optimizing a quadratic form over the hypercube $\{\pm 1\}^N$. We study the extension of this classical idea to degree 4 SOS, which gives an intermediate relaxation we call the degree 4 generalized elliptope $\mathscr E_4^N$. Our main result is a necessary and sufficient condition for the Gram matrix of a collection of vectors to belong to $\mathscr E_4^N$. Consequences include a tight rank inequality between degree 2 and degree 4 pseudomoment matrices, and a guarantee that the only extreme points of $\mathscr E^N$ also in $\mathscr E_4^N$ are the cut matrices; that is, $\mathscr E^N$ and $\mathscr E_4^N$ share no "spurious" extreme point. For Gram matrices of equiangular tight frames, we give a simple criterion for membership in $\mathscr{E}_4^N$. This yields new inequalities satisfied in $\mathscr{E}_4^N$ but not $\mathscr{E}^N$ whose structure is related to the Schläfli graph and which cannot be obtained as linear combinations of triangle inequalities. We also give a new proof of the restriction to degree 4 of a result of Laurent showing that $\mathscr{E}_4^N$ does not satisfy certain cut polytope inequalities capturing parity constraints. Though limited to this special case, our proof of the positive semidefiniteness of Laurent's pseudomoment matrix is short and elementary. Our techniques also suggest that membership in $\mathscr{E}_4^N$ is closely related to the partial transpose operation on block matrices, which has previously played an important role in the study of quantum entanglement. To illustrate, we present a correspondence between certain entangled bipartite quantum states and the matrices of $\mathscr{E}_4^N\setminus\mathscr{C}^N$.

研究动机与目标

• 开发割多面体的高阶平方和松弛——四次广义椭圆体的完整代数描述。
• 确定Gram矩阵属于该松弛的必要与充分条件。
• 证明标准椭圆体与四次广义椭圆体之间唯一的共享极点为割矩阵，从而消除‘虚假’极点。
• 推导出与施莱夫利图相关的新型不等式，这些不等式在四次松弛中成立，但在二次情况下不成立，且不能表示为三角不等式的线性组合。
• 通过新颖的伪矩阵见证构造，给出Laurent关于四次松弛中某些奇偶性约束不成立结果的简短、初等证明。

提出的方法

• 作者引入一种伪矩阵见证构造，通过向量系统的Gram矩阵刻画四次广义椭圆体中的成员资格。
• 他们建立了Gram矩阵与伪矩阵之间的对偶性，表明当且仅当某个特定见证矩阵为半正定时，矩阵属于四次广义椭圆体。
• 该方法依赖于对称矩阵在对称张量子空间（特别是 $ V_{\mathsf{sym}} $ 和 $ V_{\mathsf{sym}}' $）上的投影的结构分解，以分析伪矩阵扩展的约束。
• 对于等角紧框架，作者利用框架的对称性与相干性性质，推导出四次广义椭圆体中成员资格的简化判别准则。
• 他们构造了一个特定的半正定矩阵 $ \bm{A} \succeq \bm{0} $，其显式系数与施莱夫利图相关，该矩阵验证了在 $ \mathscr{E}_4^N $ 中成立但在 $ \mathscr{E}^N $ 中不成立的新不等式。
• 正定性通过SageMath进行计算验证，但作者指出缺乏概念性解释仍为一个开放问题。

实验结果

研究问题

• RQ1 一个Gram矩阵属于四次广义椭圆体的完整代数条件是什么？
• RQ2 是否存在在四次松弛中成立但在三角不等式或二次松弛中不成立的新型非平凡不等式？
• RQ3 四次广义椭圆体与标准椭圆体是否共享除割矩阵外的其他极点？
• RQ4 能否通过初等构造证明最大等角紧框架的伪矩阵为半正定？
• RQ5 是否存在对用于推导施莱夫利型不等式的见证矩阵 $ \bm{A} $ 的正定性的概念性解释？

主要发现

• 本文给出了对称矩阵属于四次广义椭圆体的充要条件，该条件通过基于Gram向量的见证矩阵构造表达。
• 论文证明了 $ \mathscr{E}^N $ 与 $ \mathscr{E}_4^N $ 之间唯一的共享极点为割矩阵，意味着不共享任何‘虚假’极点。
• 对于等角紧框架，推导出 $ \mathscr{E}_4^N $ 中成员资格的简单判别准则，从而可构造出不被三角不等式所蕴含的新不等式。
• 作者构造了一个显式系数的半正定矩阵 $ \bm{A} \in \mathbb{R}^{N^2 \times N^2} $，其中包含 $ \gamma_1 = 1/126 $，$ \gamma_2 = 1/36 $，$ \kappa_1 = 2/9 $，和 $ \kappa_2 = 1/28 $，该矩阵验证了一类新的施莱夫利型不等式。
• 本文给出了Laurent关于某些奇偶性约束在 $ \mathscr{E}_4^N $ 中不成立结果的简短、初等证明，使用新颖的伪矩阵见证构造，而非关联方案中的高级工具。
• 作者建立了 $ \mathscr{E}_4^N \setminus \mathscr{C}^N $ 中矩阵与纠缠量子态之间的对应关系，将该松弛与量子信息理论中的部分转置操作联系起来。