{"id":"arxiv/2609.02865","url":"https://arxiv.org/abs/2609.02865","tags":["quant-ph"],"score":0,"title":"A quantum oracle separation between QMA(2) and QMA","domain":"quant-ph","source":"arxiv","authors":["John Bostanci","Sabee Grewal","Jonas Haferkamp","Andrew Huang","Yeongwoo Hwang","Anand Natarajan","Chinmay Nirkhe"],"reviews":0,"subject":"quant-ph","summary":"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 $ε+δ<1$, any $(ε,δ)$-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{QMA}$ lower bound to the approximate degree of $\\mathrm{OR}$.","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-02","reactions":{}}