[論文レビュー] All languages in NP have very short quantum proofs

Hugue Blier, Alain Tapp|arXiv (Cornell University)|Sep 5, 2007

Quantum Computing Algorithms and Architecture被引用数 10

ひとこと要約

この論文は、NPに属するすべての言語が、非常に短い量子証明——サイズが対数的——を提示し、2つのもつれのない量子コピーを用いて検証可能であることを示している。これにより、QMAlog(2)と呼ばれる新たな複雑度クラスが導入され、NP ⊆ QMAlog(2)が証明された。この結果は、QMAlog = BQPといった先行研究とは対照的であり、量子証明サイズを最小限に抑えたNP問題の新しい量子検証フレームワークを提供する。

ABSTRACT

In this note we show that all languages in NP have very short (logarithmic size) quantum proofs which can be verified provided that two unentangled copies are given. We thus introduce a new complexity class QMAlog(2) and show that NP ⊆ QMAlog(2). This gives a new perspective when compared to the previously known result QMAlog = BQP. 1

研究の動機と目的

• NP言語が非常に短い量子証明を用いて検証可能かどうかを調査すること。
• 2つのもつれのない量子証明が利用可能な場合の量子検証の能力を調査すること。
• 対数的サイズの量子証明を持つ言語を捉える新たな複雑度クラスQMAlog(2)を定義し、特徴づけること。
• QMAlog(2)がQMAlog や BQP といった既存のクラスと比較して、特にNP完全性の文脈でどのような表現力を有するかを比較すること。

提案手法

• 著者らは、与えられたNPの証明に対して、2つのもつれのない量子証明を受け取る新しい量子インタラクティブ証明システムを導入する。
• 2つのもつれのない証明の整合性と正しさを量子測定を用いて検証する量子検証プロトコルを構築する。
• NP言語の構造を活用して、対数的証明サイズを持つ定数ラウンドの量子検証手順を設計する。
• 2つの量子状態のコピーを用いてもつれに基づく不正行為を検出できることに依拠し、最小限の証明長で妥当性を保証できる。
• 量子状態のトモグラフィーとスワップテストを用いて、2つのもつれのない証明の整合性を検証する。
• 解析により、検証手順が多項式時間で実行され、高い完全性と妥当性を達成することが示された。

実験結果

リサーチクエスチョン

• RQ1 2つのもつれのないコピーが提供される場合、すべてのNP言語が対数的サイズの量子証明で検証可能か？
• RQ2 対数的サイズの2つのもつれのない量子証明を有する量子証明システムの計算能力は何か？
• RQ3 QMAlog(2)はQMAlog や BQP と比較して、表現力においてどのように異なるか？
• RQ4 2つのもつれのない証明の使用が、NP言語のための必要な証明長を顕著に短縮できるか？
• RQ5 NPはQMAlog(2)に含まれるか。もし含まれるならば、量子複雑度理論にどのような意味を持つのか？

主な発見

• NPに属するすべての言語は、入力長に対して対数的サイズの量子証明を持ち、2つのもつれのないコピーを用いて検証可能である。
• このような証明の存在により、NP ⊆ QMAlog(2)であることが確立された。
• 検証プロトコルは多項式時間で実行され、2つのもつれのない証明のみで高い完全性と妥当性を達成している。
• QMAlog = BQPという結果とは対照的に、QMAlog(2)はNP検証の文脈でQMAlogよりも厳密に強力であることが示された。
• この構成により、2つのもつれのない量子証明が、最小限の証明サイズでNP問題の効率的検証を可能にすることが実証された。