Skip to main content

2020 | OriginalPaper | Buchkapitel

The NISQ Analyzer: Automating the Selection of Quantum Computers for Quantum Algorithms

verfasst von : Marie Salm, Johanna Barzen, Uwe Breitenbücher, Frank Leymann, Benjamin Weder, Karoline Wild

Erschienen in: Service-Oriented Computing

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Quantum computing can enable a variety of breakthroughs in research and industry in the future. Although some quantum algorithms already exist that show a theoretical speedup compared to the best known classical algorithms, the implementation and execution of these algorithms come with several challenges. The input data determines, for example, the required number of qubits and gates of a quantum algorithm. A quantum algorithm implementation also depends on the used Software Development Kit which restricts the set of usable quantum computers. Because of the limited capabilities of current quantum computers, choosing an appropriate one to execute a certain implementation for a given input is a difficult challenge that requires immense mathematical knowledge about the implemented quantum algorithm as well as technical knowledge about the used Software Development Kits. In this paper, we present a concept for the automated analysis and selection of implementations of quantum algorithms and appropriate quantum computers that can execute a selected implementation with a certain input data. The practical feasibility of the concept is demonstrated by the prototypical implementation of a tool that we call NISQ Analyzer.

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
1.
Zurück zum Zitat Aharonov, D., Van Dam, W., Kempe, J., Landau, Z., Lloyd, S., Regev, O.: Adiabatic quantum computation is equivalent to standard quantum computation. SIAM Rev. 50(4), 755–787 (2008)MathSciNetCrossRef Aharonov, D., Van Dam, W., Kempe, J., Landau, Z., Lloyd, S., Regev, O.: Adiabatic quantum computation is equivalent to standard quantum computation. SIAM Rev. 50(4), 755–787 (2008)MathSciNetCrossRef
2.
Zurück zum Zitat Arute, F., Arya, K., Babbush, R., Bacon, D., Bardin, J.C., Barends, R., et al.: Quantum supremacy using a programmable superconducting processor. Nature 574(7779), 505–510 (2019)CrossRef Arute, F., Arya, K., Babbush, R., Bacon, D., Bardin, J.C., Barends, R., et al.: Quantum supremacy using a programmable superconducting processor. Nature 574(7779), 505–510 (2019)CrossRef
3.
Zurück zum Zitat Beauregard, S.: Circuit for Shor’s algorithm using 2n+3 qubits. Quant. Inf. Comput. 3(2), 175–185 (2003)MathSciNetMATH Beauregard, S.: Circuit for Shor’s algorithm using 2n+3 qubits. Quant. Inf. Comput. 3(2), 175–185 (2003)MathSciNetMATH
4.
Zurück zum Zitat Benedetti, M., Garcia-Pintos, D., Perdomo, O., Leyton-Ortega, V., Nam, Y., Perdomo-Ortiz, A.: A generative modeling approach for benchmarking and training shallow quantum circuits. NPJ Quant. Inf. 5(1), 45 (2019) Benedetti, M., Garcia-Pintos, D., Perdomo, O., Leyton-Ortega, V., Nam, Y., Perdomo-Ortiz, A.: A generative modeling approach for benchmarking and training shallow quantum circuits. NPJ Quant. Inf. 5(1), 45 (2019)
5.
Zurück zum Zitat Bishop, L.S., Bravyi, S., Cross, A., Gambetta, J.M., Smolin, J.: Quantum volume. Technical report (2017) Bishop, L.S., Bravyi, S., Cross, A., Gambetta, J.M., Smolin, J.: Quantum volume. Technical report (2017)
7.
Zurück zum Zitat Chuang, I.L., Yamamoto, Y.: Creation of a persistent quantum bit using error correction. Phys. Rev. A 55, 114–127 (1997)CrossRef Chuang, I.L., Yamamoto, Y.: Creation of a persistent quantum bit using error correction. Phys. Rev. A 55, 114–127 (1997)CrossRef
8.
Zurück zum Zitat Cowtan, A., Dilkes, S., Duncan, R., Krajenbrink, A., Simmons, W., Sivarajah, S.: On the qubit routing problem (2019) Cowtan, A., Dilkes, S., Duncan, R., Krajenbrink, A., Simmons, W., Sivarajah, S.: On the qubit routing problem (2019)
9.
Zurück zum Zitat Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, pp. 212–219 (1996) Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, pp. 212–219 (1996)
10.
Zurück zum Zitat Han, S.M., Hassan, M.M., Yoon, C.W., Huh, E.N.: Efficient service recommendation system for cloud computing market. In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human, pp. 839–845 (2009) Han, S.M., Hassan, M.M., Yoon, C.W., Huh, E.N.: Efficient service recommendation system for cloud computing market. In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human, pp. 839–845 (2009)
11.
Zurück zum Zitat Häner, T., Roetteler, M., Svore, K.M.: Factoring using 2n+2 qubits with toffoli based modular multiplication. Quant. Inf. Comput. 18(7–8), 673–684 (2017)MathSciNet Häner, T., Roetteler, M., Svore, K.M.: Factoring using 2n+2 qubits with toffoli based modular multiplication. Quant. Inf. Comput. 18(7–8), 673–684 (2017)MathSciNet
14.
Zurück zum Zitat Abhijith, J., et al.: Quantum algorithm implementations for beginners (2018) Abhijith, J., et al.: Quantum algorithm implementations for beginners (2018)
15.
Zurück zum Zitat JavadiAbhari, A., et al.: Scaffcc: a framework for compilation and analysis of quantum computing programs. In: Proceedings of the 11th ACM Conference on Computing Frontiers. CF 2014. Association for Computing Machinery, New York (2014) JavadiAbhari, A., et al.: Scaffcc: a framework for compilation and analysis of quantum computing programs. In: Proceedings of the 11th ACM Conference on Computing Frontiers. CF 2014. Association for Computing Machinery, New York (2014)
16.
Zurück zum Zitat LaRose, R.: Overview and comparison of gate level quantum software platforms. Quantum 3, 130 (2019)CrossRef LaRose, R.: Overview and comparison of gate level quantum software platforms. Quantum 3, 130 (2019)CrossRef
17.
Zurück zum Zitat Leymann, F., Barzen, J.: The bitter truth about gate-based quantum algorithms in the NISQ era. Quant. Sci. Technol. 5, 1–28 (2020) Leymann, F., Barzen, J.: The bitter truth about gate-based quantum algorithms in the NISQ era. Quant. Sci. Technol. 5, 1–28 (2020)
18.
Zurück zum Zitat Leymann, F., Barzen, J., Falkenthal, M.: Towards a platform for sharing quantum software. In: Proceedings of the 13th Advanced Summer School on Service Oriented Computing, pp. 70–74. IBM Technical report, IBM Research Division (2019) Leymann, F., Barzen, J., Falkenthal, M.: Towards a platform for sharing quantum software. In: Proceedings of the 13th Advanced Summer School on Service Oriented Computing, pp. 70–74. IBM Technical report, IBM Research Division (2019)
19.
Zurück zum Zitat Leymann, F., Barzen, J., Falkenthal, M., Vietz, D., Weder, B., Wild, K.: Quantum in the cloud: application potentials and research opportunities. In: Proceedings of the 10th International Conference on Cloud Computing and Services Science. SciTePress (2020) Leymann, F., Barzen, J., Falkenthal, M., Vietz, D., Weder, B., Wild, K.: Quantum in the cloud: application potentials and research opportunities. In: Proceedings of the 10th International Conference on Cloud Computing and Services Science. SciTePress (2020)
20.
Zurück zum Zitat Manikrao, U.S., Prabhakar, T.V.: Dynamic selection of web services with recommendation system. In: International Conference on Next Generation Web Services Practices (NWeSP 2005), p. 5 pp. (2005) Manikrao, U.S., Prabhakar, T.V.: Dynamic selection of web services with recommendation system. In: International Conference on Next Generation Web Services Practices (NWeSP 2005), p. 5 pp. (2005)
21.
Zurück zum Zitat Masood, S., Soo, A.: A rule based expert system for rapid prototyping system selection. Robot. Comput. Integr. Manuf. 18(3–4), 267–274 (2002)CrossRef Masood, S., Soo, A.: A rule based expert system for rapid prototyping system selection. Robot. Comput. Integr. Manuf. 18(3–4), 267–274 (2002)CrossRef
22.
Zurück zum Zitat McCaskey, A.J., Lyakh, D., Dumitrescu, E., Powers, S., Humble, T.S.: XACC: a system-level software infrastructure for heterogeneous quantum-classical computing. Quant. Sci. Technol. 5, 1–17 (2020) McCaskey, A.J., Lyakh, D., Dumitrescu, E., Powers, S., Humble, T.S.: XACC: a system-level software infrastructure for heterogeneous quantum-classical computing. Quant. Sci. Technol. 5, 1–17 (2020)
23.
Zurück zum Zitat Moll, N., et al.: Quantum optimization using variational algorithms on near-term quantum devices. Quant. Sci. Technol. 3(3), 030503 (2018)CrossRef Moll, N., et al.: Quantum optimization using variational algorithms on near-term quantum devices. Quant. Sci. Technol. 3(3), 030503 (2018)CrossRef
24.
Zurück zum Zitat Nannicini, G.: An introduction to quantum computing, without the physics (2017) Nannicini, G.: An introduction to quantum computing, without the physics (2017)
25.
Zurück zum Zitat National Academies of Sciences: Engineering, and Medicine: Quantum Computing: Progress and Prospects. The National Academies Press, Washington, DC (2019) National Academies of Sciences: Engineering, and Medicine: Quantum Computing: Progress and Prospects. The National Academies Press, Washington, DC (2019)
26.
Zurück zum Zitat Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information, 10th edn. Cambridge University Press, Cambridge (2011) Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information, 10th edn. Cambridge University Press, Cambridge (2011)
27.
Zurück zum Zitat O’Brien, T.E., Tarasinski, B., Terhal, B.M.: Quantum phase estimation of multiple eigenvalues for small-scale (noisy) experiments. New J. Phys. 21(2), 1–43 (2019)MathSciNet O’Brien, T.E., Tarasinski, B., Terhal, B.M.: Quantum phase estimation of multiple eigenvalues for small-scale (noisy) experiments. New J. Phys. 21(2), 1–43 (2019)MathSciNet
28.
Zurück zum Zitat Peruzzo, A., et al.: A variational eigenvalue solver on a photonic quantum processor. Nat. Commun. 5(1) (2014) Peruzzo, A., et al.: A variational eigenvalue solver on a photonic quantum processor. Nat. Commun. 5(1) (2014)
29.
Zurück zum Zitat Preskill, J.: Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018)CrossRef Preskill, J.: Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018)CrossRef
30.
Zurück zum Zitat Raussendorf, R., Briegel, H.J.: A one-way quantum computer. Phys. Rev. Lett. 86, 5188–5191 (2001)CrossRef Raussendorf, R., Briegel, H.J.: A one-way quantum computer. Phys. Rev. Lett. 86, 5188–5191 (2001)CrossRef
31.
Zurück zum Zitat Rieffel, E., Polak, W.: An introduction to quantum computing for non-physicists. ACM Comput. Surv. 32(3), 300–335 (2000) Rieffel, E., Polak, W.: An introduction to quantum computing for non-physicists. ACM Comput. Surv. 32(3), 300–335 (2000)
32.
Zurück zum Zitat Rieffel, E., Polak, W.: Quantum Computing: A Gentle Introduction. 1st edn. The MIT Press, Cambridge (2011) Rieffel, E., Polak, W.: Quantum Computing: A Gentle Introduction. 1st edn. The MIT Press, Cambridge (2011)
33.
Zurück zum Zitat Sete, E.A., Zeng, W.J., Rigetti, C.T.: A functional architecture for scalable quantum computing. In: IEEE International Conference on Rebooting Computing, pp. 1–6 (2016) Sete, E.A., Zeng, W.J., Rigetti, C.T.: A functional architecture for scalable quantum computing. In: IEEE International Conference on Rebooting Computing, pp. 1–6 (2016)
34.
Zurück zum Zitat Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26(5), 1484–1509 (1997) Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26(5), 1484–1509 (1997)
35.
Zurück zum Zitat Simon, D.R.: On the power of quantum computation. In: Proceedings of the 35th Annual Symposium on Foundations of Computer Science, SFCS 1994, pp. 116–123. IEEE Computer Society, USA (1994) Simon, D.R.: On the power of quantum computation. In: Proceedings of the 35th Annual Symposium on Foundations of Computer Science, SFCS 1994, pp. 116–123. IEEE Computer Society, USA (1994)
36.
Zurück zum Zitat Siraichi, M.Y., Santos, V.F., Collange, S., Quintão Pereira, F.M.: Qubit allocation. In: CGO 2018 - International Symposium on Code Generation and Optimization, pp. 1–12 (2018) Siraichi, M.Y., Santos, V.F., Collange, S., Quintão Pereira, F.M.: Qubit allocation. In: CGO 2018 - International Symposium on Code Generation and Optimization, pp. 1–12 (2018)
37.
Zurück zum Zitat Sivarajah, S., Dilkes, S., Cowtan, A., Simmons, W., Edgington, A., Duncan, R.: t\(|\)ket\(\rangle \): a retargetable compiler for NISQ devices. Quant. Sci. Technol. (2020) Sivarajah, S., Dilkes, S., Cowtan, A., Simmons, W., Edgington, A., Duncan, R.: t\(|\)ket\(\rangle \): a retargetable compiler for NISQ devices. Quant. Sci. Technol. (2020)
38.
Zurück zum Zitat Steiger, D.S., Häner, T., Troyer, M.: ProjectQ: an open source software framework for quantum computing. Quantum 2, 49 (2018)CrossRef Steiger, D.S., Häner, T., Troyer, M.: ProjectQ: an open source software framework for quantum computing. Quantum 2, 49 (2018)CrossRef
39.
Zurück zum Zitat Strauch, S., Andrikopoulos, V., Bachmann, T., Karastoyanova, D., Passow, S., Vukojevic-Haupt, K.: Decision support for the migration of the application database layer to the cloud. In: 2013 IEEE 5th International Conference on Cloud Computing Technology and Science, vol. 1, pp. 639–646. IEEE (2013) Strauch, S., Andrikopoulos, V., Bachmann, T., Karastoyanova, D., Passow, S., Vukojevic-Haupt, K.: Decision support for the migration of the application database layer to the cloud. In: 2013 IEEE 5th International Conference on Cloud Computing Technology and Science, vol. 1, pp. 639–646. IEEE (2013)
40.
Zurück zum Zitat Suchara, M., Kubiatowicz, J., Faruque, A., Chong, F.T., Lai, C.Y., Paz, G.: QuRE: the quantum resource estimator toolbox. In: IEEE 31st International Conference on Computer Design (ICCD), pp. 419–426. IEEE (2013) Suchara, M., Kubiatowicz, J., Faruque, A., Chong, F.T., Lai, C.Y., Paz, G.: QuRE: the quantum resource estimator toolbox. In: IEEE 31st International Conference on Computer Design (ICCD), pp. 419–426. IEEE (2013)
41.
Zurück zum Zitat Tannu, S.S., Qureshi, M.K.: Not all qubits are created equal: a case for variability-aware policies for nisq-era quantum computers. In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, pp. 987–999. Association for Computing Machinery, New York (2019) Tannu, S.S., Qureshi, M.K.: Not all qubits are created equal: a case for variability-aware policies for nisq-era quantum computers. In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, pp. 987–999. Association for Computing Machinery, New York (2019)
42.
Zurück zum Zitat Wild, K., Breitenbücher, U., Harzenetter, L., Leymann, F., Vietz, D., Zimmermann, M.: TOSCA4QC: two modeling styles for TOSCA to automate the deployment and orchestration of quantum applications. In: 2020 IEEE 24th International Enterprise Distributed Object Computing Conference (EDOC). IEEE Computer Society (2020) Wild, K., Breitenbücher, U., Harzenetter, L., Leymann, F., Vietz, D., Zimmermann, M.: TOSCA4QC: two modeling styles for TOSCA to automate the deployment and orchestration of quantum applications. In: 2020 IEEE 24th International Enterprise Distributed Object Computing Conference (EDOC). IEEE Computer Society (2020)
45.
Zurück zum Zitat Zimmermann, O., Koehler, J., Leymann, F., Polley, R., Schuster, N.: Managing architectural decision models with dependency relations, integrity constraints, and production rules. J. Syst. Softw. 82(8), 1249–1267 (2009)CrossRef Zimmermann, O., Koehler, J., Leymann, F., Polley, R., Schuster, N.: Managing architectural decision models with dependency relations, integrity constraints, and production rules. J. Syst. Softw. 82(8), 1249–1267 (2009)CrossRef
Metadaten
Titel
The NISQ Analyzer: Automating the Selection of Quantum Computers for Quantum Algorithms
verfasst von
Marie Salm
Johanna Barzen
Uwe Breitenbücher
Frank Leymann
Benjamin Weder
Karoline Wild
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-64846-6_5