![Summer Cluster on Quantum Computing Logo.jpg](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-05/Summer%20Cluster%20on%20Quantum%20Computing%20Logo.jpg?h=bc2fd1e6&itok=Azs4ngU4)
Abstract
We study a variant of QMA where quantum proofs have non-negative amplitudes in both completeness and soundness. This class was introduced by Jeronimo and Wu [STOC '23] to understand QMA(2). We show that this variant is very powerful even without considering multiple unentangled quantum provers. In fact, QMA+ with some constant gap is equal to NEXP, even though QMA+ with some other constant gap is equal to QMA.