[論文レビュー] Classical Verification of Quantum Proofs

Zhengfeng Ji|arXiv (Cornell University)|May 27, 2015

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿は、局所ハミルトニアン問題のための量子証明を検証する古典的インタラクティブプロトコルを提示し、多プレイヤー1ラウンドゲームの非局所的値を逆多項式精度で近似することがQMA-hardであることを示している。本研究は、エンタングルドプローバーと量子安定化子コードの部分的剛性を通じて、QMA完全性、ハミルトニアン複雑性、および非局所ゲームの深い関係を確立する。

ABSTRACT

We present a classical interactive protocol that verifies the validity of a quantum witness state for the local Hamiltonian problem. It follows from this protocol that approximating the non-local value of a multi-player one-round game to inverse polynomial precision is QMA-hard. Our work makes an interesting connection between the theory of QMA-completeness and Hamiltonian complexity on one hand and the study of non-local games and Bell inequalities on the other.

研究の動機と目的

• 局所ハミルトニアン問題のための量子ウィtness状態を、古典的通信とエンタングルドプローバーのみを用いて、古典的インタラクティブプロトコルで効率的に検証すること。
• QMA完全性、ハミルトニアン複雑性、およびエンタングルドプローバーを用いた非局所ゲームの間の関係を確立すること。
• 多プレイヤー1ラウンドゲームの非局所的値を逆多項式精度で近似することがQMA-hardであることを示すこと。
• 非局所ゲームの剛性理論を、指定された特別なプレイヤーを有する一般の安定化子コードへと拡張すること。

提案手法

• エンタングルドプローバーを用いた複数のプローバーが参加する1ラウンドゲームを用い、検証者は非局所的相関を通じて古典的に量子証明を検証する。
• 特別なプレイヤー（t）を有する一般化された安定化子コードゲームを採用し、XZ形式の生成子を用いて質問と答えのパリティを定義する。
• 安定化子のXおよびZ生成子を用いて、t番目のキュービット上で「π/4トリック」を適用し、4つの演算子 h₁⁽ᵗ⁾, h₂⁽ᵗ⁾, h₃⁽ᵗ⁾, h₄⁽ᵗ⁾ を生成する。
• 質問は {*, 0, 1, 2, 3} のラベルとして符号化され、* は質問なしを示し、答えはパリティが事前に定義された符号と一致するビットである。
• プロトコルは部分的剛性定理に依存しており、最適に近い量子戦略は、理想の量子戦略と同型でなければならないことを示している。
• 反射の状態依存距離測度とトレース不等式を用いた分析により、理想戦略からの逸脱を制限する。

実験結果

リサーチクエスチョン

• RQ1 古典的検証者が、古典的通信とエンタングルドプローバーのみを用いて、局所ハミルトニアン問題のための量子ウィtness状態を効率的に検証できるか？
• RQ2 多プレイヤー1ラウンドゲームの非局所的値を逆多項式精度で近似することはQMA-hardか？
• RQ3 非局所ゲームの剛性を、指定された特別なプレイヤーを有する一般の安定化子コードへと拡張できるか？
• RQ4 エンタングルメントは、古典的戦略と比較してより高い非局所的値を実現するために果たす役割は何か？

主な発見

• 多プレイヤー1ラウンドゲームの非局所的値を逆多項式精度で近似することはQMA-hardである。
• 特別なプレイヤーを有する安定化子ゲームは部分的剛性を達成しており、任意の最適に近い量子戦略は、理想の量子戦略と同型でなければならない。
• 古典的検証者を用いた量子証明の検証プロトコルは、エンタングルド非局所ゲームを通じて構築され、QMAと非局所ゲーム複雑性の間の橋渡しを果たす。
• 分析により、反射と理想戦略との間の状態依存距離が、(1 + Cₗ)² の期待値の平方根によって有界であることが示され、健全性が保証される。
• 構成は、距離 ≥2 で固定されていないキュービットを有する任意の安定化子コードへと五キュービットコードゲームを一般化する。
• 本手法により、エンタングルドプローバーに対する多項式的線形性テストの健全性が証明され、NEXP ⊆ MIP* の包含関係が支持される。