In this expository talk, I will talk about the landmark quantum complexity result MIP*=RE. This is connected to many problems in both physics and operator algebras, and famously is how the Connes Embedding Problem was disproved. I will explain how the long chain of equivalences work, and some of the ideas behind the proof of MIP*=RE.
ASUERAU C*-Seminar
January 11, 2024
WXLR 546
3:00 - 4:00pm MST/AZ
The seminar is organized jointly with Mitch Hamidi and Lara Ismert at Embry-Riddle Aeronautical University in Prescott, AZ.
(Please email the organizers Steve Kaliszewski and Jack Spielberg to be put on the email list if you would like to receive the link to the zoom seminar.)
Note that Arizona does not observe Daylight Savings Time, so if you are in the US but not in Arizona, most likely our seminar has moved one hour earlier relative to your local time. (It's still 3:00-4:00pm MST, which is UTC -7.)
Aareyan Manzoor
Graduate student
University of Waterloo