Affiliation:
1. University of Birmingham
2. University of Oxford
3. ILLC, University of Amsterdam (until 2020)
4. Radboud University Nijmegen
Abstract
Translations between the quantum circuit model and the measurement-based one-way model are useful for verification and optimisation of quantum computations. They make crucial use of a property known as gflow. While gflow is defined for one-way computations allowing measurements in three different planes of the Bloch sphere, most research so far has focused on computations containing only measurements in the XY-plane. Here, we give the first circuit-extraction algorithm to work for one-way computations containing measurements in all three planes and having gflow. The algorithm is efficient and the resulting circuits do not contain ancillae. One-way computations are represented using the ZX-calculus, hence the algorithm also represents the most general known procedure for extracting circuits from ZX-diagrams. In developing this algorithm, we generalise several concepts and results previously known for computations containing only XY-plane measurements. We bring together several known rewrite rules for measurement patterns and formalise them in a unified notation using the ZX-calculus. These rules are used to simplify measurement patterns by reducing the number of qubits while preserving both the semantics and the existence of gflow. The results can be applied to circuit optimisation by translating circuits to patterns and back again.
Publisher
Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften
Subject
Physics and Astronomy (miscellaneous),Atomic and Molecular Physics, and Optics
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Encoding High-level Quantum Programs as SZX-diagrams;Electronic Proceedings in Theoretical Computer Science;2023-11-16
2. Quantum Linear Optics via String Diagrams;Electronic Proceedings in Theoretical Computer Science;2023-11-16
3. Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements;Electronic Proceedings in Theoretical Computer Science;2023-11-16
4. Building Qutrit Diagonal Gates from Phase Gadgets;Electronic Proceedings in Theoretical Computer Science;2023-11-16
5. Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization;Electronic Proceedings in Theoretical Computer Science;2023-11-16