Abstract
This work is a survey and a position paper towards a higher abstraction in quantum computing (QC) programming frameworks and software development kits (SDKs). Since in 2003, Peter Shor complained about the limited increase in the number of QC algorithms [19], we see an urgent need to bridge the gap between well-established classical physics and quantum physics so that approaches become more intuitive, and - hopefully - more quantum algorithms can be discovered. In service-based hybrid QC frameworks, where algorithms need to be partitioned into quantum and classical tasks, we look at the methods available and the abstractions used.
For this paper we have investigated the various levels of abstraction in Silq, Qrisp, OpenQl, Qiskit, Cirq, IonQ, and Ocean, which are originated in the QC domain, as well as CUDA Quantum, rooted in the classical software domain. With the rise of Large Language Models (LLMs), we have also explored the capabilities of LLM-powered tools like GitHub Copilot, which currently represents the top level of abstraction.
Funded by the Federal Ministry of the Republic of Austria, responsible for Climate Action, Environment, Energy, Mobility, Innovation and Technology.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Quantinuum Launches the Most Benchmarked Quantum Computer in the World; https://www.quantinuum.com/news/quantinuum-launches-the-most-benchmarked-quantum-computer-in-the-world-and-publishes-all-the-data; 2023.
- 2.
AQT erreicht Quantum Volume von 128; https://www.uibk.ac.at/de/newsroom/20-23/aqt-erreicht-quantum-volume-von-128/; 2023.
- 3.
Documentation Silq - High-level Quantum Programming; https://silq.ethz.ch; ETH Zurich.
- 4.
Qrisp 0.2 - documentation; https://www.qrisp.eu/general/changelog/0.2.html#v0-2; Fraunhofer FOKUS.
- 5.
Python is ranked within the top 3 of currently most popular programming languages according to rating sites.
- 6.
OpenQl read the docs; QuTech TU Delft; https://openql.readthedocs.io/en/latest/,.
- 7.
IBM Quantum Documentation; https://docs.quantum-computing.ibm.com/; IBM Corporation.
- 8.
IBM Quantum Computing Roadmap; https://www.ibm.com/quantum/www.ibm.com-/quantum/roadmap; IBM Corporation.
- 9.
Steep in the sense of requiring effort to stay up-to-date.
- 10.
Experiments using quantum circuits; https://quantumai.google/cirq/experiments; Google AI.
- 11.
GitHub Copilot YourAI pair programmer; https://github.com/features/copilot.
References
Aho, A.V., Ullman, J.D.: Foundations of Computer Science. Computer Science Press, April 1994. google-Books-ID: ZXHAHAAACAAJ
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, New York, NY, USA, June 2020. https://doi.org/10.1145/3385412.3386007
Colburn, T., Shute, G.: Abstraction in computer science. Minds Mach. 17, 169–184 (2007). https://doi.org/10.1007/s11023-007-9061-7
Dominguez, F., Unger, J., Traube, M., Mant, B., Ertler, C., Lechner, W.: Encoding-independent optimization problem formulation for quantum computing. Front. Quantum Sci. Technol. 2, 1229471 (2023). https://doi.org/10.3389/frqst.2023.1229471, arXiv:2302.03711 [quant-ph]
Efthymiou, S., et al.: Quantum-TII/qibo: Qibo, August 2020. https://doi.org/10.5281/ZENODO.3997195, https://zenodo.org/record/3997195
Green, A., LeFanu Lumsdaine, P., Ross, N., Selinger, P., Valiron, B.: The Quipper System. https://www.mathstat.dal.ca/~selinger/quipper/doc/
Hrmo, P., et al.: Native qudit entanglement in a trapped ion quantum processor. Nat. Commun. 14(1), 2242 (2023). https://doi.org/10.1038/s41467-023-37375-2, https://www.nature.com/articles/s41467-023-37375-2, number: 1 Publisher: Nature Publishing Group
Ichikawa, T., et al.: A comprehensive survey on quantum computer usage: how many qubits are employed for what purposes?, July 2023. https://doi.org/10.48550/arXiv.2307.16130, arXiv:2307.16130 [quant-ph]
Khammassi, N., et al.: OpenQL: a portable quantum programming framework for quantum accelerators (2020)
Khammassi, N., Guerreschi, G.G., Ashraf, I., Hogaboam, J.W., Almudever, C.G., Bertels, K.: cQASM v1.0: towards a common quantum assembly language, May 2018. https://doi.org/10.48550/arXiv.1805.09607, arXiv:1805.09607 [quant-ph]
LaRose, R.: Overview and comparison of gate level quantum software platforms. Quantum 3(130), 10 (2019). 22331/q-2019-03-25-130, https://quantum-journal.org/papers/q-2019-03-25-130/
Leymann, F.: Towards a pattern language for quantum algorithms. In: Feld, S., Linnhoff-Popien, C. (eds.) Quantum Technology and Optimization Problems. QTOP 2019. LNCS, vol. 11413, pp. 218–230. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-14082-3_19
Nvidia: CUDA Quantum, July 2022. https://developer.nvidia.com/cuda-quantum. Accessed 23 June 2023
Nvidia: Create your Own MLIR Pass – NVIDIA CUDA Quantum documentation, June 2023. https://nvidia.github.io/cuda-quantum/latest/using/advanced/mlir_pass.html. Accessed 23 June 2023
Reed, S.K.: A taxonomic analysis of abstraction. Perspect. Psychol. Sci. J. Assoc. Psychol. Sci. 11(6), 817–837 (2016). https://doi.org/10.1177/1745691616646304
Research, I.: Qiskit Release Notes, September 2023. https://qiskit.org/documentation/release_notes.html
Seidel, R., Tcholtchev, N., Bock, S., Becker, C.K.U., Hauswirth, M.: Efficient Floating Point Arithmetic for Quantum Computers, December 2021. https://arxiv.org/abs/2112.10537v1
Seidel, R., Tcholtchev, N., Bock, S., Hauswirth, M.: Uncomputation in the qrisp high-level quantum programming framework. In: Kutrib, M., Meyer, U. (eds.) Reversible Computation. RC 2023. LNCS, vol. 13960, pp. 150–165. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-38100-3_11, arXiv:2307.11417 [quant-ph]
Shor, P.W.: Why haven’t more quantum algorithms been found? J. ACM 50(1), 87–90 (2003). https://doi.org/10.1145/602382.602408
Stackscale: Most popular programming languages in 2023 [Ranking], September 2023. https://www.stackscale.com/blog/most-popular-programming-languages/, section: General
Staff, A.J.B.C.: First European Quantum Computing Facility Goes Online. https://cacm.acm.org/news/248166-first-european-quantum-computing-facility-goes-online/fulltext?mobile=false
Villar-Rodriguez, E., Osaba, E., Oregi, I.: Analyzing the behaviour of D’WAVE quantum annealer: fine-tuning parameterization and tests with restrictive Hamiltonian formulations. In: 2022 IEEE Symposium Series on Computational Intelligence (SSCI), pp. 938–946. IEEE, Singapore, Singapore, December 2022. https://doi.org/10.1109/SSCI51031.2022.10022300, https://ieeexplore.ieee.org/document/10022300/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Fürntratt, H., Schnabl, P., Krebs, F., Unterberger, R., Zeiner, H. (2024). Towards Higher Abstraction Levels in Quantum Computing. In: Monti, F., et al. Service-Oriented Computing – ICSOC 2023 Workshops. ICSOC 2023. Lecture Notes in Computer Science, vol 14518. Springer, Singapore. https://doi.org/10.1007/978-981-97-0989-2_13
Download citation
DOI: https://doi.org/10.1007/978-981-97-0989-2_13
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-97-0988-5
Online ISBN: 978-981-97-0989-2
eBook Packages: Computer ScienceComputer Science (R0)