Extracting Success from IBM’s 20-Qubit Machines Using Error-Aware Compilation

NISQ (Noisy, Intermediate-Scale Quantum) computing requires error mitigation to achieve meaningful computation. Our compilation tool development focuses on the fact that the error rates of individual qubits are not equal, with a goal of maximizing the success probability of real-world subroutines such as an adder circuit. We begin by establishing a metric for choosing among possible paths and circuit alternatives for executing gates between variables placed far apart within the processor, and test our approach on two IBM 20-qubit systems named Tokyo and Poughkeepsie. We find that a single-number metric describing the fidelity of individual gates is a useful but imperfect guide. Our compiler uses this subsystem and maps complete circuits onto the machine using a beam search-based heuristic that will scale as processor and program sizes grow. To evaluate the whole compilation process, we compiled and executed adder circuits, then calculated the Kullback–Leibler divergence (KL-divergence, a measure of the distance between two probability distributions). For a circuit within the capabilities of the hardware, our compilation increases estimated success probability and reduces KL-divergence relative to an error-oblivious placement.

[1]  Aram W. Harrow,et al.  Quantum computational supremacy , 2017, Nature.

[2]  Robert Wille,et al.  An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  Michael J. Bremner,et al.  Quantum sampling problems, BosonSampling and quantum supremacy , 2017, npj Quantum Information.

[4]  Simon J. Devitt,et al.  The Path to Scalable Distributed Quantum Computing , 2016, Computer.

[5]  John Preskill,et al.  Quantum Computing in the NISQ era and beyond , 2018, Quantum.

[6]  Krysta Marie Svore,et al.  LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing , 2014, ArXiv.

[7]  R. Barends,et al.  Superconducting quantum circuits at the surface code threshold for fault tolerance , 2014, Nature.

[8]  Elisa Bertino Securing Mobile Applications , 2016, Computer.

[9]  Margaret Martonosi,et al.  Compiler Management of Communication and Parallelism for Quantum Computation , 2015, ASPLOS.

[10]  Rodney Van Meter,et al.  A blueprint for building a quantum computer , 2013, Commun. ACM.

[11]  Ronald L. Rivest,et al.  The Algorithm SELECT - for Finding the ith Smallest of n Elements [M1] (Algorithm 489) , 1975, Commun. ACM.

[12]  Stephen Warshall,et al.  A Theorem on Boolean Matrices , 1962, JACM.

[13]  Ashley Montanaro,et al.  Quantum algorithms: an overview , 2015, npj Quantum Information.

[14]  R. Prim Shortest connection networks and some generalizations , 1957 .

[15]  S. Girvin,et al.  Charge-insensitive qubit design derived from the Cooper pair box , 2007, cond-mat/0703002.

[16]  John A. Gunnels,et al.  Breaking the 49-Qubit Barrier in the Simulation of Quantum Circuits , 2017, 1710.05867.

[17]  Daniel A. Lidar,et al.  Defining and detecting quantum speedup , 2014, Science.

[18]  W. Munro,et al.  Quantum error correction for beginners , 2009, Reports on progress in physics. Physical Society.

[19]  J GaySimon,et al.  Quantum programming languages: survey and bibliography , 2006 .

[20]  Scott Aaronson,et al.  Limits on Efficient Computation in the Physical World , 2004, ArXiv.

[21]  Igor L. Markov,et al.  Simulating Quantum Computation by Contracting Tensor Networks , 2008, SIAM J. Comput..

[22]  Yasunobu Nakamura,et al.  Quantum computers , 2010, Nature.

[23]  Michael Cubeddu,et al.  Qubit Allocation for Noisy Intermediate-Scale Quantum Computers , 2018 .

[24]  Stefan Filipp,et al.  Analysis of a parametrically driven exchange-type gate and a two-photon excitation gate between superconducting qubits , 2017, 1708.02090.

[25]  John Preskill,et al.  Quantum computing and the entanglement frontier , 2012, 1203.5813.

[26]  Peter Selinger,et al.  Efficient Clifford+T approximation of single-qubit operators , 2012, Quantum Inf. Comput..

[27]  Todd A. Brun,et al.  Quantum Computing , 2011, Computer Science, The Hardware, Software and Heart of It.

