Physics – Quantum Physics
Scientific paper
2012-03-28
Physics
Quantum Physics
To appear in "Compositional methods in Physics and Linguistics" OUP 2012
Scientific paper
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.
No associations
LandOfFree
A graphical approach to measurement-based quantum computing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A graphical approach to measurement-based quantum computing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A graphical approach to measurement-based quantum computing will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-272674