[论文解读] Classical simulation of quantum computation, the Gottesman-Knill theorem, and slightly beyond

M. Van den Nest|arXiv (Cornell University)|Nov 6, 2008

Quantum Computing Algorithms and Architecture被引用 30

一句话总结

本文提出了一种使用规范形式的 Clifford 电路经典模拟方法，该形式可将任意 Clifford 电路简化为等价的、显式可模拟的结构。证明了弱模拟在经典计算中是高效可行的，而强模拟为 #P-完全问题，揭示了量子计算中弱模拟与强模拟之间存在根本性差异。

ABSTRACT

We study classical simulation of quantum computation, taking the Gottesman-Knill theorem as a starting point. We show how each Clifford circuit can be reduced to an equivalent, manifestly simulatable circuit (normal form). This provides a simple proof of the Gottesman-Knill theorem without resorting to stabilizer techniques. The normal form highlights why Clifford circuits have such limited computational power in spite of their high entangling power. At the same time, the normal form shows how the classical simulation of Clifford circuits fits into the standard way of embedding classical computation into the quantum circuit model. This leads to simple extensions of Clifford circuits which are classically simulatable. These circuits can be efficiently simulated by classical sampling ('weak simulation') even though the problem of exactly computing the outcomes of measurements for these circuits ('strong simulation') is proved to be #P-complete--thus showing that there is a separation between weak and strong classical simulation of quantum computation.

研究动机与目标

• 提供一个不依赖稳定子形式的 Gottesman-Knill 定理的简单、直接证明。
• 阐明尽管 Clifford 电路产生高度纠缠，为何其无法带来量子加速。
• 展示 Clifford 电路的经典模拟如何嵌入经典计算在量子电路模型中的标准框架内。
• 通过引入最少数量的非 Clifford 门，扩展 Clifford 电路，以构建新的高效可模拟量子电路类别。
• 通过证明弱模拟保持高效而强模拟为 #P-完全，澄清弱模拟与强模拟之间的区别。

提出的方法

• 为任意 Clifford 电路引入一种规范形式，将其简化为结构简单、等价且适合经典模拟的形式。
• 使用 Z₂ 上的二元向量和二次与线性相位函数之和来表示量子态。
• 应用代数技术，通过相应变换相位函数和线性项，证明 Hadamard、CNOT 和 PHASE 门的封闭性。
• 利用一个关键引理对二元变量求和，以消除依赖关系，并在门操作后保持态的形式。
• 证明规范形式在所有 Clifford 门作用下保持态结构，从而实现高效的经典模拟。
• 利用规范形式表明，弱模拟（采样）是高效的，而强模拟（概率计算）为 #P-完全。

实验结果

研究问题

• RQ1 能否在不使用稳定子形式的前提下证明 Gottesman-Knill 定理？
• RQ2 为何 Clifford 电路尽管产生高度纠缠，却无法实现量子加速？
• RQ3 如何将 Clifford 电路的经典模拟嵌入经典计算的标准模型中？
• RQ4 当区分弱模拟与强模拟时，模拟的复杂性会发生什么变化？
• RQ5 能否通过引入最少数量的非 Clifford 门来扩展 Clifford 电路，从而得到新的高效可模拟量子电路类别？

主要发现

• 每个 Clifford 电路均可转换为一种规范形式，该形式显式可经典模拟，从而为 Gottesman-Knill 定理提供了新的、基础的证明。
• 规范形式表明，Clifford 电路的计算能力受限于 ⊕L 复杂度类，解释了其尽管存在高度纠缠却缺乏量子优势的原因。
• 通过简单的采样技术，可高效实现扩展 Clifford 电路的弱经典模拟。
• 强经典模拟被证明为 #P-完全，严格展示了弱模拟与强模拟之间的分离。
• 规范形式表明，Clifford 电路的经典模拟恰好对应于仅使用 NOT 和 CNOT 门的经典计算，其计算能力位于 ⊕L 类中。
• 将 Clifford 电路与任意非 Clifford 门结合，将导致通用量子计算，表明从经典到量子计算能力存在一个清晰的跃迁。