Top

Published in:

2021 | OriginalPaper | Chapter

On Decision Support for Quantum Application Developers: Categorization, Comparison, and Analysis of Existing Technologies

Authors : Daniel Vietz, Johanna Barzen, Frank Leymann, Karoline Wild

Published in: Computational Science – ICCS 2021

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Quantum computers have been significantly advanced in recent years. Offered as cloud services, quantum computers have become accessible to a broad range of users. Along with the physical advances, the landscape of technologies supporting quantum application development has also grown rapidly in recent years. However, there is a variety of tools, services, and techniques available for the development of quantum applications, and which ones are best suited for a particular use case depends, among other things, on the quantum algorithm and quantum hardware. Thus, their selection is a manual and cumbersome process. To tackle this challenge, we introduce a categorization and a taxonomy of available tools, services, and techniques for quantum application development to enable their analysis and comparison. Based on that we further present a comparison framework to support quantum application developers in their decision for certain technologies.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now

previous chapter EntDetector: Entanglement Detecting Toolbox for Bipartite Quantum States

next chapter Quantum Asymmetric Encryption Based on Quantum Point Obfuscation

https://qosf.org.

The framework can be found at http://www.github.com/UST-QuAntiL/Qverview.

QPUs are grouped by their respective vendor.

Abraham, H., et al.: Qiskit: An Open-source Framework for Quantum Computing (2019). https://doi.org/10.5281/zenodo.2562110

Alexander, C., Ishikawa, S., Silverstein, M.: A Pattern Language: Towns, Buildings, Construction. Oxford University Press, Oxford (1977)

Amazon Web Services Inc.: AWS Braket (2021). https://aws.amazon.com/braket

Amazon.com Inc.: aws-cli (2020). https://github.com/aws/aws-cli

Andrikopoulos, V., Gómez Sáez, S., Leymann, F., Wettinger, J.: Optimal distribution of applications in the cloud. In: Jarke, M., et al. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 75–90. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07881-6_6CrossRef

Atos SE: qat.pylinalg: Python Linear-algebra simulator (2020). https://myqlm.github.io/myqlm_specific/qat-pylinalg.html

Atos SE: MyQLM (2021). https://atos.net/en/lp/myqlm

Bergholm, V., et al.: PennyLane: Automatic differentiation of hybrid quantum-classical computations (2020). arXiv preprint arXiv:1811.04968

Bichsel, B., Baader, M., Gehr, T., Vechev, M.: Silq: a high-level quantum language with safe uncomputation and intuitive semantics. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 286–300. PLDI 2020. Association for Computing Machinery (2020). https://doi.org/10.1145/3385412.3386007

10.

Broughton, M., et al.: TensorFlow Quantum: A Software Framework for Quantum Machine Learning (2020). arXiv preprint arXiv:2003.02989

11.

Developers, Cirq: Cirq (2021). https://doi.org/10.5281/zenodo.4062499

12.

Cross, A.W., Bishop, L.S., Smolin, J.A., Gambetta, J.M.: Open Quantum Assembly Language (2017). arXiv preprint arXiv:1707.03429

13.

D-Wave Systems Inc.: dwave-ocean-sdk (2021). https://github.com/dwavesystems/dwave-ocean-sdk

14.

D-Wave Systems Inc.: Leap (2021). https://dwavesys.com/take-leap

15.

Farshidi, S., Jansen, S., de Jong, R., Brinkkemper, S.: A decision support system for cloud service provider selection problem in software producing organizations. In: 2018 IEEE 20th Conference on Business Informatics (CBI), vol. 01, pp. 139–148 (2018). https://doi.org/10.1109/CBI.2018.00024

16.

Fingerhuth, M., Babej, T., Wittek, P.: Open source software in quantum computing. PLoS One 13(12), e0208561 (2018). https://doi.org/10.1371/journal.pone.0208561CrossRef

17.

Fu, X., et al.: eQASM: an executable quantum instruction set architecture. In: 2019 IEEE International Symposium on High Performance Computer Architecture (HPCA), pp. 224–237 (2019). https://doi.org/10.1109/HPCA.2019.00040

18.

