Workshop
Registration Deadline: | October 20, 2023 4 months from now |
---|---|
To apply for Funding you must register by: | July 31, 2023 about 2 months from now |
Parent Program: | -- |
---|---|
Series: | Hot Topic, Hot Topic |
Location: | MSRI: Simons Auditorium, Commons Room, Atrium |
Show List of Speakers
- Priyanga Ganesan (University of California, San Diego)
- Isaac Goldbring (University of California, Irvine)
- Magdalena Musat (University of Copenhagen)
- Anand Natarajan (Massachusetts Institute of Technology)
- William Slofstra (University of Waterloo)
- Lyudmila Turowska (Chalmers University of Technology/University of Göteborg)
- John Wright (University of Texas, Austin)
- Henry Yuen (Columbia University)
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.
How to Register for MSRI/SLMath Workshops
You must be logged into msri.org to register for workshops. You may create a free msri.org account here if you do not have one already.
On the right side menu, there is an orange button with "Click here to Register online". Follow this link and proceed with the registration.
ABOUT ORCID ID: In order to register for most workshops, MSRI/SLMath needs to collect your ORCID ID as required by the National Science Foundation, the primary funder of MSRI/SLMath workshops. ORCID is an independent non-profit organization that provides a persistent identifier – an ORCID ID – that distinguishes you from other researchers and a mechanism for linking your research outputs and activities to your ID. ORCID is integrated into many systems used by publishers, funders, institutions, and other research-related services. Learn more and create an ORCID ID account at orcid.org.
For questions regarding registration, please contact 987@msri.org for assistance.
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 [See also 68Q05, 81P68]
81P40 - Quantum coherence, entanglement, quantum correlations