Classical Verification of Quantum Computation Beyond the Polynomial Hierarchy
Dit artikel demonstreert dat, ten opzichte van een klassieke oracle, een klassieke polynomiale-tijd verifieerder efficiënt een taal kan verifiëren die de polynomiale hiërarchie overstijgt, bepaald door een quantum polynomiale-tijd bewijzer met behulp van een public-coin interactief bewijssysteem, bereikt door een nieuwe recursieve Fourier-samplingvariant en een nieuw schakeltheorema dat de beperkingen van Håstad's schakellemma overwint.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.