Abstract
The foundations of computer science are built upon the modified Church-Turing thesis. This thesis states that any reasonable model of computation can be simulated by a probabilistic Turing Machine with at most polynomial factor simulation overhead (see [10] for a discussion). Early interest in quantum computation from a computer science perspective was sparked by results indicating that quantum computers violate the modified Church-Turing thesis [3],[8]. The seminal work by Shor giving polynomial time algorithms for factorization and discrete logarithms [9] shook the foundations of modern cryptography, and gave a practical urgency to the area of quantum computation. All these quantum algorithms rely crucially upon properties of the Quantum Fourier transforms over finite Abelian groups. Indeed these properties are exactly what is required to solve a general problem known as the hidden subgroup problem, and it is easiest to approach the the algorithms for factoring and discrete logarithms as instances of this general approach. This survey paper focusses on presenting the essential ideas in a simple way, rather than getting the best results.
This research was supported by NSF Grant CCR-9800024, Darpa Grant F30602-00- 2-0601.
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
Bennett, C. H., “Logical reversibility of computation,” IBM J. Res. Develop., Vol. 17, 1973, pp. 525–532.
Barenco, A., Bennett, C., Cleve, R., DiVincenzo, D., Margolus, N., Shor, P., Sleator, T., Smolin, J., and Weinfurter, H., “Elementary gates for quantum computation,” Phys. Rev. A 52, 3457 (1995).
Bernstein E and Vazirani U, 1993, Quantum complexity theory, SIAM Journal of Computation 26 5 pp 1411–1473 October, 1997.
Bennett, C. H., Bernstein, E., Brassard, G. and Vazirani, U., “Strengths and weaknesses of quantum computation,” SIAM J. Computing, 26, pp. 1510–1523 (1997).
Grover, L., “Quantum mechanics helps in searching for a needle in a haystack,” Phys. Rev. Letters, 78, pp. 325–328 (1997).
L. Hales and S. Hallgren. Quantum Fourier Sampling Simplified. In Proceedings of the Thirty-first Annual ACM Symposium on the Theory of Computing, pages 330–338, Atlanta, Georgia, 1–4 May 1999.
Alexei Kitaev. Quantum measurements and the abelian stabilizer problem. ECCC Report TR96-003, 1996.
D. Simon. “On the power of quantum computation.” In Proc. 35th Symposium on Foundations of Computer Science (FOCS), 1994.
Shor P W, Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer, SIAM J. Comp., 26, No. 5, pp 1484–1509, October 1997.
Vazirani, U., “On the power of quantum computation,” Philosophical Transactions of the Royal Society of London, Series A, 356:1759–1768, August 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Vazirani, U. (2002). Fourier Transforms and Quantum Computation. In: Khosrovshahi, G.B., Shokoufandeh, A., Shokrollahi, A. (eds) Theoretical Aspects of Computer Science. TACSci 2000. Lecture Notes in Computer Science, vol 2292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45878-6_8
Download citation
DOI: https://doi.org/10.1007/3-540-45878-6_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43328-6
Online ISBN: 978-3-540-45878-4
eBook Packages: Springer Book Archive