[論文レビュー] Three-player entangled XOR games are NP-hard to approximate

Thomas Vidick|arXiv (Cornell University)|Feb 6, 2013

Computability, Logic, AI Algorithms参考文献 25被引用数 32

ひとこと要約

本稿では、任意の定数要因よりも(2−ε)に近い近似が可能である三者XORゲームのエンタングル値を近似する問題が、P≠NPのもとでNP困難であることを証明している。これは、P≠NPのもとで、エンタングルゲームに対する最初の定数要因近似の困難性を確立したものである。この結果は、ハスタッドの古典的困難性結果を量子非局所性へと拡張したものであり、エンタングルプレイヤーに対する点対平面の低次のテストの新しい健全性解析を用いている。

ABSTRACT

We show that for any eps>0 the problem of finding a factor (2-eps) approximation to the entangled value of a three-player XOR game is NP-hard. Equivalently, the problem of approximating the largest possible quantum violation of a tripartite Bell correlation inequality to within any multiplicative constant is NP-hard. These results are the first constant-factor hardness of approximation results for entangled games or quantum violations of Bell inequalities shown under the sole assumption that P eq NP. They can be thought of as an extension of Hastad's optimal hardness of approximation results for MAX-E3-LIN2 (JACM'01) to the entangled-player setting. The key technical component of our work is a soundness analysis of a point-vs-plane low-degree test against entangled players. This extends and simplifies the analysis of the multilinearity test by Ito and Vidick (FOCS'12). Our results demonstrate the possibility for efficient reductions between entangled-player games and our techniques may lead to further hardness of approximation results.

研究の動機と目的

• P ≠ NP を仮定したもとで、エンタングルマルチプレイヤーゲームに対する最初の定数要因近似の困難性を確立すること。
• MAX-E3-LIN2に対するハスタッドの最適なNP困難性結果を、エンタングルプレイヤーを含む量子設定へと拡張すること。
• 三重ベル相関不等式の最大量子違反値を任意の定数要因内で近似することはNP困難であることを示すこと。
• エンタングルプレイヤーに特化した点対平面の低次のテストを構築・分析し、量子複雑性における新たな還元を可能にする。

提案手法

• 著者らは、エンタングルプレイヤーに対して健全性を保つように設計された点対平面の低次のテストを導入し、古典的な線形性テストを量子設定へと一般化している。
• 彼らは、このテストのための新しい健全性解析を提供しており、これは量子戦略とエンタングルメントを活用しており、伊藤とビディックによる先行研究を拡張している。
• この解析は、量子演算子ノルムと非局所ゲームの還元に依存しており、テストの健全性をエンタングルXORゲームの近似困難性と結びつけている。
• 古典的なNP困難問題からエンタングルゲームへの還元を用いており、量子戦略のシミュレーションにより近似比を保存している。
• このフレームワークにより、エンタングルゲーム間の効率的な還元が可能となり、近似困難性の結果をさまざまな非局所ゲームクラスに移転できる。
• 強い予想に依存せず、P ≠ NP という唯一の仮定のもとで困難性を確立している。

実験結果

リサーチクエスチョン

• RQ1 任意のε>0に対して、三者XORゲームのエンタングル値を(2−ε)の要因内で近似することはNP困難か？
• RQ2 古典的MAX-E3-LIN2の近似困難性は、エンタングルプレイヤーを含む量子設定へと拡張可能か？
• RQ3 エンタングルプレイヤーに対してプレイされた点対平面の低次のテストの健全性はいかほどか？
• RQ4 三重ベル不等式の量子違反値は、任意の定数要因内で多項式時間で近似可能か？
• RQ5 エンタングルゲーム間の還元を効率的に行い、近似困難性を保存するための技術は何か？

主な発見

• 任意のε>0に対して、三者XORゲームのエンタングル値を(2−ε)の要因内で近似することはNP困難である。
• 三重ベル相関不等式の最大量子違反値を任意の定数要因内で近似することはNP困難である。
• P ≠ NP を仮定したもとで、エンタングルゲームに対する最初の定数要因近似の困難性が確立された。
• エンタングルプレイヤーに対する点対平面の低次のテストの健全性解析は、技術的に新規であり、かつ先行手法よりも単純である。
• このフレームワークにより、エンタングルゲーム間の新たな還元が可能となり、量子複雑性理論におけるさらなる近似困難性の結果の導出が期待できる。
• 本研究は、ハスタッドの古典的困難性結果を量子非局所性設定へと拡張し、量子複雑性分野において重要な一歩を踏み出した。