A graphical approach to measurement-based quantum computing
Ross Duncan
TL;DR
This paper explores how the ZX-calculus graphical notation can be used to reason about measurement-based quantum computing, providing new methods for verifying quantum program correctness through graphical transformations.
Contribution
It introduces a novel application of the ZX-calculus to measurement-based quantum computing, linking graphical syntax with information flow and correctness proofs.
Findings
ZX-calculus effectively models measurement-based quantum computations
Graphical rewriting strategies can verify quantum program correctness
The approach simplifies reasoning about complex entangled states
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.