Ground-State Preparation by Projection onto the Maximal Decoherence-Free Subspace: Operator-Algebraic Derivation and Constant-Depth Execution on 156-Qubit Processors

En el mundo de la computación cuántica, el mayor obstáculo no es la falta de potencia, sino la falta de tiempo. Las computadoras cuánticas operan manteniendo estados delicados de la materia en un equilibrio frágil, pero en el momento en que estos estados interactúan con el entorno ruidoso que los rodea, colapsan. Este fenómeno, conocido como decoherencia, actúa como una estática implacable que borra la información antes de que los cálculos complejos puedan terminar. Durante años, los científicos han intentado combatir esto construyendo circuitos cada vez más profundos, con la esperanza de terminar un cálculo antes de que el ruido gane. Sin embargo, a medida que los problemas crecen, el tiempo requerido para ejecutar estos cálculos a menudo excede la diminuta ventana de estabilidad que el hardware puede proporcionar. El enfoque estándar ha sido guiar el sistema cuántico lentamente hacia su respuesta, como un excursionista que se abre paso a tientas en la niebla, pero este viaje lento a menudo se pierde en el ruido o se queda atrapado en callejones sin salida locales.

Un nuevo enfoque, detallado en una investigación reciente de Mohamed Hassan, sugiere una forma diferente de llegar al destino: en lugar de caminar el camino, simplemente dar un paso directamente sobre el suelo. Los investigadores proponen un método que no intenta evolucionar un estado cuántico a lo largo del tiempo, sino que utiliza las leyes naturales de la física para proyectar instantáneamente el sistema en un estado protegido. Este estado, llamado subespacio libre de decoherencia, es una región especial donde la información cuántica es naturalmente inmune al ruido circundante. Al diseñar el experimento de modo que la respuesta a un problema viva dentro de esta región protegida, la computadora puede saltar directamente a la solución sin necesidad de luchar contra el ruido paso a paso. Este método ha sido probado en procesadores cuánticos reales y funcionales de 156 cúbits, demostrando que es posible preparar estados cuánticos complejos en un solo paso constante, independientemente de cuán grande sea el problema.

El núcleo de este descubrimiento reside en un cambio de la simulación dinámica a la proyección estructural. Los métodos tradicionales, como el Eigensolver Cuántico Variacional, dependen de un proceso de ensayo y error donde la computadora ejecuta un circuito, mide el resultado y luego ajusta la configuración para intentar de nuevo. Este bucle puede tomar miles de repeticiones y es propenso a quedarse estancado, un problema conocido como meseta estéril (barren plateau), donde la computadora pierde toda capacidad de aprender de sus errores. En contraste, este nuevo marco identifica una estructura matemática específica dentro del problema que corresponde a una "zona segura" en el sistema cuántico. Esta zona segura está definida por la forma en que los bits cuánticos interactúan con su entorno. Si el problema se codifica correctamente, el estado fundamental —el estado de menor energía y la respuesta correcta— se alinea naturalmente con esta zona segura. Los investigadores demostraron que, al aplicar una única operación estructural, podían filtrar todos los estados no deseados y dejar solo la respuesta correcta, evitando eficazmente la necesidad de secuencias largas y propensas a errores de operaciones.

El equipo validó esta teoría en tres procesadores cuánticos diferentes de IBM, cada uno con 156 cúbits. Realizaron 55 experimentos independientes, ejecutando el protocolo en hardware real para ver si la protección teórica se mantenía frente al ruido del mundo real. Los resultados fueron impactantes. En pruebas que involucraban problemas de optimización combinatoria, el método identificó con éxito la solución correcta con una probabilidad cientos de miles de veces mayor de lo que se esperaría por puro azar. Por ejemplo, en una prueba específica que involucraba un grafo con 12 nodos, el sistema produjo el corte máximo correcto en más del 82 por ciento de los ensayos, mientras que un intento al azar habría tenido éxito menos de una vez en dos mil. Los investigadores también probaron el método en problemas de diferentes campos, incluyendo la química molecular, la criptografía y la optimización de carteras, mostrando que el mismo mecanismo subyacente podía resolver diversos tipos de problemas sin cambiar la profundidad fundamental del circuito cuántico.

Un aspecto crucial de este trabajo es lo que no pretende hacer. Los investigadores son explícitos en que la "profundidad constante" de su método se refiere únicamente a la ejecución cuántica. La dificultad del problema no ha sido eliminada; simplemente ha sido trasladada. En el enfoque tradicional, la dificultad se esconde en el tiempo que toma ejecutar el circuito. En este nuevo enfoque, la dificultad es gestionada previamente por una computadora clásica que prepara las instrucciones específicas necesarias para mapear el problema en la zona protegida. Si un problema es tan difícil que una computadora clásica no puede descifrar cómo mapearlo rápidamente, este método tampoco podrá resolverlo. La innovación es que, una vez realizada la mapeación, la parte cuántica del trabajo es increíblemente rápida y robusta, sin requerir corrección de errores y sin largos periodos de espera. Esta distinción es vital: el método no hace que los problemas difíciles sean fáciles, pero sí hace que la parte cuántica de resolverlos sea factible en máquinas actuales e imperfectas.

