Domain-Specific Compilers for Dynamic Simulations of Quantum Materials on Quantum Computers
arXiv:2004.07418 · doi:10.1088/2058-9565/abbea1
Abstract
Simulation of the dynamics of quantum materials is emerging as a promising scientific application for noisy intermediate-scale quantum (NISQ) computers. Due to their high gate-error rates and short decoherence times, however, NISQ computers can only produce high-fidelity results for those quantum circuits smaller than some given circuit size. Dynamic simulations, therefore, pose a challenge as current algorithms produce circuits that grow in size with each subsequent time-step of the simulation. This underscores the crucial role of quantum circuit compilers to produce executable quantum circuits of minimal size, thereby maximizing the range of physical phenomena that can be studied within the NISQ fidelity budget. Here, we present two domain-specific quantum circuit compilers for the Rigetti and IBM quantum computers, specifically designed to compile circuits simulating dynamics under a special class of time-dependent Hamiltonians. The compilers outperform state-of-the-art general-purpose compilers in terms of circuit size reduction by around 25-30% as well as wall-clock compilation time by around 40% (dependent on system size and simulation time-step). Drawing on heuristic techniques commonly used in artificial intelligence, both compilers scale well with simulation time-step and system size. Code for both compilers is included to enhance the results of dynamic simulations for future researchers. We anticipate that our domain-specific compilers will enable dynamic simulations of quantum materials on near-future NISQ computers that would not otherwise be possible with general-purpose compilers.
arXiv comment22 pages, 3 figures, 2 tables, 2 algorithms
References in corpus (32)
- Quantum Computing in the NISQ era and beyond
- Supplementary information for "Quantum supremacy using a programmable superconducting processor"
- Hardware-efficient Variational Quantum Eigensolver for Small Molecules and Quantum Magnets
- Real-time dynamics of lattice gauge theories with a few-qubit quantum computer
- Towards Quantum Chemistry on a Quantum Computer
- Robust determination of molecular spectra on a quantum processor
- Optimal Quantum Circuits for General Two-Qubit Gates
- Quantum chemistry calculations on a trapped-ion quantum simulator
- Quantum Circuits for General Multiqubit Gates
- Quantum-assisted quantum compiling
- Minimal Universal Two-qubit Quantum Circuits
- A universal quantum circuit for two-qubit transformations with three CNOT gates
- Simulating quantum many-body dynamics on a current digital quantum computer
- Quantum simulation of time-dependent Hamiltonians and the convenient illusion of Hilbert space
- Efficient decomposition of quantum gates
- Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
- Kinetic Ising model in an oscillating field: Finite-size scaling at the dynamic phase transition
- Quantum Circuits for Isometries
- A Software Methodology for Compiling Quantum Programs
- Simulation of Nonequilibrium Dynamics on a Quantum Computer
- Exact Ising model simulation on a quantum computer
- Nonequilibrium phase transition in the kinetic Ising model: Is transition point the maximum lossy point ?
- Fault-Tolerant High Level Quantum Circuits: Form, Compilation and Description
- Simulating Quantum Dynamics On A Quantum Computer
- Compiling quantum algorithms for architectures with multi-qubit gates
- Algorithmic simulation of far-from-equilibrium dynamics using quantum computer
- Towards Dynamic Simulations of Materials on Quantum Computers
- Realization of a General Three-Qubit Quantum Gate
- A Rudimentary Quantum Compiler(2cnd Ed.)
- Optimization of Lattice Surgery is NP-Hard
- The block-ZXZ synthesis of an arbitrary quantum circuit
- QFAST: Quantum Synthesis Using a Hierarchical Continuous Circuit Space