{
  "annotation_id": "7ffc5bd7-4cdb-4717-819a-61a0c527b056",
  "date_created": "2026-03-02T18:02:19.746000Z",
  "date_modified": "2026-03-02T18:02:19.746000Z",
  "file_hash": "412d6ac4b573f7911a948d3ee1ad4fa05ed3c370eb16fb5b93af9573aeb8ba06",
  "private": false,
  "record": {
    "abstract": "This paper introduces a new technique for removing existential quantifiers\nover quantum states. Using this technique, we show that there is no way to pack\nan exponential number of bits into a polynomial-size quantum state, in such a\nway that the value of any one of those bits can later be proven with the help\nof a polynomial-size quantum witness. We also show that any problem in QMA with\npolynomial-size quantum advice, is also in PSPACE with polynomial-size\nclassical advice. This builds on our earlier result that BQP/qpoly is contained\nin PP/poly, and offers an intriguing counterpoint to the recent discovery of\nRaz that QIP/qpoly = ALL. Finally, we show that QCMA/qpoly is contained in\nPP/poly and that QMA/rpoly = QMA/poly.",
    "arxiv_id": "quant-ph/0510230",
    "authors": [
      "Scott Aaronson"
    ],
    "categories": [
      "quant-ph",
      "cs.CC"
    ],
    "title": "QMA/qpoly Is Contained In PSPACE/poly: De-Merlinizing Quantum Protocols",
    "url": "https://arxiv.org/abs/quant-ph/0510230"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "4b4b5e1e-8425-4374-a0f3-c0645be934ec",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}