Randy - Gap-preserving compression theorem for nonlocal games

Gap-preserving compression theorem for nonlocal games

Ce séminaire, donné par Randy, aura lieu le 30 October 2024, à 15:0. Il aura lieu en salle Not specified.

Vous trouverez un plan du campus ici.

Résumé

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)