{"id":"arxiv/2610.37635","url":"https://arxiv.org/abs/2610.37635","tags":["quant-ph","cs.CC","cs.CR"],"score":0,"title":"Classical Verification of Quantum Computation Beyond the Polynomial Hierarchy","domain":"quant-ph","source":"arxiv","authors":["Atul Mantri"],"reviews":0,"subject":"quant-ph","summary":"It is not known whether a classical polynomial-time verifier can verify arbitrary polynomial-time quantum computations with an efficient quantum honest prover without computational assumptions. We show that, relative to a classical oracle, such verification is possible for a language beyond the polynomial hierarchy that is decided exactly in quantum polynomial time. The protocol is public-coin, with perfect completeness and soundness error at most 1/4. To our knowledge, no language with such a proof system was previously proved to lie outside AM relative to an oracle. For every unbounded…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-27","reactions":{}}