发表机构
Simons Institute & UC Berkeley; IBM Research, Columbia University; Ruhr-University Bochum; University of California, Berkeley; MIT; University of Washington（西蒙斯研究所与加州大学伯克利分校; IBM 研究部，哥伦比亚大学; 波鸿鲁尔大学; 加州大学伯克利分校; 麻省理工学院; 华盛顿大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究通过构造量子谕令证明QMA与QMA(2)不等价，解决了Watrous的无纠缠器猜想，采用酉不变多项式方法与子空间投影算子构造将QMA下界归约为OR函数近似度。
AI 中文摘要
我们找到了一个量子谕令，使得在该谕令下QMA≠QMA(2)。因此，我们解决了Watrous的无纠缠器猜想：对于任意满足ε+δ<1的情况，任何(ε,δ)-纠缠器所需的输入规模都与输出量子比特数呈指数关系。我们的证明结合了She和Yuen（ITCS '23）的酉不变多项式方法，以及基于对称和反对称子空间投影算子的新构造，将QMA的下界归约为OR函数的近似度问题。
英文摘要
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}$.
Comments25 pages
