A Computational Tsirelson's Theorem for the Value of Compiled XOR Games
Este artículo demuestra que el método de compilación propuesto por Kalai et al. es sólido para cualquier juego XOR de dos jugadores al demostrar que la cota superior de programación semidefinida sobre el valor cuántico se mantiene para el juego compilado hasta un error despreciable, extendiendo así los resultados previos del caso específico de CHSH a juegos XOR generales y permitiendo cotas ajustadas en repeticiones paralelas, el autotesteo de operadores y certificados de suma de cuadrados.