Groupe de travail sur le problème de Connes, Kirchberg, Tsirelson
English version, Retour à la page principale.
Avec Guillaume Aubrun (ICJ) et Omar Fawzi (LIP), nous organisons un groupe de travail sur le problème de Connes-Kirchberg-Tsirelson et l'annonce de sa résolution par la négative par Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright et Henry Yuen. Ce groupe de travail réunit principalement des mathématiciens et informaticiens de Lyon et Toulouse.
Le groupe de travail a lieu les jeudis à 10h00. Les premiers exposés ont eu lieu à l'UMPA, avec une retransmission par Renavisio pour permettre à des collègues de Toulouse de participer. Avec la situation sanitaire et le confinement, le groupe de travail est devenu entièrement en ligne. Nous utilisons le système libre BigBlueButton, installé sur les serveurs de l'ENS de Lyon. Le groupe de travail est ouvert à tous, il suffit d'envoyer un courriel à un des organisateurs pour avoir les détails de connexion.
Exposés, passés et futurs
- 06/02 2020: Omar Fawzi et Mikael de la Salle : ``Introductory talk".
- 13/02 2020: Amine Marrakchi (CNRS, UMPA) "Physical interpretation of quantum games".
- 20/02 2020: Alexander Mueller-Hermes (ICJ) et Emilie Mai Elkiaer (UMPA). "Non-closure of the set of quantum correlations via graphs (following K. Dykema, V. Paulsen and J. Prakash)". Référence : arxiv:1703.08618 et arxiv:1709.05032. Les notes de l'orateur sont disponibles ici.
- 02/04 2020: Étienne Moutot (LIP) "Turing machines and computability".
Les notes de l'orateur sont disponibles ici. Le livre d'introduction conseillé sur le sujet est "Introduction to the Theory of Computation", de Michael Sipser.
- 09/04 2020: Guillaume Aubrun "The Navascués-Pironio-Acín hierarchy". Notes de l'exposé.
- 16/04 2020: Omar Fawzi ``From the game compression procedure to the
undecidability of approximating the quantum value of a game''. Référence : MIP*=RE, Notes de l'exposé.
- 30/04 2020: Cécilia Lancien (CNRS, IMT Toulouse) ``Exact self-testing for binary constraint system games''.
Résumé: In this talk I will start with explaining the concept of
self-testing (aka rigidity) for non-local games. I will then present a
general approach which allows to prove self-testing results for a class
of games known as binary linear system games, through the representation
theory of their so-called solution group.
This talk will be mostly based on ideas and results appearing here and here.
Notes de l'exposé.
- 07/05 2020: Sophie Morel (CNRS, UMPA) ``Robust self-testing via approximate representations'' Notes de l'exposé.
- 28/05 2020: Bruno Sévennec (CNRS, UMPA) ``Around the PCP theorem'' Notes de l'exposé. Ici, aussi des notes d'Omar Fawzi sur le lien entre théorème PCP et la complexité des jeux à deux joueurs.
- 18/06 2020: Laurent Bartholdi (Georg-August University à, Goettingen,) ``Low-degree testing'' Notes de l'esposé.
- ... suite à préciser