Hot Topics: MIP* = RE and the Connes’ Embedding Problem: "LCS-Games, Non-Hyperlinear Groups, and Schaefer Dichotomy Theorems"
Presenter
October 19, 2023
Keywords:
- MIP*
- interactive proofs
- nonlocal games
- low-degree testing
- self-testing
- Tsirelson’s problem
- Connes’ embedding problem
