A Simple Proof of PreciseQMA = PSPACE
Quantum Physics
2022-06-22 v1 Computational Complexity
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.
Cite
@article{arxiv.2206.09230,
title = {A Simple Proof of PreciseQMA = PSPACE},
author = {Yulong Li},
journal= {arXiv preprint arXiv:2206.09230},
year = {2022}
}
Comments
4 pages