TY - RPRT TI - Constant-Soundness Interactive Proofs for Local Hamiltonians AU - Anand Natarajan AU - Thomas Vidick PY - 2015 UR - https://arxiv.org/abs/1512.02090 ID - 1512.02090 ER -