247 citations · 1.6k across the 40 of their papers we have counts for
12 papers · 2 filters
Quantum Computer Systems for Scientific Discovery
Yuri Alexeev, Dave Bacon, Kenneth R. Brown +21
The great promise of quantum computers comes with the dual challenges of building them and finding their useful applications. We argue that these two challenges should be considere…
Full-State Quantum Circuit Simulation by Using Data Compression
Xin-Chuan Wu, Sheng Di, Emma Maitreyee Dasgupta +4
Quantum circuit simulations are critical for evaluating quantum algorithms and machines. However, the number of state amplitudes required for full simulation increases exponentiall…
Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines
Pranav Gokhale, Yongshan Ding, Thomas Propson +6
Quantum computing is on the cusp of reality with Noisy Intermediate-Scale Quantum (NISQ) machines currently under development and testing. Some of the most promising algorithms for…
Measurement Cost for Variational Quantum Eigensolver on Molecular Hamiltonians
Pranav Gokhale, Frederic T. Chong
Variational Quantum Eigensolver (VQE) is a promising algorithm for near-term quantum machines. It can be used to estimate the ground state energy of a molecule by performing separa…
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
Yunong Shi, Runzhou Tao, Xupeng Li +4
We present CertiQ, a verification framework for writing and verifying compiler passes of Qiskit, the most widely-used quantum compiler. To our knowledge, CertiQ is the first effort…
Entanglement bounds on the performance of quantum computing architectures
Zachary Eldredge, Leo Zhou, Aniruddha Bapat +4
There are many possible architectures of qubit connectivity that designers of future quantum computers will need to choose between. However, the process of evaluating a particular…
Minimizing State Preparations in Variational Quantum Eigensolver by Partitioning into Commuting Families
Pranav Gokhale, Olivia Angiuli, Yongshan Ding +5
Variational quantum eigensolver (VQE) is a promising algorithm suitable for near-term quantum machines. VQE aims to approximate the lowest eigenvalue of an exponentially sized matr…
Asymptotic Improvements to Quantum Circuits via Qutrits
Pranav Gokhale, Jonathan M. Baker, Casey Duckering +3
Quantum computation is traditionally expressed in terms of quantum bits, or qubits. In this work, we instead consider three-level qu. Past work with qutrits has demonstrated…
Resource Optimized Quantum Architectures for Surface Code Implementations of Magic-State Distillation
Adam Holmes, Yongshan Ding, Ali Javadi-Abhari +3
Quantum computers capable of solving classically intractable problems are under construction, and intermediate-scale devices are approaching completion. Current efforts to design l…
Decomposing Quantum Generalized Toffoli with an Arbitrary Number of Ancilla
Jonathan M. Baker, Casey Duckering, Alexander Hoover +1
We present a general decomposition of the Generalized Toffoli, and for completeness, the multi-target gate using an arbitrary number of clean or dirty ancilla. While prior work has…
Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers
Yunong Shi, Nelson Leung, Pranav Gokhale +4
Recent developments in engineering and algorithms have made real-world applications in quantum computing possible in the near future. Existing quantum programming languages and com…
Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers
Prakash Murali, Jonathan M. Baker, Ali Javadi Abhari +2
A massive gap exists between current quantum computing (QC) prototypes, and the size and scale required for many proposed QC algorithms. Current QC implementations are prone to noi…