Classical Verification of Quantum Computation Beyond the Polynomial Hierarchy
Diese Arbeit zeigt, dass ein klassischer Polynomialzeit-Verifier im Vergleich zu einem klassischen Orakel effizient eine Sprache jenseits der Polynomialhierarchie verifizieren kann, die durch einen Quanten-Polynomialzeit-Beweiser mittels eines Public-Coin-Interaktiven-Beweissystems entschieden wird, was durch eine neuartige rekursive Fourier-Sampling-Variante und ein neues Switching-Theorem erreicht wird, das die Einschränkungen von Håstads Switching-Lemma überwindet.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.