Samuel J. Lomonaco Jr
Abstract:This paper is a written version of a one hour lecture given on Lov Grover's database search algorithm.
Table Of Contents
1 ... Problem Definition
2 ... The quantum mechanical perspective
3 ... Properties of the inversion I_|psi>
4 ... The method in Lov's "madness"
5 ... Summary of Grover's algorithm
6 ... An example of Grover's algorithm
References
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to efficiently find the record with a specific mark in an unsorted database. Specifically, given a database containing \(N = 2^n\) records, among which only one record is specially marked (denoted as \(x_0\)), the problem is how to find this marked record with the least computational effort.
### Problem Definition
This problem can be formalized as an "oracle" problem:
- The records in the database are marked with integers \(0, 1, 2, \ldots, N - 1\).
- Let \(x_0\) be the label of the unknown marked record.
- Given an oracle function \(f:\{0, 1\}^n\rightarrow\{0, 1\}\), which is defined as follows:
\[
f(x)=\begin{cases}
1 & \text{if }x = x_0\\
0 & \text{otherwise}
\end{cases}
\]
We cannot access the internal implementation of \(f\), and can only obtain information by querying this black - box function. Each query incurs a certain computational cost. On a classical computer, in order to find the marked record \(x_0\), \(O(N)=O(2^n)\) queries are required.
### The Goal of Grover's Algorithm
Grover's algorithm aims to utilize the characteristics of a quantum computer to complete this search task within \(O(\sqrt{N})\) steps, that is, to significantly accelerate the search process by applying \(O(\sqrt{N}\log N)\) local unitary transformations. Although this is not an exponential acceleration, it still has important practical significance.
### Summary
The main objective of the paper is to introduce and explain the quantum search algorithm proposed by Lov Grover, show how to achieve efficient search of an unsorted database on a quantum computer, and provide detailed mathematical derivations and example illustrations.