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.

Amplitude Amplification and Estimation using a Floquet system

Quantum chaos measures for Floquet dynamics

Digital Quantum Simulation, Learning of the Floquet Hamiltonian, and Quantum Chaos of the Kicked Top

Quantum Amplitude Amplification and Estimation

Floquet states of kicked particle in a singular potential: Exponential and power-law profiles

Dynamical transition of quantum scrambling in a non-Hermitian Floquet synthetic system

Quantum recurrences in the kicked top

General Theory of the Quantum Kicked Rotator. I

Localization and delocalization in the quantum kicked prime number rotator

Large-scale simulations of Floquet physics on near-term quantum computers

Real-Time Krylov Theory for Quantum Computing Algorithms

Quantum amplitude estimation from classical signal processing

Floquet expansion by counting pump photons

Faster entanglement driven by quantum resonance in many-body kicked rotors

Dynamical localization in a non-Hermitian Floquet synthetic system

Quantum Fourier Transform in Oscillating Modes

Designing nontrivial one-dimensional Floquet topological phases using a spin-1/2 double-kicked rotor

Floquet Spin Amplification

Observation of many-body dynamical localization

Slow heating in a quantum coupled kicked rotors system