Skip to main content

Picturing Quantum Processes

A First Course on Quantum Theory and Diagrammatic Reasoning

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10871))

Abstract

We provide a self-contained introduction to quantum theory using a unique diagrammatic language. Far from simple visual aids, the diagrams we use are mathematical objects in their own right, which allow us to develop from first principles a completely rigorous treatment of ‘textbook’ quantum theory. Additionally, the diagrammatic treatment eliminates the need for the typical prerequisites of a standard course on the subject, making it suitable for a multi-disciplinary audience with no prior knowledge in physics or advanced mathematics.

By subscribing to a diagrammatic treatment of quantum theory we place emphasis on quantum processes, rather than individual systems, and study how uniquely quantum features arise as processes compose and interact across time and space. We introduce the notion of a process theory, and from this develop the notions of pure and mixed quantum maps, measurements and classical data, quantum teleportation and cryptography, models of quantum computation, quantum algorithms, and quantum non-locality. The primary mode of calculation in this tutorial is diagram transformations, where simple local identities on diagrams are used to explain and derive the behaviour of many kinds of quantum processes.

This tutorial roughly follows a new textbook published by Cambridge University Press in 2017 with the same title.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Coecke, B., Kissinger, A.: Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, Cambridge (2017)

    Book  Google Scholar 

  2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 415–425 (2004). arXiv:quant-ph/0402130

  3. Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics. Lecture Notes in Physics, vol. 813, pp. 289–355. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-12821-9_4. arXiv:0908.3347

    Chapter  MATH  Google Scholar 

  4. Backens, M.: The ZX-calculus is complete for stabilizer quantum mechanics. New J. Phys. 16, 093021 (2014). arXiv:1307.7025

    Article  Google Scholar 

  5. Coecke, B., Duncan, R.: Interacting quantum observables: categorical algebra and diagrammatics. New J. Phys. 13, 043016 (2011). arXiv:quant-ph/09064725

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Aleks Kissinger .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Coecke, B., Kissinger, A. (2018). Picturing Quantum Processes. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds) Diagrammatic Representation and Inference. Diagrams 2018. Lecture Notes in Computer Science(), vol 10871. Springer, Cham. https://doi.org/10.1007/978-3-319-91376-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91376-6_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91375-9

  • Online ISBN: 978-3-319-91376-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics