Le groupe multiplicatif constitué des produits tensoriels de matrices de Pauli accompagnés des facteurs de phase ±1 et ±i ; pour n qubits il comprend toutes les n-pliées tensorielles de I, σx, σy, σz avec ces phases, fermé pour la multiplication.

Principe

En tant que base d'erreurs et sous-groupe fini du groupe unitaire (à une phase près), le groupe de Pauli fournit une base d'opérateurs discrète dont les règles de multiplication suivent les erreurs quantiques et les relations de commutation utilisées dans les constructions stabilisatrices.

Démonstration

Sur deux qubits, un élément peut être (−i)(σx ⊗ σz) ; conjugué par une unité de Clifford il devient un autre élément de Pauli, et les mesures de syndrome dans un code stabilisateur détectent quelle erreur de type Pauli s'est produite, à une phase globale près.

Mauvaise application

Considérer comme physiquement distincts deux éléments du groupe de Pauli ne différant que par une phase globale, ou supposer que le groupe est abélien, conduit à un comptage d'erreurs erroné et à de mauvaises simplifications algébriques.

Conséquence

Une identification correcte du groupe de Pauli fournit un modèle d'erreurs discret efficace, permet le formalisme stabilisateur et le décodage de syndromes, et soutient de nombreuses simulations classiques de circuits restreints.

Inversion

Remplacer le groupe discret de Pauli par le groupe unitaire continu retire la structure algébrique finie de suivi d'erreurs et transforme le concept en dynamiques continues plus difficiles à classer et corriger de façon discrète.

Limite

Ne comprend que les produits tensoriels de I et des matrices de Pauli avec les phases ±1, ±i ; n'inclut pas les unitaires arbitraires, et l'équivalence physique traite souvent la phase globale comme négligeable malgré sa présence dans la forme algébrique du groupe.

Tension sémantique

Tension entre la complétude algébrique (prise en compte explicite des facteurs de phase dans le groupe) et l'indiscernabilité physique (la phase globale étant ignorée dans les mesures) qui crée des distinctions subtiles dans les preuves et constructions.

Synthèse

Le groupe de Pauli est l'ensemble multiplicatif fini des opérateurs tensoriels de Pauli munis des phases ±1, ±i, formant une base d'erreurs algébrique pour les systèmes de qubits : utile algébriquement et physiquement interprété à une phase globale près pour le diagnostic d'erreurs et la théorie stabilisatrice.