[論文レビュー] QMA/qpoly Is Contained In PSPACE/poly: De-Merlinizing Quantum Protocols

Scott Aaronson|ArXiv.org|Oct 31, 2005

Quantum Computing Algorithms and Architecture参考文献 14被引用数 15

ひとこと要約

この論文は、量子状態における存在的量化子を排除するための新規技術を導入し、QMAに多項式サイズの量子アドバイスを追加したクラス（QMA/qpoly）が、多項式サイズの古典的アドバイスを追加したPSPACE（PSPACE/poly）に含まれることを証明する。主な結果は、この文脈において、量子アドバイスが古典的アドバイスに対して指数的優位性を提供しないことを示しており、量子計算複雑性理論における根本的問題を解決するとともに、QIP/qpoly = ALL といった最近の結果とは対照的である。

ABSTRACT

This paper introduces a new technique for removing existential quantifiers over quantum states. Using this technique, we show that there is no way to pack an exponential number of bits into a polynomial-size quantum state, in such a way that the value of any one of those bits can later be proven with the help of a polynomial-size quantum witness. We also show that any problem in QMA with polynomial-size quantum advice, is also in PSPACE with polynomial-size classical advice. This builds on our earlier result that BQP/qpoly is contained in PP/poly, and offers an intriguing counterpoint to the recent discovery of Raz that QIP/qpoly = ALL. Finally, we show that QCMA/qpoly is contained in PP/poly and that QMA/rpoly = QMA/poly.

研究の動機と目的

• 量子複雑性クラスにおいて、量子アドバイスが古典的アドバイスに対して指数的優位性を提供するかどうかを解明すること。
• 存在的量化子を量子状態に対して取り除くための新しい技術を開発し、量子プロトコルのデ・メルリンク化を可能にすること。
• QMA/qpoly ⊆ PSPACE/poly の包含関係を確立し、この文脈において量子アドバイスが古典的アドバイスよりも計算能力を高めないことを示すこと。
• 量子ウィtnessとそれらが古典的または量子アドバイスとどのように相互作用するかを分析することで、量子アドバイスの限界を調査すること。
• これらの結果が、QCMA/qpoly や QMA/rpoly といった他の複雑性クラスに与える影響を調査すること。

提案手法

• 量子状態が計算基底状態におけるシャドウとして検出可能であるという事実を活用し、メルリンクからの量子メッセージを古典的メッセージに置き換えるデ・メルリンク化技術を導入する。
• 任意の量子ウィtnessを、量子検証者への古典的クエリのみを用いてシミュレートするための量子アンプリフィケーション手順を採用し、高い確率で正しさを保証する。
• すべての古典的基底状態をループ処理するカウンターベースの検証プロトコルを用い、有効な量子ウィtnessが存在するかどうかを受容確率の測定により検出する。
• 量子アモニチュードアンプリフィケーションと誤差低減技術を適用し、正しいウィtnessの受容確率が誤ったものと明確に分離されるように保証する。
• すべての可能な古典的アドバイス文字列を反復し、有界誤差を伴う量子回路を用いて量子ウィtnessとの整合性を検証することで、QMA/qpolyマシンの振る舞いをシミュレートするPSPACEアルゴリズムを構築する。
• 濃度の境界とスペクトル解析（例：補題14および補題15）を用いて、検証プロセスにおける偽陽性および偽陰性の確率を制限する。

実験結果

リサーチクエスチョン

• RQ1 QMA複雑性クラスにおいて、量子アドバイスが古典的アドバイスに対して指数的優位性を提供できるか？
• RQ2 QMA/qpolyにおける量子ウィtnessを、PSPACEマシンと古典的アドバイスのみを用いてシミュレートすることは可能か？
• RQ3 QMAプロトコルにおける量子状態に関する存在的量化子を効果的に取り除くことは可能か？ その結果、PSPACEに包含関係が成立するか？
• RQ4 PSPACE計算と組み合わせた場合、量子アドバイスのパワーが古典的アドバイスに還元されるか？
• RQ5 量子アドバイスのサイズに関する下界を、Ω(2^n / n²) から Ω(2^n) に高めることは可能か？ これにより対数的要因を排除できるか？

主な発見

• QMA/qpoly は PSPACE/poly に含まれる。これは、多項式サイズの量子アドバイスを用いた量子メルリンク＝アーティストプロトコルで解ける任意の問題が、多項式サイズの古典的アドバイスを用いた古典的多項式空間マシンでも解けることを意味する。
• デ・メルリンク化の技術により、量子状態の計算基底状態におけるシャドウを活用することで、メルリンクからの量子メッセージを古典的メッセージに置き換えることが可能である。
• 本論文では、QCMA/qpoly ⊆ PP/poly を確立し、結果をQCMA設定へと拡張した。
• QMA/rpoly = QMA/poly であることが示された。これは、アドバイスにランダムネスを含んでも、決定的アドバイスで達成可能なパワーを超えないことを意味する。
• 量子アドバイスのサイズに関する下界は Ω(2^n / n²) であり、この文脈において量子アドバイスが古典的アドバイスに対して超多項式的優位性を持たないことを示唆している。
• Razの結果（QIP/qpoly = ALL）とは対照的に、本結果は量子アドバイスが、すべての量子インタラクティブプロトコルシステムにおいて同じ崩壊を引き起こすわけではないことを示している。