Quantum Computing for Dummies 83
nsanch writes "I just noticed this article at Cryptome. It's one of the better explanations of quantum computing I've ever read, and it's pretty thorough too, detailing some algorithms, including one that the author wrote. Seems it'll be a while before we ever get to see one in action though. " It's true-it'll be sometime before a true quantum computer is actually in use. Very good article, tho'.
Re:Computers only use bits? (Score:1)
So it depends a lot on the processing of your "computer" as to whether it really is one. Is there no digitisation at any point, at all? Does it not react to its input in a way suggesting it has discrete internal states, other than producing an analogue output with a fairly simple relationship to its input?
Re:Implications of QC (Score:1)
Factoring is not an NP time problem. Nobody has ever claimed it was. It just seems hard in practice.
Cryptosystems that are based on NP problems are safe even with quantum computers, so long as you square the complexity (like, double the key size).
Re:More FUD from Microsoft? (Score:1)
Scary isn't it?
Nah, *coooool*.
And then there's that everything Kasparov does just might come about through transformation of bits by gates, and that's just...waah, that's nifty.
--
"HORSE."
Re:Implications of QC (Score:1)
Um, geez, I don't even know enough to be incompetent, but best as I can figure QCs aren't more powerful per se than Turing Machines, it's just that they're a way to fit a very large number of Turing Machines into a very very small space. Anyone who actualy knows what they're talking about, please feel free to smack/moderate me down.
--
"HORSE."
Earth = One big computer (Score:1)
We all know that Earth is one big computer that is calculating the question for life, the universe and everything. If it is a quantum computer, then when the mice read off the answer it will colapse the system and the earth will sudenly stop existing in it's current state of quantum flux.
If only Vorgon construction fleets had quantum state analizers as standard issue. It would save them alot of time. "we have to clear out this world for a highway. Lets just observe its quantum state and colapse it." Plus there would be much fewer pissed of mice in the universe.
Re:Implications of QC (Score:1)
Remember that computability theory does not care at all about speed. Just power. Quantum computing does not add any power.
What quantum computers do, is give us a method of building a non-deterministic turing machine. If someone could implement a non-deterministic turing machine with a quantum computer (I think it could be done), then programming many problems would be trivial.
Re:Owwww (Score:1)
Re:Implications of QC (Score:1)
Re:Earth = One big computer (Score:1)
Now if that were true a lot of this mysterious quantum affects would probably be reduced to straight forward 'math'.
Re:Can we handle the power? =] (Score:1)
Re:i guess i need the for dummies primer then... (Score:1)
The mystery here is how no one yet disputed Einsteins theory of relativity which prohibits things from being allowed to go faster than light.
IF that was out of the way, we'd happily go on discovering how gravity and magnetism fit into the picture and have a unified theory in the works.
Until then, we are stuck thinking that the chair isn't really there because we haven't looked at it recently.
Owwww (Score:1)
But Seriously, this stuff is very cool. Once those are out, I guess it won't matter if you have a 4096 or 8192 bit PGP key... you're still toast!
Non-determinism and QC (Score:1)
Recall that the 'N' in NP means "non-deterministic". What we have here is a non-deterministic computing machine, almost. (See below to find out why I say almost.) Thus, this machine could compute any problem in NP in polynomial time, whereas a deterministic one can only do those in P. If NP != P, then this machine simply has a wider range of problems it can feasibly compute.
The reason I have to qualify this with an "almost" is that we don't have pure non-deterministic computing. Look at the example in the article of finding the pair (1,0) out of all four binary pairs. We non-deterministically find the answer in one or two steps. However, while the answer exists in some state now, we can't extract it, so we don't really have the answer yet. Unfortunately, we have to run through a deterministic set of steps to extract that answer. Thus, we don't have a purely non-deterministic computing machine.
The question that arises, then, is how much this additional extraction step factors into the computation. If the steps are fixed within polynomial bounds of the size of the problem, then a QC actually could compute any problem in NP in polynomial time, since the deterministic portion would be polynomial time, and the non-deterministic portion is also polynomial time. Unfortunately, I suspect that the extraction may sometimes take more than polynomial time, in which case we've lost the benefit of the non-determinism in the deterministic portion.
-Snibor Eoj
A tiny little charge? (Score:1)
In the article, he talks about how a tiny jolt will flip the polarity from up to down, or down to up, and a lesser jolt will give it a probability of being one way or the other.
Question is: How finely measured do these jolts have to be? What does it do to the computation if we accidentally end up with 49/51 probabilities instead of 50/50? Are we capable of consistently providing that exact measurement of juice? Is this going to be a limiting factor to the technology?
Anyone know any of this stuff?
-Snibor Eoj
Re:Implications of QC (Score:1)
Polynomial problems are said to be in NP since they are a subset of NP, so it is not right to say factoring is not in NP, since all polynomial problems are "in" NP. There are also problems that are NP hard but not NP complete, meaning they are harder than polynomial, but that a fast solution to one of them doesn't solve all other NP problems.
Factoring is known to NOT be NP-complete.
Factoring might be NP hard, or might be polynomial.
P might be the same as NP.
So fast factoring on a quantum computer doesn't mean all NP problems are easy.
It is not known if quantum computers can solve NP complete problems in polynomial time. Most people doubt it.
Computer scientists certainly are working to try to understand the new complexity classes which result from the presence of quantum computers. I'm not quite sure if they have a class which is NP hard to a quantum computer, but even harder to a classical computer as Kreep suggests, but I am sure people think about such things.
I am not aware of crypto systems based on NP complete problems. Even these might turn out to be breakable, if P=NP or if P=NP when you have a quantum computer. If anyone knows of a crypto system based on an NP complete problem (rather than just one that is NP hard) I'd like to take a look at it.
Nearly all the papers in the field come out first on the web at quant-phys [lanl.gov].
John
Sort the phone book (Score:1)
Re:Can we handle the power? (Score:1)
>>Quantum mechanics. In order to save the states you have to read them. If you read them, you destroy them. If you can't read them until the operation is through, you have a black box.
Not nessecerely. Quantum duality implies that you don't have to know the state of the particle to be able to 'replicate' it on another particle.
So, therefore debugging would be possible just like it is now.
Just my 2 cents
Re:Earth = One big computer (Score:1)
I forget the exact details of the test, but it goes something like this:
1) fire a particle at a wall with 2 slits.
2) the particle will go through either one slit or the other (actually both)
3) the particle actually leaves a wave patern on the photo-sensitive wall behind. It went through both, and made an interferance pattern with itself.
4) now we observe the partice _AFTER_ it goes through the slits and behold, it only went through one. No interference pattern.
Wacky!
Re:Implications of QC (Score:1)
Re:Earth = One big computer (Score:1)
a) the photons know what we think and mess around with our minds
b) something 'feels' out the path 'faster than light' ahead of the photon thereby telling it where it will end up.
c) any number of other wacky QM enterpretations.
And what i meant with my previous post is that i tend to believe b).
Re:Computers only use bits? (Score:1)
The only digitisation would be due to the electrons
Hitchhikers guide to: (Score:1)
cryptome.org? (Score:1)
Quantum Computing for Smarties (Score:1)
--
schizophrenia (Score:1)
Kinda like mutliple personalities.
Seriously though, it was a very interesting article, especially for blockheads such as myself, and I'm just hoping that they're over-estimating the time it'll take to develop this into something usable.
More FUD from Microsoft? (Score:1)
Implications of QC (Score:1)
I heard about this a couple of years ago and I still have a lot of unanswered questions.
A Pure Math Major I once knew explained to me that Quantum Computers could factor large numbers in polynomial time (a fact the article confirmed). This means RSA would be transparent to anyone with a QC. It seems that any current cryptographic system would suddenly become obsolete, as the computer could simultaneously check every key/password and give you the correct one.
This is almost like proving P=NP (for those of you who don't know any Complexity Theory, encryption and 'one-way' algorithms are possible because we think P=NP is untrue; but it has never been proven). But it's a little bit different.
In a way, it's like defining a new model of computation, the first one since the Turing Machine. (I wonder if this disproves Church's Thesis, which states that the Turing Machine is the most powerful model of computation possible.) It would redefine the boundaries of P and NP. Thus, we may find a new class of NP-complete problems, that would allow the foundation for totally new encryption schemes.
(These schemes would not exist for modern computers, as our current machines would not be able to break the code even WITH the key!)
It's probably a good thing that QCs are a long way down the line. I'm sure it would be easy to interface one to a current computer, and then the Internet, and crack everything on it. How could the transition possibly safely occur, short of dismantling the Internet while everyone buys a new computer?
Anyone seen the movie 'Sneakers'?
Re:Coding for quantum computers (Score:1)
numb
Parallel Universes? (Score:1)
and I heard about a "EPR bridge" on the tv show "sliders".
Can someone explain to me what does it mean?
Does it mean that every outcome of the superpositiion is in a different universe?
(ie for a 500 atom computer it will happend it 500^2 universes?)
---
The day Microsoft makes something that doesn't suck,
Re:Coding for quantum computers (Score:1)
/.
Nice one (Score:1)
frank
Re:Implications of QC (Score:1)
I don't think you would be able to crack every machine on the net that easily though, your QC may be able to try every possible password at once, but my machine waiting for your login can only process one at a time.
Re:Coding for quantum computers (Score:1)
I can see it now: "my other
~Tim
--
Can we handle the power? (Score:1)
The operation of today's processors are easy to understand. They perform one step at a time progressing from known state to known state. And yet most of the software available is infested with bugs. One of the easiest ways to debug this software is to single step through the code with a debugger in order to completely understand its operation. If we now introduce a system that cannot be read until the final answer is available, how will software improve.
Does anyone remember how 'self-modifying code' was going to save us all? Why aren't genetic algoritmns taking over programmer jobs? It's something that is understood in all engineering circles. More is not always better. If you can't harness and control the energy then it will usually do more harm than good.
Please note that I'm not saying that this technology can't be created. What I'm saying is that if it does become mainstream, the average programmer won't be intelligent enough to write and debug programs with it.
Re:Implications of QC (Score:1)
However, this is not the same as proving P=NP. So far no one has found a way to use quantum computing to solve NP-complete problems quickly, and it's likely that NP-hard problems will remain intractable even for quantum computers.
Quantum computing does not disprove the Church-Turing thesis. Quantum computers can be simulated by Turing Machines, albeit with an exponential slowdown.
I will say that for many years many theorists believed a "strong" form of the Church-Turing thesis, to wit, that any realizable model of computation can be simulated by a TM with only a polynomial slowdown. This strong form of the Church-Turing thesis does seem likely to be disproved by QC. I say "likely" because it's possible (though improbable) that some one tomorrow might show how to simulate a QC on a classical computer with only a polynomial slowdown. (That would give a fast *non-quantum* algorithm for factoring.)
Re:Parallel Universes? (Score:1)
which grows exponentialy as you add more and more of them.
good luck, m0n.
Re:Can we handle the power? (Score:1)
wouldn't it allow for something like that?
*THUD* --- sound of me hitting a book
Re:Can we handle the power? (Score:1)
Back in the day of vaccum tubes people thought
that debugging a solid state processor instructions that work over thousands of different registers would also be highly difficult if not impossible.
But, we managed! Still here, using the computers as you can see.
With quantum computers lots of things change, but as more change, the more stays the same. What stops a programmer from say recording all the quantum states of the gates during an execution of the code in other qubits and after the culculation completes, reviewing what you saved up?
Same basic principle, ma'm =)
Re:Factoring is NOT NP-complete (Score:1)
A lot of the sort of decision problems for various mathematical theories that you'd like your AI expert system to solve are PSPACE-complete or worse. And of course there are the problems that can't be computed at all, such as determining if a multivariate polynomial has integer values for its variable that make it equal to 0.
Re:Artificial brain maybe? (Score:1)
It would only need one operation.
However, to do that operation, the normal O(N) steps are required, since it is still sequential.
Re:Implications of QC (Score:1)
This seems like it is setting up a 3-sat problem. 3-sat is the quissisential (sp?) NP complete problem. IT would be neat if QC could solve NP complete problems in P time. Note that all current small-key (as opposed to one time pads) encryptions schemes are in NP .
However, I imagine that I have missed some detail, as I seem to recall that QC doesn't fully implement a nondeterministic turing machine. Very likely, as the previous poster stated, there is a subset of NP problems that are ammenable to QC.
3-SAT would not be one of them, unless all NP complete problems were, which in turn would imply that all NP problems are in QP.
As for Church, the turing machine's power says nothing about efficiency. A QC would still only be able to solve deciable problems (just like a TM), but a lot faster. The holy grail -- the halting problem -- is provably unsolvable.
Re:Coding for quantum computers (Score:1)
it incorporates lots of interesting ideas that have been flying through our minds lately.
but as far as 42 goes.. well it's not even what question you ask or how.
it's all in what data you feed your algorithms =P
I mean we get a real live answer to the question of life every moment of our existance. Only we choose to take it as yet another dreadfull moment in space and time.
Re:Implications of QC (Score:1)
"How many qubits do you need to factor an n-bit number?" That sort of thing.
Re:Computer Scientists might face more complex mat (Score:1)
The problem you bring up is exactly why schools have to concentrate harder on teaching students to research and solve problems. Whatever facts you learn in college, be sure they will be largely obsolete or irrelevant in 20 years. Your problem solving skills will last your lifetime.
Jim
Bad link, no donut (Score:1)
"For Dummies" trademark (Score:1)
Re:Implications of QC (Score:1)
Seriously tho, the idea is not that a QC would be able to instantly crack into every 'puter on the 'net. What a QC could do, tho, is decrypt pretty much any encrypted message you threw at it using current encryption techniques, and do it a hell of a lot faster than anything we can do today. Heaven help you tho if the QC got a hold of your passwd file...
Re:Implications of QC (Score:1)
There are quite a few... One of the first PK systems was based on the knapsack algorithm. Most of these are easily broken. Just because a cryptosystem is based on an NP-complete problem doesn't mean the cryptosystem itself is NP-complete.
I think IBM filed a patent a year or two ago for a PK algorithm that was NP-complete and had a proof that all instances were equally hard. I don't recall the details.
The are zero-knowledge proofs for NP-complete problems. You can prove you have a hamiltonian cycle for a graph without revealing any information about the hamiltonian cycle. I'm pretty sure this can be used as an identification scheme: The graph is the public part of your ID, the hamiltonian cycle is the private part. I think it's possible to turn any such identification scheme into a general PK algorithm but I'm not sure.
In any case NP-complete cryptosystems are not likely to replace RSA until large quantum computers really become practical, because RSA is so much simpler to implement.
As for the possibility that P=NP with a quantum computer, I thought Grover's algorithm was proven to be the most efficient algorithm possible?
Computers only use bits? (Score:1)
Boiled down to its essentials, any computer must meet two requirements: it must be able to store information as strings of 1's and 0's, or bits
If this is the case what is this analogue computer that I built? Admittedly binary computers are what are used on our desks with monitors attached, but analogue computers are often used for temperature control etc. Any why cant a computer operate on muliple levels? It could even be faster.
i guess i need the for dummies primer then... (Score:1)
Re:Computers only use bits? (Score:1)
Re:Parallel Universes? (Score:1)
A book suitable for laymen (i.e. no math/physics background necessary) that covers this is The Fabric of Reality by David Deutsch, one of the pioneers of quantum computing mentioned in the article. See here [qubit.org].
Re:Implications of QC (Score:1)
As for Grover's algorithm being optimal: It is optimal for finding a single marked item in a list of N elements, which it does in square root of N time. But an NP problem may have more structure than simply being a random element in a list. So I believe the jury is still out on if quantum computers can solve NP-complete problems in polynomial time.
John
Intel (Score:1)
Re:Can we handle the power? (Score:1)
Quantum mechanics. In order to save the states you have to read them. If you read them, you destroy them. If you can't read them until the operation is through, you have a black box.
I'm not saying that it is impossible to program a QC. I'm saying it is very difficult. We work with black boxes all the time (most API's, the C libraries, etc). Someone can design a 'search coprocessor' that could remove the complexity of actually programming one of these beast. The API would in effect harness the power.
Designing a more powerful computer, car, drill, bulldozer, etc, is as much about being able to harness the power as much as it is about creating it in the first place. Harnessing the power of a computer is an excercise in enabling a person to abstract a process and formalize it in code. Programming is made simpler for most people when the abstraction and coding are simple serialized steps. A secretary doesn't find it hard to say, "I do A, then B, then C." It's the recipe mentallity and people are used to thinking that way.
The referenced article takes a page or two to explain how to do a seqential search. Granted it's a new way of thinking about a search, and therefore takes longer to explain. But that IS my point. It's a new way of thinking. It's hard to change the way people think. Add to that a lack of debugging techniques and you get buggy software.
Re:Implications of QC (Score:1)
However, I don't think you understood my comments on the P=NP question.
First of all, because of the nature of NP, any polynomial solution to an NP-complete problem can be used to solve ALL NP-complete problems (bootstrap method). For instance, earlier this year I saw Steve Cook from the University of Toronto (author of Cook's Theorem which proved the original NP-Complete problem, Circuit Satisfiability) demonstrate how a 3-SAT solution could be used to crack DES in O(n^2) time.
Once one NP-complete problem is solved in polynomial time, the rest will follow like dominoes. Therefore an algorithm that factors large numbers in polynomial time (an NP-hard problem) will immediately mean any known problem in NP will be polynomially solvable.
And since this algorithm theoretically exists for Quantum Computers, all known problems in NP will be polynomially solvable.
But here's the rub:
Is it possible that a new class of problems could be discovered that are in NP for QCs, but are not in NP for standard computers?
That is, standard computers do not even have non-deterministic polynomial time algorithms to solve them, but QCs will. I don't know if this is true, but it warrants investigation if no one already has an answer.
Wow, in 30 years we can crack anything... (Score:1)
Re:Implications of QC (Score:1)
But think of all the pron sites you could get into!
The more intresting thing is, who is working on these? Something like this would normally be funded by the military, but any company with this wouldn't have to worry about the military.
Read the paper! It's O(sqrt(N)), not O(1) !!! (Score:1)
Seems a lot of slashdotters think quantum computers can solve any problem instantly. Not so. Read the paper!
MOST SEARCHES, OF COURSE, WOULD SCAN a list longer than four items. To do so, the algorithm might repeat the three quantum operations many times, nudging the system toward the desired state with every pass through the loop. What makes quantum searching so powerful is that, for a list of N items, the algorithm requires only about the square root of N steps to find its quarry-not the N/2 steps of the classical trial-and-error search. Thus a quantum computer could search a million-name phone book in 1,000 tries instead of half a million. The longer the list, the more dramatically the quantum algorithm will outpace its classical rival.