论文标题
石英：量子电路的超级优化（扩展版本）
Quartz: Superoptimization of Quantum Circuits (Extended Version)
论文作者
论文摘要
现有的量子编译器通过应用专家设计的电路变换来优化量子电路。这种方法需要大量的手动努力，以设计和实施使用不同门设置的不同量子设备的电路转换，并且可能会错过难以手动找到的优化。我们提出了一种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 that automatically generates 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.
