References & Citations
Quantum Physics
Title: Multilinear Formulas and Skepticism of Quantum Computing
(Submitted on 7 Nov 2003 (v1), last revised 15 Jul 2004 (this version, v4))
Abstract: Several researchers, including Leonid Levin, Gerard 't Hooft, and Stephen Wolfram, have argued that quantum mechanics will break down before the factoring of large numbers becomes possible. If this is true, then there should be a natural set of quantum states that can account for all experiments performed to date, but not for Shor's factoring algorithm. We investigate as a candidate the set of states expressible by a polynomial number of additions and tensor products. Using a recent lower bound on multilinear formula size due to Raz, we then show that states arising in quantum error-correction require n^{Omega(log n)} additions and tensor products even to approximate, which incidentally yields the first superpolynomial gap between general and multilinear formula size of functions. More broadly, we introduce a complexity classification of pure quantum states, and prove many basic facts about this classification. Our goal is to refine vague ideas about a breakdown of quantum mechanics into specific hypotheses that might be experimentally testable in the near future.
Submission history
From: Scott Aaronson [view email][v1] Fri, 7 Nov 2003 00:53:17 GMT (62kb)
[v2] Sat, 6 Mar 2004 07:50:09 GMT (60kb)
[v3] Wed, 16 Jun 2004 20:14:05 GMT (60kb)
[v4] Thu, 15 Jul 2004 20:03:42 GMT (69kb)
Link back to: arXiv, form interface, contact.