Continuous-angle logical rotations in the Steane code

Las computadoras cuánticas prometen resolver problemas que son imposibles para las máquinas actuales, pero son notoriamente frágiles. La información que contienen, almacenada en bits cuánticos, puede ser fácilmente desordenada por la más mínima perturbación del entorno. Para construir una máquina útil, los científicos deben proteger esta información utilizando la corrección de errores cuánticos, un método que distribuye un único dato a través de muchas partículas físicas. Si una partícula falla, las otras pueden revelar qué sucedió y corregirlo sin destruir los datos. Sin embargo, realizar cálculos con estos datos protegidos es difícil. Una famosa regla matemática, conocida como el teorema de Eastin-Knill, establece que no se pueden realizar todos los tipos posibles de cálculos en estos datos protegidos utilizando únicamente los métodos más simples y robustos. Por lo general, para sortear esto, los científicos deben utilizar un proceso complejo y pesado en recursos que involucra estados "mágicos" especiales para realizar los cálculos faltantes.

Los investigadores han estado buscando una forma más sencilla de realizar estos cálculos difíciles, particularmente para los ajustes pequeños y precisos necesarios en las simulaciones cuánticas. Un nuevo experimento dirigido por Eric Huang y sus colegas en el Joint Center for Quantum Information and Computer Science, junto con socios de IonQ y otras instituciones, ha demostrado un camino prometedor hacia adelante. Utilizando un tipo específico de procesador cuántico construido a partir de iones atrapados, el equipo demostró que podían realizar un rango continuo de rotaciones lógicas sobre datos protegidos. Lograron esto no mediante los complejos estados mágicos, sino aplicando un giro uniforme y simple a todas las partículas físicas a la vez y luego verificando si había errores. El resultado es una forma de ajustar el ángulo de cálculo con precisión, simplemente ajustando la fuerza del giro inicial y observando las señales de error que le siguen.

El experimento tuvo lugar en el procesador IonQ Forte, una máquina que utiliza iones individuales suspendidos en un vacío como sus bits cuánticos. Los investigadores codificaron un único bit lógico de información en un grupo de siete iones físicos utilizando un método llamado código Steane. Este código está diseñado para detectar y corregir errores que podrían afectar a cualquier ion individual. El equipo comenzó con un estado lógico y aplicó una rotación a cada uno de los siete iones físicos simultáneamente. Esta rotación era una variable continua, lo que significa que podían elegir cualquier ángulo que quisieran, en lugar de estar limitados a unos pocos pasos fijos. Tras este giro, realizaron una extracción de síndrome, un proceso que mide el estado colectivo del grupo para ver si ocurrieron errores, sin revelar los datos reales que se están almacenando.

El resultado de esta comprobación de errores, llamado síndrome, determinó el resultado final del cálculo. Si la medición mostraba que no había errores, el bit lógico se había rotado una cantidad específica. Si la medición mostraba un error, el bit lógico se había rotado una cantidad diferente. Crucialmente, los investigadores descubrieron que el ángulo de rotación final no era aleatorio; era enteramente predecible basándose en el giro físico inicial y la señal de error específica que se observó. Al saber qué señal de error apareció, podían calcular exactamente cuánto había girado el bit lógico. Esto permitió realizar una rotación lógica con un ángulo continuo, una capacidad que suele estar prohibida para las operaciones de corrección de errores simples.

Para verificar esto, el equipo utilizó una técnica llamada interferometría de Ramsey, que es una forma estándar de medir cuánto ha rotado un estado cuántico. Prepararon el bit lógico en una posición inicial específica, aplicaron el giro físico y la comprobación de errores, y luego midieron la posición final. Repitieron esto muchas veces con diferentes ángulos de giro y observaron que el bit lógico se movía exactamente como predecía la teoría. La rotación fue coherente, lo que significa que la información cuántica permaneció intacta y la fase de la función de onda cambió suavemente. También realizaron un análisis más detallado llamado tomografía de procesos, que mapea todo el comportamiento de la operación lógica. Esto confirmó que la operación actuaba como una rotación limpia, con solo una pequeña cantidad de ruido añadida por el hardware imperfecto.

Los investigadores luego llevaron el experimento un paso más allá, ejecutando dos rondas de este proceso en secuencia. En la primera ronda, aplicaron un giro positivo, y en la segunda, un giro negativo del mismo tamaño. En un mundo ideal, estos dos giros se cancelarían entre sí, dejando el bit lógico exactamente donde comenzó. El experimento mostró que esta cancelación funcionó notablemente bien cuando las señales de error en ambas rondas indicaron que no había errores. El bit lógico regresó a su posición inicial con muy poco ruido. Sin embargo, si se detectaba un error en cualquiera de las dos rondas, la cancelación era imperfecta y el bit terminaba en un lugar ligeramente diferente con más ruido. Esto confirmó que las rotaciones lógicas de cada ronda se sumaban de una manera predecible, y que el sistema podía distinguir entre operaciones limpias y aquellas afectadas por fallos.

El estudio proporciona una prueba de principio de que se pueden crear puertas de ángulo continuo utilizando únicamente rotaciones físicas simples y corrección de errores estándar. Aunque el experimento estuvo limitado por el tamaño pequeño del código y las restricciones del hardware actual, demostró que la idea central funciona. El canal lógico reconstruido a partir de los datos coincidió con un modelo donde el ángulo de rotación depende del síndrome, y el ruido fue consistente con la desfasificación simple. El equipo señaló que su implementación postergó la corrección final a una computadora después del experimento, en lugar de aplicar la corrección en tiempo real, lo cual es una limitación para futuros sistemas escalables. No obstante, los resultados muestran que, al combinar rotaciones transversales con la corrección de errores, es posible acceder a un rango continuo de operaciones lógicas sin la pesada sobrecarga de la destilación de estados mágicos.

Este trabajo sugiere una nueva estrategia para construir computadoras cuánticas. En lugar de depender únicamente de métodos complejos y costosos en recursos para realizar cálculos no estándar, los ingenieros podrían ser capaces de utilizar controles físicos uniformes sobre los cúbits físicos y dejar que el proceso de corrección de errores haga el trabajo pesado. La capacidad de ajustar el ángulo de rotación lógica de forma continua es particularmente valiosa para las simulaciones cuánticas, donde a menudo se requieren ajustes pequeños y precisos. Aunque el experimento actual utilizó un código pequeño y una plataforma de hardware específica, el principio subyacente podría aplicarse a códigos más grandes y robustos en el futuro. El éxito del protocolo de dos rondas, donde los ángulos lógicos se sumaron y cancelaron como se esperaba, indica que este método podría extenderse para construir secuencias de operaciones más complejas.

Los investigadores enfatizaron que sus hallazgos son una demostración del concepto más que una solución de tolerancia a fallos completa lista para el uso a gran escala inmediata. El hardware que utilizaron tenía límites en el número de cúbits disponibles, lo que impidió que ejecutaran una versión totalmente adaptativa del protocolo donde el sistema ajustara sus acciones en tiempo real basándose en los resultados previos. También señalaron que las ramas de error no triviales, donde se detectaron fallos, mostraron más ruido y distorsión que las ramas limpias, lo cual es de esperar dado el tamaño pequeño del código. A pesar de estas limitaciones, el experimento demostró con éxito que la operación lógica es cognoscible y controlable. El equipo concluyó que, con un mejor hardware y códigos más grandes, este enfoque podría convertirse en una vía viable para el control lógico continuo y eficiente en la computación cuántica.