Lee Spector
ABSTRACT
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed and if the properties of these computers meet optimistic expectations. Nevertheless, computer scientists still lack a thorough understanding of the power of quantum computing, and it is not always clear how best to utilize the power that is understood. This dilemma exists because quantum algorithms are difficult to grasp and even more difficult to write. Despite large-scale international efforts, only a few important quantum algorithms are documented, leaving many essential questions about the potential of quantum algorithms unanswered.
These unsolved problems are ideal challenges for the application of automatic programming technologies. Genetic programming techniques, in particular, have already produced several new quantum algorithms and it is reasonable to expect further discoveries in the future. These methods will help researchers to discover how additional practical problems can be solved using quantum computers, and they will also help to guide theoretical work on both the power and limits of quantum computing.
This tutorial will provide an introduction to quantum computing and an introduction to the use of evolutionary computation for automatic quantum computer programming. No background in physics or in evolutionary computation will be assumed. While the primary focus of the tutorial will be on general concepts, specific results will also be presented, including human-competitive results produced by genetic programming. Follow-up material is available from the presenter's book, Automatic Quantum Computer Programming: A Genetic Programming Approach, published by Springer and Kluwer Academic Publishers.
- Automatic Quantum Computer Programming: A Genetic Programming Approach. By Lee Spector. Kluwer Academic Publishers, 2004, and Springer Science+Business Media, 2007.Google Scholar
Digital Library
- Quantum Computation and Quantum Information. By Michael A. Nielsen and Isaac L. Chuang. Cambridge University Press. 2000. Google ScholarDigital Library
- Schrödinger's Machines: The Quantum Technology Reshaping Everyday Life. By Gerard J. Milburn. W.H. Freeman and Company. 1997.Google Scholar
- Explorations in Quantum Computing. By Colin P. Williams and Scott H. Clearwater. Springer-Verlag/Telos. 1997.Google Scholar
- The Fabric of Reality. By David Deutsch. Penguin Books. 1997.Google Scholar
- The Large, the Small and the Human Mind. By Roger Penrose, with Abner Shimony, Nancy Cartwright, and Stephen Hawking. Cambridge University Press. 1997. Google ScholarDigital Library
- QED: The Strange Theory of Light and Matter. By Richard P. Feynman. Princeton University Press. 1985.Google Scholar
- A. Steane, 1998. "Quantum Computing," Reports on Progress in Physics, vol. 61, pp. 117--173. http://xxx.lanl.gov/abs/quant-ph/970802.Google ScholarCross Ref
- P. Shor, 1998. "Quantum Computing," Documenta Mathematica, vol. Extra Volume ICM, pp. 467--486. http://east.camel.math.ca/EMIS/journals/DMJDMV/xvol-icm/00/Shor.MAN.ps.g.Google Scholar
- J. Preskill, 1997. "Quantum Computing: Pro and Con," Tech. Rep. CALT-68--2113, California Institute of Technology. http://xxx.lanl.gov/abs/quant-ph/970503.Google Scholar
- A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. Smolin, H. Weinfurter, 1995. "Elementary Gates for Quantum Computation," submitted to Physical Review A. http://xxx.lanl.gov/abs/quant-ph/950301.Google Scholar
- N.J. Cerf, C. Adami, P.G. Kwiat, 1998. "Optical Simulation of Quantum Logic," Phys. Rev. A 57, 1477. http://xxx.lanl.gov/abs/quant-ph/970602.Google ScholarCross Ref
- L. Spector and H.J. Bernstein. 2003. "Communication Capacities of Some Quantum Gates, Discovered in Part through Genetic Programming," in Proc. of the Sixth Intl. Conf. on Quantum Communication, Measurement, and Computing, edited by J.H. Shapiro and O. Hirota. Princeton, NJ: Rinton Press, Inc. pp. 500--503. http://hampshire.edu/lspector/pubs/spector-QCMC-prepress.pd.Google Scholar
- H. Barnum, H.J. Bernstein, and L. Spector. 2000. Quantum circuits for OR and AND of ORs. Journal of Physics A: Mathematical and General, Vol. 33 No. 45 (17 November 2000), pp. 8047--8057. http://hampshire.edu/lspector/pubs/jpa.pd.Google ScholarCross Ref
- L. Spector, H. Barnum, H.J. Bernstein, N. Swamy, 1999. "Quantum Computing Applications of Genetic Programming," in Advances in Genetic Programming 3, pp. 135--160, MIT Press. Google ScholarDigital Library
- L. Spector, H. Barnum, H.J. Bernstein, N. Swamy, 1999. "Finding a Better-Than-Classical Quantum AND/OR Algorithm Using Genetic Programming," in Proc. 1999 Congress on Evolutionary Computation, IEEE Press.Google Scholar
- L. Spector, H. Barnum, H.J. Bernstein, 1998. "Genetic Programming for Quantum Computers," in Genetic Programming 1998: Proceedings of the Third Annual Conference, pp. 365--374, Morgan Kaufmann..Google Scholar
Index Terms
- Evolving quantum computer algorithms
Recommendations
Evolving quantum computer algorithms
GECCO '09: Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference: Late Breaking PapersComputer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed and if the properties of these computers meet optimistic expectations. Nevertheless, computer scientists still lack a thorough ...
Evolution of quantum algorithms
GECCO '10: Proceedings of the 12th annual conference companion on Genetic and evolutionary computationComputer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed and if the properties of these computers meet optimistic expectations. Nevertheless, computer scientists still lack a thorough ...
Quantum computing
GECCO '08: Proceedings of the 10th annual conference companion on Genetic and evolutionary computationComputer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed and if the properties of these computers meet optimistic expectations. Nevertheless, computer scientists still lack a thorough ...
Comments