Near-optimal quantum circuit for Grover's unstructured search using a transverse field

Inspired by a class of algorithms proposed by Farhi et al. (arXiv:1411.4028), namely the quantum approximate optimization algorithm (QAOA), we present a circuit-based quantum algorithm to search for a needle in a haystack, obtaining the same quadratic speedup achieved by Grover's original algorithm. In our algorithm, the problem Hamiltonian (oracle) and a transverse field are applied alternately to the system in a periodic manner. We introduce a technique, based on spin-coherent states, to analyze the composite unitary in a single period. This composite unitary drives a closed transition between two states that have high degrees of overlap with the initial state and the target state, respectively. The transition rate in our algorithm is of order $\Theta(1/\sqrt N)$, and the overlaps are of order $\Theta(1)$, yielding a nearly optimal query complexity of $T\simeq \sqrt N (\pi/2\sqrt 2\,)$. Our algorithm is a QAOA circuit that demonstrates a quantum advantage with a large number of iterations that is not derived from Trotterization of an adiabatic quantum optimization (AQO) algorithm. It also suggests that the analysis required to understand QAOA circuits involves a very different process from estimating the energy gap of a Hamiltonian in AQO.

[1]  J. M. Radcliffe Some properties of coherent spin states , 1971 .

[2]  A. Perelomov Generalized Coherent States and Their Applications , 1986 .

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

[4]  Edward Farhi,et al.  Analog analogue of a digital quantum computation , 1996 .

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

[6]  Christof Zalka GROVER'S QUANTUM SEARCHING ALGORITHM IS OPTIMAL , 1997, quant-ph/9711070.

[7]  M. Sipser,et al.  Quantum Computation by Adiabatic Evolution , 2000, quant-ph/0001106.

[8]  Zijian Diao,et al.  A Quantum Circuit Design for Grover’s Algorithm , 2002 .

[9]  N. Cerf,et al.  Quantum search by local adiabatic evolution , 2001, quant-ph/0107015.

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

[11]  Kevin C. Young,et al.  Error suppression and error correction in adiabatic quantum computation I: techniques and challenges , 2013, 1307.5893.

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

[13]  N. Goldman,et al.  Periodically Driven Quantum Systems: Effective Hamiltonians and Engineered Gauge Fields , 2014, 1404.4373.

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

[15]  Prasad Raghavendra,et al.  Beating the random assignment on constraint satisfaction problems of bounded degree , 2015, Electron. Colloquium Comput. Complex..

[16]  H. Neven,et al.  Understanding Quantum Tunneling through Quantum Monte Carlo Simulations. , 2015, Physical review letters.

[17]  M. Hastings,et al.  Training A Quantum Optimizer , 2016, 1605.05370.

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

[19]  A. Harrow,et al.  Quantum Supremacy through the Quantum Approximate Optimization Algorithm , 2016, 1602.07674.