Le groupe des opérateurs unitaires qui normalisent le groupe de Pauli, c'est-à-dire U appartient au groupe de Clifford si, pour tout Pauli P, UPU† est un autre Pauli (à une phase près) ; sur n qubits il est engendré par des portes comme Hadamard, phase (S) et CNOT.

Principe

Les unitaires de Clifford préservent la structure de Pauli par conjugaison, mappant les erreurs de type Pauli sur des erreurs de type Pauli et les états stabilisateurs sur d'autres états stabilisateurs ; cette invariance algébrique permet un suivi classique efficace de certains processus quantiques.

Démonstration

Un circuit composé uniquement de portes H, S et CNOT transforme, par conjugaison, les opérateurs Pauli de la base computationnelle en d'autres opérateurs Pauli ; les états stabilisateurs restent des états stabilisateurs et peuvent être simulés efficacement par le formalisme stabilisateur.

Mauvaise application

Supposer que le groupe de Clifford est universel pour le calcul quantique ou qu'il peut générer des phases non-Clifford conduit à surestimer la puissance de calcul et à échouer dans la préparation d'états nécessitant des ressources non-Clifford.

Conséquence

Une utilisation correcte identifie une classe de circuits (circuits stabilisateurs) simulables efficacement sur un ordinateur classique, simplifie l'analyse de la propagation d'erreurs et constitue la base de nombreux protocoles de correction d'erreurs et de tolérance aux fautes.

Inversion

Remplacer les opérations de Clifford par des unitaires arbitraires supprime la propriété de préservation des Pauli et avec elle la simulabilité efficace et la structure stabilisatrice, transformant le système en universalité quantique complète nécessitant des ressources additionnelles.

Limite

Le groupe de Clifford est un sous-groupe propre du groupe unitaire complet ; il est défini modulo phase globale et n'inclut pas de portes non-Clifford comme T, nécessaires pour l'universalité sur les qubits.

Tension sémantique

Il existe une tension entre la vue opérationnelle en termes de jeux de portes (H, S, CNOT) et la définition algébrique comme normalisateur ; les deux désignent le même groupe mais insistent sur des aspects pratiques ou structurels différents.

Synthèse

Le groupe de Clifford est l'ensemble des unitaires qui envoient le groupe de Pauli sur lui-même par conjugaison : algébriquement le normalisateur de Pauli, opérationnellement l'ensemble de portes des circuits stabilisateurs qui préserve la structure stabilisatrice et permet un suivi classique efficace mais n'est pas universel seul.