Quantum soundness of the classical low individual degree test

Zhengfeng Ji, Anand Natarajan, Thomas Vidick +2

Low degree tests play an important role in classical complexity theory, serving as basic ingredients in foundational results such as $\mathsf{MIP}=\mathsf{NEXP}$ [BFL91] and the…