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. 

Higher Quantum Theory

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

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

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

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

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

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

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

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

Pictures of complete positivity in arbitrary dimension

Interacting quantum observables: categorical algebra and diagrammatics

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

We derive quantum theory from purely informational principles. Five elementary axioms - causality, perfect distinguishability, ideal compression, local distinguishability, and pure conditioning -

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.

Toy quantum categories

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

  • S. AbramskyB. Coecke
  • Computer Science
    Proceedings 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

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

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)

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

Graph States and the Necessity of Euler Decomposition

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.