We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Quantum Physics

Title: SZX-calculus: Scalable Graphical Quantum Reasoning

Abstract: We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is an extension of the ZX-calculus, a powerful framework that captures graphically the fundamental properties of quantum mechanics through its complete set of rewrite rules. The ZX-calculus is, however, a low level language, with each wire representing a single qubit. This limits its ability to handle large and elaborate quantum evolutions. We extend the ZX-calculus to registers of qubits and allow compact representation of sub-diagrams via binary matrices. We show soundness and completeness of the SZX-calculus and provide two examples of applications, for graph states and error correcting codes.
Subjects: Quantum Physics (quant-ph)
DOI: 10.4230/LIPIcs.MFCS.2019.55
Cite as: arXiv:1905.00041 [quant-ph]
  (or arXiv:1905.00041v1 [quant-ph] for this version)

Submission history

From: Simon Perdrix [view email]
[v1] Tue, 30 Apr 2019 18:02:03 GMT (161kb,D)

Link back to: arXiv, form interface, contact.