[論文レビュー] Quantum Computation and Quadratically Signed Weight Enumerators

Emanuel Knill, Raymond Laflamme|ArXiv.org|Sep 30, 1999

Complexity and Algorithms in Graphs被引用数 4

ひとこと要約

本稿は、量子計算と二乗符号付き重み列挙（QSWE）の推定との間の関係を確立し、量子計算がQSWEの推定に関するオракルを備えた古典的確率的計算と多項式的に同等であることを証明する。本稿は、標準的なBQP完全問題を特定し、QSWEを通じて量子計算に関連する新たな複雑度クラスを導入し、それらが量子計算と古典的計算の能力を区別する役割を果たすことを強調する。

ABSTRACT

We prove that quantum computation is polynomially equivalent to classical probabilistic computation with an oracle for estimating the value of simple sums, quadratically signed weight enumerators. The problem of estimating these sums can be cast in terms of promise problems and has two interesting variants. An oracle for the unconstrained variant may be more powerful than quantum computation, while an oracle for a more constrained variant is efficiently solvable in the one-bit model of quantum computation. Thus, problems involving estimation of quadratically signed weight enumerators yield problems in BQP (bounded error quantum polynomial time) that are distinct from the ones studied so far, include a canonical BQP complete problem, and can be used to define and study complexity classes and their relationships to quantum computation.

研究の動機と目的

• QSWEの推定に関するオラクルを備えた古典的確率的計算と量子計算との間の形式的同等性を確立すること。
• QSWEの観点から、量子計算に関連する新たな複雑度クラスを特定・特徴づけること。
• QSWE推定の非制約的および制約的変種のオラクルの計算能力を検討すること。
• QSWE推定に基づく標準的なBQP完全問題を定義すること。
• QSWEオラクルを通じて、量子計算と古典的複雑度クラスとの関係を明確にすること。

提案手法

• 著者らは、古典的符号と量子状態に関連する特定の符号付き和としてのQSWEを定義する。
• QSWE推定のパラメータ付き問題の変種を導入し、非制約的および制約的形態を区別する。
• 本稿は、量子計算がQSWE推定オラクルを備えた古典的確率的計算と多項式的に同等であることを証明する。
• 制約付きQSWE推定の変種が、1ビットモデルの量子計算において効率的に解けることを示す。
• 理論的分析により、QSWE推定問題が、これまでに研究されたものとは異なるBQP内の問題を生じることを示す。
• 既知の量子複雑度理論の結果を活用して、QSWE推定を有界誤差量子多項式時間（BQP）の枠組みに埋め込む。

実験結果

リサーチクエスチョン

• RQ1 量子計算は、QSWEの推定に関するオラクルを備えた古典的確率的計算と多項式的に同等か？
• RQ2 非制約的および制約的QSWE推定オラクルの計算能力は、量子計算と比べてどのように異なるか？
• RQ3 QSWE推定問題を用いて、標準的なBQP完全問題を定義できるか？
• RQ4 QSWE推定の研究から、量子計算に関連してどのような新たな複雑度クラスが生じるか？
• RQ5 1ビットモデルの量子計算は、制約付きQSWE推定の解法とどのように関係するか？

主な発見

• 量子計算は、QSWEの推定に関するオラクルを備えた古典的確率的計算と多項式的に同等である。
• 非制約的QSWE推定の変種は、BQPから分離可能である可能性を示唆する、量子計算よりも強力なオラクルを定義する可能性がある。
• 制約付きQSWE推定の変種は、1ビットモデルの量子計算において効率的に解けるため、その計算的強度は限定的である。
• QSWE推定は、標準的なBQP完全問題を生じさせ、量子計算の難易度の新たな基準を提供する。
• 本研究は、QSWEオラクルを通じて量子計算と内在的に関連する新たな複雑度クラスを明らかにする。
• 結果として、エラー訂正符号に結びつく代数的構造に基づいて、BQPとその古典的複雑度クラスとの関係をより深く理解できるようになった。