Skip to content
DraconiticResearch
Search Sources API
203,203 studies31 sourcesUpdated 50 min ago
PreprintarXiv licencearXiv

A quantum oracle separation between QMA(2) and QMA

  • John Bostanci
  • Sabee Grewal
  • Jonas Haferkamp
  • Andrew Huang
  • Yeongwoo Hwang
  • Anand Natarajan
  • Chinmay Nirkhe
Open at sourcePDFDOICite

Abstract

We find a quantum oracle relative to which QMA ≠ 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 QMA lower bound to the approximate degree of OR.

Related

  1. A Quantum/Classical Example Oracle Separation for Making Things Up
    Kenny Chen
    arXivPreprintCC BY 4.0Full textStatisticsQuantum physics & quantum informationarXiv
  2. Quantum Advantage with Sign-Free Proofs: An Oracle Separation between StoqMA and MA
    Yassine Hamoudi, Yvan Le Borgne, Shrinidhi Teganahally Sridhara
    arXivPreprintarXiv licenceFull textQuantum physics & quantum informationarXiv
  3. A Separation Between Types of Quantum Oracle Separations
    Scott Aaronson, Adam Bouland, Jordan Docter +1
    arXivPreprintarXiv licenceFull textQuantum physics & quantum informationarXiv
  4. A classical oracle separation between QMA and QMA(2)
    Sabee Grewal, Saachi Mutreja, Kabir Tomer
    arXivPreprintCC BY-NC-SA 4.0Full textQuantum physics & quantum informationarXiv
  5. Quantum Time-Lock Puzzles in the Quantum Random Oracle Model
    Prabhanjan Ananth, Yao-Ting Lin
    arXivPreprintCC BY 4.0Full textQuantum physics & quantum informationarXiv

Cite

BibTeXRIS
BibTeX
@misc{bostanci2026quantum,
  title = {{A quantum oracle separation between QMA(2) and QMA}},
  author = {John Bostanci and Sabee Grewal and Jonas Haferkamp and Andrew Huang and Yeongwoo Hwang and Anand Natarajan and Chinmay Nirkhe},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.02865},
  eprint = {2609.02865},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.02865},
}
RIS
TY  - UNPB
TI  - A quantum oracle separation between QMA(2) and QMA
AU  - John Bostanci
AU  - Sabee Grewal
AU  - Jonas Haferkamp
AU  - Andrew Huang
AU  - Yeongwoo Hwang
AU  - Anand Natarajan
AU  - Chinmay Nirkhe
PY  - 2026
DA  - 2026/09/02
PB  - arXiv
DO  - 10.48550/arxiv.2609.02865
UR  - https://arxiv.org/abs/2609.02865
AB  - We find a quantum oracle relative to which QMA ≠ 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 QMA lower bound to the approximate degree of OR.
ER  -