用量子力学优化Clifford电路

我们提出了Clifford电路之间的方程组，所有方程都可以在ZX-演算中导出，并在量子证明助手中将其形式化为重写规则。通过将这些规则与Quantomatic策略语言中定义的一些非平凡的简化过程相结合，我们演示了Quantometic作为电路优化工具的使用。我们证明了该系统总是将一个或两个量子比特的Clifford电路降到最小形式，并给出了数值结果来证明其在更大的Clifford电路上的性能。