Calcul ZX

Définition

Langage graphique utilisé pour visualiser dans la programmation quantique les notions d’intrication, la complémentarité, la causalité et leurs interactions. Il peut notamment servir au calcul par la mesure (Measurement Based Quantum Computing ou MBQC), à la création de codes de corrections d’erreurs et à l’optimisation de programmes quantiques dans des compilateurs grâce à sa théorie équationnelle et aux déformations topologiques de graphes. Ses principaux contributeurs sont des chercheurs français comme Simon Perdrix.

Français

Calcul ZX

Anglais

ZX calculus

Source : Comprendre l'informatique quantique par Olivier Ezratty

 GLOSSAIRE DE L'INFORMATIQUE QUANTIQUE