MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Many complexity theorists assume that $P\ne NP.$ If this is proved, how would it impact quantum computing and quantum algorithms? Would the proof immediately disallow quantum algorithms from ever solving NP-Complete problems in Quantum Polynomial time?

According to Wikipedia, quantum complexity classes BQP and QMA are the bounded-error quantum analogues of P and NP. Is it likely that a proof that $P\ne NP$ can be adapted to the quantum setting to show that $BQP \ne QMA?$

share|cite|improve this question
Evaluating the strength and reach of a proof "to be verified" of an incredibly hard question in a subtle and error-prone field... What could go wrong ;-? – Simon Pepin Lehalleur Aug 10 '10 at 17:59
This primarilly depnds on the validity of the proof, an issue which is under intense discussion and which is not a suitable MO question at this time. – Gil Kalai Aug 10 '10 at 18:07
I would take out the references to Deolalikar's proof, since it is not clear yet what it establishes. But the question of what impact $P \neq NP$ would have on $BQP$ is a perfectly good one, which I bet Scott Aaronson and Greg Kuperberg have lots to say about. I'm voting to reopen on that basis. – David Speyer Aug 10 '10 at 18:47
I agree with David's assessment. – David Hansen Aug 10 '10 at 18:49
I took the liberty of editing this question along the lines of OP's update and David's comment and voted to reopen. – Victor Protsak Aug 10 '10 at 19:05
up vote 12 down vote accepted

David is right about one thing. Scott had a discussion about this on his blog and I was also involved.

On the one hand, many complexity theorists simply also assume that BQP does not contain NP, just as they assume that P does not contain NP. The evidence for the former is not as dramatic as that for the latter, but there is at least an oracle separation. I.e., there is an oracle A such that BQPA does not contain NPA. Now, there are some famous cases where two complexity classes are equal or there is an inclusion, even though there is also a credible oracle separation. But the oracle separations for BQP vs NP seem realistic. Besides, apart from tangible evidence, I for one consider BQP to be surprisingly powerful but not incredibly powerful. It's my intuition partly because I expect BQP to be realistic and I don't expect the universe to be perverse. I think of BQP as an extension of randomized computation based on quantum probability.

On the other hand, P vs PSPACE is already an unfathomable open problem. The two main barrier results for P vs NP, Baker-Gill-Solovay and Razborov-Rudich, apply to P vs PSPACE equally well. Since PSPACE contains both NP and BQP, if you were to show that either one does not equal P, then in particular you would show that PSPACE does not equal P. Actually, I don't know a good reason to try to prove that P ≠ NP rather than to first prove that P ≠ PSPACE, since the latter is at least formally easier.

share|cite|improve this answer
You mean, "The evidence for the former is not as dramatic as that for the latter." – Henry Yuen Aug 11 '10 at 17:07

To your second question. It is unlikely that the current under-review proof of P != NP will allow you to seperate BQP and QMA (or BQP and P, or BQP and NP, or even BPP and NP...). Deolalikar's proof uses descriptive complexity, in particular it uses a correspondence between statements expressible in certain logics and the complexity classes P and NP. As far as I know there is no such nice one-to-one correspondences between BPP, BQP, or QMA and nice logics.

share|cite|improve this answer
A follow up question: – Kaveh Aug 11 '10 at 15:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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