Substantially Improved Rate and Distance for Addressable Transversal Phase Gates

Las computadoras cuánticas prometen resolver problemas que a las máquinas clásicas les tomaría miles de años, pero son increíblemente frágiles. La más mínima perturbación por calor o vibración puede desordenar la delicada información que contienen, provocando que los cálculos fallen. Para construir una máquina que funcione de manera fiable, los científicos deben proteger esta información utilizando la corrección de errores cuánticos. Este proceso consiste en distribuir un único fragmento de datos entre muchas partículas físicas, creando una red de seguridad donde la pérdida o corrupción de unas pocas partículas no destruya el mensaje completo. Un requisito crítico para que estas máquinas sean verdaderamente útiles es la capacidad de realizar operaciones específicas y complejas sobre los datos sin romper la red de seguridad. Estas operaciones, conocidas como puertas, deben aplicarse de tal manera que se evite que un solo error se propague e infecte todo el sistema.

Durante décadas, una regla fundamental conocida como el teorema de Eastin-Knill ha representado un obstáculo importante. Demostró que ningún código cuántico único puede proteger los datos permitiendo al mismo tiempo que se aplique fácilmente y de forma segura un conjunto completo de operaciones universales en todo el sistema. Los científicos encontraron una solución alternativa mediante el uso de un tipo especial de operación llamada puerta transversal, que actúa sobre cada partícula física de forma individual, manteniendo los errores contenidos. Sin embargo, estas puertas solo podían manejar un conjunto limitado de operaciones. Para realizar la gama completa de cálculos necesarios para una computación potente, los investigadores tuvieron que recurrir a un proceso complejo y con un alto consumo de recursos llamado destilación de estados mágicos para crear las operaciones faltantes. Una solución más elegante sería diseñar códigos donde estas operaciones faltantes pudieran aplicarse de forma directa y selectiva a piezas individuales de datos, una propiedad conocida como direccionabilidad. Aunque intentos previos de crear tales códigos tuvieron éxito en la teoría, los sistemas resultantes eran tan ineficientes que requerían un número impráctico de partículas físicas para almacenar incluso una mínima cantidad de información, lo que los hacía inútiles para aplicaciones del mundo real.

Un equipo de investigadores ha mejorado sustancialmente la eficiencia de estos códigos direccionables, moviéndolos de curiosidades teóricas hacia la realidad práctica. Al desarrollar un nuevo método de codificación de información que va más allá de los marcos binarios estándar, han construido códigos cuánticos que pueden realizar operaciones complejas y no estándar en cúbits lógicos individuales manteniendo un alto nivel de protección contra errores. El equipo demostró que es posible lograr un equilibrio donde la cantidad de datos almacenados sea significativa en relación con el número de partículas físicas utilizadas, y que la distancia entre errores sea lo suficientemente grande como para detectar equivocaciones. Su trabajo proporciona dos métodos distintos para construir estos códigos: uno que puede ser generado rápidamente por una computadora y otro que toma más tiempo pero ofrece un rendimiento aún mejor. Ambos métodos demuestran que la brecha entre lo que es teóricamente posible y lo que se puede construir se está reduciendo significativamente.

El núcleo del avance reside en cómo los investigadores organizan las partículas físicas. En lugar de tratar los datos como simples interruptores de encendido y apagado, organizaron la información en una estructura cíclica, similar a cómo los números se envuelven en la esfera de un reloj. Este enfoque permitió separar la tarea de direccionar cúbits lógicos individuales de la tarea de asegurar que el código sea robusto contra errores. En diseños anteriores, estos dos objetivos estaban estrechamente vinculados, obligando a un compromiso donde mejorar uno significaba sacrificar el otro. Al desacoplarlos, los investigadores pudieron optimizar el código tanto para la velocidad como para la seguridad simultáneamente. Utilizaron un marco matemático basado en la geometría algebraica para construir la primera versión de estos códigos, la cual puede ser generada en un tiempo razonable. Esta construcción garantiza que, a medida que el sistema crece, la eficiencia del código se mantiene alta, con la tasa de almacenamiento de información y la capacidad de detectar errores manteniéndose por encima de un umbral específico y significativo.

