利用 Quantomatic 优化 Clifford 电路
量子物理
2019-01-30 v1 人工智能
计算机科学中的逻辑
摘要
我们提出了一套 Clifford 电路之间的等式系统，这些等式均可在 ZX-演算中推导，并被形式化为 Quantomatic 证明辅助器中的重写规则。通过将这些规则与 Quantomatic 策略语言中定义的一些非平凡化简过程相结合，我们展示了将 Quantomatic 用作电路优化工具的方法。我们证明该系统总是将一到两个量子比特的 Clifford 电路化简为最小形式，并给出数值结果以展示其在更大 Clifford 电路上的性能。
引用
@article{arxiv.1901.10114,
title = {Optimising Clifford Circuits with Quantomatic},
author = {Andrew Fagan and Ross Duncan},
journal= {arXiv preprint arXiv:1901.10114},
year = {2019}
}
备注
In Proceedings QPL 2018, arXiv:1901.09476