{"id":"arxiv/2604.11952","url":"https://arxiv.org/abs/2604.11952","tags":["quant-ph","cs.CC"],"score":0,"title":"A Relativizing MIP for BQP","domain":"quant-ph","source":"arxiv","authors":["Scott Aaronson","Anand Natarajan","Avishay Tal","Agi Villanyi"],"reviews":0,"subject":"quant-ph","summary":"Complexity class containments involving interactive proof classes are famously nonrelativizing: although $\\mathsf{IP} = \\mathsf{PSPACE}$, Fortnow and Sipser showed that that there exists an oracle relative to which $\\mathsf{coNP} \\not\\subseteq \\mathsf{IP}$. In contrast, the question of whether the containment $\\mathsf{BQP} \\subseteq \\mathsf{IP}$ is relativizing remains wide open. In this work we make progress towards resolving this question by showing that the containment $\\mathsf{BQP} \\subseteq \\mathsf{MIP}$ holds with respect to any classical oracle. We obtain this result by constructing,…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-04-13","reactions":{}}