Interactive proofs with efficient quantum prover for recursive Fourier sampling
Matthew McKague
所有作者
Matthew McKague
文献摘要
We consider the recursive Fourier sampling problem (RFS), and show that there
exists an interactive proof for RFS with an efficient classical verifier and
efficient quantum prover.