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 将门集作为输入，并为门集生成可证明正确的电路标识。 Quanto 的电路恒等式自动生成包括单量子位和双量子位门，这导致了一个新的电路恒等式数据库，其中一些据我们所知是新颖的。除了生成新的电路恒等式之外，Quanto 的优化器还将此类电路恒等式应用于量子电路，并找到其他量子编译器（包括 IBM Qiskit 和 Cambridge QuantumComputing Tket）尚未发现的优化量子电路。 Quanto 的电路身份数据库可用于改进现有的量子编译器，并且 Quanto 可用于为新门集生成身份数据库。