Quantum computing has gotten a ton of press, due to its enormous theoretical promise. Unfortunately, it's possible that like fusion power, which is theoretically superior to all other forms of power generation but intractible in practice, quantum computing is "the technology of the future, and always will be".
|Ordinary Computer||Adiabatic Circuits||Quantum Computer|
|Goal||Get 'er done!||Substantially lower power use,
especially at low clockrate.
|Speedups up to exponential:
e.g., search n values in sqrt(n) time, factor integers in polynomial time.
|Data storage||1's and 0's (bits)||1's and 0's (bits)||Vector with axes 1 and 0 (qubits)
Not just 1 or 0: both at once!
|Assignments?||Yes||No (uses energy = kT ln 2, about 10-20 joules)||No (violates laws of physics)|
|Reversible?||No||Yes||Yes, except for "collapse" operation|
|Logic gates||AND, OR, NOT||NOT, CNOT, CCNOT||CNOT, Hadamard rotate 45 degrees|
|Instructions||Reversible Instructions||Reversible Quantum Operations,
and Irreversible Collapse
|Clock||Square wave||Two trapezoidal waves||Limited by coherence time|
|When?||Now||Slowly, over next ten years||???|
|Only helps at low clockrate||How many bits can you keep coherent?|
Adiabatic circuits are based on a few interesting fundamental observations about modern circuit efficiency:
Saed Younis' 1994 MIT PhD Thesis outlines the basic adiabatic circuit model and its inherent power advantage, which is up to several hundredfold at sufficiently low clock rates. These design principles have slowly been trickling into CPU designs piece by piece; still, most circuits are non-reversible and non-adiabatic today. The path to a fully adiabatic computation, assuming we ever get there, will have to change the instruction set at some point, because tons of operations are destructive, like "mov" (which irrevocably destroys the destination), and will need to be replaced with "swap" (which doesn't destroy information). Some future fully-adiabatic CPU will need reversible instructions, and in fact the compiler will probably need to generate entire "antifunctions" to undo the operation of each function. To really be 100% reversible, the display would have to suck the final answer back out of your brain, so some degree of irreversibility is usually considered acceptable in designing real systems.
The energy kT ln 2 needed to erase one digit near room temperature is about 10-20 joules, which is... small. If your machine is chewing through 10 billion bits per clock cycle, and does 10 billion clocks per second, this is one joule/second, or one watt of irreducible "bit erasure cost". A typical desktop CPU is much smaller than this, and uses 30-100 watts for other things, so this isn't a very big effect yet. But depending on how silicon fabrication scales up, it could become a show-stopper in the next ten years, and drive us toward reversible programs.
Once your program is fully reversible, you're actually halfway toward writing a quantum computer program!
Many things, like photons or electrons, display several very odd mechanical properties with mystical sounding quantum names. The key point here is that everything is made of waves.
The wave equation for a particle is the Schrödinger equation .
Restating this equation in small words, "a particle's wave changes with time depending on the particle's energy."
I prepared some photographic examples of wave properties visible in laser light. Hopefully the in-class demos will work too! Waves are very strange; see IBM's atomic force microscope images of electrons bouncing off atoms, compare to the Falstad ripple tank applet (Java) for an interactive version.
A quantum computer is based on "qubits", which you can think of as a dot in 2D space: the X axis means a "0", the Y axis means a "1". Normal bits must lie on one axis or another, but qubits can live between the axes. For example,
Since coordinates (0,0) means "not a 0, and not a 1", and we don't know what that means, we usually require the qubit to live on a unit sphere--it's either going to be a zero or going to be a one, so the probabilities (equal to the square of the amplitude) must add up to one.
There are many ways to implement qubits, such as via photon polarization, where "0" means horizontally polarized, "1" means vertically polarized, and a superposition is unpolarized. You could also implement the qubits as possible positions of an electron, where "0" means in the left box, "1" in the right box, and superposition means it's sitting in both boxes at once.
Tons of research groups have built single-bit quantum computers, but the real trick is entangling lots of bits together without premature "collapse", and that seems to be a lot harder to actually pull off, typically requiring the system to be electrically isolated, mechanically isolated from vibrations, and kept near absolute zero.
Just like a classical computer uses logic gates to manipulate bits, the basic instructions in a quantum computer will use quantum logic gates to manipulate individual wavefunctions. Because you don't want to destroy any aspect of the data (this causes decoherence), you can represent any quantum logic gate with a rotation matrix.
Again, think of a qubit like a little vector. One qubit is 2-float vector representing the amplitudes for zero and one:
A "Pauli-X" gate is represented by this 2x2 rotation matrix:
Plugging in the input and output probabilities, we have:
The amplitude for a=1 on the input becomes the amplitude for a=0 on the output, and vice versa--this is just a NOT gate!
A controlled NOT takes two bits as input. Two qubits makes a 22=4 float vector with these components:
|a=0 && b=0|
|a=0 && b=1|
|a=1 && b=0|
|a=1 && b=1|
The CNOT gate's matrix is basically a 2x2 identity, and a 2x2 NOT gate:
Again, putting in the input and output vectors, we can see what's going on:
|a=0 && b=0||1||0||0||0|
|a=0 && b=1||0||1||0||0|
|a=1 && b=0||0||0||0||1|
|a=1 && b=1||0||0||1||0|
If a=0, nothing happens--b's probabilities are exactly like before. If a=1, then b gets inverted, just like a NOT gate. If a is in a superposition of states, b is in a superposition of being inverted and not being inverted.
The basic programming model with a quantum computer is:
People started to get really interested in Quantum Computers when in 1994 Peter Shor showed a quantum computer could factor large numbers in polynomial time. The stupid algorithm for factoring is exponential (just try all the factors!), and though there are smarter subexponential algorithms known, there aren't any non-quantum polynomial time algorithms known (yet). RSA encryption, which your web browser uses to exchange keys in "https", relies on the difficulty of factoring large numbers, so cryptographers are very interested in quantum computers. In 1996, Lov Grover showed an even weirder result, that a quantum search over n entries can be done in sqrt(n) time.
At the moment, nobody has built a popular, easy to use quantum computer, but there are lots of interesting experimental ones. The biggest number a quantum computer has factored is 21 (=3*7, after piles of science; see readable poster description of process). But *if* the hardware can be scaled up, a quantum computer could solve problems that are intractable on classical computers. Or perhaps there is some physical limitation on the scale of wavelike effects--the "wavefunction collapse"--and hence quantum computers will always be limited to a too-small number of bits or too-simple circuitry. The big research area at the moment is "quantum error correction", a weird combination of physics-derived math, experimental work on optics benches, and theoretical computer science. At the moment, nobody knows if this scaling of hardware and algorithms will combine to enable useful computations anytime soon.
Roger Penrose has a theory that the human brain is actually a quantum computer. This could explain how we're able to do some of the really amazing things we do, like recognize pictures of objects. The deal is that it's easy for a computer to *simulate* a picture of an object (that is, object->picture is easy), but to *recognize* a picture of an object means searching over all possible objects, orientations, lighting, and so on (that is, picture->object is hard). A quantum computer with sufficiently large registers (big enough to generate a complete image, so thousands of qubits) could in principle start with a superposition of all possible objects, and use a series of instructions to cancel out objects that are inconsistent with the current picture, finally collapsing out a plausible object that could have generated that picture. It's not well accepted that this theory is correct, however.
There's a different "Adiabatic Quantum Computer" design used by British Columbia based quantum computer startup D-Wave that they hope will scale to solve some large problems. The adiabatic part of the name refers to the adiabatic theorem, proved in 1928, that says a system in quantum ground state, moved slowly (adiabatically) to a new state, is still in ground state. In practice, this allows the quantum solution of reasonably large problems, up to 512 bits on their current hardware, but only those that fit this model and the company's choice of wiring. This is not a general-purpose quantum computer, but it has shown speedups on real-world optimization problems. They published some results in Nature (described here), and have some fairly big contracts from Amazon, Lockheed Martin, Google, etc.
Basically every big tech company has some people working on quantum computing, from Microsoft to Google.
Thus, the future of quantum computers is currently in a superposition between two outcomes:
This superposition may collapse sometime in the next few years. Or maybe not!
CS 441 Lecture Note, 2014, Dr. Orion Lawlor, UAF Computer Science Department.