论文标题
简单的preciseqma = pspace的证明
A Simple Proof of PreciseQMA = PSPACE
论文作者
论文摘要
我们提供了preciseqma = pspace的替代证明，首先由Fefferman和Lin（Innov。Theor。Comp。Sci。2018）证明，其中Preciseisqma是量子级Merlin-Arthur类，具有逆指数的完整性 - 功能差距。我们适应了量子库克 - 借线定理的证明，以证明pspace在preciseqama中。
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.
