Speaker
Connor Paddock, University of Calgary
Abstract
The ability to “”oracularize”” a two-player nonlocal game, essentially forcing one of the players to act as both, was a key property in enabling the proof of MIP*=RE and MIPco=coRE. Oracularization can be seen as a stronger form of synchronicity in that if enforces even strong constraints on the algebraic relations of the measurement operators in optimal strategies. I will discuss the consequences of oracularizability, linking it to Spirig and Mousavi’s Quantum Unique Games conjecture, and some recent progress on this result. Along the way, we will see examine quantum Constraint Satisfaction Problems with contexts of size 2 (i.e. 2-CSPs), and how show that they exhibit classes of quantum strategies that are vastly different than their k-CSP counterparts (k\geq 3).