3 papers
quant-ph2024
Quantum Merlin-Arthur with an internally separable proof
Roozbeh Bassirian, Bill Fefferman, Itai Leigh +2
We find a modification to QMA where having one quantum proof is strictly less powerful than having two unentangled proofs, assuming EXP NEXP. This gives a new route to prove…
quant-ph2024
Superposition detection and QMA with non-collapsing measurements
Roozbeh Bassirian, Kunal Marwaha
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 mo…
quant-ph2023
Quantum Merlin-Arthur and proofs without relative phase
Roozbeh Bassirian, Bill Fefferman, Kunal Marwaha
We study a variant of QMA where quantum proofs have no relative phase (i.e. non-negative amplitudes, up to a global phase). If only completeness is modified, this class is equal to…