High-level methods for quantum computation and information

Proceedings - Symposium on Logic in Computer Science

Volumn 19, Issue , 2004, Pages 410-414

  Abramsky, Samson ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DATA PROCESSING; FAULT TOLERANT COMPUTER SYSTEMS; LOGIC GATES; NUMBER THEORY; POLYNOMIALS; QUANTUM THEORY; SEMANTICS;

QUANTUM COMPUTATION; QUANTUM INFORMATION PROCESSING; QUANTUM TELEPORTATION;

COMPUTATIONAL METHODS;

EID: 4544229507     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/lics.2004.1319635     Document Type: Conference Paper

References (27)

1. S. Abramsky, R. Blute, and P. Panangaden. Nuclear and trace ideals in tensored *categories. Journal of Pure and Applied Algebra 143, 3-47 (1999).
2. S. Abramsky and B. Coecke. Physical traces: classical vs. quantum information processing. Electronic notes on Theoretical Computer Science 69 (2003) - CTCS'02 issue. arXiv:cs/0207057
3. 1
4. S. Abramsky, S. J. Gay and R Nagarajan. Interaction categories and foundations of typed concurrent programming. Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School pp. 35-113. NATO ASI Series F, Springer-Verlag, 1995.
5. J. Baez. Quantum Quandaries: A Category-Theoretic Perspective. To appear in Structural Foundations of Quantum Gravity, ed. S. French, D. Rickles and J. Sahatsi, Oxford University Press. Available at http://math.ucr.edu/home/baez/ quantum/
6. C. H. Bennett, C. 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).
7. R. S. Bird and O. de Moor. Algebra of Programming. Prentice-Hall International, 1996.
8. D. Bouwmeester, A. Ekert and A. Zeilinger. The Physics of Quantum Information. Springer-Verlag, 2001.
9. B. Coecke. The Logic of entanglement. An invitation. PRG-RR-03-12 Oxford University Computing Laboratory. http://web.comlab.ox.ac.uk/oucl/publications/ tr/rr-03-12.html.
10. B. Coecke. The logic of entanglement. arXiv:quant-ph/0402014
11. R. Duncan. D.Phil, thesis transfer report. Oxford University Computing Laboratory, 2004.
12. A. K. Ekert, Quantum cryptography based on Bell's theorem. Physical Review Letters 67, 661-663 (1991).
13. D. Gottesman and I. L. Chuang. Quantum teleportation is a universal computational primitive. Nature 402, 390-393 (1999). arXiv:quant-ph/9908010
14. L. K. Grover. Quantum mechanics helps in searching for a needle in a haystack. Physical Review Letters 79, 325-328 (1997).
15. G. Jones and M. Sheeran. Circuit design in Ruby. Formal methods for VLSI design, ed. J. Staunstrup, 13-70, Elsevier, 1993.
16. G. M. Kelly, and M. L. Laplaza. Coherence for compact closed categories. Journal of Pure and Applied Algebra 19, 193-213 (1980).
17. J. von Neumann. Mathematische Grundlagen der Quantenmechanik. Springer-Verlag, 1932. English translation: Mathematical Foundations of Quantum Mechanics. Princeton University Press, 1955.
18. M. A. Nielsen and L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
19. J. Preskill. Reliable quantum Computers. arXiv: quant-ph/9705031
20. R. Raussendorf and H. J. Briegel. Computational model for the one-way quantum computer: concepts and summary. arXiv:quant-ph/0207183
21. R. Raussendorf, D. E. Browne and H. J. Briegel. Measurement-based quantum computation on cluster states. arXiv:quant-ph/0301052
22. P. Selinger. Towards a quantum programming language. Mathematical Structures in Computer Science. To appear.
23. P. W. Shor. Algorithms for quantum computation: Discrete logarithms and factoring. Proceedings of the 35th Annual Symposium on the Foundations of Computer Science, pp. 124-134. IEEE Computer Society Press, 1994.
24. P. W. Shor. Fault-tolerant quantum computation. Proceedings of the 37nd Annual Symposium on Foundations of Computer Science, pp. 56-65. IEEE Computer Society Press, 1996, arXiv:quant-ph/9605011
25. A. van Tonder. Quantum computation, categorical semantics, and linear logic. arXiv:quant-ph/0312174
26. W. Wootters and W. Zurek. A single quantum cannot be cloned. Nature 299, 802-803 (1982).
27. M. Żukowski, A. Zeilinger, M. A. Horne and A. K. Ekert. 'Event-ready-detectors' Bell experiment via entanglement swapping. Physical Review Letters 71, 4287-4290 (1993).