ZX演算中的与门：蛛网恒等式与量子布尔电路完备性
量子物理
2021-09-07 v3
摘要
在本文中，我们利用了三角形符号的效用，该符号在ZX演算中用蛛图表示时表达式复杂，尤其是它在与门(AND-gate)的ZX表示中的作用。首先，我们推导了蛛网恒等式，这些恒等式对量子电路优化特别是T计数(T-count)减少的最新发展具有关键重要性。然后，使用相同的规则集，我们证明了量子布尔电路(QBC)的一个完备性定理，其重写规则可直接用于一种新的T计数减少方法。我们基于该方法给出一种算法，并表明我们的算法结果优于此前所有最佳非概率算法的结果。
引用
@article{arxiv.1910.06818,
title = {AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness},
author = {Anthony Munson and Bob Coecke and Quanlong Wang},
journal= {arXiv preprint arXiv:1910.06818},
year = {2021}
}
备注
In Proceedings QPL 2020, arXiv:2109.01534