A quantum oracle separation between QMA(2) and QMA

We find a quantum oracle relative to which $\mathsf{Q}\mathsf{M}\mathsf{A}\mathrm{\ne }\mathsf{Q}\mathsf{M}\mathsf{A}(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 invariant polynomial method of She and Yuen (ITCS '23) with a new construction based on the symmetric and antisymmetric subspace projectors, reducing the $\mathsf{Q}\mathsf{M}\mathsf{A}$ lower bound to the approximate degree of $\mathrm{O}\mathrm{R}$.