Scheduler of quantum circuits based on dynamical pattern improvement and its application to hardware design

As quantum hardware increases in complexity, successful algorithmic execution relies more heavily on awareness of existing device constraints. In this work we focus on the problem of routing quantum information across the machine to overcome the limited connectivity of quantum hardware. Previous approaches address the problem for each two-qubit gate separately and then impose the compatibility of the different routes. Here we shift the focus onto the set of all routing operations that are possible at any given time and favor those that most benefit the global pattern of two-qubit gates. We benchmark our optimization technique by scheduling variational algorithms for transmon chips. Finally we apply our scheduler to the design problem of quantifying the impact of manufacturing decisions. Specifically, we address the number of distinct qubit frequencies in superconducting architectures and how they affect the algorithmic performance of the quantum Fourier transform.

[1]  Michel Deza,et al.  Applications of cut polyhedra—II , 1994 .

[2]  M. Laurent,et al.  Applications of cut polyhedra , 1992 .

[3]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[4]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm , 2014, 1411.4028.

[5]  Jay M. Gambetta,et al.  Process verification of two-qubit quantum gates by randomized benchmarking , 2012, 1210.7011.

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

[7]  今井 浩 20世紀の名著名論:Peter Shor : Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 2004 .

[8]  L. DiCarlo,et al.  Scalable Quantum Circuit and Control for a Superconducting Surface Code , 2016, 1612.08208.

[9]  Frederic T. Chong,et al.  Scheduling physical operations in a quantum information processor , 2006, SPIE Defense + Commercial Sensing.

[10]  Alberto L. Sangiovanni-Vincentelli,et al.  A complexity metric for concurrent finite state machine based embedded software , 2013, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

[11]  Gian Giacomo Guerreschi,et al.  Two-step approach to scheduling quantum circuits , 2018, Quantum Science and Technology.

[12]  W. Macready,et al.  Image recognition with an adiabatic quantum computer I. Mapping to quadratic unconstrained binary optimization , 2008, 0804.4457.

[13]  Matthias Troyer,et al.  A software methodology for compiling quantum programs , 2016, ArXiv.

[14]  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.

[15]  Hideharu Amano,et al.  Extracting Success from IBM’s 20-Qubit Machines Using Error-Aware Compilation , 2019, ACM J. Emerg. Technol. Comput. Syst..

[16]  L. DiCarlo,et al.  Demonstration of two-qubit algorithms with a superconducting quantum processor , 2009, Nature.

[17]  S. Lloyd,et al.  Quantum Algorithm Providing Exponential Speed Increase for Finding Eigenvalues and Eigenvectors , 1998, quant-ph/9807070.

[18]  Christof Zalka Simulating quantum systems on a quantum computer , 1996, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[19]  Massoud Pedram,et al.  Minimizing the latency of quantum circuits during mapping to the ion-trap circuit fabric , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[20]  Rupak Majumdar,et al.  Cause clue clauses: error localization using maximum satisfiability , 2010, PLDI '11.

[21]  Keith D. Cooper,et al.  An Experimental Evaluation of List Scheduling , 1998 .

[22]  Margaret Martonosi,et al.  Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers , 2019, ASPLOS.

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

[24]  Imran Ashraf,et al.  Mapping of quantum circuits onto NISQ superconducting processors , 2019 .

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

[26]  Matthias Troyer,et al.  Advantages of a modular high-level quantum programming framework , 2019, Microprocess. Microsystems.

[27]  James S. Clarke,et al.  Impact of qubit connectivity on quantum algorithm performance , 2018, Quantum Science and Technology.

[28]  G. Kochenberger,et al.  0-1 Quadratic programming approach for optimum solutions of two scheduling problems , 1994 .

[29]  Ny,et al.  Quantum process tomography of a universal entangling gate implemented with Josephson phase qubits , 2009, 0910.1118.