Document Open Access Logo

On the Power of Nonstandard Quantum Oracles

Authors Roozbeh Bassirian, Bill Fefferman, Kunal Marwaha

Thumbnail PDF


  • Filesize: 0.9 MB
  • 25 pages

Document Identifiers

Author Details

Roozbeh Bassirian
  • University of Chicago, IL, USA
Bill Fefferman
  • University of Chicago, IL, USA
Kunal Marwaha
  • University of Chicago, IL, USA


Thanks to Casey Duckering, Juspreet Singh Sandhu, Peter Shor, and Justin Yirka for collaborating on early stages of this project. KM thanks many others for engaging discussions, including Adam Bouland, Antares Chen, Aram Harrow, Matt Hastings, Eric Hester, Neng Huang, Robin Kothari, Brian Lawrence, Yi-Kai Liu, Patrick Lutz, Tushant Mittal, Abhijit Mudigonda, Chinmay Nirkhe, and Aaron Potechin. Thanks to Chinmay Nirkhe for feedback on a previous version of this manuscript.

Cite AsGet BibTex

Roozbeh Bassirian, Bill Fefferman, and Kunal Marwaha. On the Power of Nonstandard Quantum Oracles. In 18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 266, pp. 11:1-11:25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)


We study how the choices made when designing an oracle affect the complexity of quantum property testing problems defined relative to this oracle. We encode a regular graph of even degree as an invertible function f, and present f in different oracle models. We first give a one-query QMA protocol to test if a graph encoded in f has a small disconnected subset. We then use representation theory to show that no classical witness can help a quantum verifier efficiently decide this problem relative to an in-place oracle. Perhaps surprisingly, a simple modification to the standard oracle prevents a quantum verifier from efficiently deciding this problem, even with access to an unbounded witness.

Subject Classification

ACM Subject Classification
  • Theory of computation → Quantum complexity theory
  • quantum complexity
  • QCMA
  • expander graphs
  • representation theory


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Scott Aaronson. Open problems related to quantum query complexity, 2021. URL:
  2. Scott Aaronson and Greg Kuperberg. Quantum versus classical proofs and advice. Theory Comput., 3(1):129-157, 2007. URL:
  3. Dorit Aharonov and Tomer Naveh. Quantum np - a survey, 2002. URL:
  4. Andris Ambainis. Quantum lower bounds by quantum arguments. In Proceedings of the thirty-second annual ACM symposium on Theory of computing - STOC '00. ACM Press, 2000. URL:
  5. Andris Ambainis, Andrew M. Childs, and Yi-Kai Liu. Quantum property testing for bounded-degree graphs. Lecture Notes in Computer Science, pages 365-376, 2011. URL:
  6. Atul Singh Arora, Alexandru Gheorghiu, and Uttam Singh. Oracle separations of hybrid quantum-classical circuits, 2022. URL:
  7. Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, and Mario Szegedy. Proof verification and the hardness of approximation problems. Journal of the ACM (JACM), 45(3):501-555, 1998. URL:
  8. Charles H. Bennett, Ethan Bernstein, Gilles Brassard, and Umesh Vazirani. Strengths and weaknesses of quantum computing. SIAM Journal on Computing, 26(5):1510-1523, October 1997. URL:
  9. Andrew Childs. Lecture Notes on Quantum Algorithms, 2022. URL:
  10. Paul Erdos. On the central limit theorem for samples from a finite population. Publications of the Mathematical Institute of the Hungarian Academy of Sciences, 4:49-61, 1959. URL:
  11. Bill Fefferman and Shelby Kimmel. Quantum vs classical proofs and subset verification, 2018. URL:
  12. Joel Friedman. A proof of Alon’s second eigenvalue conjecture and related problems. CoRR, 2004. URL:
  13. Chris Godsil and Hanmeng Zhan. Discrete-time quantum walks and graph structures. Journal of Combinatorial Theory, Series A, 167:181-212, 2019. URL:
  14. Alex Bredariol Grilo, Iordanis Kerenidis, and Jamie Sikora. QMA with subset state witnesses. In Mathematical Foundations of Computer Science 2015 - 40th International Symposium. Springer, 2015. URL:
  15. Aram W. Harrow. The church of the symmetric subspace, 2013. URL:
  16. Aram W. Harrow and David J. Rosenbaum. Uselessness for an oracle model with internal randomness, 2011. URL:
  17. Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen. Mip*=re. Communications of the ACM, 64(11):131-138, 2021. URL:
  18. Elham Kashefi, Adrian Kent, Vlatko Vedral, and Konrad Banaszek. Comparison of quantum oracles. Physical Review A, 65(5), May 2002. URL:
  19. Jonathan Katz and Yehuda Lindell. Introduction to modern cryptography. CRC press, 2020. URL:
  20. Eyal Kushilevitz and Yishay Mansour. Learning decision trees using the fourier spectrum. SIAM J. Comput., 22(6):1331-1348, 1993. URL:
  21. Andrew Lutomirski. Component mixers and a hardness result for counterfeiting quantum money, 2011. URL:
  22. Anand Natarajan and Chinmay Nirkhe. A classical oracle separation between qma and qcma, 2022. URL:
  23. Julius Petersen. Die Theorie der regulären graphs. Acta Mathematica, 15:193-220, 1900. URL:
  24. Jason D. M. Rennie. Relating the trace and frobenius matrix norms, August 2005. URL:
  25. Adi Shamir. IP=PSPACE. Journal of the ACM (JACM), 39(4):869-877, 1992. URL:
  26. Luca Trevisan. Max cut and the smallest eigenvalue, 2008. URL:
  27. John Watrous. Quantum simulations of classical random walks and undirected graph connectivity, 1998. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail