# Quantum picturalism

@article{Coecke2010QuantumP, title={Quantum picturalism}, author={Bob Coecke}, journal={Contemporary Physics}, year={2010}, volume={51}, pages={59 - 83} }

Why did it take us 50 years since the birth of the quantum mechanical formalism to discover that unknown quantum states cannot be cloned? Yet, the proof of the ‘no-cloning theorem’ is easy, and its consequences and potential for applications are immense. Similarly, why did it take us 60 years to discover the conceptually intriguing and easily derivable physical phenomenon of ‘quantum teleportation’? We claim that the quantum mechanical formalism doesn't support our intuition, nor does it…

## 200 Citations

Quantum from principles

- PhysicsArXiv
- 2015

The six principles characterize quantum theory as the theory of information that allows for maximal control of randomness in the Hilbert space framework.

Computational Complexity and the Nature of Quantum Mechanics

- PhilosophyArXiv
- 2019

It is shown that the computation postulate is the only true divide between QT, seen as a generalised theory of probability, and classical probability.

The regular histories formulation of quantum theory

- Philosophy
- 2012

It can be argued that RH compares favourably with other proposed interpretations of quantum mechanics in that it resolves the measurement problem while retaining an essentially classical worldview without parallel universes, a framework-dependent reality or action-at-a-distance.

Quantum Protocols involving Multiparticle Entanglement and their Representations in the zx-calculus.

- Computer Science, Physics
- 2011

For protocols involving multipartite entangled states, such as the GreenbergerHorne-Zeilinger and W -state, it will be shown that the zx-calculus provides a relatively easy and more intuitive presentation and in this representation it is easier to check that protocols are correct.

Quantum picturalism for topological cluster-state computing

- Computer Science
- 2011

This paper applies the category-theoretic work of Abramsky and Coecke to the topological cluster-state model of QC to give a high-level graphical language that enables direct translation between quantum processes and physical patterns of measurement in a computer—a ‘compiler language’.

CMSC657 Final Report: Verifications of Quantum Programs: from ZX-Calculus to more

- Computer Science
- 2019

This report presents a survey on the theory and tools to verify quantum programs, mainly under the context of ZX-Calculus, a graphical language which can be used for representing linear mappings for qubits.

Narratives of quantum theory in the age of quantum technologies

- PhysicsEthics and Information Technology
- 2017

A non-mathematical narrative about entanglement that conveys an idea of some of its unusual properties and the importance of new metaphors beyond the Schrödinger cat is described.

Categorical Semantics for Schr\"odinger's Equation

- Physics, Mathematics
- 2015

Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use…

Reconstructing quantum theory from diagrammatic postulates

- MathematicsQuantum
- 2021

A reconstruction of finite-dimensional quantum theory where all of the postulates are stated entirely in diagrammatic terms, making them intuitive, and necessary additional axioms for a process theory to correspond to the Hilbert space model are characterised.

A short introduction to the quantum formalism[s]

- Physics
- 2012

These notes are an elaboration on: (i) a short course that I gave at the IPhT-Saclay in May-June 2012; (ii) a previous letter on reversibility in quantum mechanics. They present an introductory, but…

## References

SHOWING 1-10 OF 104 REFERENCES

No-Cloning In Categorical Quantum Mechanics

- Mathematics
- 2009

Recently, the author and Bob Coecke have introduced a categorical formulation of Quantum Mechanics. In the present paper, we shall use it to open up a novel perspective on No-Cloning. What we shall…

Quantum Quandaries: a Category-Theoretic Perspective

- Philosophy
- 2004

General relativity may seem very different from quantum theory, but work on quantum gravity has revealed a deep analogy between the two. General relativity makes heavy use of the category nCob, whose…

Quantum measurements without sums

- Physics
- 2007

Sums play a prominent role in the formalisms of quantum me- chanics, whether for mixing and superposing states, or for composing state spaces. Surprisingly, a conceptual analysis of quantum…

Operational Quantum Logic: An Overview

- Philosophy
- 2000

The term quantum logic has different connotations for different people, having been considered as everything from a metaphysical attack on classical reasoning to an exercise in abstract algebra. Our…

Physics, Topology, Logic and Computation: A Rosetta Stone

- Physics
- 2009

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology.…

Classical and quantum structuralism

- Physics
- 2009

In recent work, symmetric dagger-monoidal (SDM) categories have emerged as a convenient categorical formalization of quantum mechanics. The objects represent physical systems, the morphisms physical…

Kindergarten Quantum Mechanics

- Physics
- 2005

These lecture notes survey some joint work with Samson Abramsky as it was presented by me at several conferences in the summer of 2005. It concerns `doing quantum mechanics using only pictures of…

Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?

- Philosophy
- 1935

Consideration of the problem of making predictions concerning a system on the basis of measurements made on another system that had previously interacted with it leads to the result that one is led to conclude that the description of reality as given by a wave function is not complete.

Time-reversal formalism applied to maximal bipartite entanglement: Theoretical and experimental exploration

- Physics
- 2006

Within the context of quantum teleportation, a proposed interpretation of bipartite entanglement describes teleportation as consisting of a qubit of information evolving along and against the flow of…

Interacting Quantum Observables

- PhysicsICALP
- 2008

Using a general categorical formulation, it is shown that pairs of mutually unbiased quantum observables form bialgebra-like structures that enable all observables of finite dimensional Hilbert space quantum mechanics to be described.