[論文レビュー] QMIP = MIP*

Anne Broadbent, Joseph F. Fitzsimons+1 more|arXiv (Cornell University)|Apr 7, 2010

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、量子多プローバーインタラクティブ証明システムによって決定可能な言語のクラスであるQMIPが、もつれを共有する古典的多プローバー系によって決定可能な言語のクラスMIP*に等しいことを証明している。著者らは、普遍的なブラインド量子計算をインタラクティブ証明フレームワークに適応することで、この設定において、共有もつれそのものが量子優位性の全能力を捉えていることを示し、量子検証者を必要としないことを明らかにした。

ABSTRACT

The way entanglement influences the power of quantum and classical multi-prover interactive proof systems is a long-standing open question. We show that the class of languages recognized by quantum multi-prover interactive proof systems, QMIP, is equal to MIP*, the class of languages recognized by classical multi-prover interactive proof systems where the provers share entanglement. After the recent result by Jain, Ji, Upadhyay and Watrous showing that QIP=IP, our work completes the picture from the verifier's perspective by showing that also in the setting of multiple provers with shared entanglement, a quantum verifier is no more powerful than a classical one: QMIP=MIP*. Our techniques are based on the adaptation of universal blind quantum computation (a protocol recently introduced by us) to the context of interactive proof systems. We show that in the multi-prover scenario, shared entanglement has a positive effect in removing the need for a quantum verifier. As a consequence, our results show that the entire power of quantum information in multi-prover interactive proof systems is captured by the shared entanglement and not by the quantum communication.

研究の動機と目的

• 量子多プローバーインタラクティブ証明システム（QMIP）が、もつれを共有する古典的多プローバー系（MIP*）よりも強力かどうかという長年の未解決問題を解明すること。
• 多プローバー証明システムにおける量子優位性の鍵となる資源が、量子通信か共有もつれかを特定すること。
• 共有もつれがある場合に、古典的検証者が量子検証者と同等の計算能力を達成できることを示すこと。
• この文脈における量子情報の全能力が、量子通信や量子検証ではなく、もつれそのものによって捉えられていることを確立すること。

提案手法

• 普遍的なブラインド量子計算プロトコルを多プローバーインタラクティブ証明モデルに適応すること。
• 共有もつれを用いて、古典的検証者が安全に量子計算を委譲できる方法で量子計算をシミュレートすること。
• もつれを共有するプローバーが、検証者が量子操作を実行する必要がない形で、いかなる量子計算もシミュレートできるプロトコルを構築すること。
• プローバーがもつれを共有する場合、検証者の量子能力が不要であることを示し、量子検証をもつれを共有する古典的検証に還元すること。
• インタラクティブ証明の構造を活用して、もつれがMIP*フレームワーク内での普遍的量子計算を可能にすることを示すこと。
• 得られたシステムがQMIPと同等の表現力を達成することを証明することで、QMIP = MIP*を確立すること。

実験結果

リサーチクエスチョン

• RQ1 量子検証者は、量子多プローバーインタラクティブ証明システムの全能力を発揮するために不可欠なのか、それとももつれを共有するプローバーがあれば古典的検証者で十分なのか？
• RQ2 共有もつれそのものがあれば、多プローバー証明システムにおける量子情報の全計算的優位性が得られるのか？
• RQ3 古典的検証者との古典的インタラクションのみで、もつれを共有するプローバーに普遍的量子計算を委譲できるのか？
• RQ4 もつれと量子通信のどちらが、インタラクティブ証明システムの能力を高めているのか、正確に特定できるか？
• RQ5 クラスQMIPはMIP*よりも厳密に大きいのか、それとも等価なのか？

主な発見

• QMIPはMIP*に正確に等しい、つまり、量子多プローバーインタラクティブ証明システムは、もつれを共有する古典的システムよりも計算能力が高くないことを示している。
• この文脈における量子情報の全能力は、量子通信や量子検証ではなく、共有もつれそのものによって捉えられていることを示している。
• プローバーがもつれを共有する場合、古典的検証者は量子検証者を模倣して同等の計算能力を達成できる。
• 普遍的なブラインド量子計算をインタラクティブ証明システムに適応することで、古典的インタラクションのみで完全な量子計算普遍性を達成できる。
• この結果は、このモデルにおける量子優位性が、もつれそのものから生じており、検証者の量子能力とは無関係であることを示唆している。
• 証明により、量子証明システムともつれを共有する古典的証明システムの間でタイトな同値性が確立され、検証者の視点から見た全体像が完成した。