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

Este artigo resolve uma questão aberta de longa data ao construir um oráculo em relação ao qual $\mathsf{BQP} \not\subseteq \mathsf{IP}$, utilizando o problema da Forrelation e resultados estruturais inéditos para demonstrar que provas interativas clássicas não podem verificar eficientemente a computação quântica em um cenário de relativização.

Autores originais: Adam Bouland, Andrew Huang, Anand Natarajan, Itay Shalit, Avishay Tal