论文标题
量子电路的完整方程理论
A Complete Equational Theory for Quantum Circuits
论文作者
论文摘要
我们介绍了量子电路的第一个完整的方程理论。更确切地说，我们引入了一组我们被证明是声音和完整的电路方程：两个电路代表相同的单一映射，并且仅当它们可以使用方程式将它们转换为另一个电路时。该证明基于使用基本门定义的多控制门的属性，以及将量子电路编码为线性光学电路的编码，这些电路已被证明具有完整的公理化。
We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we prove to be sound and complete: two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations. The proof is based on the properties of multi-controlled gates -- that are defined using elementary gates -- together with an encoding of quantum circuits into linear optical circuits, which have been proved to have a complete axiomatisation.
