Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
Quantum counting algorithm
Summary
Quantum counting algorithm is a quantum algorithm for efficiently counting the number of solutions for a given search problem.
The algorithm is based on the quantum phase estimation algorithm and on Grover's search algorithm.
Counting problems are common in diverse fields such as statistical estimation, statistical physics, networking, etc.
As for quantum computing, the ability to perform quantum counting efficiently is needed in order to use Grover's search algorithm (because running Grover's search algorithm requires knowing how many solutions exist). Moreover, this algorithm solves the quantum existence problem (namely, deciding whether any solution exists) as a special case.
The algorithm was devised by Gilles Brassard, Peter Høyer and Alain Tapp in 1998.
Consider a finite set of size and a set of "solutions" (that is a subset of ). Define:
In other words, is the indicator function of .
Calculate the number of solutions .
Without any prior knowledge on the set of solutions (or the structure of the function ), a classical deterministic solution cannot perform better than , because all the elements of must be inspected (consider a case where the last element to be inspected is a solution).
The input consists of two registers (namely, two parts): the upper qubits comprise the first register, and the lower qubits are the second register.
The initial state of the system is . After applying multiple bit Hadamard gate operation on each of the registers separately, the state of the first register is
and the state of the second register is
an equal superposition state in the computational basis.
Because the size of the space is and the number of solutions is , we can define the normalized states:
Note that
which is the state of the second register after the Hadamard transform.
Geometric visualization of Grover's algorithm shows that in the two-dimensional space spanned by and , the Grover operator is a counterclockwise rotation; hence, it can be expressed as
in the orthonormal basis .
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.