TY - RPRT TI - A multiprover interactive proof system for the local Hamiltonian problem AU - Joseph Fitzsimons AU - Thomas Vidick PY - 2014 UR - https://arxiv.org/abs/1409.0260 ID - 1409.0260 ER -