A Computational Tsirelson's Theorem for the Value of Compiled XOR Games

ePrint Report: A Computational Tsirelson's Theorem for the Value of Compiled XOR Games

David Cui, Giulio Malavolta, Arthur Mehta, Anand Natarajan, Connor Paddock, Simon Schmidt, Michael Walter, Tina Zhang

Nonlocal games are a foundational tool for understanding entanglement and constructing quantum protocols in settings with multiple spatially separated quantum devices. In this work, we continue the study initiated by Kalai et al. (STOC '23) of compiled nonlocal games, played between a classical verifier and a single cryptographically limited quantum device. …

arthur computational cui eprint report games michael protocols quantum report settings tool understanding value xor