An Abstraction Hierarchy Toward Productive Quantum Programming

• URL: http://arxiv.org/abs/2405.13918v1
• Date: Wed, 22 May 2024 18:48:36 GMT
• Title: An Abstraction Hierarchy Toward Productive Quantum Programming
• Authors: Olivia Di Matteo, Santiago Núñez-Corrales, Michał Stęchły, Steven P. Reinhardt, Tim Mattson,
• Abstract summary: We propose an abstraction hierarchy to support quantum software engineering. We discuss the consequences of overlaps across the programming, execution, and hardware models found in current technologies. While our work points to concrete conceptual challenges and gaps in quantum programming, our primary thesis is that progress hinges on thinking about the abstraction hierarchy holistically.
• Score: 0.3640881838485995
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Experience from seven decades of classical computing suggests that a sustainable computer industry depends on a community of software engineers writing programs to address a wide variety of specific end-user needs, achieving both performance and utility in the process. Quantum computing is an emerging technology, and we do not yet have the insight to understand what quantum software tools and practices will best support researchers, software engineers, or applications specialists. Developers for today's quantum computers are grappling with the low-level details of the hardware, and progress towards scalable devices does not yet suggest what higher-level abstractions may look like. In this paper, we analyze and reframe the current state of the quantum software stack using the language of programming models. We propose an abstraction hierarchy to support quantum software engineering and discuss the consequences of overlaps across the programming, execution, and hardware models found in current technologies. We exercise this hierarchy for solving the eigenvalue estimation problem in two ways (a variational algorithm with error mitigation, and phase estimation with error correction) and pinpoint key differences in these approaches in terms of these layered models and their overlaps. While our work points to concrete conceptual challenges and gaps in quantum programming and proposes some specific steps forward, our primary thesis is that progress hinges on thinking about the abstraction hierarchy holistically, and not just about its components.

Related papers

• Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers [0.52197339162908]
  We introduce Qrisp, a framework designed to bridge several gaps between high-level programming paradigms and quantum hardware. Qrisp's standout feature is its ability to compile programs to the circuit level, making them executable on most existing physical backends.
  arXiv  Detail & Related papers  (2024-06-20T23:40:22Z)
• Quantum Software Ecosystem Design [35.12790469199701]
  The rapid advancements in quantum computing necessitate a scientific and rigorous approach to the construction of a corresponding software ecosystem. This chapter presents scientific considerations essential for building a quantum software ecosystem that makes quantum computing available for scientific and industrial problem solving.
  arXiv  Detail & Related papers  (2024-05-21T23:11:11Z)
• Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
  The anticipated applications of quantum computers span across science and industry. We present a survey of several potential application areas of quantum algorithms. We outline the challenges and opportunities in each area in an "end-to-end" fashion.
  arXiv  Detail & Related papers  (2023-10-04T17:53:55Z)
• The QUATRO Application Suite: Quantum Computing for Models of Human Cognition [49.038807589598285]
  We unlock a new class of applications ripe for quantum computing research -- computational cognitive modeling. We release QUATRO, a collection of quantum computing applications from cognitive models.
  arXiv  Detail & Related papers  (2023-09-01T17:34:53Z)
• Quantum Software Engineering Challenges from Developers' Perspective: Mapping Research Challenges to the Proposed Workflow Model [5.287156503763459]
  Software engineering of quantum programs can be approached from two directions. In this paper, we aim at bridging the gap by starting with the quantum computing workflow and by mapping existing software engineering research to this workflow.
  arXiv  Detail & Related papers  (2023-08-02T13:32:31Z)
• Symbolic quantum programming for supporting applications of quantum computing technologies [0.0]
  The main focus of this paper is on quantum computing technologies, as they can in the most direct way benefit from developing tools. We deliver a short survey of the most popular approaches in the field of quantum software development and we aim at pointing their strengths and weaknesses. Next, we describe a software architecture and its preliminary implementation supporting the development of quantum programs using symbolic approach.
  arXiv  Detail & Related papers  (2023-02-18T18:30:00Z)
• The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
  Quantum computers promise to efficiently solve important problems classical computers never will. A fully automated quantum software stack needs to be developed. This work provides a look "under the hood" of today's tools and showcases how these means are utilized in them, e.g., for simulation, compilation, and verification of quantum circuits.
  arXiv  Detail & Related papers  (2023-01-10T19:00:00Z)
• Modern applications of machine learning in quantum sciences [51.09906911582811]
  We cover the use of deep learning and kernel methods in supervised, unsupervised, and reinforcement learning algorithms. We discuss more specialized topics such as differentiable programming, generative models, statistical approach to machine learning, and quantum machine learning.
  arXiv  Detail & Related papers  (2022-04-08T17:48:59Z)
• Standard Model Physics and the Digital Quantum Revolution: Thoughts about the Interface [68.8204255655161]
  Advances in isolating, controlling and entangling quantum systems are transforming what was once a curious feature of quantum mechanics into a vehicle for disruptive scientific and technological progress. From the perspective of three domain science theorists, this article compiles thoughts about the interface on entanglement, complexity, and quantum simulation.
  arXiv  Detail & Related papers  (2021-07-10T06:12:06Z)
• A backend-agnostic, quantum-classical framework for simulations of chemistry in C++ [62.997667081978825]
  We present the XACC system-level quantum computing framework as a platform for prototyping, developing, and deploying quantum-classical software. A series of examples demonstrating some of the state-of-the-art chemistry algorithms currently implemented in XACC are presented.
  arXiv  Detail & Related papers  (2021-05-04T16:53:51Z)
• Resource-Efficient Quantum Computing by Breaking Abstractions [9.695745674863554]
  Current quantum software stacks follow a layered approach similar to the stack of classical computers. In this review, we point out that greater efficiency of quantum computing systems can be achieved by breaking the abstractions between these layers.
  arXiv  Detail & Related papers  (2020-10-30T18:18:23Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.