Workshop
Registration Deadline: | October 20, 2023 12 months ago |
---|---|
To apply for Funding you must register by: | July 31, 2023 about 1 year ago |
Parent Program: | -- |
---|---|
Series: | Hot Topic, Hot Topic |
Location: | SLMath: Eisenbud Auditorium, Commons Room, Atrium |
Show List of Speakers
- Michael Brannan (University of Waterloo)
- Michael Chapman (New York University, Courant Institute)
- Mikael de la Salle (CNRS)
- Gemma De les Coves (Leopold-Franzens Universität Innsbruck)
- Priyanga Ganesan (University of California, San Diego)
- Isaac Goldbring (University of California, Irvine)
- Andrew Marks (UC Berkeley)
- Dana Moshkovitz aaronson
- Anand Natarajan (Massachusetts Institute of Technology)
- Seyed Sajjad Nezhadi (University of Maryland)
- Vern Paulsen (University of Waterloo)
- William Slofstra (University of Waterloo)
- John Wright (University of Texas, Austin)
- Henry Yuen (Columbia University)
- Yuming Zhao (University of Waterloo)
This workshop is about the recent MIP*=RE result from quantum computational complexity, and the resulting resolution of the Connes embedding problem from the theory of von Neumann algebras. MIP*=RE connects the disparate areas of computational complexity theory, quantum information, operator algebras, and approximate representation theory. The techniques used in the proof of MIP*=RE, such as self-testing and probabilistically checkable proofs, are well-known in theoretical computer science and quantum information, but are unfortunately completely foreign in operator algebras and approximate representation theory. Likewise, the tools of operator algebras and approximate representation theory are mostly unfamiliar in theoretical computer science and quantum information. This has made it challenging to translate the MIP*=RE result and the techniques used to prove it into a form digestible to operator algebraists. The aim of this workshop is to bridge this divide, by giving an in-depth exposition of the techniques used in the proof of MIP*=RE, and highlighting perspectives on the MIP*=RE result from operator algebras and approximate representation theory. In particular, this workshop will highlight connections with group stability, something that has not been covered in previous workshops. In addition to increasing understanding of the MIP*=RE proof, we hope that this will open up further applications of the ideas behind MIP*=RE in operator algebras.
Bibliography
Download a PDF flyer to share with your department or colleagues
Zoom Link: https://msri.zoom.us/j/93856043419?pwd=VlNEdE1nanNkRUpvN0I4NkkrUnF6dz09
Keywords and Mathematics Subject Classification (MSC)
Tags/Keywords
MIP*
interactive proofs
nonlocal games
low-degree testing
self-testing
Tsirelson’s problem
Connes’ embedding problem
68Q12 - Quantum algorithms and complexity in the theory of computing [See also 68Q09, 81P68]
81P40 - Quantum coherence, entanglement, quantum correlations
81R15 - Operator algebra methods applied to problems in quantum theory [See also 46Lxx, 81T05]
Show Schedule, Notes/Handouts & Videos
Show All Collapse
Oct 16, 2023 Monday |
|
||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Oct 17, 2023 Tuesday |
|
||||||||||||||||||||||||
Oct 18, 2023 Wednesday |
|
||||||||||||||||||||||||
Oct 19, 2023 Thursday |
|
||||||||||||||||||||||||
Oct 20, 2023 Friday |
|