Hot Topics: MIP* = RE and the Connes’ Embedding Problem: "Bisynchronous Correlations"
Presenter
October 20, 2023
Keywords:
- MIP*
- interactive proofs
- nonlocal games
- low-degree testing
- self-testing
- Tsirelson’s problem
- Connes’ embedding problem
Abstract
In this talk I will give a light survey on some recent works on bisychronous correlations and bisynchronous games. Bisynchronous correlations form a special class of synchronous correlations, where there is the additional constraint that the probability of Alice and Bob giving the same outputs whenever they receive distinct inputs is always zero.
I will explain how bisynchronous correlations are connected to traces on quantum permutation groups, and how bisynchronous correlations and bisynchronous games fit within the context of MIP*=RE. Time permitting I'll also explain how for certain classes of bisynchronous games (e.g., graph isomorphism games), one can identify perfect strategies using purely combinatorial-algebraic methods by studying representation categories of certain quantum automorphism groups.