[論文レビュー] Quantum Merlin-Arthur and Proofs Without Relative Phase

Roozbeh Bassirian, Bill Fefferman+1 more|arXiv (Cornell University)|Jun 23, 2023

Quantum Mechanics and Applications被引用数 2

ひとこと要約

この論文は、相対位相が存在しない（非負の振幅に制限された）量子メルリン・アーサー（QMA）の変種QMA+を調査する。定数ギャップを持つQMA+がギャップパラメータに応じてQMAまたはNEXPに等しくなることが示され、相対位相がメルリンの欺瞞的パワーの主要因であることが明らかになった。この結果は、EXP ≠ NEXPであればQMA+は拡張不可能であることを示唆する。

ABSTRACT

We study a variant of QMA where quantum proofs have no relative phase (i.e. non-negative amplitudes, up to a global phase). If only completeness is modified, this class is equal to QMA [arXiv:1410.2882]; but if both completeness and soundness are modified, the class (named QMA+ by Jeronimo and Wu) can be much more powerful. We show that QMA+ with some constant gap is equal to NEXP, yet QMA+ with some *other* constant gap is equal to QMA. One interpretation is that Merlin's ability to "deceive" originates from relative phase at least as much as from entanglement, since QMA(2) $\subseteq$ NEXP.

研究の動機と目的

• QMA+の複雑性を調査すること—相対位相が存在しない量子証明を持つQMAの変種。
• 相対位相を制限することで量子証明系の能力が変化するかどうかを特定すること。
• QMA+の能力が完全性と健全性のギャップに依存するかどうかを調査すること。
• 量子計算の困難さにおいて、相対位相とエンタングルメントの役割を明確にすること。

提案手法

• 非負の振幅を持つ単一の量子証明に対して剛性テストを適用することで、NEXP完全問題に対するQMA+プロトコルを提案する。
• スパarsityテストを設計し、特定の証明構造を強制する：1/√R ∑_{j∈[R]} |j⟩|v_j⟩ で、第二レジスタは定数サイズ。
• 複数の証明に依存せずに、スワップテストと振幅推定を用いて証明構造を検証する。
• プロンプトギャップの拡張技術を適用し、特定のギャップを持つQMA+がQMAに等しいことを示す。
• 任意の量子状態が定数要因の誤差で非負の振幅状態によって近似可能であることを示し、健全性解析を可能にする。
• 非負の振幅状態では、|+⟩^⊗m との重なりは ℓ1 ノルムの 2^{-m/2} 倍に等しいという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 定数ギャップを持つQMA+がNEXPに等しくなることは可能か？ もしそうなら、どのような条件下か？
• RQ2 相対位相を単独で制限することで、QMAを超える量子証明系の能力が向上するか？
• RQ3 あるギャップではQMA+がNEXPに等しくなる一方、別のギャップではQMAに等しくなるのはなぜか？ その二分性の背後にある理由は何か？
• RQ4 EXP ≠ NEXP ならばQMA+の拡張は可能か？ これは相対位相の役割に何を示唆するか？

主な発見

• ある定数ギャップを持つQMA+はNEXPに等しくなる。これは相対位相を制限することで最大の計算能力が得られることを示している。
• 別の定数ギャップを持つQMA+はQMAに等しくなる。これはQMA+のクラスがギャップパラメータの選択に敏感であることを示している。
• EXP ≠ NEXP であればQMA+は拡張不可能である。なぜなら、そうでなければQMAとNEXPの間に崩壊が生じるからである。
• 証明は、単一の非負振幅証明に対する剛性テストに依存しており、QMA+(2)で用いられる複数証明のスパarsityテストに代わる。
• 任意の量子状態は、非負の振幅状態によって、QMA+における受容確率が元の健全性の最大4倍になるように近似可能であり、これにより健全性の低減が可能になる。
• この結果は、エンタングルメントよりも相対位相がメルリンの欺瞞的パワーの中心的要因であることを示唆しており、QMA(2) ⊆ NEXP であるのに対し、定数ギャップを持つQMA+はNEXPに達することができる。