Quartz: superoptimization of Quantum circuits

Xu, Mingkuan, Li, Zikun, Padon, Oded, Lin, Sina, et al. · 2022 · Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation

| 编号 NA116 | 主题 线路综合与等价验证 | DOI 10.1145/3519939.3523433 |

摘要

摘要保留原文（英文）

摘要取自 arXiv / 出版方元数据，未作翻译，以保证与原文一致。

2022 · Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation 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.

全文共 28 页；文本提取件位于 .extracted/papers/NA116.txt（不随站点发布）。

本站词条在引用该文献时，会以 wikilink（sources/NA116）链接到本页；右侧「反向链接」面板自动列出所有引用它的词条。