Journal
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Volume 270, Issue 1, Pages 3-15Publisher
ELSEVIER
DOI: 10.1016/j.entcs.2011.01.002
Keywords
Ordered linear spaces; convex sets; operational theories; categories; enriched categories; quantum theory; quantum mechanics; information processing; bit commitment; teleportation
Categories
Ask authors/readers for more resources
In order to understand the source and extent of the greater-than-classical information processing power of quantum systems, one wants to characterize both classical and quantum mechanics as points in a broader space of possible theories. One approach to doing this, pioneered by Abramsky and Coecke, is to abstract the essential categorical features of classical and quantum mechanics that support various informationtheoretic constraints and possibilities, e. g., the impossibility of cloning in the latter, and the possibility of teleportation in both. Another approach, pursued by the authors and various collaborators, is to begin with a very conservative, and in a sense very concrete, generalization of classical probability theory -which is still sufficient to encompass quantum theory -and to ask which quantum informational phenomena can be reproduced in this much looser setting. In this paper, we review the progress to date in this second programme, and offer some suggestions as to how to link it with the categorical semantics for quantum processes offered by Abramsky and Coecke.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available