El éxito del experimento depende de una propiedad específica del hardware cuántico: la forma en que los cúbits están conectados y cómo resisten naturalmente ciertos tipos de ruido. Los investigadores utilizaron una estrategia de "mosaico" (tiling), donde dividieron el procesador de 156 cúbits en muchos pares de cúbits pequeños e independientes. Cada par actuaba como una unidad diminuta y autocontenida que podía realizar la proyección simultáneamente. Debido a que todos estos pares trabajaban al mismo tiempo, el tiempo total que el estado cuántico tenía que sobrevivir permanecía constante, independientemente de cuántos pares estuvieran involucrados. Esto permitió que el sistema escalara sin aumentar el riesgo de error. El equipo también demostró matemáticamente que esta protección funciona para interacciones más complejas que involucran tres, cuatro o incluso cinco cúbits a la vez, extendiendo el método más allá de los simples pares de dos cúbits.

Uno de los hallazgos más significativos es que este método evita la necesidad de los bucles "variacionales" que han dominado la investigación de la computación cuántica en los últimos años. En lugar de buscar una respuesta ajustando perillas y esperando a que el sistema se asiente, el nuevo método utiliza una proyección directa. Es similar a tener un tamiz que solo deja pasar la respuesta correcta mientras bloquea todo lo demás. Los investigadores demostraron que este tamiz no es solo una idea teórica, sino una realidad física que se puede construir en el hardware existente. Confirmaron que los estados cuánticos permanecieron estables y no se desviaron de la zona protegida durante el experimento, incluso sin ninguna corrección de errores activa. Esto sugiere que la simetría natural del sistema es suficiente para proteger la información, siempre que el problema se codifique de la manera correcta.

El estudio también abordó la cuestión de cómo codificar diferentes tipos de problemas en este sistema. Los investigadores desarrollaron un teorema de "codificación por compresión", que proporciona una receta para traducir problemas de campos como la química o las finanzas al lenguaje del procesador cuántico. Probaron esto en seis tipos diferentes de problemas, incluyendo la correlación de electrones en una molécula de hidrógeno y la factorización de números grandes. En cada caso, el sistema preparó con éxito el estado fundamental del Hamiltoniano del problema, que representa la configuración de menor energía. Esto demuestra que el método no se limita a un solo tipo de problema, sino que puede adaptarse a una amplia variedad de desafíos científicos y matemáticos, siempre que el problema pueda mapearse a la estructura específica del subespacio protegido.

A pesar del éxito, los investigadores se mantienen cautos sobre el alcance de sus afirmaciones. Enfatizan que este método funciona para una clase específica de problemas donde la energía del estado fundamental puede calcularse eficientemente por una computadora clásica. Para los problemas donde encontrar el estado fundamental es inherentemente difícil y requiere un tiempo exponencial, este método no ofrece un atajo. La aceleración cuántica proviene del hecho de que el paso cuántico es instantáneo y resistente al ruido, no de resolver la parte más difícil del problema. El trabajo es una prueba de concepto de que la proyección estructural puede ser una alternativa viable a la simulación dinámica, ofreciendo un nuevo camino hacia adelante para la computación cuántica en la era de los dispositivos de escala intermedia y ruidosos.

Las implicaciones de este trabajo se extienden más allá de los resultados inmediatos. Al demostrar que los estados fundamentales cuánticos pueden prepararse sin circuitos profundos o correcciones de errores complejas, la investigación abre la puerta al uso de los procesadores cuánticos actuales para aplicaciones prácticas que anteriormente se consideraban inalcanzables. La capacidad de ejecutar estos experimentos en procesadores de 156 cúbits con alta fidelidad sugiere que la tecnología está madurando más rápido de lo que predían algunos modelos pesimistas. Los investigadores han hecho públicos sus datos e identificadores de trabajos, invitando a la comunidad científica a verificar los resultados de forma independiente. Esta transparencia subraya la confianza que tienen en los hallazgos y en la robustez del método.

Al final, este artículo presenta un cambio fundamental en cómo pensamos la preparación de estados cuánticos. Se aleja de la idea de luchar contra el ruido con circuitos cada vez más largos y se dirige hacia la idea de diseñar sistemas donde la respuesta esté naturalmente protegida. Los investigadores han demostrado que, al comprender la profunda estructura algebraica del problema y del hardware, es posible crear un camino directo hacia la solución. Este camino es corto, es robusto y funciona con las máquinas que tenemos hoy. Aunque no resuelve todos los problemas de la computación cuántica, resuelve uno crítico: cómo obtener una respuesta fiable de una máquina ruidosa sin esperar a que el ruido destruya la información. El trabajo es un testimonio del poder de la visión estructural, demostrando que, a veces, la mejor manera de avanzar es dejar de moverse y simplemente dar un paso hacia el lugar correcto.