A graphical approach to measurement-based quantum computing
From MaRDI portal
Abstract: Quantum computations are easily represented in the graphical notation known as the ZX-calculus, a.k.a. the red-green calculus. We demonstrate its use in reasoning about measurement-based quantum computing, where the graphical syntax directly captures the structure of the entangled states used to represent computations, and show that the notion of information flow within the entangled states gives rise to rewriting strategies for proving the correctness of quantum programs.
Cited in
(7)- scientific article; zbMATH DE number 7449972 (Why is no real title available?)
- scientific article; zbMATH DE number 7561601 (Why is no real title available?)
- SZX-calculus: scalable graphical quantum reasoning
- Completeness of the ZX-calculus
- Towards compositional graph theory
- Multi-agent blind quantum computation without universal cluster states
- Well-tempered ZX and ZH calculi
This page was built for publication: A graphical approach to measurement-based quantum computing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5416211)
