[論文レビュー] Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?

Hirotada Kobayashi, Keiji Matsumoto+1 more|ArXiv.org|Jun 6, 2003

Quantum Computing Algorithms and Architecture被引用数 7

ひとこと要約

本稿は、複数の量子メルリンク・アーサー証明系における未重ねの量子証明書の研究を行い、証明書の数を2つに削減するための必要十分条件を確立している。完全な音声性の下では、複数の量子証明書は、単一の証明書が提供するもの以上のアーサーの検証能力を向上させないことが示されており、これは量子もつれの制約によって、古典的マルチ証明系とは根本的に異なる点を強調している。

ABSTRACT

This paper introduces quantum ``multiple-Merlin''-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical multi-proof systems are obviously equivalent to classical single-proof systems (i.e., usual Merlin-Arthur proof systems), it is unclear whether or not quantum multi-proof systems collapse to quantum single-proof systems (i.e., usual quantum Merlin-Arthur proof systems). This paper presents a necessary and sufficient condition under which the number of quantum proofs is reducible to two. It is also proved that, in the case of perfect soundness, using multiple quantum proofs does not increase the power of quantum Merlin-Arthur proof systems.

研究の動機と目的

• 量子メルリンク・アーサー系における、複数の未重ねの量子証明書が単一の量子証明書よりも計算上の利点を提供するかどうかを調査すること。
• 量子証明書の数を2つに削減できる条件を特定すること。
• 量子検証においてテンソル積状態ともつれた状態を区別する際の、もつれと測定制限の役割を明確にすること。
• k個の量子証明書を持つ複雑度クラスQMA(k)が、完全な音声性の下でQMA(2)またはQMAに崩壊するかどうかを検討すること。
• 古典的システムとは異なり、量子マルチ証明系が単一証明系よりも強力であるかどうかという基礎的問いに答えること。

提案手法

• k個の未重ねの量子証明書を有する量子メルリンク・アーサー証明系を導入し、k個の量子証明書を持つ問題を多項式時間の量子検証者が検証可能なクラスQMA(k)として定義する。
• 分離状態（純粋状態のテンソル積）ともつれた状態を区別するために、正の演算子値測定（POVM）を用いて検証プロセスを分析する。
• 2つの量子状態を区別する際の誤差確率を抑え込むために、ミニマックス最適化フレームワークを適用する。1つの状態は分離状態の集合に属し、もう1つの状態は任意の分離状態との重み付き類似度が有界な状態に属する。
• d次元ヒルベルト空間内の最大もつれ状態と積状態の両方に一様事前分布を導入し、対称的な区別問題を構築する。
• 積状態の平均と最大もつれ状態の平均が両方とも最大混合状態を生成することを用いて、いかなるPOVMでもそれらを確実に区別できないことを示す。
• 任意のε ≤ 1 − 2−n/2に対して、一様事前分布の下で、ランダムな積状態とランダムな最大もつれ状態を区別する際、いかなるPOVMもランダム推測を上回ることはできないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 量子メルリンク・アーサー系において、複数の未重ねの量子証明書は、単一の量子証明書よりも計算能力を向上させることができるか？
• RQ2 kプローバーの量子メルリンク・アーサー系が2プローバー系に縮約可能となる条件は何か？
• RQ3 量子状態の非局所性と測定制限の観点から、古典的マルチ証明系と量子マルチ証明系には根本的な違いがあるか？
• RQ4 完全な音声性の下で、複数の量子証明書が単一の証明書よりも優位性を発揮できないのはなぜか？
• RQ5 2n量子ビット系において、ランダムな積状態とランダムな最大もつれ状態を区別するのに、任意のPOVMが効果的に機能できるか？

主な発見

• QMA(k)系における量子証明書の数を2つに削減できる必要十分条件が確立された。
• 完全な音声性の下では、複数の量子証明書は、単一の量子証明書が提供するもの以上の検証能力をアーサーに与えない。
• 任意のε ≤ 1−2−n/2に対して、2n量子ビット系において、任意の積状態との類似度が1−ε以下である状態に対して、一様事前分布の下で、ランダムな積状態とランダムな最大もつれ状態を区別する際、いかなるPOVMもランダム推測を上回ることはできない。
• d×d系におけるすべての積状態の平均とすべての最大もつれ状態の平均は、両方とも最大混合状態を生成するため、いかなる測定でも区別不能である。
• 1つの未知の状態からテンソル積構造を検出できないという事実から、アーサーは標準的な前処理を用いて、1つの証明書で複数の証明書を効率的にシミュレートできない。
• この結果は、定数kに限らず、多項式的に有界なkに対しても成り立つ。従来の結果は定数kに限定されていたが、本稿では成功確率の増幅に依存しない形で、より強力な結果を得た。