MIP* = RE - Henry Yuen

Explore the groundbreaking seminar on the MIP* = RE theorem presented by Henry Yuen from the University of Toronto. Delve into the fascinating world of quantum correlations, nonlocal games, and complexity theory. Gain insights into classical and quantum correlations, the CHSH game, and various models of quantum entanglement. Discover the intricacies of the Compression theorem, recursive compression, and efficient tests for entanglement. Uncover the relationship between MIP and MIP* complexity classes and examine upper bounds on MIP*. This 59-minute lecture, part of the Computer Science/Discrete Mathematics Seminar I at the Institute for Advanced Study, offers a comprehensive exploration of this revolutionary result in quantum complexity theory.

Intro
Classical correlations
Quantum correlations
CHSH game
Nonlocal games
A complexity theorist's checklist
MIP vs MIP*?
Upper bounds on MIP*?
Models of quantum entanglement
Tensor product model
Commuting operator model
Correlations and games
The Compression theorem
Recursive compression
Compression through introspection
Efficient tests for entanglement