[論文レビュー] Identity check is QMA-complete

Dominik Janzing, Paweł Wocjan+1 more|arXiv (Cornell University)|May 9, 2003

Quantum Computing Algorithms and Architecture参考文献 5被引用数 28

ひとこと要約

この論文は、量子回路が恒等演算子にほぼ等価かどうかを判定するという量子問題である「アイデンティティーチェック」がQMA完全であることを証明している。さらに、共通の不変部分空間に制限された2つの量子回路間の等価性を検証するより一般的な問題についても、QMA完全であることを示している。量子見せん状態を用いた量子検証と作用素ノルム解析を用いて、QMA複雑度クラス内での完全性を実証している。

ABSTRACT

We define the problem identity check: Given a classical description of a quantum circuit, determine whether it is almost equivalent to the identity. Explicitly, the task is to decide whether the corresponding unitary is close to a complex multiple of the identity matrix with respect to the operator norm. We show that this problem is QMA-complete. A generalization of this problem is equivalence check: Given two descriptions of quantum circuits and a description of a common invariant subspace, decide whether the restrictions of the circuits to this subspace almost coincide. We show that equivalence check is also in QMA and hence QMA-complete.

研究の動機と目的

• 量子回路が恒等演算子にほぼ等価かどうかを判定するという「アイデンティティーチェック」問題を定義・形式化すること。
• この問題を一般化し、指定された不変部分空間上で2つの量子回路が一致するかどうかを検証する「等価性チェック」を定義すること。
• アイデンティティーチェックと等価性チェックの両方が、量子複雑度クラスQMAに完全であることを確立すること。
• 不変部分空間が量子誤り訂正符号またはデコherenceフリー部分空間によって定義されても、問題が依然としてQMA完全のままであることを示すこと。
• 高い確率で回路の等価性を確認できる量子検証プロトコルを提示すること、その際に量子見せん状態を用いること。

提案手法

• 量子回路のユニタリ演算子が恒等行列のグローバル位相に作用素ノルム距離μ以内にあるかどうかを判定するアイデンティティーチェック問題を定義する。
• 等価性チェックに一般化する：共通の不変部分空間Vに制限された2つの回路UxとUyが、近似的に等価かどうかを検証する。
• 量子見せん状態を受け入れる量子検証回路を用い、合成回路Ux†Uyがグローバル位相に近いかどうかをテストする。
• 固有値の差を用いて、ユニタリ演算子とグローバル位相変換の集合との間の作用素ノルム距離を評価する。
• 系の状態を符号化した見せん状態|Ψ⟩を構築し、それを使って回路合成が恒等演算から著しく逸脱していないかをテストする。
• 誤差確率ϵを任意に小さくできるように増幅技術を活用し、QMAフレームワーク内での健全性と完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 量子回路が恒等演算子にほぼ等価かどうかを判定する問題は、QMA完全か？
• RQ2 共通の不変部分空間に制限された2つの量子回路の等価性は、QMA複雑度クラス内で決定可能か？
• RQ3 量子見せん状態は、高い信頼性で回路の等価性を検証するために果たす役割は何か？
• RQ4 ユニタリ演算子とグローバル位相変換との間の作用素ノルム距離は、回路恒等性の検証とどのように関係するか？
• RQ5 アイデンティティーチェックのQMA完全性は、部分空間を含むより一般的な等価性問題へ拡張可能か？

主な発見

• アイデンティティーチェック問題はQMA完全であり、QMA複雑度クラスに属する最も難しい問題の一つである。
• 2つの回路が共通の不変部分空間上で一致するかどうかを判定する等価性チェック問題もQMA完全である。
• 高い確率で回路の等価性を検証できる量子検証者が存在することにより、完全性が確立されている。
• ユニタリ演算子とグローバル位相変換の集合との間の作用素ノルム距離は、固有位相の差によって抑えられ、ノルムに基づく検証が可能になる。
• 検証プロトコルにおける誤差確率ϵは、増幅により任意に小さくできるため、QMA検証の堅牢性が保証される。
• 不変部分空間が量子誤り訂正符号やデコherenceフリー部分空間によって定義されても、結果は成り立つため、広範な適用可能性を示している。