Classical Verification of Quantum Computation Beyond the Polynomial Hierarchy
Cet article démontre que, par rapport à un oracle classique, un vérificateur classique en temps polynomial peut vérifier efficacement un langage au-delà de la hiérarchie polynomiale décidée par un prouveur quantique en temps polynomial en utilisant un système de preuve interactive à jetons publics, ce qui est réalisé grâce à une nouvelle variante de l'échantillonnage de Fourier récursif et un nouveau théorème de commutation qui surmonte les limitations du lemme de commutation de Håstad.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.