Non-Local Games

Classical verification of quantum proofs

We present a classical interactive protocol that verifies the validity of a quantum witness state for the local Hamiltonian problem. It …

Zhengfeng Ji