We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: PSPACE $\subseteq$ BQP

Authors: Shibdas Roy
Abstract: The complexity class $PSPACE$ includes all computational problems that can be solved by a classical computer with polynomial memory. All $PSPACE$ problems are known to be solvable by a quantum computer too with polynomial memory and are, therefore, known to be in $BQPSPACE$. Here, we present a polynomial time quantum algorithm for a $PSPACE$-complete problem, implying that $PSPACE$ is a subset of the class $BQP$ of all problems solvable by a quantum computer in polynomial time. In particular, we outline a $BQP$ algorithm for the $PSPACE$-complete problem of evaluating a full binary $NAND$ tree. An existing best of quadratic speedup is achieved using quantum walks for this problem, which is still exponential in the problem size. By contrast, we achieve an exponential speedup for the problem, allowing for solving it in polynomial time. There are many real-world applications of our result, such as strategy games like chess or Go. As an example, in quantum sensing, the problem of quantum illumination, that is treated as that of channel discrimination, is $PSPACE$-complete. Our work implies that quantum channel discrimination, and therefore, quantum illumination, can be performed by a quantum computer in polynomial time.
Comments: 4 pages, 1 figure
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:2301.10557 [cs.CC]
  (or arXiv:2301.10557v1 [cs.CC] for this version)

Submission history

From: Shibdas Roy [view email]
[v1] Tue, 24 Jan 2023 07:52:36 GMT (46kb,D)

Link back to: arXiv, form interface, contact.