Temperley–lieb algebra: From knot theory to logic and computation via quantum mechanics

Mathematics of Quantum Computation and Quantum Technology

Volumn , Issue , 2007, Pages 515-558

  Abramsky, Samson ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85057462010     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (45)

1. S. Abramsky. Retracing some paths in process algebra. In U. Montanari and V. Sassone, editors, Proceedings of CONCUR ‘96, volume 1119 of Springer Lecture Notes in Computer Science, pages 1–17. Springer- Verlag, 1996.
2. S. Abramsky. High-level methods for quantum computation and information. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pages 410–414. IEEE Computer Science Press, 2004.
3. S. Abramsky. Abstract scalars, loops, and free traced and strongly compact closed categories. In J. Fiadeiro, editor, Proceedings of CALCO 2005, volume 3629 of Springer Lecture Notes in Computer Science, pages 1–31. Springer-Verlag, 2005.
4. S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pages 415–425. IEEE Computer Science Press. quant-ph/0402130, 2004.
5. S. Abramsky and B. Coecke. Abstract physical traces. Theory and Applications of Categories, 14:111–124, 2005.
6. S. Abramsky and R. W. Duncan. A categorical quantum logic. Mathematical Structures in Computer Science, 16:469–489, 2006.
7. S. Abramsky, E. Haghverdi, and P. J. Scott. Geometry of interaction and linear combinatory algebras. Mathematical Structures in Computer Science, 12:625–665, 2002.
8. S. Abramsky and R. Jagadeesan. New foundations for the geometry of interaction. Information and Computation, 111:53–119, 1994.
9. H. P. Barendregt. The Lambda Calculus, volume 103 of Studies in Logic. North-Holland, 1984.
10. C. H. Bennet, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W. K. Wooters. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters, 70:1895–1899, 1993.
11. G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823–843, 1936.
12. R. Brauer. On algebras which are connected with the semisimple continuous groups. Ann. Math., 38:854–872, 1937.
13. W. Buszkowski. Mathematical linguistics and proof theory. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, chapter 12, pages 683–736. Elsevier, 1997.
14. A. Church. The Calculi of Lambda Conversion. Princeton University Press, 1941.
15. B. Coecke. De-linearizing linearity: projective quantumaxiomatics from strong compact closure. Electronic Notes in Theoretical Computer Science, 2006. To appear.
16. B. Coecke and E. O. Paquette. Generalized measurements andNaimark’s theorem without sums. To appear in FourthWorkshop on Quantum Programming Languages, 2006.
17. B. Coecke and D. Pavlovic. Quantum measurements without sums. In G. Chen, L. Kauffman, and S. Lamonaco, editors, Mathematics of Quantum Computing and Technology. Taylor and Francis, 2006. To appear.
18. J. Diestel. Graph Theory. Springer-Verlag, 1997.
19. P. A. M. Dirac. The Principles of Quantum Mechanics (third edition). Oxford University Press, 1947.
20. K. Dosen and Z. Petric. Self-adjunctions and matrices. Journal of Pure and Applied Algebra, 184:7–39, 2003.
21. P. Freyd and D. Yetter. Braided compact closed categories with applications to low-dimensional topology. Advances in Mathematics, 77:156–182, 1989.
22. J.-Y. Girard. Linear Logic. Theoretical Computer Science, 50(1):1–102, 1987.
23. J.-Y. Girard. Geometry of Interaction I: Interpretation of System F. In R. Ferro, editor, Logic Colloquium ’88, pages 221–260. North-Holland, 1989.
24. D. Gottesman and I. L. Chuang. Quantum teleportation is a universal computational primitive. Nature, 402:390–393, 1999.
25. T. Halvorson and A. Ram. Partition algebras. European J. of Combinatorics, 26(1):869–921, 2005.
26. V. F. R. Jones. A polynomial invariant for links via von Neumann algebras. Bulletin of the Amer. Math. Soc., 129:103–112, 1985.
27. A. Joyal, R. Street, and D. Verity. Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society, 119:447–468, 1996.
28. C. Kassel. Quantum Groups. Springer, 1995.
29. L. H. Kauffman. An invariant of regular isotopy. Trans. Amer. Math. Soc., 318(2):417–471, 1990.
30. L. H. Kauffman. Knots in Physics. World Scientific Press, 1994.
31. L. H. Kauffman. Knot Logic. In L. H. Kauffman, editor, Knots and Applications, pages 1–110. World Scientific Press, 1995.
32. L. H. Kauffman. Biologic II. In N. Tongring and R. C. Penner, editors, Woods Hole Mathematics, pages 94–132.World Scientific Press, 2004.
33. L. H. Kauffman. Knot diagrammatics. In W. W. Menasco and M. Thistlethwaite, editors, Handbook of Knot Theory. Elsevier, 2005.
34. G. M. Kelly and M. L. Laplaza. Coherence for compact closed categories. Journal of Pure and Applied Algebra, 19:193–213, 1980.
35. M. Laforest, R. Laflamme, and J. Baugh. Time-reversal formalism applied to maximal bipartite entanglement: Theoretical and experimental exploration. quant-ph/0510048. Unpublished.
36. J. Lambek. The mathematics of sentence structure. Amer. Math. Monthly, 65:154–170, 1958.
37. R. Milner. Fully abstract models of typed lambda-calculus. Theoretical Computer Science, 4:1–22, 1977.
38. M. Moortgat. Categorial type logic. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, chapter 2, pages 93–177. Elsevier, 1997.
39. R. Raussendorf and H.-J. Briegel. A one-way quantum computer. Physical Review Letters, 86:5188, 2001.
40. R. Raussendorf, D. Browne, and H.-J. Briegel. Measurement-based quantum computation on cluster states. Physical Review A, 68:022312, 2003.
41. M. Rédei. Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead). Studies in History and Philosophy of Modern Physics, 27:493–510, 1997.
42. P. Selinger. Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical Computer Science, 2006. To appear.
43. H. N. V. Temperley and E. H. Lieb. Relations between the ‘percolation’ and ‘coloring’ problem and other graph-theoretical problems associated with regular planar lattices: some exact results for the ‘percolation’ problem. Proc. Roy. Soc. Lond. A, 322:251–280, 1971.
44. E. Witten. Topological quantum field theory. Communications in Mathematical Physics, 117:353-386, 1988.
45. M. Zukowski, A. Zeilinger, M. A. Horne, and A. K. Ekert. ‘Event-readydetectors’ Bell experiment via entanglement swapping. Physical Review Letters, 71:4287–4290, 1993.