Contexte scientifique

S’il advenait sous sa forme la plus prometteuse, l’ordinateur quantique constituerait un bouleversement majeur pour beaucoup des algorithmes utilisés en industrie. Sont concernés des algorithmes aussi variés que la résolution d’équations aux dérivées partielles, la simulation de molécules, l’apprentissage machine ou les mathématiques financières.

Le développement d’algorithmes quantiques répond à des règles et à une logique drastiquement différentes de celles utilisées lors du développement d’algorithmes classiques.

Par ailleurs, la maturité de la technologie fait que des questions qu’un algorithmicien classique a cessé de se poser redeviennent prégnantes dans le monde quantique. La correction d’erreurs, le formalisme de représentation des circuits, l’encodage des données ou encore la compilation de circuits sont autant de questions qui sont encore ouvertes et qui nécessitent une adaptation au plus près du cas considéré. En l’absence de machines, un travail théorique profond est mené par la communauté scientifique pour adresser outre ces questions, des questions en algorithmique quantique, en classes de complexités quantiques, en théorie de l’information quantique ainsi qu’en méthodes formelles quantiques.

Contenu

Lors de cette école d’été, nous irons au-delà des premières introductions au calcul quantique et nous aborderons des notions telles que la correction d’erreur, les dernières avancées en algorithmique quantique ainsi que le formalisme de représentation des circuits quantiques. On présentera notamment

• Une introduction générale à l’informatique quantique
• Des avancées en optimisation et recherche combinatoire
• Un panorama des technologies
• Les méthodes formelles quantiques
• Le ZX Calculus
• Les Marches quantiques et utilisation pour la résolution numérique d’équations aux dérivées partielles
• La correction d’erreurs et des notions relatives au volume Quantique
• La compilation de codes & Langages
• Le Quantum Learning Theory
• Des TPs informatiques sur l’implémentation et l’utilisation sur des cas simples

Programme prévisionnel

Monday
9h-10h30 Introduction (J. M Torres (IBM))
10h45-12h30 Error Control (V. Savin (CEA))
13h30 – 14h OVH Cloud Quantum access F. Bouton (OVH)
14h00-15h30 Error Control (V. Savin (CEA))
16h00-17h30 Panorama of Technologies (O. Ezratty)

Tuesday
9h-12h Quantum Walks and PDEs (F. Debbasch)
13h30 – 14h GENCI and HQI Cloud Access (P. Deniel (CEA))
14h -17h00 Practical Session (Jean Sennelart (Quandela))
17h30 – 18h00 – Quantum Communication (TBD)
19h00 – Diner

Wednesday
9h-12h30. From Programming Language to Low Level interfaces, (B. Valiron (Ecole Centrale))
13h30 – 15h00 Verification of Quantum Programs (C. Chareton (CEA))
15h30 -17h00 Optimisation and Quantum Circuits Synthesis (Simon Martiel (IBM))

Thursday
9h-12h30 Quantum Control, N. Amini (Ecole Centrale Supelec)
13h30 – 14h00 Quantum @ EDF
14h -17h30 Practical Work (Mauro Darcangelo (Pasqal))

Friday
9h-10h45 Quantum Operations Research (P. Lacomme)
11h00-12h45 : Quantum Operations Research (S. Louise)
13h45 – 15h15 : MyQLM (Robert Wang (Eviden))
15h15-15h30 : Pause
15h30 -17h00 MyQLM (Robert Wang (Eviden))

Informations pratiques

Date

03 juillet – 07 juillet 2023

Lieu

EDF Lab
Paris-Saclay
Boulevard Gaspard Monge
91120 Palaiseau

Inscription

Pour pouvoir participer, merci de remplir le formulaire d’inscription et l’envoyer avant le 9 juin 2023 à Régis Vizet.

Contacts

Sécretariat des écoles
Régis Vizet – CEA
tel: 01 69 26 47 45
Fax: 01 69 26 70 05

Coordinateurs de l’école d’informatique 2023
Joseph Mikael
Christian Gamrat
Fabrice Rastello
Simon Perdrix
Harold Ollivier

Frais d’insription (hors taxe)

CEA, EDF, industrie : 1200 euros
Académie / université & recherche publique : 600 euros
étudiants en thèse (nombre limité) : 300 euros