Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

They moved the goal posts to misrepresent Grover speedup. Taking an oracular result and opening the box, in almost all cases, changes the query complexity speed up. Yes we've known that since, well since people thought about oracular speedups. Periodically someone notices this, writes up a paper pointing it out, and then promptly is forgotten about because it misses the point.

Further they completely ignore that when you open up the oracle like they have done, the problem they are considering is really CIRCUIT-SAT, and in this case the grover algorithm yields a 2^{n/2} algorithm whereas the best classical algorithm is 2^n. That the classical algorithm cannot do better that 2^n is the "exponential time hypothesis". I don't think the authors want to claim that they have disproven this hypothesis, since they didn't really. They just showed in some cases, in CIRCUIT-SAT, the problem is easy. This is a fairly benign, "yes...and....", statement.

So I think this is word games where the game the authors has played is to chose the worst words to describe their result. It's a bit sad because the authors are trying to think about the role of entanglement in these algorithms, and where entanglement is low we know that we can efficiently simulate classically these quantum systems.



Your comment is helpful to us to see what are some common misunderstandings about what we are saying in our paper versus not saying. It could be some problems with our writing. For example, we state all of the things you said above explicitly in the paper and wrestle with them in quite a few places. Also there is a whole second half of the paper that addresses precisely the question of "what if we have an instance that we can't classically simulate? i.e. scales as 2^n?". Your comments don't address that part of the paper.

The first half of the paper, about opening up the oracle is written by definition for people who don't know it, as is the case in any article. Personally knowing about something but which is not published is not a valid or helpful criticism of a published work (or preprint). On the other hand we could not find any publications talking about opening the oracle in the context of attempting to simulate it nor discussing entanglement barriers in the oracle (other than giving unhelpfully general worst-case bounds). The one exception is the following paper by Chamon and Mucciolo https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.10.... If you know of some publications you could point us to, we'd be happy to incorporate them into a later draft of the article and cite them.


To clarify a bit more, for us the purpose of opening the oracle and simulating it, whether or not we were the first ones to do it (e.g. we weren't, see Chamon paper above) was to say that

"There are many cases where it's already known one doesn't need Grover's algorithm, such as if a problem already has a polynomial-time solution. We have now identified a new set of cases where one doesn't need Grover's, which is where the oracle can be simulated only once by a tensor network (or log(N) times in a "closed" simulation".

So the point of that part of the article is to further delineate when Grover's algorithm is actually needed or not needed. It only applies to real-life problems where one must actually know the circuit.


Great to see a real expert here.

And thanks for your lecture notes.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: