Environment and classical channels in categorical quantum mechanics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6247 LNCS, Issue , 2010, Pages 230-244

  Coecke, Bob ^a   Perdrix, Simon ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL CONTROL; CLASSICAL STRUCTURES; CONSTRUCTIVE REPRESENTATION; QUANTUM COMPUTING; QUANTUM MEASUREMENT; QUANTUM MECHANICS;

COMPUTER SCIENCE; QUANTUM COMPUTERS; QUANTUM THEORY;

TECHNICAL PRESENTATIONS;

EID: 77956567657     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15205-4_20     Document Type: Conference Paper

References (31)

1. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. IEEELiCS 2004 (2004), Revision: arXiv:quant-ph/0808.1023
2. Abramsky, S., Coecke, B.: Abstract physical traces. Theory and Applications of Categories 14, 111-124 (2005), arXiv:0910.3144
3. Barnum, H., Caves, C.M., Fuchs, C.A., Jozsa, R., Schumacher, B.: Noncommuting mixed states cannot be broadcast. Physical Review Letters 76, 2818-2821 (1996), arXiv:quant-ph/9511010
4. Bennett, C.H., Brassard, G.: Quantum cryptography: Public key distribution and coin tossing. IEEE-CSSP (1984)
5. Bennett, C.H., Brassard, G., Cŕepeau, C., Jozsa, R., Peres, A., Wooters, W.K.: Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters 70, 1895-1899 (1993)
6. Bennet, C.H., Wiesner, S.: Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states. Physical Review Letters 69, 2881-2884 (1992)
7. Carboni, A.,Walters, R.F.C.: Cartesian bicategories I. Journal of Pure and Applied Algebra 49, 11-32 (1987)
8. Chiribella, G., D'Ariano, G.M., Perinotti, P.: Probabilistic theories with purification (2009), arXiv:0908.1583
9. Coecke, B.: Axiomatic description of mixed states from Selinger's CPMconstruction. Electronic Notes in Theoretical Computer Science 210, 3-13 (2008)
10. Coecke, B., Duncan, R.: Interacting quantum observables. In: Aceto, L., Damǵard, I., Goldberg, L.A., Halld́orsson, M.M., Inǵolfsd́ottir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.5126, pp. 298-310. Springer, Heidelberg (2008)
11. Extended version: arXiv:0906.4725
12. Coecke, B., Edwards, B., Spekkens, R.W.: Phase groups and the origin of nonlocality for qubits. In: ENTCS-QPL 2009 (to appear, 2010), arXiv:1003.5005
13. Coecke, B., Kissinger, A.: The compositional structure of multipartite quantum entanglement. In: ICALP 2010 (2010), arXiv:1002.2540
14. Coecke, B., Paquette, E.O.: Categories for the practicing physicist. In: Coecke, B. (ed.) New Structures for Physics. Lecture Notes in Physics, pp. 167-271. Springer, Heidelberg (2009), arXiv:0905.3010
15. Coecke, B., Paquette, E.O., Perdrix, S.: Bases in diagrammatic quantum protocols. Electronic Notes in Theoretical Computer Science 218, 131-152 (2008)
16. Coecke, B., Paquette, E.O., Pavlovic, D.: Classical and quantum structuralism. In: Mackie, I., Gay, S. (eds.) Semantic Techniques for Quantum Computation, pp. 29-69. Cambridge University Press, Cambridge (2009), arXiv:0904.1997
17. Coecke, B., Pavlovic, D.: Quantum measurements without sums. In: Chen, G., Kauffman, L., Lamonaco, S. (eds.) Mathematics of Quantum Computing and Technology, pp. 567-604. Taylor and Francis, Abington (2007), arXiv:quant-ph/0608035
18. Coecke, B., Pavlovic, D., Vicary, J.: A new description of orthogonal bases (2008), arXiv:0810.0812
19. Coecke, B., Wang, B.-S., Wang, Q.-L., Wang, Y.-J., Zhang, Q.-Y.: Graphical calculus for quantum key distribution. In: ENTCS-QPL 2009 (to appear, 2010)
20. Dixon, L., Duncan, R., Kissinger, A.: quantomatic, http://dream.inf.ed. ac.uk/projects/quantomatic/
21. Duncan, R., Perdrix, S.: Graph states and the necessity of Euler decomposition. In: CiE 2009. LNCS, vol.5635. Springer, Heidelberg (2009), arXiv:0902.0500
22. Duncan, R., Perdrix, S.: Rewriting measurement-based quantum computations with generalised flow. In: ICALP 2010 (2010)
23. Ekert, A.: Quantum cryptography based on Bell's theorem. Physical Review Letters 67, 661-663 (1991)
24. Joyal, A., Street, R.: The Geometry of tensor calculus I. Advances in Mathematics 88, 55-112 (1991)
25. Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. Journal of Pure and Applied Algebra 19, 193-213 (1980)
26. Lack, S.: Composing PROPs. Theory and Applications of Categories 13, 147-163 (2004)
27. Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, Heidelberg (2000)
28. Penrose, R.: Applications of negative dimensional tensors. In:Welsh, D. (ed.) Combinatorial Mathematics and its Applications, pp. 221-244. Academic Press, London (1971)
29. Selinger, P.: Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical Computer Science 170, 139-163 (2007)
30. Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics, pp. 275-337. Springer, Heidelberg (2009), arXiv:0908.3347
31. Zurek, W.H.: Decoherence and the Transition from Quantum to Classical. Physics Today 44, 36-44 (1991), arXiv:quant-ph/0306072