{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T18:57:20Z","timestamp":1781031440919,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T00:00:00Z","timestamp":1780963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-21-1-036"],"award-info":[{"award-number":["FA9550-21-1-036"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF2144219"],"award-info":[{"award-number":["CCF2144219"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF2541127"],"award-info":[{"award-number":["CCF2541127"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["PHY2309135"],"award-info":[{"award-number":["PHY2309135"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Harvard Quantum Initiative postdoctoral fellowship","award":["N\/A"],"award-info":[{"award-number":["N\/A"]}]},{"name":"Simons Institute for the Theory of Computing","award":["N\/A"],"award-info":[{"award-number":["N\/A"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,9]]},"DOI":"10.1145\/3798129.3800776","type":"proceedings-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T17:53:56Z","timestamp":1781027636000},"page":"595-606","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Separating QMA from QCMA with a Classical Oracle"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9666-7114","authenticated-orcid":false,"given":"John","family":"Bostanci","sequence":"first","affiliation":[{"name":"Columbia University, New York, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3592-7274","authenticated-orcid":false,"given":"Jonas","family":"Haferkamp","sequence":"additional","affiliation":[{"name":"Ruhr-University Bochum, Bochum, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5808-4994","authenticated-orcid":false,"given":"Chinmay","family":"Nirkhe","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7071-6272","authenticated-orcid":false,"given":"Mark","family":"Zhandry","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806689.1806711"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3488559"},{"key":"e_1_3_2_1_3_1","unstructured":"Scott Aaronson and Andris Ambainis. 2009. The need for structure in quantum speedups. arXiv preprint arXiv:0911.0996 ( 2009 )."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746539.2746547"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4086\/toc"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CCC"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.2007.27"},{"key":"e_1_3_2_1_8_1","unstructured":"Avantika Agarwal and Srijita Kundu. 2025. A Cautionary Note on Quantum Oracles. arXiv: 2504.19470 [quant-ph] https:\/\/arxiv.org\/abs\/2504.19470"},{"key":"e_1_3_2_1_9_1","unstructured":"Dorit Aharonov and Tomer Naveh. 2002. Quantum NP-a survey. arXiv preprint quant-ph\/0210077 ( 2002 )."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss"},{"key":"e_1_3_2_1_11_1","unstructured":"Prabhanjan Ananth Aditya Gulati and Yao-Ting Lin. 2025. On the Limitations of Pseudorandom Unitaries. Cryptology ePrint Archive Paper 2025 \/1785. https: \/\/eprint.iacr.org\/ 2025 \/1785"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3564246.3585114"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3618260.3649619"},{"key":"e_1_3_2_1_14_1","volume-title":"Paper 2025 \/","author":"Barhoush Mohammed","year":"1994","unstructured":"Mohammed Barhoush. 2025. Separating Pseudorandom Generators from Logarithmic Pseudorandom States. Cryptology ePrint Archive, Paper 2025 \/ 1994. https:\/\/eprint.iacr.org\/ 2025 \/1994"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-91098-2_2"},{"key":"e_1_3_2_1_16_1","unstructured":"Shalev Ben-David and Srijita Kundu. 2024. Oracle separation of QMA and QCMA with bounded adaptivity. arXiv preprint arXiv:2402.00298 ( 2024 )."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539796300933"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-91098-2_1"},{"key":"e_1_3_2_1_20_1","unstructured":"John Bostanci Jonas Haferkamp Chinmay Nirkhe and Mark Zhandry. 2026. Separating QMA from QCMA with a classical oracle. arXiv:2511.09551 [quantph] https:\/\/arxiv.org\/abs\/2511.09551"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-91098-2_5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1137\/140998287"},{"key":"e_1_3_2_1_23_1","unstructured":"Bill Feferman and Shelby Kimmel. 2015. Quantum vs classical proofs and subset verification. arXiv preprint arXiv:1510.06750 ( 2015 )."},{"key":"e_1_3_2_1_24_1","volume-title":"Translating Between the Common Haar Random State Model and the Unitary Model. In CRYPTO","author":"Goldin Eli","year":"2025","unstructured":"Eli Goldin and Mark Zhandry. 2025. Translating Between the Common Haar Random State Model and the Unitary Model. In CRYPTO 2025."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/12130.12137"},{"key":"e_1_3_2_1_26_1","volume-title":"Pseudorandom Isometries, and Pseudorandom Function-Like States. Cryptology ePrint Archive, Paper 2025 \/","author":"Gulati Aditya","year":"1864","unstructured":"Aditya Gulati, Yao-Ting Lin, Tomoyuki Morimae, and Shogo Yamada. 2025. BlackBox Separation Between Pseudorandom Unitaries, Pseudorandom Isometries, and Pseudorandom Function-Like States. Cryptology ePrint Archive, Paper 2025 \/ 1864. https:\/\/eprint.iacr.org\/ 2025 \/1864"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90459-3_7"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589986"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","unstructured":"W. Heisenberg. 1927. \u00dcber den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik. Zeitschrift f\u00fcr Physik 43 3 ( 1927 ) 172-198. doi: 10. 1007\/BF01397280 10.1007\/BF01397280","DOI":"10.1007\/BF01397280"},{"key":"e_1_3_2_1_30_1","unstructured":"Sandy Irani Anand Natarajan Chinmay Nirkhe Sujit Rao and Henry Yuen. 2021. Quantum search-to-decision reductions and the state synthesis problem. arXiv preprint arXiv:2111.02999 ( 2021 )."},{"key":"e_1_3_2_1_31_1","first-page":"5","article-title":"Achieving perfect completeness in classical-witness quantum merlin-arthur proof systems. Quantum Info","volume":"12","author":"Jordan Stephen P.","year":"2012","unstructured":"Stephen P. Jordan, Hirotada Kobayashi, Daniel Nagaj, and Harumichi Nishimura. 2012. Achieving perfect completeness in classical-witness quantum merlin-arthur proof systems. Quantum Info. Comput. 12, 5-6 (May 2012 ), 461-471.","journal-title":"Comput."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.TQC"},{"key":"e_1_3_2_1_33_1","unstructured":"Xingjian Li Qipeng Liu Angelos Pelecanos and Takashi Yamakawa. 2023. Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle. arXiv preprint arXiv:2303.04298 ( 2023 )."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3717823.3718296"},{"key":"e_1_3_2_1_35_1","unstructured":"Qipeng Liu. 2022. Non-uniformity and Quantum Advice in the Random Oracle Model. Cryptology ePrint Archive ( 2022 )."},{"key":"e_1_3_2_1_36_1","unstructured":"Andrew Lutomirski. 2011. Component mixers and a hardness result for counterfeiting quantum money. arXiv preprint arXiv:1107.0321 ( 2011 )."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ITCS"},{"key":"e_1_3_2_1_38_1","volume-title":"Classical Verification and Blind Delegation of Quantum Computations. Ph. D. Dissertation. EECS Department","author":"Mahadev Urmila","year":"2018","unstructured":"Urmila Mahadev. 2018. Classical Verification and Blind Delegation of Quantum Computations. Ph. D. Dissertation. EECS Department, University of California, Berkeley. http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/2018\/EECS-2018-88. html"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"N David Mermin. 1990. Simple unified form for the major no-hidden-variables theorems. Physical review letters 65 27 ( 1990 ) 3373.","DOI":"10.1103\/PhysRevLett.65.3373"},{"key":"e_1_3_2_1_40_1","unstructured":"Shyam Narayanan. 2024. Improved algorithms for learning quantum Hamiltonians via flat polynomials. arXiv preprint arXiv:2407.04540 ( 2024 )."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Anand Natarajan and Chinmay Nirkhe. 2024. A distribution testing oracle separation between QMA and QCMA. Quantum 8 ( 2024 ) 1377.","DOI":"10.22331\/q-2024-06-17-1377"},{"key":"e_1_3_2_1_42_1","volume-title":"15th Innovations in Theoretical Computer Science Conference (ITCS 2024 ). Schloss-Dagstuhl-Leibniz Zentrum f\u00fcr Informatik.","author":"Nehoran Barak","year":"2024","unstructured":"Barak Nehoran and Mark Zhandry. 2024. A computational separation between quantum no-cloning and no-telegraphing. In 15th Innovations in Theoretical Computer Science Conference (ITCS 2024 ). Schloss-Dagstuhl-Leibniz Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_43_1","first-page":"235","volume-title":"Mathematisch-Physikalische Klasse 1918 ( 1918 )","author":"Noether E.","unstructured":"E. Noether. 1918. Invariante Variationsprobleme. Nachrichten von der Gesellschaft der Wissenschaften zu G\u00f6ttingen, Mathematisch-Physikalische Klasse 1918 ( 1918 ), 235-257. http:\/\/eudml.org\/doc\/59024"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/0375-9601(90)90172-K"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1008908.1008920"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658665"},{"key":"e_1_3_2_1_47_1","first-page":"239","volume-title":"USA","author":"Zhandry Mark","year":"2019","unstructured":"Mark Zhandry. 2019. How to record quantum queries, and applications to quantum indiferentiability. In Advances in Cryptology-CRYPTO 2019 : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part II 39. Springer, 239-268."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ITCS"}],"event":{"name":"STOC '26: 58th Annual ACM Symposium on Theory of Computing","location":"Salt Lake City UT USA","acronym":"STOC '26","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 58th Annual ACM Symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3798129.3800776","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3798129.3800776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T18:02:06Z","timestamp":1781028126000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3798129.3800776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,9]]},"references-count":48,"alternative-id":["10.1145\/3798129.3800776","10.1145\/3798129"],"URL":"https:\/\/doi.org\/10.1145\/3798129.3800776","relation":{},"subject":[],"published":{"date-parts":[[2026,6,9]]},"assertion":[{"value":"2026-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}