Las computadoras cuánticas prometen resolver problemas que actualmente son imposibles incluso para las supercomputadoras más potentes, desde el diseño de nuevos medicamentos hasta el modelado de reacciones químicas complejas. Sin embargo, estas máquinas son increíblemente frágiles. Las diminutas partículas que utilizan para almacenar información, llamadas cúbits, se alteran fácilmente por el calor, la vibración o los campos electromagnéticos errantes, lo que provoca que pierdan sus datos casi instantáneamente. Para construir una computadora cuántica útil, los científicos deben proteger estos cúbits utilizando una técnica llamada corrección de errores cuánticos. Este proceso consiste en agrupar muchos cúbits físicos para que actúen como un único cúbit "lógico" estable, comprobando y corrigiendo constantemente los errores antes de que se propaguen. El desafío es que esta protección requiere una enorme cantidad de hardware adicional y una coordinación compleja, lo que a menudo hace que la computadora sea demasiado lenta o grande para ser práctica.

Entre muchas de las formas en que los científicos están intentando resolver esto, ha surgido un método específico llamado códigos de bicicleta bivariante como una opción altamente eficiente. Estos códigos utilizan un patrón regular y repetitivo para organizar los cúbits, lo que mantiene bajos los gastos generales y permite una verificación de errores muy rápida. Al mismo tiempo, un nuevo tipo de hardware cuántico basado en átomos neutros ha ganado atención. En lugar de utilizar circuitos superconductores o iones atrapados, estos sistemas utilizan láseres para sostener átomos individuales en el aire. Estos átomos pueden moverse con gran precisión, lo que permite a los investigadores reorganizar la disposición de la computadora sobre la marcha. Si bien esta reconfigurabilidad es una combinación perfecta para las conexiones complejas requeridas por los códigos de bicicleta bivariante, estas dos tecnologías aún no se han combinado con éxito. Las reglas para mover los átomos son estrictas: no pueden saltar unos sobre otros y deben permanecer en zonas específicas para interactuar de forma segura. Sin una forma de navegar estas reglas, los códigos eficientes no pueden ejecutarse en el hardware flexible.

Un equipo de investigadores de la Universidad de Rice y la Universidad de Northeastern ha cerrado esta brecha con un nuevo sistema que llaman Park-n-Ride. Este sistema actúa como un traductor, tomando las instrucciones abstractas del código de bicicleta bivariante y convirtiéndolas en un programa físico válido para procesadores de átomos neutros. Los investigadores no solo propusieron una teoría; construyeron un marco de software completo que simula todo el proceso, desde la colocación de los átomos hasta su movimiento para las mediciones. Su trabajo demuestra que es posible ejecutar estos códigos avanzados de corrección de errores en sistemas de átomos neutros sin violar las estrictas limitaciones físicas del hardware. Al planificar cuidadosamente cómo se mueven los átomos y dónde se sitúan, el sistema puede ejecutar operaciones cuánticas complejas mucho más rápido de lo que permitirían métodos anteriores, demostrando que esta combinación específica de código y hardware es viable.

El núcleo del problema reside en las limitaciones físicas de las máquinas de átomos neutros. Estas computadoras utilizan láseres para atrapar átomos en una cuadrícula y, para realizar cálculos, los átomos deben moverse a posiciones específicas para interactuar. Sin embargo, la tecnología utilizada para moverlos, conocida como deflector acusto-óptico, tiene una regla rígida: las columnas de átomos no pueden cruzarse. Si una columna de átomos está a la izquierda de otra, debe permanecer a la izquierda en todo momento; no puede adelantar a la otra. Esta restricción dificulta realizar las conexiones de largo alcance requeridas por los códigos de bicicleta bivariante, que a menudo necesitan que cúbits que están lejos se encuentren e interactúen. Además, los átomos deben permanecer dentro de una cierta distancia para interactuar, y si se acercan demasiado a vecinos no deseados, la interacción falla. Los investigadores descubrieron que intentar mover simplemente los átomos a sus destinos lógicos a menudo conduce a atascos de tráfico o maniobras imposibles bajo estas reglas.

Para resolver esto, el sistema Park-n-Ride introduce una nueva forma de pensar en la disposición de la computadora. En lugar de tratar a los átomos como una nube única y caótica, el sistema los organiza en columnas verticales, de forma muy parecida a los carriles de una autopista. Dentro de cada carril, los átomos pueden moverse hacia arriba y hacia abajo, pero no pueden cambiar de carril ni cruzarse. Los investigadores desarrollaron una estrategia para decidir qué grupos de átomos deben sentarse en qué carril. Utilizaron un enfoque matemático que observa qué átomos necesitan hablar entre sí con más frecuencia y coloca esos grupos en el mismo carril o en carriles adyacentes. Esto minimiza la distancia que los átomos tienen que viajar para encontrarse, reduciendo el tiempo y la energía dedicados al movimiento. Esta estrategia de colocación, que llaman seriación espectral, resultó ser significativamente mejor que simplemente colocar los átomos al azar o utilizar un enfoque voraz paso a paso. En sus simulaciones, este emplazamiento inteligente redujo el tiempo total requerido para ejecutar un programa cuántico hasta en un 17,9 por ciento en comparación con la colocación aleatoria, y en un 12,2 por ciento en comparación con un método voraz estándar.

