Abstract:Consider a Boolean function $\chi: X \to \{0,1\}$ that partitions set $X$ between its good and bad elements, where $x$ is good if $\chi(x)=1$ and bad otherwise. Consider also a quantum algorithm $\mathcal A$ such that $A |0\rangle= \sum_{x\in X} \alpha_x |x\rangle$ is a quantum superposition of the elements of $X$, and let $a$ denote the probability that a good element is produced if $A |0\rangle$ is measured. If we repeat the process of running $A$, measuring the output, and using $\chi$ to check the validity of the result, we shall expect to repeat $1/a$ times on the average before a solution is found. *Amplitude amplification* is a process that allows to find a good $x$ after an expected number of applications of $A$ and its inverse which is proportional to $1/\sqrt{a}$, assuming algorithm $A$ makes no measurements. This is a generalization of Grover's searching algorithm in which $A$ was restricted to producing an equal superposition of all members of $X$ and we had a promise that a single $x$ existed such that $\chi(x)=1$. Our algorithm works whether or not the value of $a$ is known ahead of time. In case the value of $a$ is known, we can find a good $x$ after a number of applications of $A$ and its inverse which is proportional to $1/\sqrt{a}$ even in the worst case. We show that this quadratic speedup can also be obtained for a large family of search problems for which good classical heuristics exist. Finally, as our main result, we combine ideas from Grover's and Shor's quantum algorithms to perform amplitude estimation, a process that allows to estimate the value of $a$. We apply amplitude estimation to the problem of *approximate counting*, in which we wish to estimate the number of $x\in X$ such that $\chi(x)=1$. We obtain optimal quantum algorithms in a variety of settings.

Quantum Amplitude Amplification Operators

Fixed-point Oblivious Quantum Amplitude-Amplification Algorithm.

Numerical Evidence for Exponential Speed-up of QAOA over Unstructured Search for Approximate Constrained Optimization

Quantum Amplitude Amplification and Estimation

Quantum Amplitude Arithmetic

Complement Grover's Search Algorithm: An Amplitude Suppression Implementation

Depth scaling of unstructured search via quantum approximate optimization

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

Evidence of Scaling Advantage for the Quantum Approximate Optimization Algorithm on a Classically Intractable Problem

A Quantum Approximate Optimization Algorithm for continuous problems

Description of the Grover algorithm based on geometric considerations

Distributed Quantum Approximate Optimization Algorithm on Integrated High-Performance Computing and Quantum Computing Systems for Large-Scale Optimization

An adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum computer

Lower Bounds on Number of QAOA Rounds Required for Guaranteed Approximation Ratios

Behavior of Analog Quantum Algorithms

Optimizing QAOA: Success Probability and Runtime Dependence on Circuit Depth

Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification

Two-sided Quantum Amplitude Amplification and Exact-Error Algorithms

QAOA of the Highest Order

Quadratic acceleration of multi-step probabilistic algorithms for state preparation