Garhwal, S., Ghorani, M., Ahmad, A.: Quantum programming language: a systematic review of research topic and top cited languages. Arch. Comput. Methods Eng. 28(2), 289–310 (2019). https://doi.org/10.1007/s11831-019-09372-6MathSciNetCrossRef

19.

Gidney, C., Marwaha, K., Haugeland, J., ebraminio, Kalra, N.: Quirk: Quantum Circuit Simulator (2021). https://algassert.com/quirk

20.

Gill, S.S., et al.: Quantum Computing: A Taxonomy, Systematic Review and Future Directions (2020). arXiv preprint arXiv:2010.15559

21.

Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 333–342. PLDI 2013. Association for Computing Machinery (2013). https://doi.org/10.1145/2491956.2462177

22.

Hassija, V., et al.: Present landscape of quantum computing. IET Quant. Commun. 1(2), 42–48 (2020). https://doi.org/10.1049/iet-qtc.2020.0027CrossRef

23.

Heim, B., et al.: Quantum programming languages. Nat. Rev. Phys. 2(12), 709–722 (2020). https://doi.org/10.1038/s42254-020-00245-7CrossRef

24.

Häner, T., Steiger, D.S., Svore, K., Troyer, M.: A software methodology for compiling quantum programs. Quant. Sci. Technol. 3(2) (2018). https://doi.org/10.1088/2058-9565/aaa5cc

25.

IBM: IBM Quantum Experience (2021). https://quantum-computing.ibm.com

26.

Javadi-Abhari, A., et al.: Scaffold: Quantum Programming Language. Princeton University, NJ, Department of Computer Science, Technical report (2012)

27.

Javadi-Abhari, 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 (2014). https://doi.org/10.1145/2597917.2597939

28.

Karalekas, P.J., et al.: PyQuil: Quantum programming in Python (2020). https://doi.org/10.5281/zenodo.3631770

29.

Killoran, N., et al.: Strawberry fields: a software platform for photonic quantum computing. Quantum 3, 129 (2019). https://doi.org/10.22331/q-2019-03-11-129CrossRef

30.

LaRose, R.: Overview and comparison of gate level quantum software platforms. Quantum 3, 130 (2019). https://doi.org/10.22331/q-2019-03-25-130CrossRef

31.

Leymann, F.: Towards a pattern language for quantum algorithms. In: Feld, S., Linnhoff-Popien, C. (eds.) QTOP 2019. LNCS, vol. 11413, pp. 218–230. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-14082-3_19CrossRef

32.

Leymann, F., Barzen, J.: The bitter truth about gate-based quantum algorithms in the NISQ era. Quant. Sci. Technol. 1–28 (2020). https://doi.org/10.1088/2058-9565/abae7d

33.

McCaskey, A.J., Lyakh, D.I., Dumitrescu, E.F., Powers, S.S., Humble, T.S.: XACC: a system-level software infrastructure for heterogeneous quantum–classical computing. Quant. Sci. Technolo. 5(2) (2020). https://doi.org/10.1088/2058-9565/ab6bf6

34.

McClean, J.R., et al.: OpenFermion: The Electronic Structure Package for Quantum Computers (2019). arXiv preprint arXiv:1710.07629

35.

McKay, D.C., et al.: Qiskit Backend Specifications for OpenQASM and OpenPulse Experiments (2018). arXiv preprint arXiv:1809.03452

36.

Mell, P., Grance, T.: The NIST definition of cloud computing. Technical report. NIST SP 800–145, National Institute of Standards and Technology (2011). https://doi.org/10.6028/NIST.SP.800-145

37.

Microsoft: Q# Language (2021). https://github.com/microsoft/qsharp-language

38.

Miszczak, J.A.: Models of quantum computation and quantum programming languages. Bull. Pol. Acad. Sci. Tech. Sci. 59(3), 305–324 (2011). https://doi.org/10.2478/v10175-011-0039-5CrossRefMATH

39.

Murali, P., Baker, J.M., Javadi-Abhari, A., Chong, F.T., Martonosi, M.: Noise-adaptive compiler mappings for noisy intermediate-scale quantum computers. In: Proceedings of the 24th International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 1015–1029, ASPLOS 2019. Association for Computing Machinery (2019). https://doi.org/10.1145/3297858.3304075

