[論文レビュー] Entanglement in Interactive Proof Systems with Binary Answers

Stephanie Wehner|Aug 26, 2005

Complexity and Algorithms in Graphs被引用数 20

ひとこと要約

この論文は、2人の量子もつれプローバーが2値の答えを提供し、検証者がそれらのXORを計算するインタラクティブプローフシステムが、1人のプローバーを持つ量子インタラクティブプローフシステムと同等かそれ以下の能力しか持たないことを示している。Tsirelsonの量子相関に関する境界を用いて、著者らは ⊕MIP*[2] ⊆ QIP(2) を証明し、このようなシステムがEXPに含まれることを示しており、2プローバーシステムにおけるもつれの能力に関する重要な問いを解決している。

ABSTRACT

If two classical provers share an entangled state, the resulting interactive proof system is significantly weakened [quant-ph/0404076]. We show that for the case where the verifier computes the XOR of two binary answers, the resulting proof system is in fact no more powerful than a system based on a single quantum prover: +MIP*[2] is contained in QIP(2). This also implies that +MIP*[2] is contained in EXP which was previously shown using a different method [Presentation of Cleve et al. at CCC'04]. This contrasts with an interactive proof system where the two provers do not share entanglement. In that case, +MIP[2] = NEXP for certain soundness and completeness parameters [quant-ph/0404076].

研究の動機と目的

• 検証者が2人のプローバーの2値の答えのXORを計算する際、もつれを共有する2プローバーシステムの計算能力を調査すること。
• このようなシステムにおけるもつれが、単一の量子プローバーで達成可能な能力を超えて計算能力を向上させるかどうかを特定すること。
• 特に、EXPを超えるか、それとも含まれるかを検証すること。
• 量子非局所的相関と、複数プローバー系が単一プローバーの量子系によってシミュレート可能であるという関係を確立すること。

提案手法

• 著者らは、ヒルバート空間内の実ベクトルを用いてもつれプローバー戦略をモデル化し、測定結果を内積によって表現する。
• Tsirelsonの定理を適用して、古典的XORゲームにおける最大の量子的破綻を制限し、量子戦略が古典的非局所的相関と同じ境界によって制限されることを示す。
• プローバーの応答をR^Nにおける単位ベクトルに符号化することで、1人のプローバーによる量子戦略を構築し、もつれのある2プローバーシステムをシミュレートする。
• 量子ゲームの値は、単位ベクトルの内積の最大化として表現され、これにより対応する非局所ゲームの量子値と直接的に関連づけられる。
• 2プローバーシステムの古典的シミュレーション値と1プローバーゲームの量子値を等置することで、計算能力の同等性を示す。
• もつれシステムの最大成功確率が、1プローバー量子インタラクティブプローフシステムのそれと一致することを示すことにより、結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 検証者が2値の答えのXORを計算する際、2人のプローバーがもつれを共有することで、インタラクティブプローフシステムの計算能力が著しく向上するか？
• RQ2 1人の量子プローバーは、このようなXORに基づくプローフシステムにおいて、2人のもつれプローバーの振るまいをシミュレートできるか？
• RQ3 ⊕MIP*[2] の正確な計算複雑度クラスは何か？ また、それはEXPを超えるのか？
• RQ4 量子相関に関するTsirelsonの境界は、XORゲームにおけるもつれプローバーの成功確率をどのように制限するか？

主な発見

• 論文は ⊕MIP*[2] ⊆ QIP(2) を証明し、XOR検証を受ける2人のもつれプローバーが、1人の量子プローバーと同等以上の能力を持たないことを示している。
• これにより ⊕MIP*[2] ⊆ EXP が成立し、従来の別手法による既知の結果を再確認するとともに、新たな量子的構造的解釈を提供している。
• もつれシステムの最大成功確率はTsirelsonの不等式によって制限されており、これは量子非局所的相関を制限する。
• ゲームの量子値は、N = min(|S|, |T|) におけるR^N内での単位ベクトルの最大内積に等しく、きわめて明確な対応関係が確立されている。
• 結果として、XORに基づく2プローバーシステムにおいてもつれは、単一の量子プローバーですでに達成可能な能力を超えて優位性を提供しないことが示された。