$\mathsf{BQP}\subseteq \mathsf{IP}$ Does Not Relativize

Adam Bouland, Andrew Huang, Anand Natarajan +2

We construct an oracle relative to which $\mathsf{BQP}⊈\mathsf{IP}$, resolving a long-standing open question in quantum complexity theory. Together with recent work d…