40.

OMG: Business Process Model and Notation (BPMN) Version 2.0. Object Management Group (OMG) (2011)

41.

Open Quantum Safe Project: liboqs (2021). https://openquantumsafe.org/liboqs/

42.

Paykin, J., Rand, R., Zdancewic, S.: QWIRE: a core language for quantum circuits. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp. 846–858, POPL 2017. Association for Computing Machinery (2017). https://doi.org/10.1145/3009837.3009894

43.

Preskill, J.: Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018). https://doi.org/10.22331/q-2018-08-06-79CrossRef

44.

Quantiki: QC simulators (2021). https://quantiki.org/wiki/list-qc-simulators

45.

Quantum Computing Report: Tools (2021). https://quantumcomputingreport.com/tools/

46.

Rigetti Computing: Forest SDK (2019). https://pyquil-docs.rigetti.com/

47.

Salm, M., Barzen, J., Breitenbücher, U., Leymann, F., Weder, B., Wild, K.: The NISQ analyzer: automating the selection of quantum computers for quantum algorithms. In: Dustdar, S. (ed.) SummerSOC 2020. CCIS, vol. 1310, pp. 66–85. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-64846-6_5CrossRef

48.

Sivarajah, S., Dilkes, S., Cowtan, A., Simmons, W., Edgington, A., Duncan, R.: t\(\vert \)ket\(\rangle \): a retargetable compiler for NISQ devices. Quant. Sci. Technol. 6(1) (2020). https://doi.org/10.1088/2058-9565/ab8e92

49.

Smith, R.S., Curtis, M.J., Zeng, W.J.: A Practical Quantum Instruction Set Architecture (2017). arXiv preprint arXiv:1608.03355

50.

Smith, R.S., Peterson, E.C., Davis, E.J., Skilbeck, M.G.: quilc: An Optimizing Quil Compiler (2020). https://doi.org/10.5281/zenodo.3677537

51.

Steiger, D.S., Häner, T., Troyer, M.: ProjectQ: an open source software framework for quantum computing. Quantum 2, 49 (2018). https://doi.org/10.22331/q-2018-01-31-49CrossRef

52.

Weder, B., Barzen, J., Leymann, F., Salm, M., Vietz, D.: The quantum software lifecycle. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS 2020), pp. 2–9. ACM (2020). https://doi.org/10.1145/3412451.3428497

53.

Weder, B., Breitenbücher, U., Leymann, F., Wild, K.: Integrating quantum computing into workflow modeling and execution. In: Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2020), pp. 279–291. IEEE Computer Society (2020). https://doi.org/10.1109/UCC48980.2020.00046

54.

Weerasiri, D., Barukh, M.C., Benatallah, B., Sheng, Q.Z., Ranjan, R.: A taxonomy and survey of cloud resource orchestration techniques. ACM Comput. Surv. 50(2) (2017). https://doi.org/10.1145/3054177

55.

Weigold, M., Barzen, J., Salm, M., Leymann, F.: Data encoding patterns for quantum computing. In: Proceedings of the 27th Conference on Pattern Languages of Programs. The Hillside Group (2021, accepted for publication)

56.

Wurster, M., et al.: The essential deployment metamodel: a systematic review of deployment automation technologies. SICS Softw. Intensive Cyber-Phys. Syst. 35, 63–75 (2019). https://doi.org/10.1007/s00450-019-00412-xCrossRef

57.

Zapata Computing: Orquestra (2021). https://zapatacomputing.com/orquestra/

Title: On Decision Support for Quantum Application Developers: Categorization, Comparison, and Analysis of Existing Technologies
Authors: Daniel Vietz
Johanna Barzen
Frank Leymann
Karoline Wild
Publisher: Springer International Publishing
Book: Computational Science – ICCS 2021
Print ISBN: 978-3-030-77979-5

Electronic ISBN: 978-3-030-77980-1

Copyright Year: 2021
DOI: https://doi.org/10.1007/978-3-030-77980-1_10

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner