The simulation of quantum mechanical systems with classical computers appears to be a computationally intractable problem. In 1982 Feynman reversed this observation, suggesting that quantum mechanical systems have an information processing capability much greater than that of corresponding classical systems, and thus could be used to implement a new type of powerful computer. In 1985 Deutsch described a quantum mechanical Turing machine, showing that quantum computers could indeed be constructed. Since then there has been extensive research in this field, but while the theory is fairly well understood actually building a quantum computer has proved extremely difficult, and only two methods have been used to demonstrate quantum logic gates: ion traps, 4 and nuclear magnetic resonance (NMR). 6 NMR quantum computers have previously been used to demonstrate quantum algorithms to solve the two bit Deutsch problem. 8 Here we show how such a computer can be used to implement a fast quantum search algorithm initially developed by Grover. 10 Among other applications Grover’s algorithms enable an extremely rapid search over the domain of a binary function to find elements for which this function is satisfied (that is, the function has the value 1). This approach is simpler if the number of satisfying values is known beforehand, and is particularly simple when precisely one quarter of the elements in the domain satisfy the function. The algorithm can be demonstrated using a computer with two quantum bits (qubits) to search a two bit domain in which one of the four elements satisfies the function. A classical search of this domain would require between 1 and 3
[1]
R. Feynman.
Simulating physics with computers
,
1999
.
[2]
D. Deutsch.
Quantum theory, the Church–Turing principle and the universal quantum computer
,
1985,
Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
[3]
King,et al.
Demonstration of a fundamental quantum logic gate.
,
1995,
Physical review letters.
[4]
J. Cirac,et al.
Quantum Computations with Cold Trapped Ions.
,
1995,
Physical review letters.
[5]
Lov K. Grover.
A fast quantum mechanical algorithm for database search
,
1996,
STOC '96.
[6]
Gilles Brassard,et al.
Tight bounds on quantum searching
,
1996,
quant-ph/9605034.
[7]
N. Gershenfeld,et al.
Bulk Spin-Resonance Quantum Computation
,
1997,
Science.
[8]
Lov K. Grover.
Quantum Mechanics Helps in Searching for a Needle in a Haystack
,
1997,
quant-ph/9706033.
[9]
Timothy F. Havel,et al.
Ensemble quantum computing by NMR spectroscopy
,
1997,
Proc. Natl. Acad. Sci. USA.
[10]
D. Leung,et al.
Experimental realization of a quantum algorithm
,
1998,
Nature.
[11]
N. Gershenfeld,et al.
Experimental Implementation of Fast Quantum Searching
,
1998
.
[12]
J. A. Jones,et al.
Implementation of a quantum algorithm on a nuclear magnetic resonance quantum computer
,
1998,
quant-ph/9801027.