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
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
la transformée de Fourier, comme ceux...
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...
