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 $\ne$ NEXP. This gives a new route to prove…