Approximating the quantum value of an LCS game is RE-hard

Aviv Taller, Thomas Vidick

We generalize Håstad's long-code test for projection games and show that it remains complete and sound against entangled provers. Combined with a result of Dong et al. \cite{Dong25…