[论文解读] A Simple Proof that Toffoli and Hadamard are Quantum Universal

Dorit Aharonov|ArXiv.org|Jan 9, 2003

Quantum Computing Algorithms and Architecture参考文献 18被引用 127

一句话总结

本文提供了一个简洁的证明，表明Toffoli门和Hadamard门构成量子计算的计算通用门集。通过利用Kitaev的通用门集，并证明受控相位门$\Lambda(P(i))$可仅通过Toffoli和Hadamard门使用实矩阵表示进行模拟，作者建立了一个结论：任何量子电路均可仅以多项式对数级的额外开销进行近似，从而确认$\{T,H\}$的通用性。

ABSTRACT

Recently Shi proved that Toffoli and Hadamard are universal for quantum computation. This is perhaps the simplest universal set of gates that one can hope for, conceptually; It shows that one only needs to add the Hadamard gate to make a 'classical' set of gates quantum universal. In this note we give a few lines proof of this fact relying on Kitaev's universal set of gates, and discuss the meaning of the result.

研究动机与目标

• 建立Toffoli与Hadamard门集$\{T,H\}$在量子计算中的计算通用性。
• 基于对已知通用门集（特别是Kitaev的$\{\Lambda(P(i)), H\}$）的约化，提供一个简洁且基础的证明。
• 阐明Hadamard门作为使经典可逆计算提升至量子通用性的最小附加资源的理论意义。
• 证明$\{T,H\}$虽仅由实矩阵构成，但仅需少量且可控的额外开销，即可实现通用量子计算。

提出的方法

• 以Kitaev的严格通用门集$\{\Lambda(P(i)), H\}$作为通用性的参考基准。
• 应用实矩阵表示技术，通过一个辅助量子比特将复数门转换为实数门。
• 显式构造表明$\widetilde{\Lambda(P(i))} = T(1,2,3)H(3)T(1,2,3)H(3)$，利用恒等式$XZ = XHXH$。
• 使用$\{T,H\}$模拟任意量子电路，最多使用$4t$个门和一个额外量子比特，其中$t$为原电路中的门数。
• 利用Solovay-Kitaev定理，证明额外开销在所需精度$\epsilon$下保持多项式对数级。
• 采用计算通用性的概念，允许使用辅助量子比特和多项式对数级额外开销，作为实际应用中通用性的充分标准。

实验结果

研究问题

• RQ1 Toffoli与Hadamard门集$\{T,H\}$能否以小且可有效控制的额外开销模拟任意量子计算？
• RQ2 Hadamard门的加入是否足以使经典可逆计算（通过Toffoli门）达到完整的量子通用性？
• RQ3 如何通过约化到已知通用门集（如Kitaev的门集）来证明$\{T,H\}$的通用性？
• RQ4 实矩阵表示在仅由实矩阵构成的门集实现通用性过程中起到何种作用？
• RQ5 使用辅助量子比特进行实矩阵模拟是否会阻止$\{T,H\}$在容错量子计算中的应用？

主要发现

• 门集$\{T,H\}$具有计算通用性，意味着它可仅以量子比特数、门数和逆精度的多项式对数级额外开销，从严格通用门集中模拟任意量子电路。
• 受控相位门$\Lambda(P(i))$可通过恒等式$XZ = XHXH$精确模拟，仅使用四个Toffoli和Hadamard门，从而实现向Kitaev通用门集的约化。
• 该模拟仅需一个额外的辅助量子比特，且最多使用$4t$个门来模拟Kitaev门集中$ t $个门的电路，确保了高效的编译过程。
• 尽管$\{T,H\}$完全由实矩阵构成，但其仍足以实现通用量子计算，因为辅助量子比特使得复数酉演化得以表示。
• 该结果确认了Hadamard门是实现通用量子计算所必需的最小量子资源，仅需在经典可逆计算（通过Toffoli门）基础上添加。
• $\{T,H\}$在容错量子计算中依然适用，因为纠错门（Hadamard门和经典门）为实矩阵，且无需使用辅助量子比特，从而保持了并行性。