MIP* = RE Part 1 - The Quantum Low-Degree Test

Explore the intricacies of quantum protocols and complexity theory in this lecture on MIP* and the quantum low-degree test. Delve into nonlocal games, the MIP* complexity landscape, and the challenges of upper-bounding MIP*. Examine the Magic Square quantum strategy and its role as a self-test through representation theory. Investigate the analysis of Magic Square as a self-test and learn about testing relations, including anticommutation and consistency. Gain insights into quantum protocols, testing, and quantum PCPs from Anand Natarajan of Caltech in this comprehensive 70-minute talk presented at the Simons Institute.

Intro
Nonlocal games and MIP
MIP*: the complexity landscape
Upper-bounding MIP*: challenges
Outline
Magic Square: the Quantum Strategy
Self-testing through representation theory
Magic square as a self-test: the analysis
Testing the relations: anticommutation
Testing consistency