
|
|
What is a quantum computer? Wednesday, September 05, 2007 - Dr. Boaz Tamir Home >> Personal Column >> Dr. Boaz Tamir
|
In quantum computation we use quantum physics to compute. The use of physics in computation raises some deep philosophical problems concerning the relation of math to physics. It concerns the definition of the term 'computer' as a physical object. We usually take a classic physical object to compute with. Here we take a quantum physical object to do the computation.
|
|||||||||||||||
|
The most primitive element of quantum computation is the quantum bit or q-bit. To begin with, I shall try to explain what a q-bit is. Then, I shall construct an artificial example of quantum computation, just to show what it is all about. It's not something that one can actually build, or would want to build, since it is non-efficient. What Is a Q-bit?
Looking at the diagram one can identify one of four possibilities: Either both squares are protruding forward or both backwards or one forward and the other backwards, try it. Each time you look at the diagram only one possibility comes true. To get a different one you have to look aside for a moment before returning to it again. In a sense, all four options "exist" together in this experiment but when you make a visual "measurement" (look at the diagram) it collapses into just one option. This is the essence of the quantum superposition. According to quantum mechanics, a particle can be in a superposition of two or more "states". Each time you measure the particle, you see it in one of the states. The probability of 'falling' into one state or another is somehow written into the superposition. Try now to look again at the diagram below. It will probably change the possibilities to fall into each of the four basic states. Suppose now e is a two-state particle, let us call the first state 0, and denote it by |0>, the second state 1, to be denoted |1>. We write the superposition as: a |0> + b |1>
The coefficients a and b are connected to the probability of finding the particle e in the state |0> or |1> after measurement.(In fact, the particle has |a|2 probability to be seen in state |0> and |b|2 probability to be seen in state |1> where |a| is the absolute value of the complex number a, |b| the absolute value of b). These coefficients (a and b) are called the 'amplitudes' of the superposition. For example, the particle e could be an electron and the states |0> and |1> could be its spin state. Note that we used the + sign to denote that both states are considered as happening together. This is quantum physics. How to Build a Quantum ComputerWe now look at the following (classic) logic gate.
A logic gate is a primitive (electronic) circuit that can implement a (binary) logic function. Our gate here has two inputs and two outputs. It is called XOR gate. It emulates the XOR function of the two inputs: that is, if the input X holds the value 1 and the input Y holds the value 0 (or vice versa), then the output is also 1(the lower one, the reason there is another output X, is to make the gate reversible, which is a property demanded by the physics of quantum computers). But if both X and Y inputs are 1 or if both are 0 then the output holds the value 0 (all this is defined by the notation X+Y which is called a summation modulo 2). This is the most basic gate of classic computers. Now let the superposition: |0>|0> + |0>|1> + |1>|0> + |1>|1> be the input to this gate. Then we can use the above definition of XOR to compute the output superposition: |0>|0> + |0>|1> + |1>|1> + |1>|0>. We did this by putting in each input separately and computing the corresponding output, but note that the quantum computer is doing it all-together. So far we took a classic gate or a classic primitive computer and turned it into a primitive quantum computer. We benefit from the fact that the quantum gate is computing all inputs simultaneously. In a similar way we can take a general classic computer and transform it into a quantum computer. This we do by decomposing the classic computer into primitive gates (we can always do it by a well known theorem in computer science) and transforming each primitive gate into its quantum counterpart.
The output may look like this: |2>|1> + |3>|1> + |4>|0> +. . . . . This means that 2 divides c, 3 divides c, 4 does not, and so on. But this outcome is a superposition, how do we get the answer? We can measure the superposition as we did in the case of Necker's boxes. This measurement yields a number d, with the information 1 or 0. We now know that d divides c or does not. We can not control the number d we get, because we can not control the state into which the superposition collapses. Since the majority of the numbers we checked do not divide c, we will probably end up with some useless information.
The probability amplifier must be operated before measurement. Only then the measurement will probably yield some number that divides c. Knowing a number d that divides c we can reduce the problem to c/d. Conclusion:Quantum computation is about using quantum physics to compute mathematics. It’s parallel computation, but more than just parallel, it can produce effects that are harder to get in classic computers. It has some continuous properties also. There are several known quantum algorithms that show better efficiency than their classic counterparts, among them a quantum algorithm to compute the Fourier transform.Further reading:
D.Deutsch, The Fabric of Reality, Penguin Books, 1998. M.Nielsen, I.Chuang, Quantum Computation and Quantum Information, Cambridge 2000.About the author: Boaz Tamir holds a Ph.D. degree in Mathematics from the Weizmann Institute of Science. In 2008 he recived a second Ph.D. from the department of History and Philosophy of Science at the Bar Ilan University. |
|||||||||||||||
|
| Other News |
|
Adaptive Aerodynamics using Smart Materials |
|
Microsensors to Measure Pollutants on Site |
| Other Pictures |
|
StatoilHydro’s Hywind |
|
Airboard – the Hovering Scooter |
|
|
|||
|
|||
|
The input/output values in your examples are the same...is that a mistake? |
|||
|
|||
|
I copy one input to the output to make the computer reversible. Suppose there are two inputs 2 and 3, and one output 5, then if you want to operate the computer backwards it is not clear if the 5 comes from 2 and 3 or from 1 and 4. But if you pass one of the inputs, say 3, to the output, then you can compute the other input. Quantum gates are reversible.... |
|||
|
|||
|
Great buildup but left out the most important part of the divisor algorithm! Hand waving the conclusion into a \"probability amplifier\" was a big let down. |
|||
|
|||
|
I was struggling to understand the existence of 4 states..and i did understand it in a fraction of a second from the two joint cubes..wonderful.thank you |
|||
|
|||
|
This is the best description I have yet to read about quantum computing! Most other articles either get too technical too quickly, or stay too dumb to long (it's refreshing not to hear about Schrodinger's cat for the billionth time!).. Any thought's about writing a book? It is definitely a topic that is missing from the popular science shelves in the book stores.. |
|||
|
|||
| it has sufficient information |