Quartz: superoptimization of Quantum circuit
Quartz: superoptimization of Quantum circuit
复制标题
Quartz：量子电路的超级优化
DOI：
10.1145/3519939.3523433
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Acar, Umut A.
中科院分区：
文献类型：
--
作者：
Xu, Mingkuan;Li, Zikun;Padon, Oded;Lin, Sina;Pointing, Jessica;Hirth, Auguste;Ma, Henry;Palsberg, Jens;Aiken, Alex;Acar, Umut A.
现有的量子编译器通过应用专家设计的电路变换来优化量子电路。这种方法需要大量的人工工作来设计和实现针对不同量子设备的电路转换，这些量子设备使用不同的门集，并且可能会错过手动很难找到的优化。我们提出了Quartz，这是一个量子电路超级优化器，可以自动生成和验证任意量子门集合的电路变换。对于给定的门集，Quartz通过系统地探索小电路来生成候选电路转换，并使用自动定理证明器验证所发现的转换。为了优化量子电路，Quartz使用基于成本的回溯搜索，将验证的转换应用于电路。我们对三个流行的门集的评估表明，Quartz可以有效地为不同的门集生成和验证转换。生成的转换包括由现有优化器使用的手动设计的转换，还包括新的转换。因此，Quartz能够针对不同的门集优化广泛的电路，表现优于或媲美手动调谐电路优化器的性能。
Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and implement circuit transformations for different quantum devices, which use different gate sets, and can miss optimizations that are hard to find manually. We propose Quartz, a quantum circuit superoptimizer thatautomaticallygenerates and verifies circuit transformations for arbitrary quantum gate sets. For a given gate set, Quartz generates candidate circuit transformations by systematically exploring small circuits and verifies the discovered transformations using an automated theorem prover. To optimize a quantum circuit, Quartz uses a cost-based backtracking search that applies the verified transformations to the circuit. Our evaluation on three popular gate sets shows that Quartz can effectively generate and verify transformations for different gate sets. The generated transformations cover manually designed transformations used by existing optimizers and also include new transformations. Quartz is therefore able to optimize a broad range of circuits for diverse gate sets, outperforming or matching the performance of hand-tuned circuit optimizers.