[论文解读] The simplified Toffoli gate implementation by Margolus is optimal

Guang Song, Andreas Klappenecker|ArXiv.org|Dec 31, 2003

Quantum Computing Algorithms and Architecture参考文献 4被引用 11

一句话总结

本文证明了Margolus简化Toffoli门——即与标准Toffoli门仅在全局相位偏移上不同的版本——在任何量子电路实现中，至少需要三个受控-非门和四个单量子比特门。该证明表明，Margolus提出的电路结构不仅最优，而且由这些约束唯一确定，证实其在量子电路设计中的高效性与结构必要性。

ABSTRACT

Unitary operations are expressed in the quantum circuit model as a finite sequence of elementary gates, such as controlled-not gates and single qubit gates. We prove that the simplified Toffoli gate by Margolus, which coincides with the Toffoli gate up to a single change of sign, cannot be realized with less than three controlled-not gates. If the circuit is implemented with three controlled-not gates, then at least four additional single qubit gates are necessary. This proves that the implementation suggested by Margolus is optimal.

研究动机与目标

• 确定实现简化Toffoli门所需的受控-非门和单量子比特门的最小数量。
• 证明Margolus电路构造在门数上是最优的。
• 证明任何简化Toffoli门的最优实现必须在本质上遵循与Margolus设计相同的结构形式。
• 使用门分解和纠缠约束，为量子电路复杂度提供严格的下界证明。

提出的方法

• 通过分析三量子比特电路中三个受控-非门的全部27种可能配置，进行案例分析。
• 推导引理以分析纠缠生成和门稀疏性，特别关注受控-酉门何时产生纠缠输出。
• 利用受控-非门可通过Hadamard门共轭重新配置的事实，减少需考虑的配置数量。
• 利用电路恒等式和迹论证，排除无法实现目标酉映射M的配置。
• 证明仅有一种电路配置——等价于Margolus的设计——可满足所需的酉变换。
• 该证明依赖于酉矩阵的性质、本征态以及对角和反对角单量子比特门的结构，以约束门的行为。

实验结果

研究问题

• RQ1 简化Toffoli门能否在少于三个受控-非门的情况下实现？
• RQ2 Margolus的电路构造是否在受控-非门数量上是最小实现？
• RQ3 当使用恰好三个受控-非门时，所需的最少单量子比特门数量是多少？
• RQ4 是否存在其他电路结构，可在保持相同门数的同时，与Margolus设计有本质不同？
• RQ5 Margolus电路是否由最优性约束唯一确定？

主要发现

• 简化Toffoli门无法在少于三个受控-非门的情况下实现。
• 任何使用恰好三个受控-非门的实现，至少需要四个单量子比特门。
• 唯一可行的电路配置在结构上等价于Margolus的构造。
• 所有最优实现必须具有相同的三受控-非门配置和门位置，仅在单量子比特门的具体参数上有所不同。
• 该证明表明Margolus电路不仅高效，而且在给定约束下唯一最优。
• 结果证实Margolus电路的优雅结构并非偶然，而是最小性所必需的数学结果。