[論文レビュー] Algorithms, Bounds, and Strategies for Entangled XOR Games

Adam Bene Watts, Aram W. Harrow+2 more|arXiv (Cornell University)|Jan 2, 2018

Complexity and Algorithms in Graphs参考文献 28被引用数 3

ひとこと要約

本稿では、対称XORゲームの可換作用素値が正確に1であるかどうかを決定する多項式時間アルゴリズムを提示する。これは長年の決定不能性に関する未解決問題を解決するものである。本稿は、完全な量子戦略実現のための新規基準を導入し、明示的なエンタングルメントに基づく戦略を構築し、NPA（ncSoS）階層の収束に対するタイトな境界を確立する。また、最悪ケースにおいて二重指数的遅延が生じることを示し、充足不能な段階を有するランダムXORゲームの存在を証明する。

ABSTRACT

We study the complexity of computing the commuting-operator value $ω^*$ of entangled XOR games with any number of players. We introduce necessary and sufficient criteria for an XOR game to have $ω^* = 1$, and use these criteria to derive the following results: 1. An algorithm for symmetric games that decides in polynomial time whether $ω^* = 1$ or $ω^* < 1$, a task that was not previously known to be decidable, together with a simple tensor-product strategy that achieves value 1 in the former case. The only previous candidate algorithm for this problem was the Navascués-Pironio-Acín (also known as noncommutative Sum of Squares or ncSoS) hierarchy, but no convergence bounds were known. 2. A family of games with three players and with $ω^* < 1$, where it takes doubly exponential time for the ncSoS algorithm to witness this (in contrast with our algorithm which runs in polynomial time). 3. A family of games achieving a bias difference $2(ω^* - ω)$ arbitrarily close to the maximum possible value of $1$ (and as a consequence, achieving an unbounded bias ratio), answering an open question of Briët and Vidick. 4. Existence of an unsatisfiable phase for random (non-symmetric) XOR games: that is, we show that there exists a constant $C_k^{ ext{unsat}}$ depending only on the number $k$ of players, such that a random $k$-XOR game over an alphabet of size $n$ has $ω^* < 1$ with high probability when the number of clauses is above $C_k^{ ext{unsat}} n$. 5. A lower bound of $Ω(n \log(n)/\log\log(n))$ on the number of levels in the ncSoS hierarchy required to detect unsatisfiability for most random 3-XOR games. This is in contrast with the classical case where the $n$-th level of the sum-of-squares hierarchy is equivalent to brute-force enumeration of all possible solutions.

研究の動機と目的

• 対称XORゲームの量子値ω*が正確に1であるかどうかを決定可能かどうかを特定すること。これは、以前は決定不能であると知られていなかった問題である。
• ω* = 1を達成する明示的なテンソル積戦略を構築すること。これは、完全戦略問題に対する構成的解決法を提供する。
• XORゲームにおけるNPA（ncSoS）階層の収束挙動を分析すること、特に最悪ケースにおける挙動に注目する。
• ランダム非対称XORゲームにおける段階的転移の存在を確立すること。これは、節の数が閾値を超えると、ω* < 1である確率が高くなることを意味する。
• XORゲームにおけるバイアス比に関する未解決問題に答え、量子値と古典値の差が任意に大きく、かつバイアス比が無限大に近づくようなゲーム族を構築すること。

提案手法

• パリティ置換反証（PREFs）とMERP（最大エンタングルメント、相対位相）戦略に基づき、ω* = 1であるための必要十分条件を導入する。
• 対称ゲームに対して、有効なPREF反証の存在を多項式時間でチェックするアルゴリズムを開発する。
• 組合せ的道具とシャッフルガジェットを用いて反証を構築・検証し、充足不能性の効率的検出を可能にする。
• 確率的解析を用いて、ランダムゲームにおける成功反証経路の期待数を評価し、カタラン数の推定とクエリマッピング制約を活用する。
• マルコフの不等式と過剰数え上げ技術を用いて、反証に必要なNPA階層のレベル数に対する下界を導出する。
• MERP戦略とPREF反証の双対性を活用し、XORゲームにおける量子的優位性の構造的洞察を得る。

実験結果

リサーチクエスチョン

• RQ1 対称XORゲームの可換作用素値ω*が正確に1であるかどうかは決定可能か？
• RQ2 対称XORゲームに対して、ω* = 1であるかどうかを多項式時間で決定するアルゴリズムを構築可能か？
• RQ3 ω* < 1であるXORゲームにおけるNPA（ncSoS）階層の最悪ケース収束速度はいかほどか？
• RQ4 ランダム非対称XORゲームは、節の密度が一定の閾値を超えると、ω* < 1である確率が高くなる段階的転移を示すか？
• RQ5 バイアス差2(ω* − ω)が最大値1に限りなく近づくようなXORゲームを構築可能か？これにより、バイアス比が無限大に近づく。

主な発見

• 本稿では、対称XORゲームのω*が正確に1か、それより小さいかを多項式時間で決定するアルゴリズムを提示する。これにより、長年の決定不能性に関する未解決問題が解決される。
• ω* = 1の場合に、ω* = 1を達成する単純なテンソル積戦略を構築するアルゴリズムが提供され、構成的量子優位性が得られる。
• 3プレーヤーXORゲームの族を構築し、ω* < 1を検出するためにNPA階層が二重指数的時間が必要となることを示す。これは、多項式時間アルゴリズムとは対照的である。
• 本稿では、ランダムk-XORゲームにおける充足不能段階の存在を証明する。k ≥ 3の場合、節の数がC_k^unsat * nを超えると、ω* < 1である確率が高くなる。
• バイアス差2(ω* − ω)が1に限りなく近づくようなゲーム族を構築し、BriëtとVidickが提起したバイアス比が無限大に近づくという未解決問題に答えを提示する。
• ほとんどのランダム3-XORゲームにおいて、充足不能性を検出するために必要なNPA階層のレベル数に対する下界Ω(n log n / log log n)を確立する。