Experimental prime factorization via the feedback quantum control

Resumen Técnico: Factorización de Primos Experimental mediante Control Cuántico de Retroalimentación

Planteamiento del Problema
La factorización de números primos cuánticos actual enfrenta obstáculos significativos en la era de la Computación Cuántica de Escala Intermedia con Ruido (NISQ). Los enfoques basados en circuitos, como el algoritmo de Shor, requieren compuertas de alta fidelidad y circuitos profundos ($O(l^3)$ compuertas con infidelidades extremadamente bajas), lo que limita las demostraciones a números muy pequeños. Por el contrario, los métodos de optimización hamiltoniana (adiabáticos, de recocido o variacionales) codifican los factores como estados fundamentales degenerados de un hamiltoniano de problema ($H_p$). Sin embargo, estos métodos suelen sufrir de una evolución lenta, requisitos estrictos del estado inicial y la necesidad de un costoso post-procesamiento clásico para determinar los parámetros de control dependientes del tiempo.

Metodología: FALQON
Los autores proponen e implementan FALQON (Algoritmo de Optimización Cuántica basado en Retroalimentación), un enfoque iterativo, de medición y totalmente cuántico.

• Mecanismo Central: FALQON utiliza un esquema iterativo inspirado en Lyapunov. En lugar de pre-calcular los campos de control, el algoritmo mide el estado instantáneo del sistema cuántico en cada iteración para determinar los parámetros de conducción para el paso subsiguiente.
• Lógica de Control: El sistema evoluciona bajo un Hamiltoniano total $H_{total} = H_p + \beta(t)H_d$, donde $H_p$ es el hamiltoniano del problema y $H_d$ es un hamiltoniano de conducción. El parámetro de control escalar $\beta_{j+1}$ para la iteración $j+1$ se determina midiendo el valor de la esperanza del observable conmutador $C = i[H_p, H_d]$ en la iteración $j$. La regla de actualización es $\beta_{j+1} = c \langle C \rangle_{\rho_j}$, donde $c$ es un factor de escala. Esto asegura que la energía $\langle H_p \rangle$ disminuya monótonamente (o converja asintóticamente) hacia el estado fundamental.
• Implementación Experimental: Los autores implementan esto en un registro de Resonancia Magnética Nuclear (RMN) de tres cúbits utilizando núcleos de $^{19}$F en 1,1,2-trifluoro-2-iodoeteno.
  • Realización del Hamiltoniano: El hamiltoniano del problema para el biprimo 551 se realiza utilizando Computación Cuántica Digital-Analógica (DAQC). Para mitigar la sensibilidad a las imperfecciones de los pulsos, los autores emplean Ingeniería de Pulsos de Ascenso de Gradiente (GRAPE) para generar secuencias de RF robustas.
  • Eficiencia de Medición: En lugar de la tomografía de estado completo, el método utiliza "tomografía diagonal" para medir eficientemente el observable conmutador $\langle C \rangle$ y la energía del sistema, requiriendo solo mediciones lineales.
  • Estado Inicial: A diferencia de los métodos adiabáticos que requieren estados fundamentales específicos, FALQON parte del estado térmico de RMN, convirtiéndolo en magnetización transversal sin una preparación elaborada de estado pseudopuro.

Contribuciones Clave

1. Demostración Experimental: El artículo reporta la primera factorización experimental de un número biprimo (551) utilizando un algoritmo cuántico basado en retroalimentación en un procesador de RMN.
2. Control Totalmente Cuántico: El trabajo demuestra un método que elimina la necesidad de computación clásica de los parámetros de conducción una vez que $H_p$ se realiza, ya que el bucle de retroalimentación determina por sí mismo el campo de conducción.
3. Análisis de Robustez: Los autores proporcionan un análisis detallado de la resiliencia del algoritmo frente a errores de campo de control, inhomogeneidades de RF y ruido aleatorio, comparando favorablemente a FALQON contra los métodos adiabático y QAOA.
4. Proyecciones de Escalabilidad: A través de simulaciones numéricas, los autores demuestran la escalabilidad del método factorizando biprimes más grandes (9,167 y 2,106,287) utilizando 5 y 9 cúbits, respectivamente.

Resultos

• Factorización de 551: El experimento factorizó exitosamente 551 en sus componentes primos, 19 y 29. Después de 22 iteraciones, el sistema mostró una clara concentración de probabilidad en los estados de la base correspondientes a estos factores (después de la inversión de bits y el relleno). La energía disminuyó y se saturó, mientras que la probabilidad del espacio de soluciones aumentó de ~0.2 a ~0.4.
• Robustez:
  • Ruido: FALQON demostró una convergencia más rápida que el método adiabático y menos oscilación que QAOA bajo errores de control aleatorios.
  • Imperfecciones de Pulso: El estudio confirmó que, si bien la realización DAQC de $H_p$ es sensible a las imperfecciones de los pulsos $\pi$, la implementación optimizada por GRAPE es altamente robusta contra la inhomogeneidad de RF y la amplitud limitada.
  • Tamaño del Paso: El análisis reveló un compromiso: tamaños de paso más pequeños ($c=0.25$) ofrecen robustez contra el ruido, mientras que tamaños de paso más grandes ($c=0.75$) aumentan la sensibilidad al ruido, resaltando la importancia de la selección de parámetros.
• Truncamiento: Los resultados numéricos para 9,167 y 2,106,287 mostraron que los hamiltonianos de problema "truncados" (que contienen menos términos que la expansión completa) retuvieron los mismos estados fundamentales degenerados, permitiendo la factorización exitosa con complejidad reducida.

Significancia y Reivindicaciones
El artículo posiciona a FALQON como una alternativa viable para la factorización en la era NISQ que evita las restricciones de profundidad de compuerta de Shor y la sobrecarga clásica de los métodos variacionales. Los autores afirman que el método es "totalmente cuántico" en su control dinámico, ya que depende únicamente de mediciones experimentales para dirigir el sistema. Enfatizan que el enfoque es resiliente a las imperfecciones experimentales y no requiere una preparación de estado inicial específica, lo que lo hace adecuado para la RMN actual y potencialmente otras arquitecturas. El trabajo concluye que, si bien la demostración experimental está limitada a números pequeños, la escalabilidad numérica y la robustez sugieren un camino prometedor para factorizar enteros más grandes, siempre que se desarrollen métodos de truncamiento sistemáticos y una realización eficiente del Hamiltoniano.