It is a long-standing open question to construct a classical oracle relative
to which BQP/qpoly î€ = BQP/poly or QMA î€ = QCMA. In this paper, we
construct classically-accessible classical oracles relative to which BQP/qpoly
î€ = BQP/poly and QMA î€ = QCMA. Here, classically-accessible classical
oracles are oracles that can be accessed only classically even for quantum
algorithms. Based on a similar technique, we also show an alternative proof for
the separation of QMA and QCMA relative to a distributional
quantumly-accessible classical oracle, which was recently shown by Natarajan
and Nirkhe.Comment: 31 pages. Added classically-accessible classical oracle separation of
QMA and QCMA and updated the abstrac