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.

Random-depth Quantum Amplitude Estimation

Low depth amplitude estimation without really trying

Variational quantum amplitude estimation

Quantum Amplitude Amplification and Estimation

Bayesian Quantum Amplitude Estimation

Noisy quantum amplitude estimation without noise estimation

Asymptotically Optimal Quantum Amplitude Estimation by Generalized Qubitization

Maximum-Likelihood, Magnitude-Based, Amplitude and Noise Variance Estimation

Maximum Likelihood Quantum Error Mitigation for Algorithms with a Single Correct Output

Accelerated Quantum Amplitude Estimation without QFT

On adaptive low-depth quantum algorithms for robust multiple-phase estimation

Quantum amplitude estimation from classical signal processing

On low-depth algorithms for quantum phase estimation

Maximum Likelihood Estimators of Quantum Probabilities

Noise-Aware Quantum Amplitude Estimation

Adaptive measurement strategy for noisy quantum amplitude estimation with variational quantum circuits

Unbiased quantum phase estimation

Estimating quantum amplitudes can be exponentially improved

General noise-resilient quantum amplitude estimation

On the bias in iterative quantum amplitude estimation

Optimal Low-Depth Quantum Signal-Processing Phase Estimation