Classical Verification of Quantum Computation Beyond the Polynomial Hierarchy
Questo articolo dimostra che, rispetto a un oracolo classico, un verificatore classico in tempo polinomiale può verificare efficientemente un linguaggio oltre la gerarchia polinomiale deciso da un dimostratore quantistico in tempo polinomiale utilizzando un sistema di prova interattiva a monete pubbliche, ottenuto attraverso una nuova variante del campionamento di Fourier ricorsivo e un nuovo teorema di commutazione che supera i limiti del lemma di commutazione di Håstad.
Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.