[論文レビュー] Binary Constraint System Games and Locally Commutative Reductions

Zhengfeng Ji|arXiv (Cornell University)|Oct 14, 2013

Quantum Computing Algorithms and Architecture参考文献 37被引用数 29

ひとこと要約

本稿は、量子充足可能性問題を統一的に扱う枠組みとして二値制約系（BCS）ゲームを導入し、完璧な量子戦略が制約系の量子解に対応することを示している。特定のBCSゲーム—例えばクリフォードゲームやマジック・スクエア・ゲーム—は、完璧な戦略をとるためにはΩ(√n)のEPR対を必要とすることが示され、局所的に可換な還元を用いて、古典的NP困難性の結果をその量子版へと拡張する手法が開発された。

ABSTRACT

A binary constraint system game is a two-player one-round non-local game defined by a system of Boolean constraints. The game has a perfect quantum strategy if and only if the constraint system has a quantum satisfying assignment [R. Cleve and R. Mittal, arXiv:1209.2729]. We show that several concepts including the quantum chromatic number and the Kochen-Specker sets that arose from different contexts fit naturally in the binary constraint system framework. The structure and complexity of the quantum satisfiability problems for these constraint systems are investigated. Combined with a new construct called the commutativity gadget for each problem, several classic NP-hardness reductions are lifted to their corresponding quantum versions. We also provide a simple parity constraint game that requires $Ω(\sqrt{n})$ EPR pairs in perfect strategies where $n$ is the number of variables in the constraint system.

研究の動機と目的

• 量子色数やコヘン・スピーカー集合といった多様な量子複雑性問題を、二値制約系（BCS）ゲームの枠組みで統一すること。
• BCSの量子充足可能性の構造と複雑性を調査し、特に完璧な量子戦略におけるエンタングルメント要件に焦点を当てる。
• 古典的NP困難性の証明を量子ドメインへと持ち上げる新しい還元技術—局所的に可換な還元—を開発すること。
• 特定のBCSゲーム、例えばクリフォードBCSゲームにおいて、完璧な量子戦略をとるのに必要なEPR対の数に対するタイトな下界を確立すること。
• 補助的な木構造を用いた構成により、変数の出現回数を1変数あたり最大3回にまで削減可能であり、量子充足可能性に影響を与えないこと。

提案手法

• 制約がブール系から抽出され、一貫した変数割り当てに依存する勝利条件を持つ二対の1ラウンド非局所ゲームとしてBCSゲームを定義する。
• 共有エンタングルド状態と非可換測定を用いた量子戦略を用いて完璧な量子戦略をモデル化し、POVMの期待値を用いて非局所的価値を表現する。
• 演算子間の局所的可換性を強制するための可換性ガジェットを導入し、古典的還元を量子設定へと持ち上げる基盤を提供する。
• クリフォード代数の表現論を用いて、ランクNの完全グラフ上のクリフォードBCSゲームに対して完璧な量子戦略を構成し、次元2^⌊N/2⌋での存在を示す。
• 任意の完璧な戦略が少なくとも2^⌊N/2⌋の次元のヒルベルト空間上に作用しなければならないことを証明することで、EPR対の要件に対する下界を確立し、n = Θ(N²)変数に対してΩ(√n)のEPR対が必要であることを示す。
• 高次数の変数を二分木のリーフ変数に置き換えることで、BCSゲームにおける変数の出現回数を1変数あたり最大3回に削減し、パリティ制約を通じて量子充足可能性を保持する。

実験結果

リサーチクエスチョン

• RQ1 量子色数やコヘン・スピーカー集合といった量子充足可能性問題を、一体どのような枠組みで統一できるか？
• RQ2 BCSゲームにおける完璧な量子戦略をとるのに必要な最小エンタングルメント（EPR対の数）はどの程度か？
• RQ3 局所的可換性といった構造的制約を用いて、古典的NP困難性の還元を体系的に量子ドメインへと持ち上げることは可能か？
• RQ4 BCSのグラフ構造と、完璧な量子戦略をとるのに必要なヒルベルト空間の次元との間にはどのような関係があるか？
• RQ5 BCSゲームにおける変数の出現回数を、量子充足可能性とエンタングルメント要件に影響を与えずに、1変数あたり3回にまで最小化できるか？

主な発見

• ランクNのクリフォードBCSゲームには、少なくとも⌊N/2⌋の共有EPR対を必要とする完璧な量子戦略が存在し、n = Θ(N²)変数に対してΩ(√n)の下界が確立される。
• N頂点の完全グラフに基づくパリティBCSゲームは、完璧な戦略をとるためにはΩ(√n)のEPR対を必要とし、このようなゲームが顕著なエンタングルメントを要することを示している。
• BCSゲームに完璧な量子戦略が存在することは、対応する制約系に対する量子充足割り当ての存在と同値である。
• 局所的に可換な還元により、量子演算子割り当て下での制約構造を保持することで、古典的NP困難性の結果を量子版へと持ち上げることが可能である。
• 高次数の変数を二分木を用いて置換することで、変数の出現回数を1変数あたり最大3回に削減可能であり、同時に量子充足可能性とエンタングルメントの下限を保持する。
• すべての既知のマジック・パリティBCSゲームはパウリ解を有しており、解空間の有限群構造から、変数数nに対して最大n個のEPR対で十分であることが示唆される。