[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Towards Higher Abstraction Levels in Quantum Computing

  • Conference paper
  • First Online:
Service-Oriented Computing – ICSOC 2023 Workshops (ICSOC 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14518))

Included in the following conference series:

  • 579 Accesses

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

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 49.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 59.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 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. 2.

    AQT erreicht Quantum Volume von 128; https://www.uibk.ac.at/de/newsroom/20-23/aqt-erreicht-quantum-volume-von-128/; 2023.

  3. 3.

    Documentation Silq - High-level Quantum Programming; https://silq.ethz.ch; ETH Zurich.

  4. 4.

    Qrisp 0.2 - documentation; https://www.qrisp.eu/general/changelog/0.2.html#v0-2; Fraunhofer FOKUS.

  5. 5.

    Python is ranked within the top 3 of currently most popular programming languages according to rating sites.

  6. 6.

    OpenQl read the docs; QuTech TU Delft; https://openql.readthedocs.io/en/latest/,.

  7. 7.

    IBM Quantum Documentation; https://docs.quantum-computing.ibm.com/; IBM Corporation.

  8. 8.

    IBM Quantum Computing Roadmap; https://www.ibm.com/quantum/www.ibm.com-/quantum/roadmap; IBM Corporation.

  9. 9.

    Steep in the sense of requiring effort to stay up-to-date.

  10. 10.

    Experiments using quantum circuits; https://quantumai.google/cirq/experiments; Google AI.

  11. 11.

    GitHub Copilot YourAI pair programmer; https://github.com/features/copilot.

References

  1. Aho, A.V., Ullman, J.D.: Foundations of Computer Science. Computer Science Press, April 1994. google-Books-ID: ZXHAHAAACAAJ

    Google Scholar 

  2. 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

  3. Colburn, T., Shute, G.: Abstraction in computer science. Minds Mach. 17, 169–184 (2007). https://doi.org/10.1007/s11023-007-9061-7

    Article  Google Scholar 

  4. 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]

  5. Efthymiou, S., et al.: Quantum-TII/qibo: Qibo, August 2020. https://doi.org/10.5281/ZENODO.3997195, https://zenodo.org/record/3997195

  6. Green, A., LeFanu Lumsdaine, P., Ross, N., Selinger, P., Valiron, B.: The Quipper System. https://www.mathstat.dal.ca/~selinger/quipper/doc/

  7. 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

  8. 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]

  9. Khammassi, N., et al.: OpenQL: a portable quantum programming framework for quantum accelerators (2020)

    Google Scholar 

  10. 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]

  11. 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/

  12. 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

  13. Nvidia: CUDA Quantum, July 2022. https://developer.nvidia.com/cuda-quantum. Accessed 23 June 2023

  14. 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

  15. 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

    Article  Google Scholar 

  16. Research, I.: Qiskit Release Notes, September 2023. https://qiskit.org/documentation/release_notes.html

  17. 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

  18. 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]

  19. 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

  20. Stackscale: Most popular programming languages in 2023 [Ranking], September 2023. https://www.stackscale.com/blog/most-popular-programming-languages/, section: General

  21. 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

  22. 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/

Download references

Author information

Authors and Affiliations

  1. JOANNEUM RESEARCH Forschungsgesellschaft mbH, Graz, Austria

    Hermann Fürntratt, Florian Krebs, Roland Unterberger & Herwig Zeiner

  2. University of Technology, Graz, Austria

    Paul Schnabl

Authors
  1. Hermann Fürntratt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paul Schnabl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Florian Krebs
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Roland Unterberger
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Herwig Zeiner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hermann Fürntratt .

Editor information

Editors and Affiliations

  1. Sapienza University of Rome, Rome, Italy

    Flavia Monti

  2. Politecnico di Milano, Milan, Italy

    Pierluigi Plebani

  3. École de Technologie Supérieure, Montréal, QC, Canada

    Naouel Moha

  4. University of New South Wales, Sydney, NSW, Australia

    Hye-young Paik

  5. University of Stuttgart, Stuttgart, Germany

    Johanna Barzen

  6. Queensland University of Technology, Brisbane, QLD, Australia

    Gowri Ramachandran

  7. University of Brescia, Brescia, Italy

    Devis Bianchini

  8. TU/e – JADS, Politecnico di Milano, Milan, Italy

    Damian A. Tamburri

  9. Sapienza University of Rome, Rome, Italy

    Massimo Mecella

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation