2019/10/31 by Anthony Munson, Bob Coecke, Quanlong Wang
Physics and Astronomy · #quant-ph
paper · pdf · doi:10.4204/eptcs.340.12
published as EPTCS 340, 2021, pp. 230-255 · In Proceedings QPL 2020, arXiv:2109.01534
arxiv created 2021/09/06 · arxiv updated 2021/09/07
In this paper we exploit the utility of the triangle symbol which has a complicated expression in terms of spider diagrams in ZX-calculus, and its role within the ZX-representation of AND-gates in particular. First, we derive spider nest identities which are of key importance to recent developments in quantum circuit optimisation and T-count reduction in particular. Then, using the same rule set, we prove a completeness theorem for quantum Boolean circuits (QBCs) whose rewriting rules can be directly used for a new method of T-count reduction. We give an algorithm based on this method and show that the results of our algorithm outperform the results of all the previous best non-probabilistic algorithms.