We prove that QMA where the verifier may also make a single noncollapsing measurement aaronson2014space is equal to NEXP, resolving an open question of Aaronson scottblogpostₚdqp. We show this is a corollary to a modified proof of QMA+=NEXP bassirian2023quantum. At the core of many results inspired by Blier and Tapp blier2010quantum is an unphysical property testing problem deciding whether a quantum state is close to an element of a fixed basis.
Bassirian et al. (Thu,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: