Preprint
Sep 2026
A quantum oracle separation between QMA(2) and QMA
We find a quantum oracle relative to which $\mathsf{QMA} \neq \mathsf{QMA}(2)$. As a consequence, we resolve the no-disentanglers conjecture of Watrous: for every $\epsilon+\delta<1$, any $(\epsilon,\delta)$-disentangler requires input size exponential in the number of output qubits. Our proof combines the unitarily in...
John Bostanci, Sabee Grewal, Jonas Haferkamp et al.
· 1 citation