[论文解读] Quantum Computation and Quadratically Signed Weight Enumerators

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

Complexity and Algorithms in Graphs被引用 4

一句话总结

本文建立了量子计算与二次签名权重枚举（QSWEs）估计之间的联系，证明了量子计算与具有QSWE估计预言机的经典概率计算在多项式时间内等价。本文确定了一个典型的BQP-完全问题，并引入了与量子计算通过QSWEs关联的新复杂性类，突显了其在区分量子与经典计算能力方面的作用。

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估计预言机的经典概率计算之间的正式等价关系。
• 通过QSWEs的视角，识别并表征与量子计算相关的新型复杂性类。
• 探索QSWE估计的无约束和有约束变体预言机的计算能力。
• 基于QSWE估计定义一个典型的BQP-完全问题。
• 通过QSWE预言机阐明量子计算与经典复杂性类之间的关系。

提出的方法

• 作者将二次签名权重枚举（QSWEs）定义为与经典码和量子态相关的二元向量上的特定类型带符号和。
• 他们引入了QSWE估计的一个承诺问题变体，区分无约束和有约束形式。
• 本文证明了量子计算与增强有QSWE估计预言机的经典概率计算在多项式时间内等价。
• 它表明，QSWE估计的有约束变体可在量子计算的一比特模型中被高效求解。
• 通过理论分析表明，QSWE估计问题可产生属于BQP但不同于以往研究问题的计算问题。
• 该工作利用已知的量子复杂性理论结果，将QSWE估计嵌入到有界误差量子多项式时间（BQP）的框架中。

实验结果

研究问题

• RQ1 量子计算是否与具有QSWE估计预言机的经典概率计算在多项式时间内等价？
• RQ2 无约束和有约束QSWE估计预言机的计算能力与量子计算相比如何？
• RQ3 QSWE估计问题能否用于定义一个典型的BQP-完全问题？
• RQ4 QSWE估计研究中会涌现出哪些新的复杂性类？
• RQ5 一比特量子计算模型与有约束QSWE估计的可解性之间有何关系？

主要发现

• 量子计算与具有QSWE估计预言机的经典概率计算在多项式时间内等价。
• QSWE估计的无约束变体可能定义一个比量子计算更强大的预言机，暗示其可能与BQP存在分离。
• QSWE估计的有约束变体可在一比特量子计算模型中被高效求解，表明其计算能力有限。
• QSWE估计产生了一个典型的BQP-完全问题，为量子计算困难性提供了一个新基准。
• 该研究揭示了与量子计算通过QSWE预言机紧密关联的新复杂性类。
• 研究结果通过将BQP与与纠错码相关的代数结构相联系，深化了对BQP及其与经典复杂性类关系的理解。