Jump to ContentJump to Main Navigation
Quantum Physics and LinguisticsA Compositional, Diagrammatic Discourse$
Users without a subscription are not able to see the full content.

Chris Heunen, Mehrnoosh Sadrzadeh, and Edward Grefenstette

Print publication date: 2013

Print ISBN-13: 9780199646296

Published to Oxford Scholarship Online: May 2013

DOI: 10.1093/acprof:oso/9780199646296.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (www.oxfordscholarship.com). (c) Copyright Oxford University Press, 2020. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in OSO for personal use. date: 30 March 2020

A Graphical Approach to Measurement-BasedQuantum Computing

A Graphical Approach to Measurement-BasedQuantum Computing

Chapter:
(p.50) CHAPTER 3 A Graphical Approach to Measurement-BasedQuantum Computing
Source:
Quantum Physics and Linguistics
Author(s):

Ross Duncan

Publisher:
Oxford University Press
DOI:10.1093/acprof:oso/9780199646296.003.0003

Quantum computations are easily represented in the graphical notation known as the zx-calculus, also known as 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.

Keywords:   measurement, quantum computing, quantum protocols, entangled states, information flow, rewriting techniques, correctness, zx graphical calculus

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .