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.

Accelerated Quantum Amplitude Estimation without QFT

Quantum amplitude estimation from classical signal processing

Quantum Amplitude Amplification and Estimation

Estimating quantum amplitudes can be exponentially improved

Low depth amplitude estimation without really trying

Quantum-enhanced mean value estimation via adaptive measurement

Asymptotically Optimal Quantum Amplitude Estimation by Generalized Qubitization

General noise-resilient quantum amplitude estimation

Quantum Non-Identical Mean Estimation: Efficient Algorithms and Fundamental Limits

An Efficient Online Estimation Algorithm with Measurement Noise for Time-Varying Quantum States.

Noisy quantum amplitude estimation without noise estimation

Quantum algorithm for ground state energy estimation using circuit depth with exponentially improved dependence on precision

On low-depth algorithms for quantum phase estimation

Efficient State Preparation for Quantum Amplitude Estimation

Non-Linear Transformations of Quantum Amplitudes: Exponential Improvement, Generalization, and Applications

Faster ground state energy estimation on early fault-tolerant quantum computers via rejection sampling

Fast Algorithm of High-Dimensional Quantum State Estimation Via Low Measurement Rates

Bayesian Quantum Amplitude Estimation

An adaptive Bayesian quantum algorithm for phase estimation

Phase-Sensitive Quantum Measurement without Controlled Operations

Fast Quantum Algorithms for Trace Distance Estimation