[28]  Fernando Magno Quintão Pereira,et al.  Qubit allocation , 2018, CGO.

[29]  Frederic T. Chong,et al.  Quantum Memory Hierarchies: Efficient Designs to Match Available Parallelism in Quantum Computing , 2006, 33rd International Symposium on Computer Architecture (ISCA'06).

[30]  Daniel A. Lidar,et al.  Quantum Error Correction: Introduction to decoherence and noise in open quantum systems , 2013 .

[31]  E. Knill,et al.  Randomized Benchmarking of Quantum Gates , 2007, 0707.0963.

[32]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .

[33]  Simon J. Devitt,et al.  Implementation of Shor's algorithm on a linear nearest neighbour qubit array , 2004, Quantum Inf. Comput..

[34]  M. Lukin,et al.  Probing many-body dynamics on a 51-atom quantum simulator , 2017, Nature.

[35]  Michele Mosca Quantum Algorithms , 2009, Encyclopedia of Complexity and Systems Science.

[36]  A. Fowler,et al.  Low overhead quantum computation using lattice surgery , 2018, 1808.06709.

[37]  R. V. Meter,et al.  Layered architecture for quantum computing , 2010, 1010.5022.

[38]  John Kubiatowicz,et al.  Interconnection Networks for Scalable Quantum Computers , 2006, 33rd International Symposium on Computer Architecture (ISCA'06).

[39]  Margaret Martonosi,et al.  ScaffCC: a framework for compilation and analysis of quantum computing programs , 2014, Conf. Computing Frontiers.

[40]  R. Jozsa Quantum algorithms , 2001 .

[41]  X. Zhang,et al.  Synthesis of Trifluoromethyltriazoles via 1,3-DipolarCycloaddition , 2008 .

[42]  X-Q Zhou,et al.  Experimental realization of Shor's quantum factoring algorithm using qubit recycling , 2011, Nature Photonics.

[43]  Moinuddin K. Qureshi,et al.  Not All Qubits Are Created Equal: A Case for Variability-Aware Policies for NISQ-Era Quantum Computers , 2018, ASPLOS.

[44]  R. V. Meter,et al.  Fast quantum modular exponentiation , 2004, quant-ph/0408006.

[45]  Dave Bacon,et al.  Recent progress in quantum algorithms , 2010, Commun. ACM.

[46]  D. Gottesman An Introduction to Quantum Error Correction and Fault-Tolerant Quantum Computation , 2009, 0904.2557.

[47]  Simon J. Gay,et al.  Quantum Programming Languages Survey and Bibliography , 2006 .

[48]  Ronald L. Rivest,et al.  Expected time bounds for selection , 1975, Commun. ACM.

[49]  Chen-Fu Chiang,et al.  Scaffold: Quantum Programming Language , 2012 .

[50]  Jay M. Gambetta,et al.  Characterizing Quantum Gates via Randomized Benchmarking , 2011, 1109.6887.

[51]  Gilles Brassard,et al.  Strengths and Weaknesses of Quantum Computing , 1997, SIAM J. Comput..

[52]  B. Terhal Quantum error correction for quantum memories , 2013, 1302.3428.

[53]  C. Monroe,et al.  Observation of a many-body dynamical phase transition with a 53-qubit quantum simulator , 2017, Nature.

[54]  Cody Jones,et al.  Low-overhead constructions for the fault-tolerant Toffoli gate , 2012, 1212.5069.

[55]  H. Neven,et al.  Characterizing quantum supremacy in near-term devices , 2016, Nature Physics.

[56]  Frederic T. Chong,et al.  Building quantum wires: the long and the short of it , 2003, 30th Annual International Symposium on Computer Architecture, 2003. Proceedings..

[57]  J. Gambetta,et al.  Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets , 2017, Nature.

[58]  David Roman The mobile road ahead , 2010, Commun. ACM.

[59]  Thomas G. Draper,et al.  A new quantum ripple-carry addition circuit , 2004, quant-ph/0410184.

[60]  John M. Martinis,et al.  Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum computing , 2014 .

[61]  Pedram Khalili Amiri,et al.  Quantum computers , 2003 .

[62]  Rodney Van Meter,et al.  Distributed Arithmetic on a Quantum Multicomputer , 2006, 33rd International Symposium on Computer Architecture (ISCA'06).