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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of 19th IEEE Conference on Logic in Computer Science, pp. 415–425. IEEE Press (2004), arXiv:quant-ph/0402130; Extended revised version: Categorical quantum mechanics. In: Engesser, K., Gabbay, D.M., Lehmann, D., (eds.): Handbook of Quantum Logic and Quantum Structures, pp. 261–323. Elsevier (2009), arXiv:0808.1023
Barendrecht, H.P.: The Lambda Calculus — Its Syntax and Semantics. North-Holland (1994)
Bennett, C.H., Brassard, G., Crépeau, 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)
Raussendorf, R., Browne, D.E., Briegel, H.-J.: Measurement-based quantum computation on cluster states. Physical Review A 68, 022312 (2003), arXiv:quant-ph/0301052
Coecke, B.: The Logic of entanglement. An invitation. Research Report PRG-RR-03-12 Oxford University Computing Laboratory (2003), http://www.cs.ox.ac.uk/techreports/oucl/RR-03-12.ps
Coecke, B.: The Logic of entanglement (2004), arXiv:quant-ph/0402014
Gottesman, D., Chuang, I.L.: Quantum teleportation is a universal computational primitive. Nature 402, 390–393 (1999), arXiv:quant-ph/9908010
Laforest, M., Laflamme, R., Baugh, J.: Time-reversal formalism applied to maximal bipartite entanglement: theoretical and experimental exploration. Physical Review A 73, 032323 (2006), arXiv:quant-ph/0510048
Nielsen, M.A.: Conditions for a class of entanglement transformations. Physical Review Letters 83, 436–439 (1999)
Preskill, J.: Reliable quantum computers. Proceedings of the Royal Society of Londen A454, 385–410 (1997), quant-ph/9705031
Svetlichny, G.: Effective quantum time travel (2009), arXiv 0902.4898
Żukowski, M., Zeilinger, A., Horne, M.A., Ekert, A.K.: ‘Event-ready-detectors’ Bell experiment via entanglement swapping. Physical Review Letters 71, 4287–4290 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Coecke, B. (2014). The Logic of Entanglement. In: van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds) Horizons of the Mind. A Tribute to Prakash Panangaden. Lecture Notes in Computer Science, vol 8464. Springer, Cham. https://doi.org/10.1007/978-3-319-06880-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-06880-0_13
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06879-4
Online ISBN: 978-3-319-06880-0
eBook Packages: Computer ScienceComputer Science (R0)