Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
- URL: http://arxiv.org/abs/2406.14792v1
- Date: Thu, 20 Jun 2024 23:40:22 GMT
- Title: Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
- Authors: Raphael Seidel, Sebastian Bock, René Zander, Matic Petrič, Niklas Steinmann, Nikolay Tcholtchev, Manfred Hauswirth,
- Abstract summary: 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.
- Score: 0.52197339162908
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: While significant progress has been made on the hardware side of quantum computing, support for high-level quantum programming abstractions remains underdeveloped compared to classical programming languages. In this article, we introduce Qrisp, a framework designed to bridge several gaps between high-level programming paradigms in state-of-the-art software engineering and the physical reality of today's quantum hardware. The framework aims to provide a systematic approach to quantum algorithm development such that they can be effortlessly implemented, maintained and improved. We propose a number of programming abstractions that are inspired by classical paradigms, yet consistently focus on the particular needs of a quantum developer. Unlike many other high-level language approaches, Qrisp's standout feature is its ability to compile programs to the circuit level, making them executable on most existing physical backends. The introduced abstractions enable the Qrisp compiler to leverage algorithm structure for increased compilation efficiency. Finally, we present a set of code examples, including an implementation of Shor's factoring algorithm. For the latter, the resulting circuit shows significantly reduced quantum resource requirements, strongly supporting the claim that systematic quantum algorithm development can give quantitative benefits.
Related papers
- Design and synthesis of scalable quantum programs [0.8007726207322294]
We present a scalable, robust approach to creating quantum programs of arbitrary size and complexity.
The quantum program is expressed in terms of a high-level model together with constraints and objectives on the final program.
The technology adapts electronic design automation methods to quantum computing, finding feasible implementations in a virtually unlimited functional space.
arXiv Detail & Related papers (2024-12-10T10:12:03Z) - A Quantum ISA for High-Level Programming, Enabling Sequential Execution and Conditional Branching [0.0]
The paper introduces a novel quantum instruction set architecture that abstracts quantum circuits to support high-level programming paradigms.
By separating concerns between hardware and software, the proposed architecture simplifies quantum algorithm development.
arXiv Detail & Related papers (2024-10-09T11:16:29Z) - High-level quantum algorithm programming using Silq [0.0]
Silq is a recent high-level quantum programming language, highlighting its strengths and unique features.
We aim to share our insights on designing and implementing high-level quantum algorithms using Silq, demonstrating its practical applications and advantages for quantum programming.
arXiv Detail & Related papers (2024-09-16T12:28:15Z) - An Abstraction Hierarchy Toward Productive Quantum Programming [0.3640881838485995]
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.
arXiv Detail & Related papers (2024-05-22T18:48:36Z) - 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) - Qwerty: A Basis-Oriented Quantum Programming Language [0.4999814847776098]
We present Qwerty, a new quantum programming language that allows programmers to manipulate qubits more expressively than gates.
Qwerty is a powerful framework for high-level quantum-classical computation.
arXiv Detail & Related papers (2024-04-19T03:13:43Z) - Assessing requirements to scale to practical quantum advantage [56.22441723982983]
We develop a framework for quantum resource estimation, abstracting the layers of the stack, to estimate resources required for large-scale quantum applications.
We assess three scaled quantum applications and find that hundreds of thousands to millions of physical qubits are needed to achieve practical quantum advantage.
A goal of our work is to accelerate progress towards practical quantum advantage by enabling the broader community to explore design choices across the stack.
arXiv Detail & Related papers (2022-11-14T18:50:27Z) - Quantum computing hardware for HEP algorithms and sensing [36.67390040418004]
Quantum information science harnesses the principles of quantum mechanics to realize computational algorithms with complexities vastly intractable by current computer platforms.
Fermilab's Superconducting Quantum Materials and Systems (SQMS) Center is dedicated to providing breakthroughs in quantum computing and sensing.
We discuss the two most promising superconducting quantum architectures for HEP algorithms, i.e. three-level systems (qutrits) supported by transmon devices coupled to planar devices and multi-level systems (qudits with arbitrary N energy levels) supported by superconducting 3D cavities.
arXiv Detail & Related papers (2022-04-19T01:37:36Z) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
We propose a resource and runtime efficient scheme termed quantum architecture search (QAS)
QAS automatically seeks a near-optimal ansatz to balance benefits and side-effects brought by adding more noisy quantum gates.
We implement QAS on both the numerical simulator and real quantum hardware, via the IBM cloud, to accomplish data classification and quantum chemistry tasks.
arXiv Detail & Related papers (2020-10-20T12:06:27Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcor is a language extension to C++ and compiler implementation that enables heterogeneous quantum-classical programming, compilation, and execution in a single-source context.
Our work provides a first-of-its-kind C++ compiler enabling high-level quantum kernel (function) expression in a quantum-language manner.
arXiv Detail & Related papers (2020-10-08T12:49:07Z) - Electronic structure with direct diagonalization on a D-Wave quantum
annealer [62.997667081978825]
This work implements the general Quantum Annealer Eigensolver (QAE) algorithm to solve the molecular electronic Hamiltonian eigenvalue-eigenvector problem on a D-Wave 2000Q quantum annealer.
We demonstrate the use of D-Wave hardware for obtaining ground and electronically excited states across a variety of small molecular systems.
arXiv Detail & Related papers (2020-09-02T22:46:47Z)
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.