Full Extractors for Logical Processing in Hypergraph Product Codes

Para construir una computadora que pueda resolver problemas más allá del alcance de las máquinas actuales, los científicos primero deben resolver un problema fundamental: cómo mantener segura la información frágil. Las computadoras cuánticas utilizan partículas que existen en estados delicados, y estos estados colapsan fácilmente cuando se ven perturbados por el calor o el ruido. Para prevenir esto, los investigadores utilizan la corrección de errores cuánticos, un método que distribuye una sola pieza de información a través de muchas partículas físicas. Si una partícula falla, las otras mantienen la verdad. La forma más común de hacer esto hoy en día utiliza una estructura de tipo rejilla llamada código de superficie, que es fiable pero requiere una enorme cantidad de partículas físicas para almacenar solo unas pocas piezas de información. Este alto costo hace que la computación a gran escala sea difícil. Una clase más nueva de códigos, conocidos como códigos de comprobación de paridad de baja densidad, ofrece una forma de almacenar la misma cantidad de información utilizando muchas menos partículas, pero han sido más difíciles de utilizar para cálculos reales porque las conexiones entre partículas requeridas para realizar operaciones son complejas y difíciles de construir con el hardware actual.

Un equipo de investigadores del Instituto de Tecnología del Massachusetts (MIT) ha diseñado ahora un sistema que cierra esta brecha. Crearon un método para realizar cálculos sobre estos códigos eficientes sin necesidad de las conexiones complejas y reconfigurables que anteriormente se pensaba que eran necesarias. Los investigadores construyeron lo que llaman "extractores completos", que son sistemas auxiliares especializados conectados a la memoria principal de la computadora. Estos extractores actúan como una herramienta de medición, permitiendo al sistema leer cualquier pieza específica de información codificada en la memoria cuántica sin perturbar el resto. Al ensamblar estas herramientas a partir de componentes más pequeños y verificados, el equipo demostró que es posible medir cualquier operación lógica en un tipo específico de código eficiente manteniendo las conexiones de hardware simples y fijas.

El desafío central que el equipo abordó fue cómo medir la información almacenada en estos códigos eficientes. En una computadora cuántica, no se puede simplemente observar los datos para ver qué son, porque el acto de mirar destruye la información. En su lugar, se debe medir de forma indirecta utilizando un proceso llamado cirugía de código. Esto implica fusionar temporalmente el bloque de memoria con un conjunto adicional de partículas auxiliares, realizar una medición y luego separarlos. Los intentos previos de hacer esto con códigos eficientes requerían la capacidad de recablear las conexiones entre partículas sobre la marcha, una capacidad que es difícil de lograr con los chips superconductores utilizados en la mayoría de los procesadores cuánticos actuales. Otros enfoques utilizaban conexiones fijas pero solo podían medir un conjunto limitado de operaciones, obligando a la computadora a descomponer tareas complejas en muchos pasos más pequeños y lentos. Los investigadores buscaban encontrar un punto medio: un sistema con conexiones fijas que pudiera, aun así, medir cualquier operación directamente.

Para resolver esto, el equipo se centró en una familia específica de códigos eficientes llamados códigos de producto de hipergrafo. Desarrollaron un método de construcción paso a paso para construir sus herramientas de medición. Primero, diseñaron sistemas pequeños y simples capaces de medir la información almacenada en solo una sección de la memoria. Verificaron que estos sistemas pequeños fueran lo suficientemente robustos como para manejar errores sin corromper los datos. Luego, vincularon estos sistemas pequeños mediante conexiones de puente para crear una herramienta más grande capaz de medir toda la información en una dirección. Finalmente, combinaron dos de estas herramientas más grandes —una para cada dirección de información— en un único sistema completo. Este sistema final, el extractor completo, puede medir cualquier operación posible en el bloque de memoria. Crucialmente, todo el sistema fue diseñado para funcionar con un patrón de conexiones fijo, donde ninguna partícula individual necesita estar conectada a más de diez otras. Este nivel de conectividad está dentro del alcance de las técnicas de fabricación actuales para los procesadores cuántos superconductores.

Los investigadores probaron su diseño utilizando simulaciones computacionales detalladas para ver cómo se desempeñaría en presencia de ruido. Simularon un sistema con un nivel específico de protección contra errores e introdujeron errores aleatorios para ver qué tan bien podía recuperarse el sistema. En estas simulaciones, cuando los componentes físicos tenían una tasa de error del 0.1 por ciento, el sistema midió con éxito la información lógica con una tasa de error de aproximadamente uno en un millón. Este resultado es significativo porque muestra que la eficiencia de los nuevos códigos no se produce a costa de la fiabilidad. Las simulaciones también revelaron que el tamaño total del sistema, incluyendo la memoria y las herramientas de medición, era solo entre un 47 y un 80 por ciento mayor que el propio bloque de memoria. Este es una mejora drástica respecto a los diseños anteriores, que a menudo requerían sistemas mucho más grandes que la memoria que estaban protegiendo.

El trabajo sugiere que el camino hacia la computación cuántica práctica no requiere esperar a un hardware que pueda recablearse instantáneamente. En cambio, demuestra que, con un diseño arquitectónico cuidadoso, el hardware existente con conexiones fijas puede soportar los códigos de corrección de errores más eficientes. Los investigadores señalaron que, aunque sus simulaciones utilizaron un tipo específico de decodificador para procesar la información de error, la arquitectura fundamental es sólida y podría adaptarse a medida que mejoren los métodos de decodificación. También destacaron que, aunque su diseño actual se centra en un solo bloque de memoria, los mismos principios podrían utilizarse para conectar muchos bloques para formar una computadora a gran escala. Al demostrar que estos códigos eficientes pueden operarse con conexiones simples y fijas, el equipo ha eliminado una barrera teórica importante para la construcción de máquinas cuánticas más grandes y potentes. Los resultados indican que el ahorro de espacio ofrecido por estos códigos puede realizarse sin introducir la pesada carga computacional que anteriormente los hacía impracticables para el uso en el mundo real.