How hard is it to verify a classical shadow?
Questo articolo indaga la complessità computazionale della verifica degli shadow classici, dimostrando che il compito è QMA-completo per misurazioni di Clifford locali ma risolvibile in modo efficiente per misurazioni di Clifford globali su osservabili a norma di Frobenius bassa, identificando al contempo un problema completo naturale per una generalizzazione quantistica del secondo livello della gerarchia polinomiale quando si tratta di un numero esponenziale di osservabili.