Conjecture de Connes Kirchberg et de caractérisation des degrés ludiques FMQ (1ère partie), par Anatole Khelif (7 mai 2014)
prise de vue, mise en page et en ligne : S. Dugowson
Cette page est consacrée à la première partie de l'exposé d'Anatole Khélif. Pour la deuxième partie, voir ici.
Introduction
Introduction
Plan
Plan
[Première partie, le 7 mai 2014]
0. Motivation
1. Définition des degré ludiques
2. Degrés FMQ
3. Existence algorithme pour FMQ
[Deuxième partie, le 14 mai 2014]
4. C*-algébres
5. Conjecture de Connes-Kirchberg, conjecture renforcée
6. Lien avec FMQ
7. Th. de Dye Tyson et corolaires
8. Conclusion : existence algorithme décision (oui ou non) FMQ
Motivation
Motivation
Expériences terrestres et martiennes
Expériences terrestres et martiennes
Classification des relations considérées
Classification des relations considérées
[1] Degrés ludiques (d'uplicité 2)
[1] Degrés ludiques (d'uplicité 2)
Définition
Définition
Interprétation en termes ludiques
Interprétation en termes ludiques
[2] Degrés ludiques FMQ
[2] Degrés ludiques FMQ
[3] Existence d'un algorithme (recherche de l'état A)
[3] Existence d'un algorithme (recherche de l'état A)
Discussions et compléments de la première partie
Discussions et compléments de la première partie
Parenthèse sur la quantique
Parenthèse sur la quantique
Coloriage quantique de S3 (dans les quaternions)
Coloriage quantique de S3 (dans les quaternions)