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.

Span-program-based quantum algorithm for evaluating unbalanced formulas

Quantum algorithms for formula evaluation

Span programs and quantum time complexity

Automated Synthesis of Quantum Algorithms via Classical Numerical Techniques

Improved Quantum Query Complexity on Easier Inputs

On the Hardness of Analyzing Quantum Programs Quantitatively

A Case for Synthesis of Recursive Quantum Unitary Programs

A Quantum Algorithmic Approach to Multiconfigurational Valence Bond Theory: Insights from Interpretable Circuit Design

Quantum linear system algorithm with optimal queries to initial state preparation

Quantum circuits for floating-point arithmetic

Quantum Amplitude Amplification and Estimation

Scalable Program Implementation and Simulation of the Large-Scale Quantum Algorithm: $1024\times 1024$ Quantum Linear Solver and Beyond

Feasibility Analysis of Grover-meets-Simon Algorithm

Optimal compilation of parametrised quantum circuits

Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp

Optimizing Quantum Circuits, Fast and Slow

Fast classical simulation of quantum circuits via parametric rewriting in the ZX-calculus

Efficient Classical Computation of Single-Qubit Marginal Measurement Probabilities to Simulate Certain Classes of Quantum Algorithms

Optimizing Quantum Circuits for Arithmetic

Quantum multi-programming for Grover's search