A Separation Between Types of Quantum Oracle Separations

arXiv:2609.38704 · quant-ph, cs.CC · Submitted 2026-09-30 · Read on arXiv

quant-ph, cs.CC

Submitted: 2026-09-30

Updated: 2026-09-30

Terminology

• Query Complexity — 6× in this paper · explained in 2 episodes
• BQP — 4× in this paper · explained in 2 episodes
• Generalization — 4× in this paper · explained in 13 episodes
• Entanglement — 3× in this paper · explained in 4 episodes
• Quantum Circuits — 3× in this paper · explained in 2 episodes
• Trace — 3× in this paper · explained in 2 episodes
• Accuracy — 2× in this paper · explained in 1 episode
• Trace Distance — 2× in this paper · explained in 3 episodes
• Adam — 1× in this paper · explained in 2 episodes
• Approximate Counting — 1× in this paper · explained in 1 episode
• Post-Selection — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes

Sources

• On Perfect Completeness for QMA
• The Complexity of Quantum States and Transformations: From Quantum Money to Black Holes
• Limits to black-box amplification in QMA
• Separating QMA from QCMA with a classical oracle
• Unitary property testing lower bounds by polynomials
• Amplitude amplification and estimation require inverses
• Are controlled unitaries helpful?
• Conjugate queries can help
• Quantum Computational Complexity

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity