The structure of partial isometries

Semantic Techniques in Quantum Computation

Volumn 9780521513746, Issue , 2013, Pages 361-388

  Hines, Peter ^a   Braunstein, Samuel L ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS;

CATEGORICAL LOGIC; CATEGORIFICATION; CLOSED CATEGORY; FOUNDATIONS OF QUANTUM MECHANICS; MONOIDAL CLOSED CATEGORY; PARTIAL ISOMETRY; PARTIAL ORDER; PHYSICAL INTERPRETATION; QUANTUM LOGIC;

QUANTUM THEORY;

EID: 76449093243     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9781139193313.010     Document Type: Chapter

References (62)

1. Abramsky, S. (1991) Domain theory in logical form. Annals of Pure and Applied Logic 51:1-77.
2. Abramsky, S. (1996) Retracing some paths in process algebra. In Montanari, U. and Sassone, V., editors, Proceedings of CONCUR '96, volume 1119 of Lecture Notes in Computer Science, pages 1-17. Springer-Verlag.
3. Abramsky, S. (2005) Abstract scalars, loops, and free traced and strongly compact closed categories. In Fiadeiro, J. L., Harman, N., Roggenbach, M., and Rutten, J. J. M. M., editors, CALCO, volume 3629 of Lecture Notes in Computer Science, pages 1-29. Springer.
4. Abramsky, S., Blute, R., and Panangaden, P. (1998) Nuclear and trace ideals in tensor *-categories. Journal of Pure and Applied Algebra 1(43):3-47.
5. Abramsky, S., and Coecke, B. (2004) A categorical semantics of quantum protocols. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pages 415-425. IEEE Computer Society Press. quant-ph/0402130.
6. Abramsky, S., and Duncan, R. (2006) A categorical quantum logic. Mathematical Structures in Computer Science 16(3):469-489.
7. Abramsky, S., Haghverdi, E., and Scott, P. J. (2002) Geometry of interaction and linear combinatory algebras. Mathematical Structures in Computer Science 12(5):625-665.
8. Barr, M. (1992) Algebraically compact functors. Journal of Pure and Applied Algebra 82:211- 231.
9. Bennett, C. H., Brassard, G., Crépeau, C., Jozsa, R., Peres, A., and Wootters, W. K. (1993) Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters 70:1895-1899.
10. Birkhoff, G., and von Neumann, J. (1936) The logic of quantum mechanics. Annals of Mathematics 37(823).
11. Blute, R., Cockett, R., and Seely, R. (2000) Feedback for linearly distributive categories: traces and fixed-points. Journal of Pure and Applied Algebra 154(1-3):27-69.
12. Brassard, G., Braunstein, S. L., and Cleve, R. (1998) Teleportation as a quantum computation. Physica D 120:43-47.
13. Braunstein, S. L. (1996) Quantum teleportation without irreversible detection. Physical Review A 53(3):1900-1902.
14. Braunstein, S. L., D'Arianco, G. M., Milburn, G. J., and Sacchi, M. F. (2000) Universal teleportation with a twist. Physical Review Letters 84:3486-3489.
15. Coecke, B., Moore, D., and Stubbe, I. (2001) Quantaloids describing causation and propagation of physical properties. Foundations of Physics Letters 14:133-145.
16. Coecke, B., and Smets, S. (2001) The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes. ArXiv:quant-ph/0111076v2.
17. Cuntz, J., and Krieger, W. (1980) A class of C* algebras and topological Markov chains. Inventiones Mathematicae 56:251-268.
18. Duncan, R. (2004) Believe it or not, Bell states are a model of multiplicative linear logic. Computing Laboratory Research Report PRG-RR-04-18, Oxford University.
19. Duncan, R. (2007) Types for Quantum Computation. Ph.D. thesis, Oxford.
20. Erdelyi, I. (1968) Partial isometries closed under multiplication on Hilbert spaces. Journal of Mathematical Analysis and Applications 22:546-551.
21. Faure, C.-A., Moore, D., and Piron, C. (1995) Deterministic evolutions and Schrödinger flows. Helvetica Physica Acta 68:150-157.
22. Finkelstein, D. (1962) The logic of quantum physics. Transactions of the New York Academy of Sciences 25(2):621-637.
23. Girard, J.-Y. (1987) Linear Logic. Theoretical Computer Science 50(1):1-102.
24. Girard, J.-Y. (1988) Geometry of interaction 2: Deadlock-free algorithms. In Martin-Löf, P., and Mints, G., editors, International Conference on Computer Logic, COLOG 88, volume 417 of Lecture Notes in Computer Science, pages 76-93. Springer-Verlag.
25. Girard, J.-Y. (1989) Geometry of Interaction I: Interpretation of System F. In Ferro, R., editor, Logic Colloquium '88, pages 221-260. North-Holland.
26. Gleason, A. (1957) Measures on the closed subspaces of a Hilbert space. Journal of Mathematics and Mechanics 6:885-893.
27. Griffiths, R. (2002) Consistent Quantum Theory. Cambridge University Press.
28. Guyker, J. (1976) On partial isometries with no isometric part. Pacific Journal of Mathematics 62(2):419-433.
29. Haghverdi, E. (2000) Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness. Ph.D. thesis, Univ. Ottawa.
30. Halmos, P. R., and McLaughlin, J. E. (1963) Partial isometries. Pacific Journal of Mathematics 13(2):585-596.
31. Hardegree, G. M. (1979) The conditional in abstract and concrete quantum logic. In Hooker, C., editor, The Logico-Algebraic Approach to Quantum Mechanics, volume 2. D. Reidel Publishing Company, Dordrecht.
32. Hellman, G. (1981) Quantum logic and the projection postulate. Philosophy of Science 48(3): 469-486.
33. Hines, P. (1997) The Theory of Self-similarity and Its Applications. Ph.D. thesis, University of Wales.
34. Hines, P. (1999) The categorical theory of self-similarity. Theory and Applications of Categories, Special edition in honour of Max Kelly 6:33-46.
35. Hines, P. (2004) A categorical framework for finite state machines. Mathematical Structures in Computer Science.
36. Hines, P. (2007) The inverse and the trace. Invited talk, Workshop on Traces and Feedback, LICS 2007, available at: http://www.peterhines.net/downloads/talks/LICS2007.pdf.
37. Hines, P., and Scott, P. (2009) Conditional quantum iteration from categorical traces. In progress.
38. Holdsworth, D., and Hooker, C. (1983) A critical survey of quantum logic. Logic in the 20th Century, Scientia Special Issue, Scientia, Milan, pages 127-246.
39. Howie, J. (1995) Fundamentals of Semigroup Theory. Clarendon Press Oxford.
40. Hughes, R. I. G. (1989) The structure and interpretation of quantum mechanics. Harvard University Press.
41. Jauch, J. (1986) Foundations of Quantum Mechanics. Addison Wesley Longman.
42. Joyal, A., and Street, R. (1991) The geometry of tensor calculus i. Advances in Mathematics 88(1):55-112.
43. Joyal, A., Street, R., andVerity, D. (1996) Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society, pages 425-446.
44. Kelly, G., and Laplaza, M. (1980) Coherence for compact closed categories. Journal of Pure and Applied Algebra 19:193-213.
45. Kneale, W., and Kneale, M. (1971) The Development of Logic. Oxford University Press.
46. Lambek, J., and Scott, P. J. (1986) Introduction to Higher Order Categorical Logic. Cambridge Studies in Advanced Mathematics Vol. 7. Cambridge University Press.
47. LaPlaza, M. (1977) Coherence in nonmonoidal categories. Transactions of the American Mathematical Society 230.
48. Lawson, M. V. (1998) Inverse Semigroups: The Theory of Partial Symmetries. World Scientific.
49. Lawvere, F. W. (1973) Metric spaces, generalized logic, and closed categories. Rendiconti del seminario matématico e fisico di Milano, XLIII pages 135-166. Also available as Reprints in Theory and Applications of Categories, No. 1, year= 2002, pp 1-37.
50. MacLane, S. (1998) Categories for theWorking Mathematician. Graduate Texts inMathematics. Springer-Verlag, Berlin, second edition.
51. Malinowski, J. (1990) The deduction theorem for quantum logic - some negative results. The Journal of Symbolic Logic 55:615-625.
52. Mehra, J., and Rechenberg, H. (1982) The Historical Development of Quantum Theory III: The Formulation of Matrix Mechanics and Its Modifications 1925-1926. Springer-Verlag New York.
53. Mints, G. (1981) Closed categories and the theory of proofs. Journal of Mathematical Sciences 15(1):45-62.
54. Munn, W., and Penrose, R. (1955) A note on inverse semigroups. Proceeding of the Cambridge Philosophical Society 51:396-399.
55. Pati, A. K., and Braunstein, S. L. (2000) Impossibility of deleting an unknown quantum state. Nature 404:164-165.
56. Piron, C. (1976) Foundations of Quantum Physics. W. A. Benjamin.
57. Putnam, H. (1969) Is logic empirical? In Cohen, R., and Wartofsky, M., editors, Boston Studies in the Philosophy of Science, volume 5, pages 181-206. D. Reidel.
58. Shimony, A. (1970) Filters with infinitely many components. Foundations of Physics 1(4):325- 328.
59. Smets, S. (2001) On causation and a counterfactual in quantum logic: the Sasaki hook. Logique et Analyse 44(173-175):307-325.
60. Sørensen, M. H. B., and Urzyczyn, P. (1998) Lectures on the Curry-Howard isomorphism. Technical report, University of Copenhagen.
61. Vickers, S. (1989) Topology via logic. Cambridge University Press.
62. Wootters, W., and Zurek, W. (1982) A single quantum cannot be cloned. Nature 299:802-803.