[論文レビュー] The Quantum PCP Conjecture

Dorit Aharonov, Itai Arad+1 more|arXiv (Cornell University)|Sep 28, 2013

Quantum Computing Algorithms and Architecture参考文献 76被引用数 33

ひとこと要約

この論文は、量子計算複雑性における中心的な未解決問題である量子PCP予想を調査している。これは、古典的PCP定理の量子版が成り立つかどうかを問うものである。量子ハミルトニアン複雑性、もつれ、量子誤り訂正、局所的にテスト可能な符号との関連を検討し、特に、基底状態が古典的に記述可能でない状態から大きく離れている場合でも、局所的ハミルトニアンの基底エネルギーを近似することがQMA困難であることを示すための主な課題と未解決問題を強調している。

ABSTRACT

The classical PCP theorem is arguably the most important achievement of classical complexity theory in the past quarter century. In recent years, researchers in quantum computational complexity have tried to identify approaches and develop tools that address the question: does a quantum version of the PCP theorem hold? The story of this study starts with classical complexity and takes unexpected turns providing fascinating vistas on the foundations of quantum mechanics, the global nature of entanglement and its topological properties, quantum error correction, information theory, and much more; it raises questions that touch upon some of the most fundamental issues at the heart of our understanding of quantum mechanics. At this point, the jury is still out as to whether or not such a theorem holds. This survey aims to provide a snapshot of the status in this ongoing story, tailored to a general theory-of-CS audience.

研究の動機と目的

• 量子制約充足問題における、古典的PCP定理に類似した量子PCP定理が存在するかどうかを調査すること。
• 量子PCP予想が量子もつれ、トポロジカルオーダー、量子誤り訂正に与える基礎的意味を探索すること。
• 量子ハミルトニアン複雑性における中心的な未解決問題を特定・分析し、量子PCP予想の解決に寄与すること。
• 局所的にテスト可能な符号や確率的チェック可能な証明といった古典的PCP技術を、量子複雑性理論の文脈におけるそれらの量子版に結びつけること。
• NLTSハミルトニアンや量子誤り訂正符号といったツールを用いて、量子PCP還元を構築する可能性を評価すること。

提案手法

• 小さな数のキュービットに作用する制約を持つ、量子制約充足問題（k-CSP）の枠組みを採用し、古典的k-CSPに類似させる。
• 局所的ハミルトニアンの形式的枠組みを用い、各項が制約に対応し、全エネルギーが違反された制約の数に対応する。
• 特にQMAおよびその指数時間版QMA_EXPを含む量子複雑性クラスを通じて、量子PCP予想を分析する。
• 量子誤り訂正符号の役割とその制限を検討し、論理的演算子の非局所性のため、標準的な符号ではPCP還元に直接利用できないことを指摘する。
• 量子局所的にテスト可能な符号（qLTC）を、量子PCP構成のための潜在的構築要素として調査し、その頑健性とNLTS予想との関係に焦点を当てる。
• Bravyi-Vyalyiマシンを用いた間接的証明法を検討し、明示的な古典的記述なしに低エネルギー状態を検証する方法を、qPCPへの道筋として探る。

実験結果

リサーチクエスチョン

• RQ1 量子PCP予想は証明可能か？ すなわち、基底状態が任意の古典的記述可能状態から大きく離れている場合でも、局所的ハミルトニアンの基底エネルギーを近似することがQMA困難であることを示せるか？
• RQ2 量子局所的にテスト可能な符号（qLTC）の最適な頑健性は何か？ また、qPCP構成を支えるために定数頑健性に達成可能か？
• RQ3 トポロジカルオーダーを示す量子誤り訂正符号（たとえばトーリック符号）は、量子PCP構成を妨げるか、あるいは促進するか？
• RQ4 多プローバーインタラクティブ証明系におけるもつれたプローバーの性質は、量子PCP予想とどのように関係するか？ 特に最近の結果MIP* = NEXPと照らし合わせて検討する。
• RQ5 NLTS予想は、局所的ハミルトニアンの低エネルギー状態が非自明であるだけでなく、効率的に古典的に記述可能でないことを保証するために強化可能か？

主な発見

• 量子PCP予想は未解決のままだが、量子基礎理論や強相関系物理学の深い問題と強く関連しており、広く真であると信じられている。
• 基底状態に低エネルギーの積状態が存在しないような局所的ハミルトニアンの存在を主張するNLTS予想は、量子PCP予想の証明への重要な第一歩である。
• 量子局所的にテスト可能な符号（qLTC）は定義されているが、その頑健性は現在弱く抑えられており、定数頑健性の達成は未解決の課題のままである。
• 標準的な量子誤り訂正符号は、論理的演算子の非局所性のため、量子PCP構成に直接利用できない。
• Bravyi-Vyalyiマシンを用いた間接的証明法は、qPCPへの代替的道筋を提供する可能性があるが、qPCP予想が真であるならば、それだけでは不十分である。
• 最近の結果MIP* = NEXPは、量子多プローバー証明系と量子複雑性の間に深い関係があることを示唆し、量子PCP予想を解くための新たなツールを提供する可能性がある。