Does Not Relativize
Diese Arbeit löst eine langjährige offene Frage, indem sie ein Orakel konstruiert, relativ zu dem 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.