QLunch: Junqiao Lin

Speaker: Junqiao Lin

Title: Gap-preserving compression theorem for nonlocal games

Abstract: The gap-preserving compression theorem is the backbone behind showing that approximating the optimal value for a nonlocal game is uncomputable (the MIP*=RE theorem). In this talk, I will introduce the gap-preserving compression theorem under the tensor product model and show how this is used within the proof of the MIP*=RE theorem. I will also introduce what a gap-preserving compression theorem for the commuting operator model could potentially look like and how it can be used to show the MIPco=coRE conjecture.

This talk is based on the following two papers:
[2001.04383] MIP*=RE (arxiv.org)
[2110.04651] Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy (arxiv.org)