Lien vers la page du documentCopiez/collez ce lien pour l'envoyer par email, l'inclure dans une page web ou le partager sur les réseaux sociaux.
Titre :
ZX-calculus
Légende - Résumé :
Renaud Vilmart, doctorant Université de Lorraine, au sein de l’équipe-projet Mocqua, étudie le ZX-calculus. Il s’agit d’utiliser des dessins pour réaliser des preuves en informatique quantique l’idée est d’avoir un ensemble de règles pour transformer un diagramme en un autre chaque dessin représente une évolution quantique. Les couleurs représentent deux opérations différentes (ici une bleue et une rouge) qui ont des propriétés de dualité : le rouge est au bleu ce que le bleu est au rouge. L’objectif est de réduire un calcul compliqué en éléments simples. Il y a des applications en compilation, pour compiler des programmes quantiques notamment et ainsi arriver à un langage intermédiaire pour obtenir un code plus efficace.