Maths en mouvement 2017

Recevez la lettre d'information

Télécharger la lettre d'information

La neuvième édition de Mathématiques en Mouvement se déroulera le samedi 20 mai 2017, en collaboration avec le séminaire Mathematic Park, à l'Institut Henri Poincaré, de 10h à 17h, sur le thème de L'ordinateur quantique.

Les orateurs

André Chailloux (SECRET, Inria Paris)

Eleni Diamanti (LIP6, UPMC)

Sophie Laplante (IRIF, Université Paris-Diderot)

Simon Perdrix ((LORIA, Université de Nancy)

Miklos Santha (IRIF, Université Paris-Diderot / CQT, Singapour)

Benoît Valiron (CentraleSupélec / LRI, Université Paris-Sud)

Le programme

09h45 : Accueil
10h00 : Discours de bienvenue
10h15 : Fondements de l’information quantique, téléportation, Sophie Laplante (IRIF, Université Paris Diderot)
10h55 : Modèles de calculs, premiers algorithmes, Simon Perdrix (LORIA, Université de Nancy)
11h35 : Pause
11h50 : Factorisation et au delà, Miklos Santha (IRIF, Université Paris Diderot / CQT, Singapour)
12h30 : Déjeuner, speed-meetings, visite des stands
14h00 : Cryptographie quantique en théorie, André Chailloux (Secret, INRIA Paris)
14h40 : Cryptographie quantique et téléportation en pratique, Eleni Diamanti (LIP6, UPMC)
15h20 : Pause
15h35 : Programmer un ordinateur quantique, Benoît Valiron (LRI, Université Paris Sud / CentraleSupélec)
16h15 : Table ronde modérée par Philippe Pajot (sous réserve) de La Recherche

Résumés des exposés

Inégalités de Bell et crypto quantique en pratique
Par Eleni Diamanti
Dans cet exposé on présentera les systèmes utilisés pour la démonstration expérimentale des protocoles d'information quantique. On parlera brièvement de multiples candidats pour l'implémentation d'un ordinateur quantique et on discutera ensuite plus en détail de systèmes photoniques mis en oeuvre pour démontrer en pratique deux résultats phares du domaine: la non-localité quantique via la violation des inégalités de Bell et la distribution quantique de clés avec une sécurité absolue, non atteignable avec des techniques classiques.

Programmer un ordinateur quantique
Par Benoît Valiron
Le moins qu'on puisse attendre d'un ordinateur est d'être programmable et de pouvoir réaliser un algorithme quelconque, pour autant que les resources nécessaires soient disponibles. Qu'est-ce que cela veut dire dans le cas d'un ordinateur quantique ? Dans cette exposé, nous regarderons les algorithmes quantiques d'un point de vue pratique : ce que l'on peut faire avec, les constructions qu'ils nécessitent et les modèles de calcul implicites qu'ils utilisent. Nous verrons ensuite comment programmer concrètement avec un ordinateur quantique.