Classical Verification of Quantum Computation Beyond the Polynomial Hierarchy
Este artigo demonstra que, em relação a um oráculo clássico, um verificador clássico de tempo polinomial pode verificar eficientemente uma linguagem além da hierarquia polinomial decidida por um provador de tempo quântico polinomial usando um sistema de prova interativa de moedas públicas, alcançado através de uma variante inédita de amostragem de Fourier recursiva e um novo teorema de comutação que supera as limitações do lema de comutação de Håstad.
Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo
Afogado em artigos na sua área?
Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.