Abstract:Grover's algorithm is one of the primary algorithms offered as evidence that quantum computers can provide an advantage over classical computers. It involves an "oracle" (external quantum subroutine) which must be specified for a given application and whose internal structure is not part of the formal scaling of the quantum speedup guaranteed by the algorithm. Grover's algorithm also requires exponentially many steps to succeed, raising the question of its implementation on near-term, non-error-corrected hardware and indeed even on error-corrected quantum computers. In this work, we construct a quantum inspired algorithm, executable on a classical computer, that performs Grover's task in a linear number of call to the oracle - an exponentially smaller number than Grover's algorithm - and demonstrate this algorithm explicitly for boolean satisfiability problems (3-SAT). Our finding implies that there is no a priori theoretical quantum speedup associated with Grover's algorithm. We critically examine the possibility of a practical speedup, a possibility that depends on the nature of the quantum circuit associated with the oracle. We argue that the unfavorable scaling of the success probability of Grover's algorithm, which in the presence of noise decays as the exponential of the exponential of the number of qubits, makes a practical speedup unrealistic even under extremely optimistic assumptions on both hardware quality and availability.

Comprehensive characterization of three-qubit Grover search algorithm on IBM's 127-qubit superconducting quantum computers

Implementation of Grover's Iterator for Quantum Searching With an Arbitrary Number of Qubits

Quantum multi-programming for Grover's search

Simulating Grover's Quantum Search in a Classical Computer

Analysis and Simulation of Grover’s Search Algorithm

A Non-Oracle Quantum Search Algorithm and Its Experimental Implementation

Circuit optimization of Grover quantum search algorithm

Grover's Algorithm for Multiobject Search in Quantum Computing

Efficient Implementation of a Quantum Search Algorithm for Arbitrary N

A Non-Oracle Quantum Search Algorithm and Its Experimental Implementation

Description of the Grover algorithm based on geometric considerations

Better-than-classical Grover search via quantum error detection and suppression

A summary on two new algorithms for Grover's unsorted database search problem

Operating Quantum States in Single Magnetic Molecules: Implementation of Grover's Quantum Algorithm.

Generalization of Grover's Algorithm to Multiobject Search in Quantum Computing, Part I: Continuous Time and Discrete Time

Quantum Algorithmic Gate-Based Computing: Grover Quantum Search Algorithm Design in Quantum Software Engineering

An Improved Grover Quantum Searching Algorithm

Nondeterministic Quantum Computation Via Ground State Cooling and Ultrafast Grover Algorithm

Practical Quantum Search by Variational Quantum Eigensolver on Noisy Intermediate-scale Quantum Hardware

Grover's Algorithm Offers No Quantum Advantage

A Family of Grover's Quantum Searching Algorithms