Un código de corrección de errores cuánticos definido por un conjunto de operadores conmutativos que estabilizan los estados lógicos.Un código estabilizador es un código de corrección de errores cuánticos que protege la información cuántica codificándola en un subespacio definido por un conjunto de operadores conmutativos, llamados estabilizadores. Estos operadores actúan sobre los qubits físicos y dejan inalterados los estados lógicos, fijando efectivamente la información en un subespacio específico y protegido del espacio de Hilbert más amplio. Este marco es central en la computación cuántica moderna porque proporciona una manera sistemática de detectar y corregir errores sin perturbar la información codificada.
Los códigos estabilizadores fueron introducidos a mediados de la década de 1990, con contribuciones clave de Peter Shor y Andrew Steane, y posteriormente formalizados por Daniel Gottesman en 1997.
El código funciona eligiendo un conjunto de operadores de Pauli conmutativos (los estabilizadores) cuyos valores propios definen el espacio del código. Los qubits lógicos se codifican en estados que son autoestados simultáneos con valor propio +1 de todos los estabilizadores. Cuando ocurre un error, este anticonmuta con algunos estabilizadores, haciendo que sus valores propios cambien a -1. La medición de los estabilizadores revela un síndrome que identifica el error, el cual puede corregirse aplicando la operación de recuperación adecuada.
Los códigos estabilizadores son la base de la mayoría de los esquemas actuales de corrección de errores cuánticos, incluidos los códigos de superficie y los códigos de color, que se están implementando en procesadores cuánticos superconductores y de iones atrapados.
El formalismo estabilizador también sustenta el reparto de secretos cuánticos y ciertos protocolos de comunicación cuántica, lo que lo convierte en una herramienta versátil más allá de la corrección de errores.

















