Grover Mixers for QAOA: Shifting Complexity from Mixer Design to State Preparation

We propose GM-QAOA, a variation of the Quantum Alternating Operator Ansatz (QAOA) that uses Grover-like selective phase shift mixing operators. GM-QAOA works on any NP optimization problem for which it is possible to efficiently prepare an equal superposition of all feasible solutions; it is designed to perform particularly well for constraint optimization problems, where not all possible variable assignments are feasible solutions. GM-QAOA has the following features: (i) It is not susceptible to Hamiltonian Simulation error (such as Trotterization errors) as its operators can be implemented exactly using standard gate sets and (ii) Solutions with the same objective value are always sampled with the same amplitude. We illustrate the potential of GM-QAOA on several optimization problem classes: for permutation-based optimization problems such as the Traveling Salesperson Problem, we present an efficient algorithm to prepare a superposition of all possible permutations of $n$ numbers, defined on O (n 2) qubits; for the hard constraint k-Vertex-Cover problem, and for an application to Discrete Portfolio Rebalancing, we show that GM-QAOA outperforms existing QAOA approaches.

[1]  Andris Ambainis,et al.  Quantum Speedups for Exponential-Time Dynamic Programming Algorithms , 2018, SODA.

[2]  S. Dulman,et al.  Portfolio rebalancing experiments using the Quantum Alternating Operator Ansatz , 2019, 1911.05296.

[3]  Stephan Johannes Eidenbenz,et al.  The Quantum Alternating Operator Ansatz on Max-k Vertex Cover , 2019 .

[4]  Andrew M. Childs,et al.  Simulating Hamiltonian dynamics with a truncated Taylor series. , 2014, Physical review letters.

[5]  D. Damanik,et al.  A quantum algorithm to count weighted ground states of classical spin Hamiltonians , 2019, 1908.01745.

[6]  Bill Fefferman,et al.  The Power of Quantum Fourier Sampling , 2015, TQC.

[7]  Helmut G. Katzgraber,et al.  Quantum annealing for problems with ground-state degeneracy , 2008 .

[8]  Alán Aspuru-Guzik,et al.  Quantum Simulation of Electronic Structure with Linear Depth and Connectivity. , 2017, Physical review letters.

[9]  G. Brassard Searching a Quantum Phone Book , 1997, Science.

[10]  Theodore J. Yoder,et al.  Fixed-point quantum search with an optimal number of queries. , 2014, Physical review letters.

[11]  T. Koopmans,et al.  Assignment Problems and the Location of Economic Activities , 1957 .

[12]  Lov K. Grover A fast quantum mechanical algorithm for database search , 1996, STOC '96.

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

[14]  D. Bacon,et al.  Efficient quantum circuits for Schur and Clebsch-Gordan transforms. , 2004, Physical review letters.

[15]  Bryan O'Gorman,et al.  Generalized swap networks for near-term quantum computing , 2019, ArXiv.

[16]  Jacob Biamonte,et al.  Variational learning of Grover's quantum search algorithm , 2018, Physical Review A.

[17]  Stephan Eidenbenz,et al.  The Quantum Alternating Operator Ansatz on Maximum k-Vertex Cover , 2019, 2020 IEEE International Conference on Quantum Computing and Engineering (QCE).

[18]  V. Akshay,et al.  Reachability Deficits in Quantum Approximate Optimization , 2019, Physical review letters.

[19]  Bill Fefferman,et al.  The Power of Quantum Fourier Sampling , 2014 .

[20]  Stephan Eidenbenz,et al.  Deterministic Preparation of Dicke States , 2019, FCT.

[21]  Alexis De Vos,et al.  Optimal Design of a Reversible Full Adder , 2005, Int. J. Unconv. Comput..

[22]  Nicholas C. Rubin,et al.  $XY$-mixers: analytical and numerical results for QAOA , 2019, 1904.09314.

[23]  Lov K. Grover,et al.  Fixed-point quantum search. , 2005, Physical review letters.

[24]  G. Brassard,et al.  Quantum Amplitude Amplification and Estimation , 2000, quant-ph/0005055.

[25]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm Applied to a Bounded Occurrence Constraint Problem , 2014, 1412.6062.

[26]  Cid C. de Souza,et al.  The maximum common edge subgraph problem: A polyhedral investigation , 2012, Discret. Appl. Math..

[27]  Andrew M. Childs,et al.  Hamiltonian Simulation with Nearly Optimal Dependence on all Parameters , 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

[28]  Rupak Biswas,et al.  From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator Ansatz , 2017, Algorithms.

[29]  E. Rieffel,et al.  XY mixers: Analytical and numerical results for the quantum alternating operator ansatz , 2020 .

[30]  Seth Lloyd,et al.  Universal Quantum Simulators , 1996, Science.