The ZX-calculus is complete for stabilizer quantum mechanics
- Submitting institution
-
The University of Birmingham
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 89335899
- Type
- D - Journal article
- DOI
-
10.1088/1367-2630/16/9/093021
- Title of journal
- New Journal of Physics
- Article number
- 093021
- First page
- -
- Volume
- 16
- Issue
- 9
- ISSN
- 1367-2630
- Open access status
- Out of scope for open access requirements
- Month of publication
- September
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
0
- Research group(s)
-
-
- Citation count
- 42
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper gives the first completeness proof for the ZX-calculus. This result is a significant step in motivating and enabling the application of the ZX-calculus, for example in optimising quantum computations or analysing quantum error-correcting codes. These applications are explored in both academia and industry, e.g. by the company Cambridge Quantum Computing. The result also forms the foundation for subsequent completeness proofs for more general versions of the ZX-calculus and for related graphical calculi. The work developed in this paper has been
included in the introductory-level quantum computing textbook "Picturing Quantum Processes".
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -