[論文レビュー] A Survey of Quantum Property Testing

Ashley Montanaro, Ronald de Wolf|arXiv (Cornell University)|Oct 8, 2013

Quantum Mechanics and Applications参考文献 139被引用数 48

ひとこと要約

本調査は、量子性質検証を3つの分野に分類することで、量子性質検証の包括的な概要を提供する：古典的性質のための量子検証者（例：ショアのアルゴリズムやシモンのアルゴリズムによる指数的高速化）、量子対象のための古典的検証者（例：自己テストによる量子ゲート）、および量子性質のための量子検証者（例：状態の同一性、分離可能性、ユニタリ行列の可換性のテスト）。主な貢献は、既知の結果を統一的かつ体系的に整理し、量子複雑性理論における未解決問題を浮き彫りにするとともに、量子性質検証が量子PCP定理の証明における役割を果たす可能性を示している。

ABSTRACT

The area of property testing tries to design algorithms that can efficiently handle very large amounts of data: given a large object that either has a certain property or is somehow "far" from having that property, a tester should efficiently distinguish between these two cases. In this survey we describe recent results obtained for quantum property testing. This area naturally falls into three parts. First, we may consider quantum testers for properties of classical objects. We survey the main examples known where quantum testers can be much (sometimes exponentially) more efficient than classical testers. Second, we may consider classical testers of quantum objects. This is the situation that arises for instance when one is trying to determine if quantum states or operations do what they are supposed to do, based only on classical input-output behavior. Finally, we may also consider quantum testers for properties of quantum objects, such as states or operations. We survey known bounds on testing various natural properties, such as whether two states are equal, whether a state is separable, whether two operations commute, etc. We also highlight connections to other areas of quantum information theory and mention a number of open questions.

研究の動機と目的

• 量子性質検証の新興分野を3つの分野に分類して体系化・サーベイすること：古典的対象のための量子検証者、量子システムのための古典的検証者、および量子対象のための量子検証者。
• 特定の問題、例えばジャンパス、群論的性質、関数の対称性などに対して、古典的性質検証者よりも指数的または顕著な高速化を達成する量子アルゴリズムを同定・分析すること。
• 量子性質検証とより広範な量子複雑性理論との関係を調査すること。特に、量子PCP予想やQMA(k) = QMA(2)のような複雑性クラスの包含関係について。
• 未解決問題や研究の方向性を強調すること。特に、どの性質が効率的な量子検証者を許容するかを特定し、古典的性質検証の概念を量子ドメインに拡張する方法について。

提案手法

• 量子性質検証を3つの主要な設定に分類する：古典的対象のための量子検証者、量子システムのための古典的検証者、および量子対象のための量子検証者。
• アモニチュード強調、ベルンシュタイン＝ヴァジラニ、シモン、ショア、アンバインスのアルゴリズムなどの主要な量子アルゴリズムを、効率的な量子検証者の構築の基盤としてレビューする。
• 多項式法およびアドバーガリ法を用いて、量子性質検証者のクエリ複雑性の下界を導出し、可能な高速化の限界を確立する。
• 距離測度（例：トレース距離、fidélité）を用いて、量子状態およびプロセスのテストにおける「近さ」と「遠さ」を形式化し、検証者の性能を厳密に分析可能にする。
• 量子ゲートおよびユニタリ行列の自己テストプロトコルを分析し、完全な状態トモグラフィーを用いずに、古典的入出力動作に基づいて量子操作を検証する方法を検討する。
• 量子複雑性理論との関係を調査し、特にQMA(k) = QMA(2)のような複雑性クラスの等価性の証明における量子性質検証者の利用や、量子PCP予想への影響を検討する。

実験結果

リサーチクエスチョン

• RQ1 量子アルゴリズムは、ジャンパス、対称性、または群論的関数などの自然な古典的性質について、古典的性質検証者よりも指数的高速化を達成できるか？
• RQ2 古典的入出力動作をどのように活用して、量子操作や状態の正しさを検証できるか。つまり、量子デバイスのための古典的自己テストの限界は何か？
• RQ3 量子状態の基本的性質（同一性、分離可能性、積構造など）をテストするための量子クエリ複雑度は何か？
• RQ4 量子性質検証者が、量子PCP予想のような量子複雑性理論的予想の証明や支援にどの程度利用できるか？
• RQ5 どのクラスの量子的または古典的性質が効率的な量子検証者を許容するか。また、このような性質の一般的な特徴づけを構築できるか？

主な発見

• ジャンパス、対称関数、特定の群論的性質などの性質について、ベルンシュタイン＝ヴァジラニやシモンのアルゴリズムを用いて、量子検証者が古典的検証者よりも指数的高速化を達成できる。
• 量子ゲートおよびユニタリ行列のための自己テストプロトコルが存在し、完全な状態トモグラフィーを必要とせず、古典的入力と出力の観測のみで量子操作の検証が可能である。これは、デバイスに依存しない量子計算への応用を持つ。
• 量子状態のための検証者では、固定された純粋状態との同一性、積構造、ユニタリ不変性などの性質を、システムサイズの対数スケールでクエリ複雑性が増加する形で効率的にテストできる。
• ユニタリ演算子のための検証者では、可換性、パウリ群やクリフォード群への属性、およびユニタリジャンパスであるかどうかのテストが可能であり、多くの場合、システムサイズに依存しない複雑性を示す。
• 量子性質検証者の分析は、QMA(k) = QMA(2)の証明など、主要な複雑性理論的結果に貢献しており、量子複雑性理論における基盤的役割を果たしていることが示された。
• 量子PCP予想は未解決のままだが、量子性質検証が、古典的性質検証が古典的PCP定理の証明に貢献したのと同様に、その証明への道筋を提供する可能性がある。