Notice
Codes correcteurs quantiques
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
Descriptif
Un ordinateur quantique tire parti de certains phénomènes quantiques de la matière. Arriver à construire un ordinateur de ce type, de taille même modeste, présente un enjeu certain. En effet, il a été montré qu'une telle machine permet d'effectuer certains calculs difficiles, comme factoriser de grands nombres qui sont hors de portée d'un ordinateur classique. Cela aurait notamment des répercussions importantes en cryptographie : tous les systèmes de chiffrement à clé publique qui sont utilisés actuellement seraient menacés par un tel ordinateur.
De petits calculateurs quantiques ont déjà été construits durant ces quinze dernières années. La difficulté fondamentale pour construire un ordinateur de taille suffisante pour factoriser les nombres entiers utilisés dans les protocoles cryptographiques actuels réside dans le fait que les bits quantiques sont beaucoup plus fragiles que les bits classiques. Ils subissent quelle que soit la technologie mise en oeuvre des phénomènes de décohérence qui altèrent très rapidement leur état. Ce phénomène peut être combattu en utilisant des codes correcteurs quantiques qui parviennent à compenser un tel phénomène. Pour l'instant, les solutions à l'étude reposent essentiellement sur une multitude d'étages constitués par de petits codes correcteurs quantiques.
Le domaine des codes correcteurs classiques a élaboré au fil du temps des solutions beaucoup plus performantes que la concaténation de petits codes, comme les turbo-codes ou les codes LDPC. Obtenir des versions quantiques satisfaisantes de ces familles de codes classiques permettrait d'avoir des familles de codes correcteurs quantiques qui sont à la fois raisonnablement simples à mettre en oeuvre et beaucoup plus performantes que les solutions actuelles. L'exposé fera un survol de cette question et expliquera notamment :
- comment ça marche un turbo-code classique,
- les problèmes spécifiques que pose la généralisation de ces familles de codes au cadre quantique,
- quels sont les progrès récents sur cette question qui permettent d'être optimistes sur le succès d'une telle approche.
Intervention
Dans la même collection
-
Explorations Mathématiques de l'activité du cerveau
TouboulJonathanExplorations Mathématiques de l'activité du cerveau Le siècle dernier a été une période fascinante durant laquelle les recherches expérimentales ont fait des avancées majeures sur la
-
Logic-based static analysis for the verification of programs with dynamically allocated data struct…
DrăgoiCezaraSoftware development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and
-
Resolving Entities in the Web of Data
ChristophidesVassilisOver the past decade, numerous knowledge bases (KBs) have been built to power a new generation of Web applications that provide entity-centric search and recommendation services. These KBs offer
-
Wireless In the Woods: Monitoring the Snow Melt Process in the Sierra Nevada
WatteyneThomasHistorically, the study of mountain hydrology and the water cycle has been largely observational, with meteorological forcing and hydrological variables extrapolated from a few infrequent manual
-
Phénomènes Aléatoires dans les Réseaux
RobertPhilippeLes phénomènes aléatoires sont une composante-clé des réseaux de communication, ils interviennent, de façon majeure, dans le trafic que les réseaux traitent, ainsi que dans certains algorithmes
-
Modèles mémoire pour les multiprocesseurs à mémoire partagée
MarangetLucLa plupart des systèmes qui s'apparentent à des ordinateurs un tant soit peu sophistiqués comprennent plusieurs unités de calcul qui communiquent par l'intermédiaire d'une mémoire partagée.
-
Gestion de données personnelles respectueuse de la vie privée
AnciauxNicolasEn très peu de temps, nous sommes entrés dans une ère de génération massive des données personnelles créées par les individus, leurs équipements digitaux ou mises à disposition par certaines
-
Génération de maillages pour la simulation numérique
LoseilleAdrienUne branche importante du calcul scientifique consiste à simuler sur ordinateurs des phénomènes physiques complexes. Son intérêt consiste à mieux appréhender des problèmes fondamentaux : solution
-
Réduction de modèles de voies de signalisation intracellulaire
FeretJérômeLes voies de signalisation intracellulaire sont des cascades d'interaction entre protéines, qui permettent à la cellule de recevoir des signaux, de les propager jusqu'à son noyau, puis de les