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.

Optimal deterministic quantum algorithm for the promised element distinctness problem

Optimal exact quantum algorithm for the promised element distinctness problem

Revisiting fixed-point quantum search: proof of the quasi-Chebyshev lemma

Revisiting Deutsch-Jozsa algorithm

Optimizing Quantum Walk Search on a Reduced Uniform Complete Multi-Partite Graph

Near-deterministic quantum search algorithm without phase control

An optimized quantum minimum searching algorithm with sure-success probability and its experiment simulation with Cirq

Progressive Quantum Algorithm for Maximum Independent Set with Quantum Alternating Operator Ansatz

Achieving quantum advantage in a search for a minimal Goldbach partition with driven atoms in tailored potentials

Theoretical analysis of a nearly optimal analog quantum search

Quantum Amplitude Amplification and Estimation

Basic quantum subroutines: finding multiple marked elements and summing numbers

Recovering the original simplicity: succinct and deterministic quantum algorithm for the welded tree problem

Universal approach to deterministic spatial search via alternating quantum walks

Complementary-multiphase Quantum Search for All Numbers of Target Items

Learning-Graph-Based Quantum Algorithm for k-distinctness

Fixed-point Oblivious Quantum Amplitude-Amplification Algorithm.

On the optimal error exponents for classical and quantum antidistinguishability

Perfect Distinguishability of Quantum Operations.

Discriminating Quantum States: the Multiple Chernoff Distance

Derandomization of quantum algorithm for triangle finding