Computación cuántica tolerante a fallos con baja sobrecarga mediante la gauging de operadores lógicos

Mantener honestos a los ordenadores cuánticos

Los ordenadores cuánticos del futuro prometen resolver problemas que hoy dejan perplejos a los superordenadores, pero también son notoriamente frágiles: pequeñas perturbaciones pueden desbaratar sus cálculos. Este artículo presenta una nueva forma de mantener grandes cálculos cuánticos en buen camino usando menos qubits auxiliares de los que se creía necesarios, acercando las máquinas cuánticas prácticas y resistentes a errores a la realidad.

Por qué los qubits necesitan protección

Los bits cuánticos, o qubits, pueden almacenar información en superposiciones delicadas que se interrumpen fácilmente por el entorno. Para protegerlos, los investigadores agrupan muchos qubits físicos en un qubit lógico usando códigos de corrección de errores cuánticos. Una clase potente de esos códigos, llamados códigos cuánticos de paridad de baja densidad (qLDPC), puede proteger muchos qubits lógicos usando relativamente pocos qubits físicos y solo conexiones escasas entre ellos. Sin embargo, aunque estos códigos son excelentes para almacenar información cuántica, realizar las operaciones lógicas necesarias para la computación a gran escala a menudo ha requerido grandes sistemas auxiliares, lo que reduce su ventaja de eficiencia.

Medir sin romper el código

Muchos algoritmos cuánticos pueden implementarse si podemos medir de forma fiable ciertas propiedades colectivas —los operadores lógicos— de los qubits codificados. Hacerlo descuidadamente puede dañar el código protector o exigir un número enorme de qubits adicionales. Los autores afrontan este desafío reinterpretando un operador lógico como una especie de simetría del sistema, un concepto tomado de la física. En lugar de medir la cantidad global directamente, introducen una red de mediciones locales y sencillas cuyos resultados combinados revelan la misma información. Esta idea, conocida como “gauging” de una simetría, tiene una larga historia en teorías de la materia y las fuerzas, pero aquí se reutiliza como una herramienta práctica para la computación cuántica.

Convertir una pregunta global en comprobaciones locales

El núcleo del método consiste en unir un grafo auxiliar —una red de qubits adicionales— al conjunto de qubits implicados en el operador lógico. Cada arista de ese grafo aloja un nuevo qubit, y se realizan pruebas simples y locales que involucran un qubit de datos y los qubits de arista vecinos. Estas pruebas imponen reglas que recuerdan a la ley de Gauss en electromagnetismo, vinculando el comportamiento de los qubits alrededor de cada vértice. Aunque cada resultado individual parezca aleatorio, su producto codifica el valor del operador lógico original. Tras esta “medición por gauging”, los qubits auxiliares se eliminan con suavidad mediante mediciones adicionales, un proceso llamado “ungauging”, que devuelve el sistema a una forma equivalente al código original.

Diseñar redes auxiliares eficientes

No todos los grafos auxiliares funcionan igual de bien. Para mantener bajas las tasas de error y moderada la sobrecarga, la red debe seguir siendo escasa, conservar una buena distancia protectora y evitar crear lazos excesivamente complicados. Los autores identifican reglas de diseño claras que garantizan estas propiedades y muestran cómo construir sistemáticamente grafos adecuados para cualquier operador lógico. Utilizando herramientas de la teoría moderna de grafos y topología, incluidos los llamados grafos expander y un proceso denominado descongestión, prueban que el número de qubits extra necesarios escala esencialmente de forma lineal con el número de qubits que toca el operador lógico, salvo factores polilogarítmicos modestos. Esto supone una mejora drástica respecto a enfoques anteriores, donde la sobrecarga podía crecer más rápido que el tamaño del propio sistema codificado.

Tolerancia a fallos en espacio y tiempo

Los dispositivos reales sufren no solo errores en los qubits sino también mediciones defectuosas. Los autores analizan cómo se comporta su procedimiento de gauging ante tales imperfecciones al considerar toda la secuencia de operaciones locales en espacio y tiempo como un “código espacio‑tiempo” mayor. Demuestran que, siempre que el grafo auxiliar se elija según sus reglas y las comprobaciones relevantes se repitan suficientes veces, el esquema general mantiene el mismo nivel de protección que el código qLDPC original. En otras palabras, la propia medición lógica se vuelve tolerante a fallos, resistiendo tanto errores físicos en los qubits como resultados mal informados, sin aumentar drásticamente ni el número de qubits ni la duración del protocolo.

Qué significa esto para las máquinas cuánticas futuras

Para un público no especialista, el mensaje clave es que los autores han encontrado una forma de plantear una pregunta global sobre muchos qubits —crucial para ejecutar algoritmos cuánticos— organizando con ingenio una serie de comprobaciones locales y fáciles de implementar que no sobrecargan el hardware. Su marco unifica y generaliza varias técnicas anteriores de “cirugía de códigos” y ofrece una receta clara para extenderlas a nuevas familias de códigos cuánticos. Si se refina e integra con decodificadores prácticos, este enfoque basado en gauging podría convertirse en un bloque constructivo estándar para procesadores cuánticos a gran escala y resistentes a errores, permitiendo realizar cálculos potentes con recursos de hardware que son realísticamente alcanzables.

Cita: Williamson, D.J., Yoder, T.J. Low-overhead fault-tolerant quantum computation by gauging logical operators. Nat. Phys. 22, 598–603 (2026). https://doi.org/10.1038/s41567-026-03220-8

Palabras clave: computación cuántica tolerante a fallos, corrección de errores cuánticos, códigos cuánticos LDPC, mediciones lógicas, cirugía de códigos