[論文レビュー] Strong Parallel Repetition Theorem for Quantum XOR Proof Systems

Richard Cleve, William Slofstra+2 more|ArXiv.org|Aug 18, 2006

Computability, Logic, AI Algorithms参考文献 22被引用数 24

ひとこと要約

この論文は、量子XOR証明システムにおける完全な並列反復定理を確立し、複数のXORゲームの並列反復の量子値が、個々のゲームの量子値の積に等しいことを証明する。半定値計画法とフーリエ解析を用いて、もつれ状態を利用する証明者が独立戦略を通じて最適な成功確率を達成することを示し、これは非局所的相関のため、古典的状況では成り立たない性質である。

ABSTRACT

We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier's verdict is a function of the XOR of the two bits received. We show that, when the provers are allowed to coordinate their behavior using a shared entangled quantum state, a perfect parallel repetition theorem holds in the following sense. The prover's optimal success probability for simultaneously playing a collection of XOR proof systems is exactly the product of the individual optimal success probabilities. This property is remarkable in view of the fact that, in the classical case (where the provers can only utilize classical information), it does not hold. The theorem is proved by analyzing parities of XOR proof systems using semidefinite programming techniques, which we then relate to parallel repetitions of XOR games via Fourier analysis.

研究の動機と目的

• 証明者がもつれを共有する量子XOR証明システムに対して、強い並列反復定理を確立すること。
• 量子状況下で、XORゲームの並列反復の成功確率が、個々の成功確率の積に等しくなるかどうかを解明すること。
• 古典的戦略ではこの積の性質を満たさないのに対し、量子的行動と古典的行動を対比すること。
• 量子情報および最適化技術を用いて、XORゲームの並列反復における挙動を形式化すること。
• もつれに起因する相関のおかげで、量子戦略は古典的戦略とは異なり、完全な並列反復を達成することを示すこと。

提案手法

• 検証者が証明者のビットのXORに基づいて受理する二証明者インタラクティブシステムとしてXORゲームをモデル化する。
• もつれ状態を用いた最大成功確率としての量子値 ωq(G) を定義し、バイアス εq(G) = 2ωq(G) − 1 を導入する。
• 半定値計画法を用いて、XORゲームの量子値およびその和の特徴づけを行う。
• 部分集合のゲーム上で戦略を分解するためのフーリエ解析を適用し、バイアスとパリティの結果を結びつける。
• すべてのゲーム部分集合における期待バイアスが、並列ゲームの成功確率に等しいことを証明する。
• バイアス式における対称性と等号条件を活用して、量子ケースにおける等号を示し、積則に至る。

実験結果

リサーチクエスチョン

• RQ1 XORゲームの並列反復の量子値は、個々の量子値の積に等しいか？
• RQ2 量子状況では成り立つのに、なぜ古典的状況では完全な並列反復の性質が成立しないのか？
• RQ3 半定値計画法とフーリエ解析を用いて、量子XORゲームにおける最適戦略を特徴づけられるか？
• RQ4 もつれが、量子XOR証明システムにおける完全な並列反復を可能にする役割は何か？
• RQ5 量子戦略が並列反復において積の性質を示す構造的根拠は何か？これは古典的戦略とは異なる。

主な発見

• n個のXORゲームの並列反復の量子値は、個々の量子値の積に等しい：ωq(∧j=1^n Gj) = ∏j=1^n ωq(Gj)。
• もつれ戦略の構造とフーリエ分解におけるバイアスの振る舞いのおかげで、量子状況下では完全な並列反復の性質が成立する。
• 古典的対応物はこの積則を満たさず、例えばCHSHゲームを3回反復した場合の反例によって示される。
• XORゲームの和のバイアスは εq(⊕j∈M Gj) = ∏j∈M εq(Gj) を満たし、これが積則の証明の鍵となる。
• 対称的バイアス式における等号を示すことで、和ゲームの最適戦略が各成分における独立戦略によって達成されることを示した。
• ゲームが同一でなくても成立し、任意の有限個のXORゲームが並列反復に適用可能である。