Skip to main content
11 events
when toggle format what by license comment
Jul 11, 2016 at 20:40 comment added Abhinav Clarification- Scott's lecture shows that BQP $\subseteq$ PP, a stronger result than BQP $\subseteq$ PSPACE.
Jul 11, 2016 at 20:33 comment added Abhinav For a paper that showed this, look at Theorem 8.4 of Bernstein-Vazirani's paper that introduced BQP.
Jul 11, 2016 at 20:33 comment added Abhinav It is not necessary to store the state to simulate a quantum computation where there is a measurement at the end. All that is needed to be done to simulate the computation is to evaluate the amplitude corresponding to the accept state of the output, which can be done by keeping track of all (the exponentially many) possible paths from the input state to the accept state. For a reference, check out this lecture of Scott Aaronson's.
Jul 10, 2016 at 17:35 comment added zeldredge @tparker it was an assigned problem in a course I took, but actually I may be wrong about that now that I think about it (because how can you store the state in polynomial space?). I will try to make this more precise soon.
Jul 10, 2016 at 17:35 comment added zeldredge @sumelic you are correct
Jul 10, 2016 at 17:33 history edited zeldredge CC BY-SA 3.0
deleted 21 characters in body
Jul 9, 2016 at 21:14 comment added tparker Do you have a reference for using path-integrals to show that quantum computing is possible in polynomial space?
Jun 29, 2016 at 19:53 history edited zeldredge CC BY-SA 3.0
clarified that factoring might be easy
Jun 29, 2016 at 18:18 comment added zeldredge @EmilioPisanty yes precisely! This is what I meant by saying "appear to be exponential." I'll edit later to reflect I think
Jun 29, 2016 at 18:14 comment added Emilio Pisanty Or, to be more explicit, problems like factoring can be solved efficiently by quantum computers and not by any known classical algorithms - but this might yet change! For all we know, factoring is efficiently solvable (i.e. in P).
Jun 29, 2016 at 17:40 history answered zeldredge CC BY-SA 3.0