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é :
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.