Resource-Efficient Quantum Computing by Breaking Abstractions
arXiv:2011.00028 · doi:10.1109/JPROC.2020.2994765
Abstract
Building a quantum computer that surpasses the computational power of its classical counterpart is a great engineering challenge. Quantum software optimizations can provide an accelerated pathway to the first generation of quantum computing applications that might save years of engineering effort. Current quantum software stacks follow a layered approach similar to the stack of classical computers, which was designed to manage the complexity. In this review, we point out that greater efficiency of quantum computing systems can be achieved by breaking the abstractions between these layers. We review several works along this line, including two hardware-aware compilation optimizations that break the quantum Instruction Set Architecture (ISA) abstraction and two error-correction/information-processing schemes that break the qubit abstraction. Last, we discuss several possible future directions.
Invited paper by Proceedings of IEEE special issue
References in corpus (82)
- Quantum Computing in the NISQ era and beyond
- Supplementary information for "Quantum supremacy using a programmable superconducting processor"
- Quantum Computation with Quantum Dots
- Elementary gates for quantum computation
- Charge insensitive qubit design derived from the Cooper pair box
- Review article: Linear optical quantum computing
- QuTiP 2: A Python framework for the dynamics of open quantum systems
- The theory of variational hybrid quantum-classical algorithms
- QuTiP: An open-source Python framework for the dynamics of open quantum systems
- A Quantum Engineer's Guide to Superconducting Qubits
- A Quantum Approximate Optimization Algorithm
- Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum computing
- Encoding a qubit in an oscillator
- Superconducting Qubits: Current State of Play
- Towards Quantum Chemistry on a Quantum Computer
- Demonstration of a small programmable quantum computer with atomic qubits
- Training Schrödinger's cat: quantum optimal control
- Experimental Quantum Error Correction
- Noise tailoring for scalable quantum computation via randomized compiling
- Experimental Comparison of Two Quantum Computing Architectures
- A simple all-microwave entangling gate for fixed-frequency superconducting qubits
- New class of quantum error-correcting codes for a bosonic mode
- Multi-valued Logic Gates for Quantum Computation
- Implementation of a Toffoli Gate with Superconducting Circuits
- A quantum memory with near-millisecond coherence in circuit QED
- Simulating chemistry using quantum computers
- Fluctuations of Energy-Relaxation Times in Superconducting Qubits
- Resource-Aware Quantum Programming with General Recursion and Quantum Control
- Performance and structure of single-mode bosonic codes
- Second order gradient ascent pulse engineering
- Efficient Toffoli Gates Using Qudits
- An Artificial Neuron Implemented on an Actual Quantum Processor
- Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers
- Characterizing large-scale quantum computers via cycle benchmarking
- Natural two-qubit gate for quantum computation using the XY interaction
- Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
- Parametrically Activated Entangling Gates Using Transmon Qubits
- Addition on a Quantum Computer
- Quantification and Characterization of Leakage Errors
- Fault-tolerant bosonic quantum error correction with the surface-GKP code
- All-Gaussian universality and fault tolerance with the Gottesman-Kitaev-Preskill code
- High-threshold fault-tolerant quantum computation with analog quantum error correction
- A Software Methodology for Compiling Quantum Programs
- Improved quantum capacity bounds of Gaussian loss channels and achievable rates with Gottesman-Kitaev-Preskill codes
- Quantum Error Correction with the Toric-GKP Code
- Compiling quantum circuits to realistic hardware architectures using temporal planners
- Random access quantum information processors
- Universal stabilization of a parametrically coupled qubit
- Leveraging Secondary Storage to Simulate Deep 54-qubit Sycamore Circuits
- Speedup for quantum optimal control from automatic differentiation based on graphics processing units
- Realization of a system with metastable states of a capacitively-shunted fluxonium
- Encoding a Qubit into a Cavity Mode in Circuit-QED using Phase Estimation
- Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers
- Tensor Networks in a Nutshell
- Quantum Circuit Placement
- Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures
- Asymptotic Improvements to Quantum Circuits via Qutrits
- Maximizing the Hilbert space for a finite number of distinguishable quantum states
- An Experimental Microarchitecture for a Superconducting Quantum Processor
- Classical Simulation of Quantum Supremacy Circuits
- A Very Small Logical Qubit
- A C++ library using quantum trajectories to solve quantum master equations
- Toward fault-tolerant quantum computation without concatenation
- Understanding the effects of leakage in superconducting quantum error detection circuits
- Efficient preparation and detection of microwave dressed-state qubits and qutrits with trapped ions
- Fault-tolerant preparation of approximate GKP states
- Generalized Toffoli gates using qudit catalysis
- Quantum Error-Correcting Codes for Qudit Amplitude Damping
- Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines
- Majorana loop stabilizer codes for error correction of fermionic quantum simulations
- Optimized Surface Code Communication in Superconducting Quantum Computers
- Time-efficient implementation of quantum search with qudits
- Circuit Transformations for Quantum Architectures
- Arithmetic Circuits for Multilevel Qudits Based on Quantum Fourier Transform
- Generation of high-fidelity quantum control methods for multi-level systems
- Fast microwave-driven three-qubit gates for cavity-coupled superconducting qubits
- Elementary gates for ternary quantum logic circuit
- Propagation of generalized Pauli errors in qudit Clifford circuits
- Demonstrating Quantum Error Correction that Extends the Lifetime of Quantum Information
- Factoring with n+2 clean qubits and n-1 dirty qubits
- Quantum CISC Compilation by Optimal Control and Scalable Assembly of Complex Instruction Sets beyond Two-Qubit Gates
- Characterization of qutrit channels in terms of their covariance and symmetry properties
Cited by in corpus (8)
- Extensive characterization of a family of efficient three-qubit gates at the coherence limit
- Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications
- HAMMER: boosting fidelity of noisy Quantum circuits by exploiting Hamming behavior of erroneous outcomes
- Taming quantum systems: A tutorial for using shortcuts-to-adiabaticity, quantum optimal control, and reinforcement learning
- SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation
- Programming the full stack of an open-access quantum computer
- A Cross-Platform Execution Engine for the Quantum Intermediate Representation
- Programming tools for Analogue Quantum Computing in the High-Performance Computing Context -- A Review