Conveners
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)6/7/21, 10:00 AM
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
Go to contribution page
la transformée de Fourier, comme ceux... -
Prof. Gilles Zemor (Univeristé de Bordeaux)6/7/21, 2:00 PM
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...
Go to contribution page -
Simon Martiel (atos)6/7/21, 3:30 PM
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
Go to contribution page
des circuits booléens classique à un modèle quantique) pour implémenter quelques algorithmes. En particulier,...