Skip to main content

2012 | OriginalPaper | Buchkapitel

Algorithms for Quantum Computers

verfasst von : Jamie Smith, Michele Mosca

Erschienen in: Handbook of Natural Computing

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This chapter surveys the field of quantum computer algorithms. It gives a taste of both the breadth and the depth of the known algorithms for quantum computers, focusing on some of the more recent results. It begins with a brief review of quantum Fourier transform-based algorithms, followed by quantum searching and some of its early generalizations. It continues with a more in-depth description of two more recent developments: algorithms developed in the quantum walk paradigm, followed by tensor network evaluation algorithms (which include approximating the Tutte polynomial).

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Aharonov D, Jones V, Landau Z (2008) A polynomial quantum algorithm for approximating the Jones polynomial. Algorithmica 55(3):395–421MathSciNetCrossRef Aharonov D, Jones V, Landau Z (2008) A polynomial quantum algorithm for approximating the Jones polynomial. Algorithmica 55(3):395–421MathSciNetCrossRef
Zurück zum Zitat Ambainis A (2003) Quantum walks and their algorithmic applications. Int J Quantum Inform 1:507–518MATHCrossRef Ambainis A (2003) Quantum walks and their algorithmic applications. Int J Quantum Inform 1:507–518MATHCrossRef
Zurück zum Zitat Ambainis A (2004) Quantum walk algorithm for element distinctness. In: Proceedings of the 45th annual IEEE symposium on foundations of computer science, pp 22–31. doi: 10.1109/FOCS.2004.54 Ambainis A (2004) Quantum walk algorithm for element distinctness. In: Proceedings of the 45th annual IEEE symposium on foundations of computer science, pp 22–31. doi: 10.1109/FOCS.2004.54
Zurück zum Zitat Ambainis A, Childs A, Reichardt B, Spalek R, Zhang S (2007) Any and-or formula of size n can be evaluated in time n 1 ∕ 2+o(1) on a quantum computer. In: Proceedings of the 48th annual IEEE symposium on foundations of computer science, pp 363–372. doi: 10.1109/FOCS.2007.57 Ambainis A, Childs A, Reichardt B, Spalek R, Zhang S (2007) Any and-or formula of size n can be evaluated in time n 1 ∕ 2+o(1) on a quantum computer. In: Proceedings of the 48th annual IEEE symposium on foundations of computer science, pp 363–372. doi: 10.1109/FOCS.2007.57
Zurück zum Zitat Berry DW, Ahokas G, Cleve R, Sanders BC (2007) Efficient quantum algorithms for simulating sparse Hamiltonians. Commun Math Phys 270:359MathSciNetMATHCrossRef Berry DW, Ahokas G, Cleve R, Sanders BC (2007) Efficient quantum algorithms for simulating sparse Hamiltonians. Commun Math Phys 270:359MathSciNetMATHCrossRef
Zurück zum Zitat Boneh D, Lipton R (1995) Quantum cryptanalysis of hidden linear functions (extended abstract). In: Proceedings of the 15th annual international cryptology conference on advances in cryptology. Lecture notes in computer science, vol. 963. Springer, London, UK, pp 424–437 Boneh D, Lipton R (1995) Quantum cryptanalysis of hidden linear functions (extended abstract). In: Proceedings of the 15th annual international cryptology conference on advances in cryptology. Lecture notes in computer science, vol. 963. Springer, London, UK, pp 424–437
Zurück zum Zitat Boyer M, Brassard G, Høyer P, Tapp A (1998) Tight bounds on quantum searching. Fortschritte der Physik 56(5–5):493–505CrossRef Boyer M, Brassard G, Høyer P, Tapp A (1998) Tight bounds on quantum searching. Fortschritte der Physik 56(5–5):493–505CrossRef
Zurück zum Zitat Brassard G, Høyer P (1997) An exact quantum polynomial-time algorithm for Simon's problem. In: Proceedings of the fifth Israeli symposium on theory of computing and systems (ISTCS’97). IEEE Press, Piscataway, pp 12–23 Brassard G, Høyer P (1997) An exact quantum polynomial-time algorithm for Simon's problem. In: Proceedings of the fifth Israeli symposium on theory of computing and systems (ISTCS’97). IEEE Press, Piscataway, pp 12–23
Zurück zum Zitat Brassard G, Høyer P, Mosca M, Tapp A (2002) Quantum amplitude amplification and estimation. Quantum Computation & Information, AMS Contemporary Math Series 305:53–74 Brassard G, Høyer P, Mosca M, Tapp A (2002) Quantum amplitude amplification and estimation. Quantum Computation & Information, AMS Contemporary Math Series 305:53–74
Zurück zum Zitat Brassard G, Høyer P, Tapp A (1997) Cryptology column — quantum algorithm for the collision problem. ACM SIGACT News 28:14–19CrossRef Brassard G, Høyer P, Tapp A (1997) Cryptology column — quantum algorithm for the collision problem. ACM SIGACT News 28:14–19CrossRef
Zurück zum Zitat Childs AM, Cleve R, Deotto E, Farhi E, Gutmann S, Spielman DA (2003) Exponential algorithmic speedup by a quantum walk. In: STOC ’03: proceedings of the 35th annual ACM symposium on theory of computing. ACM Press, New York, pp 59–68. doi: http://doi.acm.org/10.1145/780542.780552 Childs AM, Cleve R, Deotto E, Farhi E, Gutmann S, Spielman DA (2003) Exponential algorithmic speedup by a quantum walk. In: STOC ’03: proceedings of the 35th annual ACM symposium on theory of computing. ACM Press, New York, pp 59–68. doi: http://​doi.​acm.​org/​10.​1145/​780542.​780552
Zurück zum Zitat Childs A, van Dam W (2010) Quantum algorithms for algebraic problems. Rev Mod Phys 82(1):1–52 Childs A, van Dam W (2010) Quantum algorithms for algebraic problems. Rev Mod Phys 82(1):1–52
Zurück zum Zitat D'Ariano GM, van Dam W, Ekert E, Macchiavello C, Mosca M (2007) General optimized schemes for phase estimation. Phys Rev Lett 98(9):090,501 D'Ariano GM, van Dam W, Ekert E, Macchiavello C, Mosca M (2007) General optimized schemes for phase estimation. Phys Rev Lett 98(9):090,501
Zurück zum Zitat Deutsch D (1985) Quantum theory, the Church-Turing principle and the universal quantum computer. Proc Roy Soc Lond A 400:97–117MathSciNetMATHCrossRef Deutsch D (1985) Quantum theory, the Church-Turing principle and the universal quantum computer. Proc Roy Soc Lond A 400:97–117MathSciNetMATHCrossRef
Zurück zum Zitat Geraci J, Lidar DA (2008) On the exact evaluation of certain instances of the Potts partition function by quantum computers. Commun Math Phys 279(3):735–768MathSciNetMATHCrossRef Geraci J, Lidar DA (2008) On the exact evaluation of certain instances of the Potts partition function by quantum computers. Commun Math Phys 279(3):735–768MathSciNetMATHCrossRef
Zurück zum Zitat Grigoriev D (1997) Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines. Theor Comput Sci 180:217–228MathSciNetMATHCrossRef Grigoriev D (1997) Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines. Theor Comput Sci 180:217–228MathSciNetMATHCrossRef
Zurück zum Zitat Grover L (1996) A fast quantum mechanical algorithm for database search. In: Proceedings of the 28th annual ACM symposium on the theory of computing (STOC, 96). ACM Press, New York, pp 212–219 Grover L (1996) A fast quantum mechanical algorithm for database search. In: Proceedings of the 28th annual ACM symposium on the theory of computing (STOC, 96). ACM Press, New York, pp 212–219
Zurück zum Zitat Grover L (1998) A framework for fast quantum mechanical algorithms. In: Proceedings of the 13th annual ACM symposium on theory of computing (STOC' 98). ACM Press, New York, pp 53–62CrossRef Grover L (1998) A framework for fast quantum mechanical algorithms. In: Proceedings of the 13th annual ACM symposium on theory of computing (STOC' 98). ACM Press, New York, pp 53–62CrossRef
Zurück zum Zitat Hirvensalo M (2001) Quantum computing. Series: Natural Computing Series. Springer Hirvensalo M (2001) Quantum computing. Series: Natural Computing Series. Springer
Zurück zum Zitat Jordan S (2008) Quantum computation beyond the circuit model. PhD thesis, MIT University, Cambridge Jordan S (2008) Quantum computation beyond the circuit model. PhD thesis, MIT University, Cambridge
Zurück zum Zitat Karchmer M, Wigderson A (1993) On span programs. In: Proceedings of the 8th IEEE structures in complexity conference. IEEE Press, Piscataway, pp 102–111 Karchmer M, Wigderson A (1993) On span programs. In: Proceedings of the 8th IEEE structures in complexity conference. IEEE Press, Piscataway, pp 102–111
Zurück zum Zitat Kaye P, Laflamme R, Mosca M (2007) An introduction to quantum computation. Oxford University Press, Oxford, UK Kaye P, Laflamme R, Mosca M (2007) An introduction to quantum computation. Oxford University Press, Oxford, UK
Zurück zum Zitat Kitaev A, Shen A, Vyalvi M (2002) Classical and quantum computation. American Mathematical Society, Providence, RIMATH Kitaev A, Shen A, Vyalvi M (2002) Classical and quantum computation. American Mathematical Society, Providence, RIMATH
Zurück zum Zitat Menezes A, van Oorschot P, Vanstone S (1996) Handbook of applied cryptography. CRC Press, Boca RatonCrossRef Menezes A, van Oorschot P, Vanstone S (1996) Handbook of applied cryptography. CRC Press, Boca RatonCrossRef
Zurück zum Zitat Mermin ND (2007) Quantum computer science: an introduction. Cambridge University Press, CambridgeMATHCrossRef Mermin ND (2007) Quantum computer science: an introduction. Cambridge University Press, CambridgeMATHCrossRef
Zurück zum Zitat Mosca M (2008) Abelian hidden subgroup problem. In: Kao M-Y (ed) Encyclopedia of algorithms. Springer, Berlin Mosca M (2008) Abelian hidden subgroup problem. In: Kao M-Y (ed) Encyclopedia of algorithms. Springer, Berlin
Zurück zum Zitat Mosca M (2009) Quantum algorithms. In: Meyers R (ed) Encyclopedia of complexity and systems science. Springer Mosca M (2009) Quantum algorithms. In: Meyers R (ed) Encyclopedia of complexity and systems science. Springer
Zurück zum Zitat Nielsen M, Chuang I (2000) Quantum computation and quantum information. Cambridge University Press, Cambridge, UKMATH Nielsen M, Chuang I (2000) Quantum computation and quantum information. Cambridge University Press, Cambridge, UKMATH
Zurück zum Zitat Santha M (2008) Quantum walk based search algorithms. In: Agrawal M, Du D-Z, Duan Z, Li A (eds) Theory and applications of models of computation. Lecture notes in computer science, vol 4978. Springer, Berlin, Heidelberg, pp 31–46. doi: 10.1007/978-3-540-79228-4_3 Santha M (2008) Quantum walk based search algorithms. In: Agrawal M, Du D-Z, Duan Z, Li A (eds) Theory and applications of models of computation. Lecture notes in computer science, vol 4978. Springer, Berlin, Heidelberg, pp 31–46. doi: 10.1007/978-3-540-79228-4_3
Zurück zum Zitat Shor P (1994) Algorithms for quantum computation: Discrete logarithms and factoring. In: Proceedings of the 35th annual symposium on foundations of computer science. IEEE Computer Society, Washington, DC, pp 124–134 Shor P (1994) Algorithms for quantum computation: Discrete logarithms and factoring. In: Proceedings of the 35th annual symposium on foundations of computer science. IEEE Computer Society, Washington, DC, pp 124–134
Zurück zum Zitat Shor P (1997) Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J Comput 26:1484–1509MathSciNetMATHCrossRef Shor P (1997) Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J Comput 26:1484–1509MathSciNetMATHCrossRef
Zurück zum Zitat Simon D (1994) On the power of quantum computation. In: Proceedings of the 35th IEEE symposium on the foundations of computer science (FOCS). IEEE Computer Society, Washington, DC, pp 116–123 Simon D (1994) On the power of quantum computation. In: Proceedings of the 35th IEEE symposium on the foundations of computer science (FOCS). IEEE Computer Society, Washington, DC, pp 116–123
Zurück zum Zitat Tulsi T, Grover L, Patel A (2006) A new algorithm for fixed point quantum search. Quant Inform Comput 6(6):483–494MathSciNetMATH Tulsi T, Grover L, Patel A (2006) A new algorithm for fixed point quantum search. Quant Inform Comput 6(6):483–494MathSciNetMATH
Zurück zum Zitat Welsh D (1993) Complexity: knots, colourings and countings. Cambridge University Press, Cambridge, UK Welsh D (1993) Complexity: knots, colourings and countings. Cambridge University Press, Cambridge, UK
Metadaten
Titel
Algorithms for Quantum Computers
verfasst von
Jamie Smith
Michele Mosca
Copyright-Jahr
2012
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-540-92910-9_43

Premium Partner