Calcul ZX

Le calcul ZX, ou calcul par diagrammes ZX, désigne un langage graphique et un formalisme mathématique rigoureux utilisé en informatique quantique pour représenter, analyser et optimiser les circuits quantiques ainsi que les protocoles de correction d’erreurs. Développé par Bob Coecke et Ross Duncan, ce système repose sur la théorie des catégories et remplace les équations matricielles algébriques complexes par des diagrammes géométriques constitués de nœuds de couleur appelés araignées vertes et rouges. En appliquant des règles de réécriture strictes qui préservent l’équivalence sémantique sous-jacente au sein de l’espace de Hilbert, le calcul ZX permet de simplifier de manière visuelle et automatisée les structures de portes quantiques, s’imposant comme un outil logiciel d’avant-garde majeur.