Quantum PCP Conjecture

Compression of quantum multi-prover interactive proofs

We present a protocol that transforms any quantum multi-prover interactive proof into a nonlocal game in which questions consist of …

Zhengfeng Ji