El grupo multiplicativo formado por productos tensoriales de matrices de Pauli junto con factores de fase ±1 y ±i; para n qubits consiste en todos los productos tensoriales n-ple de I, σx, σy, σz con esas fases, cerrado bajo multiplicación.

Principio

Como base de errores y subgrupo finito del grupo unitario (hasta fase), el grupo de Pauli proporciona una base discreta de operadores cuyas reglas de multiplicación rastrean errores cuánticos y relaciones de conmutación usadas en construcciones estabilizadoras.

Demostración

En dos qubits, un elemento puede ser (−i)(σx ⊗ σz); al conjugarlo por una unidad de Clifford se transforma en otro elemento de Pauli, y las medidas de síndrome en un código estabilizador detectan qué error tipo Pauli ocurrió, hasta una fase global.

Aplicación incorrecta

Tratar como físicamente distintos dos elementos que difieren solo por una fase global o suponer que el grupo es abeliano conduce a un recuento incorrecto de errores y a simplificaciones algebraicas erróneas.

Consecuencia

Identificar correctamente el grupo de Pauli proporciona un modelo de errores discreto eficiente, posibilita el formalismo estabilizador y la decodificación de síndromes, y sustenta muchas simulaciones clásicas de circuitos restringidos.

Inversión

Sustituir el grupo discreto de Pauli por el grupo unitario continuo elimina la estructura algebraica finita para el seguimiento de errores y convierte el concepto en dinámicas continuas más difíciles de clasificar y corregir de forma discreta.

Límite

Incluye solo productos tensoriales de I y matrices de Pauli con fases ±1, ±i; no incluye unitarios arbitrarios, y la equivalencia física suele ignorar la fase global aunque figure en la forma algebraica del grupo.

Tensión semántica

Tensión entre la completitud algebraica (seguir explícitamente los factores de fase en el grupo) y la indistinguibilidad física (las fases globales se ignoran en mediciones), lo que crea distinciones sutiles en pruebas y construcciones.

Síntesis

El grupo de Pauli es el conjunto multiplicativo finito de operadores tensoriales de Pauli con fases ±1, ±i que forman una base algebraica de errores para sistemas de qubits: útil algebraicamente y físicamente interpretado hasta una fase global para diagnóstico de errores y teoría estabilizadora.