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

Diese Arbeit löst eine langjährige offene Frage, indem sie ein Orakel konstruiert, relativ zu dem $\mathsf{BQP} \not\subseteq \mathsf{IP}$ gilt, wobei das Forrelation-Problem und neuartige strukturelle Ergebnisse verwendet werden, um zu zeigen, dass klassische interaktive Beweise Quantenberechnungen in einem relativierenden Setting nicht effizient verifizieren können.

Ursprüngliche Autoren: Adam Bouland, Andrew Huang, Anand Natarajan, Itay Shalit, Avishay Tal