61
$\begingroup$

The media are reporting the commercially sold 128-bit quantum computer from D-Wave

http://news.google.com/news?ned=us&hl=us&q=d-wave+quantum&cf=all&scoring=n

which of course sounds amazing. The gadget is described as something capable of doing quantum annealing

http://en.wikipedia.org/wiki/Quantum_annealing

which looks less convincing. I want to ask you what classes of problems the D-Wave computer can actually solve or perform. It can't run Shor's algorithm on 128 qubits, can it?

$\endgroup$
11
  • 1
    $\begingroup$ "Here we use quantum annealing to find the ground state of an artificial Ising spin system comprising an array of eight superconducting flux quantum bits with programmable spin–spin couplings." -- from the abstract of their recent Nature paper (nature.com/nature/journal/v473/n7346/full/nature10012.html). It seems unlikely to me that their commercial product actually uses 16-fold more qubits. $\endgroup$ Commented May 27, 2011 at 19:13
  • 1
    $\begingroup$ this means this is the end of all existing public key cryptography as forecasted? $\endgroup$
    – lurscher
    Commented May 27, 2011 at 19:32
  • 11
    $\begingroup$ D-Wave has an absolutely terrible PR department, which at one point even claimed quantum computers could solve NP-complete problems in polynomial time by evaluating all possibilities at the same time. This claim is plain wrong. For their recent claim, I suggest the blog of Scott Aaronson. He also has a Q&A out here: blogs.forbes.com/alexknapp/2011/05/24/… $\endgroup$
    – Lagerbaer
    Commented May 27, 2011 at 20:26
  • 1
    $\begingroup$ Google d-wave site:scottaaronson.com $\endgroup$ Commented May 28, 2011 at 0:14
  • 1
    $\begingroup$ There is not very boring stuff in list I mentioned, e.g.: Does adiabatic quantum optimization fail for NP-complete problems? N. G. Dickson et al. Phys. Rev. Lett. 106, Issue 5, 050502 arxiv.org/abs/1010.0669 $\endgroup$ Commented May 28, 2011 at 12:50

2 Answers 2

41
$\begingroup$

The DWave machine stirred up quite an amount on controversy in the community when it was first announces. The machine basically attempts to solve an NP-complete optimization problem (MAX-2SAT) by encoding it as a ground state of a Hamiltonian, and tries to reach this ground state by moving adiabatically to it from the ground state of an efficiently coolable Hamiltonian.

In general, the adiabatic algorithm is not known to be able to find ground states efficiently as the proximity of low lying levels to the ground state means that the transition between Hamiltonians has to be performed slowly, and the speed at which this can occur is governed by the gap between the ground state and the lowest excited levels. It is commonly believed within the community, but not proved, that no quantum algorithm can efficiently solve NP-complete problems.

In general the ground state of a Hamiltonian can be used to encode a wider variety of problems than NP (know QMA-complete problems), and so decision to focus on NP optimization problems has led to restrictions which prevent the device from being used for general purpose quantum computing (even if noise was not an issue). Thus you can't run Shor's algorithm on the device. Further, you -can- factor any number that you could fit on a 128 qubit device by classical means. The general number field sieve puts 128 bits within reach of modern personal computers.

Noise is a real issue with DWave's device, and although there have been a number of technical papers from them playing down the issue and trying to demonstrate quantum effects, the coherence times for the individual qubits are much shorter than the time scale for the algorithm. Thus the common view within the community seems to be that this is basically an expensive classical special purpose computer.

There is an interesting subtlety as regards noise: If you add noise to the adiabatic algorithm, it degrades gracefully into one of the best classical algorithms for the same problem. Thus you can obtain the same result either way, and the only difference is in the assymptotics for large systems (which are obviously not observables). Thus even if they produce a valid answer for every problem you throw at such a device, this is not enough information to determine if you are actually performing quantum computation.

Let me add that the adiabatic model can encode universal quantum computation, however the limitations of DWave's implementation means that specific machine cannot.

$\endgroup$
15
  • 6
    $\begingroup$ AFAIK Factoring is not NP complete $\endgroup$
    – Lagerbaer
    Commented Sep 12, 2011 at 22:24
  • 5
    $\begingroup$ @Lagerbaer: Factoring is not known to be NP-complete, but this can't be proven without first proving that P$\neq$NP. $\endgroup$ Commented Sep 13, 2011 at 3:18
  • 4
    $\begingroup$ @Jus12: Solving an NP-complete problem would mean that it could solve any problem in NP (drop the -complete), and as factoring is in NP, you are correct that it could solve it. However, you will notice that nowhere in my answer do I say it could sole NP-complete problems in polynomial time, and DWave has backed away from making such claims. Thus, even if it works as advertised, there is no reason to believe it would be could at factoring. There is a generic polynomial speed-up from quantum mechanics, and that is what they are counting on, even for exponential time algorithms. $\endgroup$ Commented Sep 13, 2011 at 3:23
  • 1
    $\begingroup$ @joe Fitzsimons: true. My bad. I meant NP. Though, the first part of the claim is not entirely wrong. NP complete is part of NP. $\endgroup$
    – Jus12
    Commented Sep 13, 2011 at 4:26
  • 1
    $\begingroup$ @Jus12: Yes, I know. I just thought I should point out that the statement needed is slightly stronger. $\endgroup$ Commented Sep 13, 2011 at 4:30
6
$\begingroup$

It mentions: Finding a global minimum where the function of jumping from one minimum to another is handled by quantum tunneling.

I have the feeling that in order to just get an idea of what it can practically do one could look at the mentioned example of spin glasses. In other words, the spin coupling physics close to the actual hardware implementation itself

http://en.wikipedia.org/wiki/Spin_glass.

Relevant may be the work of Giorgio Parisi (Yes, the one of the Altarelli–Parisi parton evolution equations) and his co-workers Mezard and Virasoro.

See the text of the Boltzmann 1992 Medal:

Parisi's deepest contribution concerns the solution of the Sherrington-Kirkpatrick mean field model for spin glasses. After the crisis caused by the unacceptable properties of the simple solutions, which used the "replication trick", Parisi proposed his replica symmetry breaking solution, which seems to be exact, although much more complex than anticipated. Later, Parisi and co-workers Mezard and Virasoro clarified greatly the physical meaning of the mysterious mathematics involved in this scheme, in terms of the probability distribution of overlaps and the ultrametric structure of the configuration space. This achievement forms one of the most important breakthroughs in the history of disordered systems. This discovery opened the doors to vast areas of application. e.g., in optimization problems and in neural network theories.

http://en.wikipedia.org/wiki/Giorgio_Parisi#Awards

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.