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

Download:

Current browse context:

quant-ph

Change to browse by:

References & Citations

Bookmark

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

Quantum Physics

Title: A Simple Proof of PreciseQMA = PSPACE

Authors: Yulong Li
Abstract: We give an alternative proof of PreciseQMA = PSPACE, first proved by Fefferman and Lin (Innov. Theor. Comp. Sci. 2018), where PreciseQMA is the class Quantum Merlin-Arthur with inverse exponential completeness-soundness gap. We adapt the proof of Quantum Cook-Levin Theorem to prove the inclusion PSPACE in PreciseQMA.
Comments: 4 pages
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
Cite as: arXiv:2206.09230 [quant-ph]
  (or arXiv:2206.09230v1 [quant-ph] for this version)

Submission history

From: Yulong Li [view email]
[v1] Sat, 18 Jun 2022 16:10:06 GMT (9kb)

Link back to: arXiv, form interface, contact.