Présidents de session
Quantique: Algorithmes quantiques de base
- François Arnault (Université de Limoges)
Quantique: Introduction aux codes correcteurs quantiques
- Philippe Gaborit (Université de Limoges)
- Gilles Zemor (Université de Bordeaux)
Quantique: Programmation quantique pratique
- Simon Martiel (ATOS)
Description
Exposés longs sur le quantique
-
Dr François Arnault (Université de Limoges)07/06/2021 10:00
Cet exposé vise à présenter les algorithmes quantiques de base, en particulier ceux ayant un impact potentiel en cryptographie. Parmi eux, les algorithmes de type Simon et Grover qui permettent d'accélérer la recherche de valeurs vérifiant une propriété particulière (par exemple une clé cryptographique), et les algorithmes basés sur l'utilisation de
Aller à la page de la contribution
la transformée de Fourier, comme ceux... -
Prof. Gilles Zemor (Univeristé de Bordeaux)07/06/2021 14:00
Un code correcteur quantique peut être vu comme la donnée de deux codes correcteurs classiques. Dans la théorie classique, les codes dits LDPC (Low Density Parity Check) font partie des plus anciens codes connus: ils sont munis d'algorithmes de décodage efficaces et permettent à leurs rendements d'atteindre constructivement la limite de Shannon. Ils ont ainsi peu de rivaux, à la fois en...
Aller à la page de la contribution -
Simon Martiel (atos)07/06/2021 15:30
Comme en informatique classique, il y a un fossé entre la description théorique d’un algorithme quantique et son implémentation en terme de séquence d’instructions quantiques. Dans ce cours, nous utiliserons une librairie de description de circuits quantiques (l’extension naturelle
Aller à la page de la contribution
des circuits booléens classique à un modèle quantique) pour implémenter quelques algorithmes. En particulier,...