Information processing in convex operational theories

Electronic Notes in Theoretical Computer Science

Volumn 270, Issue 1, 2011, Pages 3-15

  Barnum, Howard ^a   Wilce, Alexander ^b  

^a CENTER FOR NONLINEAR STUDIES   (United States)

^b SUSQUEHANNA UNIVERSITY   (United States)

Author keywords

bit commitment; categories; convex sets; enriched categories; information processing; operational theories; Ordered linear spaces; quantum mechanics; quantum theory; teleportation

Indexed keywords

BIT COMMITMENT; CATEGORIES; CONVEX SETS; ENRICHED CATEGORIES; INFORMATION PROCESSING; LINEAR SPACES; OPERATIONAL THEORIES; QUANTUM MECHANICS; TELEPORTATION;

CLONING; DATA PROCESSING; INFORMATION THEORY; QUANTUM ELECTRONICS; QUANTUM OPTICS; SEMANTICS; SET THEORY;

MECHANICS;

EID: 79551669693     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2011.01.002     Document Type: Conference Paper

References (20)

1. S. Abramsky Retracing some paths in process algebra U. Montanari, V. Sassone, Proceedings of CONCUR '96: Concurrency Theory, 7th International Conference 1996 Springer-Verlag 1 17
2. S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), pages 415-425, 2004.
3. J. Baez Quantum quandaries: a category-theoretic perspective quant-ph/0404040 2004
4. H. Barnum, J. Barrett, M. Leifer, and A. Wilce Cloning and broadcasting in generic probabilistic models arXiv.org e-print quant-ph/0611295 2006
5. H. Barnum, J. Barrett, M. Leifer and A. Wilce, Teleportation in general probabilistic theories. In Proceedings of the Clifford Lectures, Tulane University, March 12-15, 2008. To appear in Proceedings of Symposia in Applied Mathematics (AMS); also arXiv:0805.3553, 2008.
6. H. Barnum, C.M. Caves, C.A. Fuchs, and B. Schumacher Noncommuting mixed states cannot be broadcast Phys. Rev. Lett. 76 1996 2818 2821
7. H. Barnum, O. Dahlsten, M. Leifer, and B. Toner. Nonclassicality without entanglement enables bit commitment. accepted to IEEE Information Theory Workshop, Porto, May 2008, 2007.
8. J. Barrett. Information processing in generalized probabilistic theories. arXiv.org e-print quant-ph/0508211. To appear in Physical Review A, 2005.
9. J. Barrett, N. Linden, S. Massar, S. Pironio, S. Popescu, and D. Roberts Nonlocal correlations as an information-theoretic resource Phys. Rev. A 71 2005 022101
10. C.H. Bennett, and G. Brassard Quantum cryptography: Public-key distribution and coin-tossing Proceedings of IEEE International Conference on Computers, Systems, and Signal Processing Bangalore, India 1985 IEEE Press 175 179
11. G. Brassard Is information the key? Nature Physics 1 2005 2 4
12. G.M. d'Ariano How to derive the Hilbert-space formulation of quantum mechanics from purely operational axioms arXiv.org e-print quant-ph/0603011 2006
13. C.A. Fuchs Quantum mechanics as quantum information, mostly J. Mod. Opt. 50 2003 987
14. L. Hardy Quantum theory from five reasonable axioms arXiv.org e-print quant-ph/0101012 2001
15. L. Hardy. Why quantum theory? arXiv.org e-print quant-ph/0111068. Contribution to NATO Advanced Research Workshop "Modality, Probability, and Bell's Theorem", Krakow, Poland 19-23.8.01, 2001.
16. J. Hyland, and A. Schalk Glueing and orthogonality for models of linear logic Theoretical Computer Science 294 2003 405 407
17. H.-K. Lo, and H.F. Chau Is quantum bit-commitment really possible? Phys. Rev. Lett. 78 1997 3410 3413
18. D. Mayers Unconditionally secure quantum bit commitment is impossible Physical Review Letters 78 1997 3413
19. P. Selinger. Towards a semantics for higher-order quantum computation. In Proceedings of the 2nd International Workshop on Quantum Programming Languages, Turku Finland, pages 127-143. Turku Center for Computer Science, 2004. Publication No. 33.
20. P. Selinger Dagger compact closed categories Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Chicago Electronic Notes in Theoretical Computer Science 170 2007 139 163