Quantum picturalism

  title={Quantum picturalism},
  author={Bob Coecke},
  journal={Contemporary Physics},
  pages={59 - 83}
  • B. Coecke
  • Published 13 August 2009
  • Physics
  • Contemporary Physics
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… 
Quantum from principles
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
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
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.
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
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
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
  • A. Grinbaum
  • Physics
    Ethics 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
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
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]
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


No-Cloning In Categorical Quantum Mechanics
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
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
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
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
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
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
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?
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
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
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.