[论文解读] Optimal Realization of an Arbitrary Two-Qubit Quantum Gate

Farrokh Vatan, Colin P. Williams|arXiv (Cornell University)|Aug 1, 2003

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

一句话总结

本文提出了一种任意两量子比特量子门的最优分解方法，最多使用16个单量子比特门和3个CNOT门，证明这是可能的最小门计数。对于属于SO(4)的两量子比特门，该构造可简化为12个单量子比特门和2个CNOT门，确立了量子线路合成的理论下限。

ABSTRACT

By an explicit construction, we show that an arbitrary two-qubit gate can be implemented by using at most 16 elementary one-qubit gates and 3 CNOT gates. We show that this construction is optimal; in the sense that these numbers of gates is the minimal possible ones. Moreover, we show that if the two-qubit gate belongs to SO(4), then we need only 12 elementary one-qubit gates and 2 CNOT gates. 1

研究动机与目标

• 确定实现任意两量子比特量子门所需的最少基本量子门数量。
• 建立一种通用构造方法，使所有两量子比特操作的门计数均达到最小。
• 证明所提出的分解在CNOT门和单量子比特门资源方面的最优性。
• 识别出属于SO(4)的两量子比特门这一特殊情况下的门计数减少情况，SO(4)是物理上相关的子群。
• 提供一种构造性方法，实现量子门合成的理论下限。

提出的方法

• 开发了一种显式的参数化构造方法，将任意两量子比特门分解为单量子比特旋转和CNOT门的序列。
• 该方法利用SU(4)的Cartan分解，将门分解结构化为纠缠操作和局部操作。
• 通过优化受控相位和受控非门操作的纠缠层，系统性地最小化CNOT门的数量。
• 通过基于SU(4)群维数和基本门参数空间的计数论证，证明了最优性。
• 对于SO(4)门，该方法利用实正交矩阵的特殊结构，将门计数减少至12个单量子比特门和2个CNOT门。
• 该方法确保所有分解均可通过标准量子门集实现，支持实际应用。

实验结果

研究问题

• RQ1 实现任意两量子比特量子门所需的最少CNOT门和单量子比特门数量是多少？
• RQ2 该最小门计数能否通过显式且系统化的方法实现？
• RQ3 该分解是否最优，即是否存在任何两量子比特门可使用更少的门计数？
• RQ4 对于属于SO(4)的两量子比特门这一特殊情况，门计数如何减少？
• RQ5 能否通过群论和维数论证，严格证明该构造的最优性？

主要发现

• 本文确立了任意两量子比特门最多可使用16个单量子比特门和3个CNOT门实现，且该界是紧致的。
• 该构造被证明是最优的，因为没有任何更少的基本门组合能够实现所有两量子比特操作。
• 对于属于SO(4)的两量子比特门，其最小分解仅需12个单量子比特门和2个CNOT门，实现了显著减少。
• 最优性结果源自对SU(4)群和基本门参数空间的维数分析。
• 该方法提供了一种系统且显式的分解方式，实现了量子线路合成的理论下限。
• 该结果为线性光学和超导量子比特架构中的量子线路优化与门合成提供了基础基准。