MIPco=coRE: A tale of entanglements, complexity theory, and operator algebras - Junqiao Lin

In this talk, I will go into the background story behind the two complexity classes: MIP* and MIPco, and how three different communities: the physicist, the computer scientist, and the mathematician became interested in an uncomputable result in quantum complexity. I will also go into some of the interesting consequences of this result for all these communities, and if time permits, I will also go into some of the components which make this proof possible. No operator algebra background is required.