Environment and Classical Channels in Categorical Quantum Mechanics
@inproceedings{Coecke2010EnvironmentAC,
title={Environment and Classical Channels in Categorical Quantum Mechanics},
author={Bob Coecke and Simon Perdrix},
booktitle={Annual Conference for Computer Science Logic},
year={2010}
}We present a both simple and comprehensive graphical calculus for quantum computing. We axiomatize the notion of an environment, which together with the axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.
82 Citations
Higher Quantum Theory
- Physics, Computer Science
- 2012
The 2-categorical formalism gives a simple, graphical way to describe the specification and implementation of certain quantum procedures, which is used to investigate quantum teleportation, dense coding, complementarity and quantum erasure.
Categories of quantum and classical channels
- MathematicsQuantum Inf. Process.
- 2016
A construction that turns a category of pure state spaces and operators into a categories of observable algebras and superoperators is introduced, providing elegant abstract notions of preparation and measurement.
Categories of quantum and classical channels
- MathematicsQuantum Information Processing
- 2014
We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category of…
Axiomatizing complete positivity
- PhysicsArXiv
- 2015
There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps, and this work extends this axiomatization to the latter by introducing decoherence structures.
Edinburgh Research Explorer Axiomatizing complete positivity
- Physics
- 2018
There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects,…
Mixed quantum states in higher categories
- MathematicsQPL
- 2014
The integrated approach allows a unified description of quantum teleportation and classical encryption in a single 2-category, as well as a universal security proof applicable simultaneously to both scenarios.
Completeness of Graphical Languages for Mixed States Quantum Mechanics
- MathematicsICALP
- 2019
A new construction, the discard construction, is introduced, which transforms any †-symmetric monoidal category into a symmetric Monoidal category equipped with a discard map, which provides an extension for several graphical languages that are proved to be complete for general quantum operations.
Causal structure in categorical quantum mechanics
- Physics
- 2012
Categorical quantum mechanics is a way of formalising the structural features of quantum theory using category theory. It uses compound systems as the primitive notion, which is formalised by using…
Interacting quantum observables: categorical algebra and diagrammatics
- MathematicsArXiv
- 2009
The ZX-calculus is introduced, an intuitive and universal graphical calculus for multi-qubit systems, which greatly simplifies derivations in the area of quantum computation and information and axiomatize phase shifts within this framework.
References
SHOWING 1-10 OF 40 REFERENCES
Informational derivation of quantum theory
- Philosophy
- 2011
We derive quantum theory from purely informational principles. Five elementary axioms - causality, perfect distinguishability, ideal compression, local distinguishability, and pure conditioning -…
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.
Toy quantum categories
- Mathematics, Physics
- 2008
We show that Rob Spekken’s toy quantum theory arises as an instance of our categorical approach to quantum axiomatics, as a (proper) subcategory of the dagger compact category FRel of finite sets and…
A categorical semantics of quantum protocols
- Computer ScienceProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
- 2004
This paper focuses on quantum information protocols, which exploit quantum-mechanical effects in an essential way and form the basis for novel and potentially very important applications to secure and fault-tolerant communication and computation.
Interacting quantum observables: categorical algebra and diagrammatics
- MathematicsArXiv
- 2009
The ZX-calculus is introduced, an intuitive and universal graphical calculus for multi-qubit systems, which greatly simplifies derivations in the area of quantum computation and information and axiomatize phase shifts within this framework.
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…
Graphical Calculus for Quantum Key Distribution (Extended Abstract)
- MathematicsElectron. Notes Theor. Comput. Sci.
- 2011
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…
Graph States and the Necessity of Euler Decomposition
- MathematicsCiE
- 2009
A new equation is introduced, for the Euler decomposition of the Hadamard gate, and it is demonstrated that Van den Nest's theorem--locally equivalent graphs represent the same entanglement--is equivalent to this new axiom.