Quantum Software Ecosystem Design
arXiv:2405.13244 · doi:10.1007/978-3-031-64136-7_7
Abstract
The rapid advancements in quantum computing necessitate a scientific and rigorous approach to the construction of a corresponding software ecosystem, a topic underexplored and primed for systematic investigation. This chapter takes an important step in this direction: It presents scientific considerations essential for building a quantum software ecosystem that makes quantum computing available for scientific and industrial problem solving. Central to this discourse is the concept of hardware-software co-design, which fosters a bidirectional feedback loop from the application layer at the top of the software stack down to the hardware. This approach begins with compilers and low-level software that are specifically designed to align with the unique specifications and constraints of the quantum processor, proceeds with algorithms developed with a clear understanding of underlying hardware and computational model features, and extends to applications that effectively leverage the capabilities to achieve a quantum advantage. We analyze the ecosystem from two critical perspectives: the conceptual view, focusing on theoretical foundations, and the technical infrastructure, addressing practical implementations around real quantum devices necessary for a functional ecosystem. This approach ensures that the focus is towards promising applications with optimized algorithm-circuit synergy, while ensuring a user-friendly design, an effective data management and an overall orchestration. Our chapter thus offers a guide to the essential concepts and practical strategies necessary for developing a scientifically grounded quantum software ecosystem.
References in corpus (35)
- Supplementary information for "Quantum supremacy using a programmable superconducting processor"
- Charge insensitive qubit design derived from the Cooper pair box
- Quantum algorithm for solving linear systems of equations
- A Quantum Approximate Optimization Algorithm
- Environment-Assisted Quantum Walks in Photosynthetic Energy Transfer
- Quantum computing with trapped ions
- The Variational Quantum Eigensolver: a review of methods and best practices
- Universal computation by quantum walk
- Simple pulses for elimination of leakage in weakly nonlinear qubits
- Resource-efficient linear optical quantum computation
- Quantum Process Tomography: Resource Analysis of Different Strategies
- Resource-Aware Quantum Programming with General Recursion and Quantum Control
- A practical heuristic for finding graph minors
- Experimental quantum speed-up in reinforcement learning agents
- How Powerful is Adiabatic Quantum Computation?
- Quantum State Preparation with Optimal Circuit Depth: Implementations and Applications
- An Introduction to Quantum Error Correction and Fault-Tolerant Quantum Computation
- Randomized Benchmarking of Multi-Qubit Gates
- Life after charge noise: recent results with transmon qubits
- An Experimental Study of Shor's Factoring Algorithm on IBM Q
- Two-dimensional cluster-state preparation with linear ion traps
- Quantum walks on graphs representing the firing patterns of a quantum neural network
- An application benchmark for fermionic quantum simulations
- Mean-Field Approximate Optimization Algorithm
- A SAT Encoding for Optimal Clifford Circuit Synthesis
- Quantum computing Floquet energy spectra
- An LLVM-based C++ Compiler Toolchain for Variational Hybrid Quantum-Classical Algorithms and Quantum Accelerators
- Arline Benchmarks: Automated Benchmarking Platform for Quantum Compilers
- SupermarQ: A Scalable Quantum Benchmark Suite
- Hybrid simplification rules for boundaries of quantum circuits
- QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments
- Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
- Coherent and non-unitary errors in ZZ-generated gates
- Optimal Sufficient Requirements on the Embedded Ising Problem in Polynomial Time
- Towards Quantum Software Requirements Engineering