[論文レビュー] 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

ひとこと要約

本稿は、組合せ最適化におけるカットポリトープのより鋭い凸緩和である、次数4一般化楕円体の完全なグラミアン特徴付けを提供する。これは、あるグラミアン行列がこの集合に属するための必要十分条件を確立し、次数2と次数4の擬moments行列間のタイトなランク不等式を証明し、楕円体と次数4一般化楕円体の間で共有される極点がカット行列のみであることを示し、余分な極点（spurious extreme points）が存在しないことを示している。

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$.

研究の動機と目的

• 次数4一般化楕円体の完全な代数的記述を構築すること、これはカットポリトープの高次スムーズ和の平方緩和である。
• あるグラミアン行列がこの緩和に属するための必要十分条件を同定すること。
• 標準的楕円体と次数4一般化楕円体の間で共有される極点がカット行列のみであることを証明し、『余分な』極点が存在しないことを示すこと。
• シュレーフリ図形に関連する、次数2の場合には成り立たないが次数4緩和では成り立つ新しい不等式を導出し、それらが三角不等式の線形結合として表現できないことを示すこと。
• アソシエーションスキームの高度な道具を用いずに、ラウレンスによる次数4緩和における特定の偶性制約の不成立を示す結果に対して、新規の擬momentsウェイト構成を用いた簡潔で初等的な証明を提供すること。

提案手法

• 著者らは、ベクトル系のグラミアン行列を用いて、次数4一般化楕円体への属する条件を特徴付けるための擬momentsウェイト構成を導入する。
• グラミアン行列と擬moments行列の間に双対性を確立し、ある行列が次数4一般化楕円体に属するための必要十分条件として、あるウェイト行列が半正定値であることであることを示す。
• この手法は、特に $ V_{\mathsf{sym}} $ および $ V_{\mathsf{sym}}' $ という対称テンソルの部分空間への射影を用いた、対称行列の構造的分解に基づくものであり、擬moments拡張の制約を分析する。
• 等角フレームに対しては、その対称性とコherーインス特性を活用して、次数4一般化楕円体への属するための簡略化された基準を導出する。
• シュレーフリ図形に密接に関連する明示的な係数を有する正定値行列 $ \bm{A} \succeq \bm{0} $ を構成し、これは $ \mathscr{E}_4^N $ では有効だが $ \mathscr{E}^N $ では有効でない新しい不等式を証明する。
• 正定値性の証明はSageMathを用いて計算的に確認されているが、著者らはその背後にある概念的説明が欠けていることを開発課題として指摘している。

実験結果

リサーチクエスチョン

• RQ1 あるグラミアン行列が次数4一般化楕円体に属するための完全な代数的条件は何か？
• RQ2 次数2緩和や三角不等式によって導かれない、次数4緩和で有効な新しい非自明な不等式は存在するか？
• RQ3 次数4一般化楕円体と標準的楕円体は、カット行列以外に極点を共有するか？
• RQ4 最大の等角フレームの擬moments行列が、初等的な構成により正定値であることを示せるか？
• RQ5 次数4緩和においてシュレーフリ型不等式を証明するために用いられるウェイト行列 $ \bm{A} $ の正定値性について、概念的説明は存在するか？

主な発見

• 本稿は、グラミアンベクトルに基づくウェイト行列構成を用いて、対称行列が次数4一般化楕円体に属するための必要十分条件を提供する。
• 本稿は、$ \mathscr{E}^N $ と $ \mathscr{E}_4^N $ の両方に共通する極点がカット行列のみであることを証明し、余分な極点が共有されないことを示している。
• 等角フレームに対しては、$ \mathscr{E}_4^N $ への属するための簡単な基準が導出され、三角不等式によって導かれない新しい不等式の構成が可能になる。
• 著者らは、$ \gamma_1 = 1/126 $、$ \gamma_2 = 1/36 $、$ \kappa_1 = 2/9 $、$ \kappa_2 = 1/28 $ を含む明示的な係数を有する、正定値行列 $ \bm{A} \in \mathbb{R}^{N^2 \times N^2} $ を構成し、これは新しいクラスのシュレーフリ型不等式を証明する。
• ラウレンスによる結果の短く初等的な証明を提供し、アソシエーションスキームの高度な道具を用いずに、次数4緩和では特定の偶性制約が成立しないことを示している。代わりに、新規の擬momentsウェイトを用いる。
• 著者らは、$ \mathscr{E}_4^N \setminus \mathscr{C}^N $ に属する行列とエンタングルド量子状態との間の対応関係を確立し、この緩和を量子情報理論における部分的転置作用素と結びつける。