Para llevar los límites aún más lejos, el equipo también desarrolló un segundo método, más exhaustivo. Este enfoque busca a través de un vasto número de configuraciones posibles para encontrar la disposición de partículas absolutamente mejor para un tamaño dado. Si bien este método requiere significativamente más tiempo de computación para verificar los resultados, produce códigos con una eficiencia aún mayor. Los investigadores descubrieron que esta búsqueda exhaustiva podía mejorar las garantías de rendimiento por un factor de casi tres en comparación con su método más rápido. Establecieron un techo teórico, o límite superior, para qué tan buenos pueden ser estos códigos. Sorprendentemente, sus mejores resultados estuvieron muy cerca de este límite, lo que sugiere que han alcanzado casi el rendimiento óptimo permitido por las leyes de la física para este tipo de código. La proximidad al máximo teórico indica que todavía hay margen de mejora, marcando un paso significativo en el campo.

El equipo no se detuvo en la matemática abstracta; construyó ejemplos concretos para demostrar que su teoría funciona en la práctica. Construyeron dos códigos cuánticos específicos, uno utilizando 48 cúbits físicos y otro utilizando 90. Estos códigos demostraron con éxito la capacidad de aplicar puertas de fase complejas a cúbits lógicos individuales sin perturbar a los demás. El código de 48 cúbits puede corregir errores en hasta dos partículas físicas, mientras que la versión de 90 cúbits puede manejar errores en hasta tres. Los investigadores también diseñaron los circuitos específicos requeridos para codificar la información en estos sistemas, detallando exactamente cuántas puertas y conexiones se necesitan para hacerlos funcionar. Estos ejemplos finitos sirven como planos, mostrando que las ventajas teóricas de su nuevo método de codificación pueden realizarse en diseños de hardware reales.

Las implicaciones de este trabajo se extienden más allá de un solo tipo de puerta. El nuevo marco de codificación separa el control de las operaciones lógicas del diseño estructural del código de corrección de errores. Esta separación significa que los mismos principios probablemente puedan aplicarse a otros tipos de puertas cuánticas y a diferentes niveles de complejidad. Los investigadores mostraron que su método funciona para varios niveles de la jerarquía de Clifford, una clasificación de operaciones cuánticas, y que la eficiencia de los códigos escala de manera predecible a medida que aumenta la complejidad de la puerta. Esta escalabilidad es crucial para construir computadoras cuánticas a gran escala, ya que asegura que la carga de trabajo —los recursos adicionales necesarios para la corrección de errores— no explote a medida que la máquina se vuelve más compleja. Al proporcionar un camino claro hacia códigos que sean tanto direccionables como eficientes, el estudio elimina un importante cuello de botella que ha obstaculizado el desarrollo de computadoras cuánticas tolerantes a fallos.

Si bien los resultados son prometedores, el trabajo también destaca los desafíos restantes. Los investigadores identificaron una pequeña brecha entre el rendimiento de sus mejores códigos y el límite teórico superior, lo que sugiere que todavía hay espacio para el refinamiento. Los esfuerzos futuros probablemente se centrarán en cerrar esta brecha e integrar estos nuevos códigos con algoritmos de decodificación eficientes que puedan identificar y corregir errores rápidamente a medida que ocurren. El equipo también señaló que la implementación práctica requerirá evaluar cómo estos códigos se comportan bajo condiciones de ruido del mundo real y cómo interactúan con la conectividad física del hardware cuántico. No obstante, los objetivos cuantitativos establecidos por esta investigación proporcionan una hoja de ruta clara tanto para ingenieros como para teóricos. Al reducir la brecha entre los parámetros alcanzables y los límites teóricos, este trabajo transforma el sueño de una computadora cuántica totalmente direccionable y tolerante a fallos de un sueño distante en un objetivo de ingeniería tangible.