Noise Resilient Compilation Policies for Quantum Approximate Optimization Algorithm

Quantum approximate optimization algorithm (QAOA) is a promising quantum-classical hybrid algorithm to solve hard combinatorial optimization problems using noisy quantum devices. The multi-qubit CPHASE gates used in the quantum circuit for QAOA are commutative i.e., the order of the gates can be altered without changing the output state. This re-ordering leads to the execution of more gates in parallel and a smaller number of additional SWAP gates to compile the QAOA circuit resulting in lower circuit-depth and gate-count. A less number of gates generally indicates a lower accumulation of gate-errors, and a reduced circuit-depth means less decoherence time for the qubits. However, near-term quantum devices exhibit significant variations in the gate success probabilities. Variation-aware compilation policies (i.e. putting most gate operations on qubits with higher gate success probabilities) can enhance the probability of successful program execution on the hardware. The greater flexibility of QAOA-circuits offer better scope of optimization with QAOA-tailored compilation policies. This paper presents an argument for compilation policies to exploit the unique characteristics of QAOA-circuits alongside the variation-awareness of the noisy devices. We present two procedures - variation-aware qubit placement (VQP) and variation-aware iterative mapping (VIM) that can improve the circuit success probability quite significantly (≈8.408X on average) for a set of QAOA-MaxCut problems on ibmq_16_melbourne.

[1]  Abdullah Ash-Saki,et al.  QURE: Qubit Re-allocation in Noisy Intermediate-Scale Quantum Computers , 2019, 2019 56th ACM/IEEE Design Automation Conference (DAC).

[2]  Anupam Chattopadhyay,et al.  Depth-Optimal Quantum Circuit Placement for Arbitrary Topologies , 2017, ArXiv.

[3]  Abdullah Ash-Saki,et al.  Design-Space Exploration of Quantum Approximate Optimization Algorithm under Noise , 2020, 2020 IEEE Custom Integrated Circuits Conference (CICC).

[4]  E. L. Lawler,et al.  Branch-and-Bound Methods: A Survey , 1966, Oper. Res..

[5]  Harper R. Grimsley,et al.  Is the Trotterized UCCSD Ansatz Chemically Well-Defined? , 2019, Journal of chemical theory and computation.

[6]  V.V. Shende,et al.  Synthesis of quantum-logic circuits , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Swaroop Ghosh,et al.  MUQUT: Multi-Constraint Quantum Circuit Mapping on NISQ Computers: Invited Paper , 2019, 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[8]  Peter Rossmanith,et al.  Simulated Annealing , 2008, Taschenbuch der Algorithmen.

[9]  Travis S. Humble,et al.  Quantum supremacy using a programmable superconducting processor , 2019, Nature.

[10]  Andrew W. Cross,et al.  The IBM Q experience and QISKit open-source quantum computing software , 2018 .

[11]  Jirí Sgall,et al.  First Fit bin packing: A tight analysis , 2013, STACS.

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

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

[14]  J. McClean,et al.  Strategies for quantum computing molecular energies using the unitary coupled cluster ansatz , 2017, Quantum Science and Technology.

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

[16]  Margaret Martonosi,et al.  Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights , 2019, 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA).

[17]  Gavin E. Crooks,et al.  Performance of the Quantum Approximate Optimization Algorithm on the Maximum Cut Problem , 2018, 1811.08419.

[18]  Swaroop Ghosh,et al.  An Efficient Circuit Compilation Flow for Quantum Approximate Optimization Algorithm , 2020, 2020 57th ACM/IEEE Design Automation Conference (DAC).

[19]  Abdullah Ash-Saki,et al.  Accelerating Quantum Approximate Optimization Algorithm using Machine Learning , 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[20]  Sophia E. Economou,et al.  Microwave-based arbitrary cphase gates for transmon qubits , 2019, Physical Review B.

[21]  Abdullah Ash-Saki,et al.  Addressing Temporal Variations in Qubit Quality Metrics for Parameterized Quantum Circuits , 2019, 2019 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED).

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

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

[24]  E. Farhi,et al.  The Quantum Approximate Optimization Algorithm and the Sherrington-Kirkpatrick Model at Infinite Size. , 2019, 1910.08187.

[25]  Robert Wille,et al.  Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations , 2019, 2019 56th ACM/IEEE Design Automation Conference (DAC).

[26]  H. Neven,et al.  Quantum Algorithms for Fixed Qubit Architectures , 2017, 1703.06199.

[27]  Margaret Martonosi,et al.  Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers , 2019, ASPLOS.

[28]  Kathryn A. Dowsland,et al.  Simulated Annealing , 1989, Encyclopedia of GIS.

[29]  György Dósa,et al.  The Tight Bound of First Fit Decreasing Bin-Packing Algorithm Is FFD(I) <= 11/9OPT(I) + 6/9 , 2007, ESCAPE.

[30]  Gushu Li,et al.  Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices , 2018, ASPLOS.

[31]  Swaroop Ghosh,et al.  Circuit Compilation Methodologies for Quantum Approximate Optimization Algorithm , 2020, 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).

[32]  Leo Zhou,et al.  Quantum Approximate Optimization Algorithm: Performance, Mechanism, and Implementation on Near-Term Devices , 2018, Physical Review X.

[33]  Jeremy Frank,et al.  Compiling quantum circuits to realistic hardware architectures using temporal planners , 2017, ArXiv.