The logic of entanglement

Abstract

We expose the information flow capabilities of pure bipartite entanglement as a theorem -- which embodies the exact statement on the `seemingly acausal flow of information' in protocols such as teleportation. We use this theorem to re-design and analyze known protocols (e.g. logic gate teleportation and entanglement swapping) and show how to produce some new ones (e.g. parallel composition of logic gates). We also show how our results extend to the multipartite case and how they indicate that entanglement can be measured in terms of `information flow capabilities'. Ultimately, we propose a scheme for automated design of protocols involving measurements, local unitary transformations and classical communication.

8 pages and loads of pictures

Cited by in corpus (16)

• Abstract Physical Traces
• Kindergarten Quantum Mechanics
• Teleportation, Braid Group and Temperley--Lieb Algebra
• Entanglement in highly symmetric multipartite quantum states
• A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure
• Quantum information-flow, concretely, and axiomatically
• The Measurement Calculus
• $q$ - Deformed Spin Networks, Knot Polynomials and Anyonic Topological Quantum Computation
• De-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure
• Tensor Universality, Quantum Information Flow, Coecke's Theorem, and Generalizations
• Higher order singular value decomposition and the reduced density matrices of three qubits
• Space-Time Topology in Teleportation-Based Quantum Computation
• Quantum Diagrams and Quantum Networks
• LQP: The Dynamic Logic of Quantum Information
• Is there a measurement-only version of quantum mechanics?
• Programming with Quantum Communication