IBM finally proves that quantum systems are faster than classicals
In 1994, MIT professor of applied mathematics Peter Shor developed a groundbreaking quantum computing algorithm capable of factoring numbers (that is, finding the prime numbers for any integer N) using quantum computer technology. For the next decade, this algorithm provided a tantalizing glimpse at the potential prowess of quantum computing versus classical systems. However, researchers could never prove quantum would always be faster in this application or whether classical systems could overtake quantum if given a sufficiently robust algorithm of its own. That is, until now.
In a paper published Thursday in the journal Science, Dr. Sergey Bravyi and his team reveal that they've developed a mathematical proof which, in specific cases, illustrates the quantum algorithm's inherent computational advantages over classical.
[...] What's more, the proof shows that, in these cases, the quantum algorithm can solve the problem in a fixed number of steps, regardless of how many inputs are added. With a classical computer, the more inputs you add, the more steps it needs to take in order to solve. Such are the advantages of parallel processing.
There's now proof that quantum computers can outperform classical machines
In this paper, the researchers prove that a quantum computer with a fixed circuit depth is able to outperform a classical computer that's tackling the same problem because the classical computer will require the circuit depth to grow larger, while it can stay constant for the quantum computer.
(Score: 2) by bzipitidoo on Sunday October 21 2018, @12:45PM (4 children)
No, it's not correct to say both problems are in P. Determining whether a number n is prime is in P.
But Integer Factorization, the problem of finding the factors of a number that is not prime, may not be in P. No one really knows. No one has found a way to do it in polynomial time with a classical computer, or proven that it can't be done. It's thought not to be in P. It's definitely in NP.
If they have indeed proven that Integer Factorization is not in P, then they have proven that P!=NP. But I'm skeptical that they have really done that. The writers of the articles don't seem to have realized what such a result means, as they made no mention of the famous P!=NP problem. So, I suspect the reporting is inaccurate. More likely the researchers have shown that, given a few assumptions that boil down to the crucial assumption that P!=NP, or by limiting the classical computer to known factoring algorithms, the quantum computer is superior, in that its memory needs are less. If that's what they have done, then this finding, while somewhat interesting, is not so earth shakingly big, and they have not won that million dollar prize after all.
(Score: 2) by maxwell demon on Sunday October 21 2018, @12:51PM (3 children)
Irrelevant because their paper concerned neither determining whether a number is prime, nor factorizing a prime.
The Tao of math: The numbers you can count are not the real numbers.
(Score: 2) by maxwell demon on Sunday October 21 2018, @12:52PM (2 children)
Err … I of course meant “factorizing a number.” Factorizing a prime is, of course, O(1) even on a classical computer. ;-)
The Tao of math: The numbers you can count are not the real numbers.
(Score: 2) by bzipitidoo on Sunday October 21 2018, @08:09PM (1 child)
I read over the summary again, and realized it's more disconnected than I thought. It mentions the groundbreaking Integer Factorization algorithm that runs in polynomial time on a quantum computer. Then it says that some researchers have proven that a quantum computer needs less (algorithmically less) memory than a classic computer to solve a certain class of problems. It doesn't make it too clear they're now talking about another problem in a class that may or may not include Integer Factorization.
I'd bet a large sum that their result includes the proviso that "if P≠NP" or a more specific "if P≠QP" or "if P≠BQP", and thus they haven't and weren't trying to prove that.
(Score: 2) by maxwell demon on Sunday October 21 2018, @09:53PM
Well, no need to guess; the actual article is linked from the summary. Here's the abstract (direct copy/paste from arXiv):
The Tao of math: The numbers you can count are not the real numbers.