Randy - Gap-preserving compression theorem for nonlocal games

Gap-preserving compression theorem for nonlocal games

This seminar, given by Randy, will happend on 30 October 2024, at 15:0. It will take place in Room Not specified.

Find a map of the campus here.

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)