Axiomatizing complete positivity

Oscar Cunningham; Chris Heunen

doi:10.4204/EPTCS.195.11

Axiomatizing complete positivity

Oscar Cunningham, Chris Heunen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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, whereas the other also allows classical systems on an equal footing. The former has been axiomatized using environment structures. We extend this axiomatization to the latter by introducing decoherence structures.

Original language	English
Title of host publication	Proceedings 12th International Workshop on Quantum Physics and Logic
Publisher	Open Publishing Association
Pages	148-157
Number of pages	10
DOIs	https://doi.org/10.4204/EPTCS.195.11
Publication status	Published - 2015

Publication series

Name	Electronic Proceedings in Theoretical Computer Science
Publisher	Open Publishing Association
Volume	195

Access to Document

10.4204/EPTCS.195.11

1506.02931v2Final published version, 184 KB

http://arxiv.org/abs/1506.02931v2

Combining Viewpoints in Quantum Theory
Heunen, C.
EPSRC
2/10/15 → 1/01/19
Project: Research

Cite this

@inproceedings{d6acb72e5ef14352bcb70e8789154a47,

title = "Axiomatizing complete positivity",

abstract = "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, whereas the other also allows classical systems on an equal footing. The former has been axiomatized using environment structures. We extend this axiomatization to the latter by introducing decoherence structures.",

author = "Oscar Cunningham and Chris Heunen",

year = "2015",

doi = "10.4204/EPTCS.195.11",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "148--157",

booktitle = "Proceedings 12th International Workshop on Quantum Physics and Logic",

address = "Australia",

}

TY - GEN

T1 - Axiomatizing complete positivity

AU - Cunningham, Oscar

AU - Heunen, Chris

PY - 2015

Y1 - 2015

N2 - 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, whereas the other also allows classical systems on an equal footing. The former has been axiomatized using environment structures. We extend this axiomatization to the latter by introducing decoherence structures.

AB - 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, whereas the other also allows classical systems on an equal footing. The former has been axiomatized using environment structures. We extend this axiomatization to the latter by introducing decoherence structures.

U2 - 10.4204/EPTCS.195.11

DO - 10.4204/EPTCS.195.11

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 148

EP - 157

BT - Proceedings 12th International Workshop on Quantum Physics and Logic

PB - Open Publishing Association

ER -

Axiomatizing complete positivity

Abstract

Publication series

Access to Document

Fingerprint

Projects

Combining Viewpoints in Quantum Theory

Cite this