Quantum information-flow, concretely, abstractly

Quantum information-flow, concretely, abstractly (2004)

Cached

Download Links

by Bob Coecke

Venue:	PROC. QPL 2004
Citations:	10 - 4 self

Versions

Version History

Metadata Version 1

User correction supplied by mph

Datum	Value	Source
TITLE	Quantum information-flow, concretely, abstractly	user correction
AUTHOR NAME	Bob Coecke	user correction
AUTHOR AFFIL	Oxford University Computing Laboratory	user correction
ABSTRACT	These ‘lecture notes ’ are based on joint work with Samson Abramsky. I will survey and informally discuss the results of [3, 4, 5, 12, 13] in a pedestrian not too technical way. These include: • ‘The logic of entanglement’, that is, the identification and abstract axiomatization of the ‘quantum information-flow ’ which enables protocols such as quantum teleportation. 1 To this means we defined strongly compact closed categories which abstractly capture the behavioral properties of quantum entanglement. • ‘Postulates for an abstract quantum formalism ’ in which classical informationflow (e.g. token exchange) is part of the formalism. As an example, we provided a purely formal description of quantum teleportation and proved correctness in abstract generality. 2 In this formalism types reflect kinds, contra the essentially typeless von Neumann formalism [25]. Hence even concretely this formalism manifestly improves on the usual one. • ‘A high-level approach to quantum informatics’. 3 Indeed, the above discussed work can be conceived as aiming to solve: von Neumann quantum formalism � high-level language low-level language. I also provide a brief discussion on how classical and quantum uncertainty can be mixed in the above formalism (cf. density matrices). 4	SVM HeaderParse 0.2
YEAR	2004	user correction
VENUE	PROC. QPL 2004	user correction
PAGES	57--73	user correction
CITATIONS	21 found	ParsCit 1.0