Curso de corrección de errores cuánticos
Trece lecciones cortas para entender cómo se protege un cúbit que no se puede copiar ni mirar. Empieza por los motivos para dudar de que fuera posible y acaba en los Reed-Solomon cuánticos, con la misma receta que el curso de códigos: la idea, un ejemplo resuelto entero y ejercicios con solución. La física imprescindible (estado, medida, producto tensorial) se explica desde cero, y no hay demostraciones largas.
Qué necesitas saber. Si sabes multiplicar matrices, operar con números complejos y calcular un síndrome con una matriz de paridad (lo tienes en el curso de códigos correctores), puedes seguirlo. La física imprescindible (estado, medida, producto tensorial) se explica desde cero.
El hilo del curso. A mediados de los 90 había serias dudas de que se pudieran corregir errores cuánticos: no se puede copiar un cúbit, los errores son continuos y mirar destruye el estado. En 1995 Shor encontró un código de 9 cúbits que salva los tres obstáculos. De ahí salen los estabilizadores, los códigos CSS, que se construyen con códigos clásicos, y al final los Reed-Solomon cuánticos.
- 1Por qué parecía imposible corregir errores cuánticosUn cúbit es un vector unitario. Tres obstáculos (no clonar, errores continuos, medir destruye) hacían dudar de la corrección cuántica hasta que Shor la logró.
- 2Varios cúbits y medir sin mirarEstados de varios cúbits con el producto de Kronecker, el entrelazamiento y la medida de un observable como Z1Z2 sin leer los cúbits uno a uno.
- 3El código de repetición de 3 cúbits: corregir sin mirarEl primer código cuántico: tres cúbits protegen uno contra un cambio de bit midiendo solo paridades. Responde a la no clonación y a la medida, y deja una pregunta.
- 4El código de Shor: tres respuestas a tres obstáculosEl código de 9 cúbits de Shor (1995): sus dos palabras, los 8 observables de paridad que lo vigilan y cómo responde a la no clonación y a la medida.
- 5El código de Shor corrige cualquier error de un cúbitPor linealidad, todo error de un cúbit es combinación de I, X, Y y Z, y medir el síndrome lo convierte en uno solo. Los 27 errores, la degeneración y un error continuo.
- 6Matrices de Pauli y producto simplécticoEl lenguaje de los códigos cuánticos con cúbits: operadores de Pauli como vectores binarios y una cuenta, el producto simpléctico, que dice si dos conmutan.
- 7Códigos estabilizadores y síndrome: vigilar sin mirarUn código cuántico como el subespacio que fijan unos Pauli que conmutan, y el síndrome como producto simpléctico: el análogo exacto del síndrome Hr^T clásico.
- 8Operadores lógicos, distancia y estados lógicos de un códigoQué errores no ve un código estabilizador, cómo se define su distancia y cómo se escriben sus estados lógicos con la suma sobre el grupo estabilizador.
- 9Códigos CSS: un código cuántico hecho con dos clásicosCómo dos códigos binarios con C2⊥ ⊆ C1 dan un código cuántico: estabilizadores, estados lógicos como clases laterales, síndromes clásicos y distancia.
- 10El código de Steane: siete cúbits y el truco de HammingEl código CSS [[7,1,3]] hecho con el Hamming [7,4,3]: sus estados lógicos escritos enteros, sus seis generadores y un síndrome que lee en binario dónde está el error.
- 11Qudits: del cúbit a p niveles y el código de 3 cútritsLos operadores X y Z de un qudit, el producto simpléctico con signo y el código de 3 cútrits [[3,1,2]]_3: detecta un error, corrige un borrón y reparte un secreto.
- 12Códigos CSS sobre cuerpos finitos: códigos cuánticos para quditsLa construcción CSS con dos códigos clásicos sobre un cuerpo de p elementos: estabilizadores, estados lógicos, síndromes y un código de 13 cútrits que corrige un error.
- 13Reed-Solomon cuánticos: el cierre del cursoUn Reed-Solomon que contiene a su dual da, con la construcción CSS, un código cuántico [[n, 2k−n, n−k+1]] que alcanza la cota de Singleton cuántica.