I read the paper
- Ahmed Younes, "A Bounded-error Quantum Polynomial Time Algorithm for Two Graph Bisection Problems", 2015. doi:10.1007/s11128-015-1069-y
which is published in Springer's journal Quantum Information Processing. The paper seems to claim that it provides a BQP algorithm for the NP-hard problems of min-bisection and max-bisection.
If true, this should imply that $NP\subseteq BQP,ドル which would be very surprising because it is common conjecture that $NP\not\subseteq BQP$. There is even a result that relative to an random oracle, $NP\nsubseteq BQP$ with probability 1.
- Charles H. Bennett, Ethan Bernstein, Gilles Brassard, and Umesh Vazirani, "Strengths and Weaknesses of Quantum Computing", 1997. doi: 10.1137/S0097539796300933
I'm puzzled because it seems to me that the complexity analysis of the paper concerns query complexity not time complexity. In other words, it is not clear the algorithm is in BQP. On the other, the implications of the paper should have been clear to any reviewer in quantum computing so I expect that the reviewers really checked all the details of the paper to confirm the result otherwise it wouldn't be published.
Is the algorithm in the paper really in BQP? Does the paper really imply that NP $\subseteq$ BQP?
- Ahmed Younes, Jonathan E. Rowe, "A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability", 2015
-
2$\begingroup$ Afaik, this paper is not well-known in the quantum computing community. It is somewhat suspicious that it has not been listed in the Quantum Algorithm Zoo. I am also fairly confused to see the paper in that journal. $\endgroup$Juan Bermejo Vega– Juan Bermejo Vega2016年01月14日 18:01:21 +00:00Commented Jan 14, 2016 at 18:01
-
4$\begingroup$ I have seen some suggestions that the algorithm does post-selection (and therefore is not surprising since @ScottAaronson showed PostBQP = PP). For example here algorithmicassertions.com/quantum/2015/08/01/… and here scottaaronson.com/blog/?p=2408#comment-743305. $\endgroup$Sasho Nikolov– Sasho Nikolov2016年01月14日 21:31:21 +00:00Commented Jan 14, 2016 at 21:31
1 Answer 1
Another paper with the same idea by Ahmed Younes and Jonathan E. Rowe, A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability. The algorithm is not polynomial time.
-
3$\begingroup$ Per comments on algorithmicassertions.com/quantum/2015/08/27/… , the paper was withdrawn. $\endgroup$Emil Jeřábek– Emil Jeřábek2016年01月15日 11:08:45 +00:00Commented Jan 15, 2016 at 11:08
Explore related questions
See similar questions with these tags.