A convergent sum-of-squares hierarchy for compiled nonlocal games

David Cui, Chirag Falor, Anand Natarajan +1

We continue the line of work initiated by Kalai et al. (STOC '23), studying "compiled" nonlocal games played between a classical verifier and a single quantum prover, with cryptogr…