Existing quantum compilers focus on mapping a logical quantum circuit to a quantum device and its native quantum gates. Only simple circuit identities are used to optimize the quantum circuit during the compilation process. This approach misses more complex circuit identities, which could be used to optimize the quantum circuit further. We propose Quanto, the first quantum optimizer that automatically generates circuit identities. Quanto takes as input a gate set and generates provably correct circuit identities for the gate set. Quanto's automatic generation of circuit identities includes single-qubit and two-qubit gates, which leads to a new database of circuit identities, some of which are novel to the best of our knowledge. In addition to the generation of new circuit identities, Quanto's optimizer applies such circuit identities to quantum circuits and finds optimized quantum circuits that have not been discovered by other quantum compilers, including IBM Qiskit and Cambridge Quantum Computing Tket. Quanto's database of circuit identities could be applied to improve existing quantum compilers and Quanto can be used to generate identity databases for new gate sets.
翻译:现有量子汇编器侧重于绘制量子装置及其本地量子门的逻辑量子电路。 只有简单的电路特性用于在编集过程中优化量子电路。 这种方法缺少更复杂的电路特性, 可以进一步优化量子电路。 我们提议了第一台自动生成电路特性的量子优化器Quanto。 Quanto 将一个门作为输入器, 并为门组生成可辨称正确的电路特性。 Quanto 自动生成电路特性的电路特性包括单qubit和两qubit 门, 从而导致新的电路特性数据库, 其中一些对我们的知识来说是新颖的。 除了生成新的电路特性外, Quanto 的优化器将这种电路特性应用到量子电路中, 并找到其他量子汇编器( 包括IBM Qiskit和剑桥 Quantum 计算 Tket) 所没有发现的优化量子路特性。 Quanto 的电特性数据库可以用来改进现有的量子汇编器, 和Quantto 可以用来为新门组建立身份数据库。