[論文レビュー] Quantum Certificate Verification: Single versus Multiple Quantum Certificates

Hirotada Kobayashi, Keiji Matsumoto+1 more|ArXiv.org|Oct 1, 2001

Quantum Computing Algorithms and Architecture参考文献 18被引用数 11

ひとこと要約

この論文は、量子検証者がk個の量子証明書をテンソル積形式で使用する量子計算複雑性クラスQMA(k)を導入し、もつれ状態の量子的同一性によりQMA(2)がQMA(1)よりも厳密に強力であることを示している。任意のk ≥ 2に対して片側有界誤差QMA(k)プロトコルがQMA(2)プロトコルでシミュレート可能であることを証明しており、有限個の証明書のパワーを捉えるには2つの証明書で十分であることを示している。

ABSTRACT

The class MA consists of languages that can be efficiently verified by classical probabilistic verifiers using a single classical certificate, and the class QMA consists of languages that can be efficiently verified by quantum verifiers using a single quantum certificate. Suppose that a verifier receives not only one but multiple certificates. In the classical setting, it is obvious that a classical verifier with multiple classical certificates is essentially the same with the one with a single classical certificate. However, in the quantum setting where a quantum verifier is given a set of quantum certificates in tensor product form (i.e. each quantum certificate is not entangled with others), the situation is different, because the quantum verifier might utilize the structure of the tensor product form. This suggests a possibility of another hierarchy of complexity classes, namely the QMA hierarchy. From this point of view, we extend the definition of QMA to QMA(k) for the case quantum verifiers use k quantum certificates, and analyze the properties of QMA(k). To compare the power of QMA(2) with that of QMA(1) = QMA, we show one interesting property of ``quantum indistinguishability''. This gives a strong evidence that QMA(2) is more powerful than QMA(1). Furthermore, we show that, for any fixed positive integer $k \geq 2$, if a language L has a one-sided bounded error QMA(k) protocol with a quantum verifier using k quantum certificates, L necessarily has a one-sided bounded error QMA(2) protocol with a quantum verifier using only two quantum certificates.

研究の動機と目的

• QMA(k)という複雑性クラスを形式化・分析し、QMAにk個の未もつれた量子証明書を含める拡張を実施する。
• 複数の量子証明書が量子検証において単一の証明書よりも計算パワーを向上させるかを調査する。
• 異なるkに対するQMA(k)の関係、特にk ≥ 2のときQMA(k)がQMA(2)に収縮するかどうかを特定する。
• 片側誤差において、テンソル積構造を検出するC-SWAPアルゴリズムの最適性を確立する。

提案手法

• QMAを一般化してQMA(k)を導入し、量子検証者が多項式時間の量子操作を用いてk個の未もつれた量子証明書を検証する。
• 状態が任意の積状態からどれほど区別可能かを定義するため、F(ρ,σ)という類縁度測度を用いる。これが同一性結果の基盤をなす。
• C-SWAPテストを、状態が2つの部分系にわたって積状態かどうかを検証する主な測定戦略として適用する。
• C-SWAPアルゴリズムが、片側誤差による積状態の検証において最適なPOVMを実現することを証明し、誤検出確率を最小化する。
• 対称状態の空間を定義するための対称性に基づく射影演算子P_symを用い、最適性証明の根拠とする。
• 証明書間にもつれがないことを利用し、3つの証明書をテンソル積構造を介して2つに符号化することで、QMA(3)プロトコルをQMA(2)プロトコルに還元する。

実験結果

リサーチクエスチョン

• RQ1 複数の量子証明書がテンソル積構造を活用できる場合、QMA(2)はQMA(1)よりも厳密に強力か？
• RQ2 k ≥ 2の任意のQMA(k)プロトコルは、片側有界誤差の下でQMA(2)プロトコルでシミュレート可能か？
• RQ3 片側誤差で積状態と最大もつれ状態を区別するための最適な量子測定は何か？
• RQ4 C-SWAPアルゴリズムは、3部構造状態を2つの部分に分解可能かどうかを検証する際に最小誤差確率を達成するか？
• RQ5 証明者が事前にもつれを共有している場合、証明書が未もつれであってもQMA(k)のパワーにどのような影響を与えるか？

主な発見

• 本論文は強力な量子的同一性結果を確立した：任意のε ≤ 1 − 2−n/2に対して、いかなる量子測定でも最大もつれ状態と積状態を、自明な成功確率より高く区別することはできない。
• QMA(2)はQMA(1)よりも厳密に強力であり、これは単一の証明書では解けないが2つの証明書では解ける問題（積状態と高もつれ状態の区別）の存在によって示された。
• k ≥ 2の任意の片側有界誤差QMA(k)プロトコルは、片側有界誤差QMA(2)プロトコルでシミュレート可能であり、これによりこのような状況下ではQMA(k)がQMA(2)に収縮することが示された。
• C-SWAPアルゴリズムは、片側誤差による積状態検証の最適POVMを実現しており、最小の可能な誤差確率を達成している。
• 積状態の検出に最適な測定はM₀ = I ⊗ P_symで与えられ、これは2つの部分系の対称部分空間に射影するものであり、片側誤差において必要かつ十分である。
• 証明では、C-SWAPに基づく戦略より低い誤検出誤差を達成できる測定は存在しないことが示され、片側誤差設定下での最適性が確認された。