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

Questo articolo risolve una questione aperta di lunga data costruendo un oracolo rispetto al quale $\mathsf{BQP} \not\subseteq \mathsf{IP}$, utilizzando il problema della Forrelation e nuovi risultati strutturali per dimostrare che le prove interattive classiche non possono verificare efficientemente il calcolo quantistico in un contesto relativizzante.

Autori originali: Adam Bouland, Andrew Huang, Anand Natarajan, Itay Shalit, Avishay Tal