We prove that QMA where the verifier may also make a single non-collapsing measurement is equal to NEXP, resolving an open question of Aaronson. We show this is a corollary to a modified proof of QMA+ = NEXP [arXiv:2306.13247]. At the core of many results inspired by Blier and Tapp [arXiv:0709.0738] is an unphysical property testing problem deciding whether a quantum state is close to an element of a fixed basis.

翻译：我们证明了，当验证者可以执行一次非塌缩测量时，QMA（量子马林-阿罗森类）等于NEXP（非确定性指数时间），解决了Aaronson提出的一个开放问题。我们表明，这是对QMA+ = NEXP [arXiv:2306.13247] 证明的一个修正的推论。受Blier和Tapp [arXiv:0709.0738] 启发的许多结果的核心是一个非物理的属性测试问题，即判断量子态是否接近固定基中的某个元素。