Una vez colocados los átomos, el sistema debe gestionar su movimiento. Los investigadores descubrieron que los códigos de bicicleta bivariante implican muchos desplazamientos, donde todo el patrón de cúbits se rota o se mueve en una dirección específica. En un enfoque tradicional, estos desplazamientos podrían realizarse uno por uno, lo cual es lento. Park-n-Ride, sin embargo, descompone estos desplazamientos en movimientos más pequeños y paralelos. Permite que diferentes partes de la computadora se desplacen en diferentes direcciones al mismo tiempo, siempre que se respete la regla de "no cruce". Al coordinar estos movimientos cuidadosamente, el sistema puede ejecutar estos desplazamientos mucho más rápido. Las simulaciones mostraron que este enfoque paralelo permite a la computadora completar sus tareas de desplazamiento significativamente más rápido que si tuviera que hacerlas secuencialmente, acelerando efectivamente todo el ciclo de corrección de errores.

Otro desafío crítico es realizar mediciones entre diferentes grupos de átomos. Para comprobar si hay errores, los átomos de dos grupos diferentes deben reunirse para interactuar. El sistema Park-n-Ride resuelve esto utilizando un mecanismo de "puente". Mueve una fila especial de átomos de cada grupo hacia una zona de interacción compartida, donde pueden encontrarse y realizar la comprobación necesaria. El sistema programa estos movimientos para que los puentes no colisionen entre sí. Trata el movimiento como un flujo de tráfico, asegurando que cada puente se mueva un paso a la vez hacia su destino sin bloquear a los demás. Esto permite que múltiples mediciones ocurran a la vez, en lugar de esperar a que una termine antes de comenzar la siguiente. Los resultados mostraron que este método redujo el número de pasos necesarios para estas interacciones casi a la mitad en circuitos más grandes, recortando drásticamente el tiempo que la computadora pasa esperando a que los átomos se pongan en posición.

Los investigadores probaron su sistema utilizando una variedad de circuitos cuánticos simulados, que van desde configuraciones pequeñas de 32 módulos hasta grandes de 113 módulos. Descubrieron que a medida que los circuitos crecían, los beneficios de su colocación inteligente y su movimiento paralelo se volvían aún más pronunciados. En las simulaciones más grandes, el sistema redujo el tiempo de ejecución total en casi un 40 por ciento al aumentar la capacidad de las columnas, lo que demuestra que el enfoque escala bien. También analizaron cómo el sistema gestiona la pérdida de átomos, un problema común en estas máquinas. Debido a que el sistema Park-n-Ride minimiza la distancia que los átomos tienen que viajar y el número de veces que se mueven dentro y fuera de las trampas, reduce la posibilidad de que se pierda un átomo durante el proceso. Sus cálculos sugieren que este enfoque podría reducir el número esperado de átomos perdidos en más de un 40 por ciento en comparación con una estrategia de colocación aleatoria, lo cual es un factor crucial para construir computadoras cuánticas fiables y a gran escala.

El estudio también examinó cómo el sistema gestiona la producción de recursos especiales necesarios para cálculos complejos, conocidos como estados mágicos. Estos son como el combustible para la computadora cuántica, y deben producirse continuamente. Los investigadores modelaron un escenario en el que cada columna de átomos tiene su propia pequeña fábrica para producir estos estados. Descubrieron que al mantener la producción local en cada columna, el sistema evita la creación de cuellos de botella donde toda la computadora tiene que esperar a una única fábrica central. Este diseño asegura que la computadora pueda seguir funcionando sin problemas incluso cuando aumenta la demanda de estos recursos especiales. Las simulaciones mostraron que, si bien la velocidad de producción de estas fábricas es importante, el diseño columnar de Park-n-Ride permite al sistema integrar este requisito sin ralentizar la computación principal.

Al final, el trabajo del equipo de Park-n-Ride proporciona una hoja de ruta práctica para combinar dos de las tecnologías más prometedoras de la computación cuántica. Demuestra que las estrictas reglas de movimiento de los sistemas de átomos neutros no tienen por qué ser una barrera para ejecutar códigos de corrección de errores eficientes. Al codiseñar las instrucciones del software con las limitaciones físicas del hardware, los investigadores han creado un sistema que no solo es teóricamente sólido, sino también prácticamente eficiente. Sus simulaciones confirman que, con la planificación adecuada, las computadoras de átomos neutros pueden ejecutar programas cuánticos complejos con alta velocidad y bajas tasas de error. Esto sugiere que el camino hacia una computadora cuántica funcional y a gran escala puede residir en sistemas que sean lo suficientemente flexibles como para reorganizarse, siempre que tengan un guía lo suficientemente inteligente que les diga cómo moverse. Los resultados ofrecen un paso concreto hacia adelante, pasando de la teoría abstracta a un plano de trabajo para la próxima generación de máquinas cuánticas.