Quantum PCPs: on Adaptivity, Multiple Provers and Reductions to Local Hamiltonians

Harry Buhrman, Jonas Helsen, Jordi Weggemans

We define a general formulation of quantum PCPs, which captures adaptivity and multiple unentangled provers, and give a detailed construction of the quantum reduction to a local Ha…