Quantum computing is currently moving from an academic idea to a practical reality. Quantum computing in the cloud is already available and allows users from all over the world to develop and execute real quantum algorithms. However, companies which are heavily investing in this new technology such as Google, IBM, Rigetti, Intel, IonQ, and Xanadu follow diverse technological approaches. This led to a situation where we have substantially different quantum computing devices available thus far. They mostly differ in the number and kind of qubits and the connectivity between them. Because of that, various methods for realizing the intended quantum functionality on a given quantum computing device are available. This paper provides an introduction and overview into this domain and describes corresponding methods, also referred to as compilers, mappers, synthesizers, transpilers, or routers.
Quantum computing is currently moving from an academic idea to a practical reality. Quantum computing in the cloud is already available and allows users from all over the world to develop and execute real quantum algorithms. However, companies which are heavily investing in this new technology such as Google, IBM, Rigetti, Intel, IonQ, and Xanadu follow diverse technological approaches. This led to a situation where we have substantially different quantum computing devices available thus far. They mostly differ in the number and kind of qubits and the connectivity between them. Because of that, various methods for realizing the intended quantum functionality on a given quantum computing device are available. This paper provides an introduction and overview into this domain and describes corresponding methods, also referred to as compilers, mappers, synthesizers, transpilers, or routers.
Quantum computing is currently moving from an academic idea to a practical reality. Quantum computing in the cloud is already available and allows users from all over the world to develop and execute real quantum algorithms. However, companies which are heavily investing in this new technology such as Google, IBM, Rigetti, Intel, IonQ, and Xanadu follow diverse technological approaches. This led to a situation where we have substantially different quantum computing devices available thus far. They mostly differ in the number and kind of qubits and the connectivity between them. Because of that, various methods for realizing the intended quantum functionality on a given quantum computing device are available. This paper provides an introduction and overview into this domain and describes corresponding methods, also referred to as compilers, mappers, synthesizers, transpilers, or routers.
Abstract Quantum computing leverages fundamental quantum-mechanical phenomena—most notably superposition, entanglement, and quantum tunneling—to perform computations in ways that differ fundamentally from classical digital processing. Compared to conventional computing architectures, quantum systems promise significant reductions in computational time and potentially lower energy consumption for specific classes of problems. These advantages, combined with advances in nanoscale engineering and the slowing of traditional hardware scaling trends such as Moore’s Law, have led to substantial commercial and national-security-driven investments in quantum technologies over the past decade. A major milestone was reached when Google announced the experimental demonstration of “quantum supremacy,” showing that a quantum processor could execute a specific computational task infeasible for a classical supercomputer within practical time constraints. Although the demonstrated problem had no immediate practical application, this achievement marked a crucial step toward the development of quantum systems capable of delivering real-world computational advantages and provided a more precise technical framing of the concept of quantum advantage. Despite the fact that the mathematical foundations, programming models, and principal quantum algorithms were established in the 1990s, quantum computing remained largely confined to a specialized research community for decades. Today, the increasing accessibility of cloud-based quantum hardware calls for a broader dissemination of implementation-oriented knowledge among researchers and practitioners in computer science, software engineering, and related fields. The quantum programming paradigm differs fundamentally from classical programming models and often relies on physical and algebraic notations that may pose barriers to traditionally trained computer scientists. This series of articles provides a self-contained and concise introduction to quantum computing and its core algorithms, with a strong emphasis on practical implementation. Given that real quantum processors—such as those accessible via the IBM quantum ecosystem—are now available as cloud services, experimental validation can be conducted both on simulators and on actual hardware for small-scale inputs. While other platforms such as Rigetti and IonQ also offer cloud-based quantum computing services, this review focuses exclusively on the IBM quantum computing ecosystem.
Quantum computing, once just a theoretical field, is quickly advancing as physical quantum technology increases in size, capability, and reliability. In order to fully harness the power of a general quantum computer or an application-specific device, compilers and tools must be developed that optimize specifications and map them to a realization on a specific architecture. In this work, a technique and prototype tool for synthesizing algorithms into a quantum computer is described and evaluated. Most recently reported methods produce technologically-independent reversible cascades comprised of a functionally complete set of operators with no regard to actual technologically-dependent cell libraries or constraints due to a device's pre-configured interconnectivity. In contrast, our prototype tool synthesizes algorithms into technologically-dependent specifications that consist of a set of primitives and connectivity constraints present in the computer architecture. The tool performs optimizations based on actual architectural constraints, and a high-quality technology-dependent synthesized result is achieved through the use of optimizing cost functions derived from real hardware and architecture parameters. Additionally, another important aspect of our tool is the incorporation of internal formal equivalence checking that ensures the initially specified algorithm is functionally equivalent to the optimized, technologically-mapped output. Experimental results are provided that target the IBM Q family of quantum computers.
A quantum processor, like any computing device, requires the development of both hardware and the necessary set of software solutions, starting with quantum algorithms and ending with means of accessing quantum devices. As part of the roadmap for the development of the high-tech field of quantum computing in the period from 2020 to 2024, a set of software solutions for quantum computing devices was developed. This software package includes a set of quantum algorithms for solving prototypes of applied tasks, monitoring and benchmarking tools for quantum processors, error suppression and correction methods, tools for compiling and optimizing quantum circuits, as well as interfaces for remote cloud access. This review presents the key results achieved, among which it is necessary to mention the execution of quantum algorithms using a cloud-based quantum computing platform.
Quantum computation is currently moving from an academic idea to a practical reality. The recent past has seen tremendous progress in the physical implementation of corresponding quantum computers - also involving big players such as IBM, Google, Intel, Rigetti, Microsoft, and Alibaba. These devices promise substantial speedups over conventional computers for applications like quantum chemistry, optimization, machine learning, cryptography, quantum simulation, and systems of linear equations. The Computer-Aided Design and Verification (jointly referred as CAD) community needs to be ready for this revolutionizing new technology. While research on automatic design methods for quantum computers is currently underway, there is still far too little coordination between the CAD community and the quantum computation community. Consequently, many CAD approaches proposed in the past have either addressed the wrong problems or failed to reach the end users. In this summary paper, we provide a glimpse into both sides. To this end, we review and discuss selected accomplishments from the CAD domain as well as open challenges within the quantum domain. These examples showcase the recent state-of-the-art but also outline the remaining work left to be done in both communities.
As quantum computers become available to the general public, the need has arisen to train a cohort of quantum programmers, many of whom have been developing classical computer programs for most of their careers. While currently available quantum computers have less than 100 qubits, quantum computing hardware is widely expected to grow in terms of qubit count, quality, and connectivity. This review aims at explaining the principles of quantum programming, which are quite different from classical programming, with straightforward algebra that makes understanding of the underlying fascinating quantum mechanical principles optional. We give an introduction to quantum computing algorithms and their implementation on real quantum hardware. We survey 20 different quantum algorithms, attempting to describe each in a succinct and self-contained fashion. We show how these algorithms can be implemented on IBM’s quantum computer, and in each case, we discuss the results of the implementation with respect to differences between the simulator and the actual hardware runs. This article introduces computer scientists, physicists, and engineers to quantum algorithms and provides a blueprint for their implementations.