Digital-Analog Counterdiabatic Quantum Optimization with Trapped Ions

Resumen Técnico: Optimización Cuántica Contraadiabática Digital-Analógica con Iones Atrapados

Planteamiento del Problema
El artículo aborda el desafío de resolver problemas de Optimización Binaria No Restringida Cuadrática (QUBO) en dispositivos cuánticos de escala intermedia con ruido (NISQ) actuales, específicamente procesadores de iones atrapados. Aunque la computación cuántica contraadiabática digitalizada (DCQC) ofrece mejoras en el escalado polinómico sobre los métodos adiabáticos convencionales, las implementaciones puramente digitales requieren profundidades de circuito sustanciales. Esta profundidad excede los tiempos de coherencia de los dispositivos actuales, lo que limita el tamaño de los problemas resolubles. Los autores identifican la necesidad de un enfoque híbrido que aproveche la conectividad todos con todos y las capacidades multi-qubit de los iones atrapados para reducir la profundidad del circuito sin sacrificar la flexibilidad requerida para las tareas de optimización.

Metodología
Los autores proponen un algoritmo de Optimización Cuántica Contraadiabática Digital-Analógica (DACQO) diseñado para arquitecturas de iones atrapados. La metodología central consiste en:

1. Formulación del Hamiltoniano: El problema QUBO objetivo se codifica en el estado fundamental de un Hamiltoniano $H_f$. Para acelerar la evolución hacia este estado fundamental, el algoritmo emplea términos de conducción contraadiabática (CD) derivados de la expansión de conmutadores anidados del potencial de gauge adiabático (AGP). La aproximación de primer orden del AGP introduce términos locales y bilocales que involucran operadores de Pauli ($\sigma_x, \sigma_y, \sigma_z$).
2. Bloques Analógicos (Puertas GMS): En lugar de descomponer todas las interacciones en puertas de un solo qubit y de dos qubits, el algoritmo utiliza puertas Globales de Mølmer-Sørensen (GMS) como bloques analógicos. Estas puertas pueden generar interacciones de muchos cuerpos simultáneas (términos 2-locales y términos n-locales efectivos) a través de un subconjunto de iones utilizando un campo uniforme. La puerta GMS específica se define como $U_{MS}^k(\theta, \phi) = \exp[-i\frac{\theta}{4}(\cos\phi S_x + \sin\phi S_y)^2]$.
3. Codificación Híbrida: La evolución en tiempo continuo gobernada por el Hamiltoniano CD se digitaliza mediante un esquema de Trotterización. Las capas "analógicas" consisten en puertas GMS que implementan directamente los términos de interacción de múltiples qubits. Estas se intercalan con capas "digitales" que comprenden rotaciones de un solo qubit para corregir fases, eliminar términos parásitos (por ejemplo, términos $\sigma_y\sigma_y$ no deseados) e introducir inhomogeneidad (variación en las fuerzas de acoplamiento $J_{ij}$) donde sea necesario.
4. Estructura del Algoritmo:
   • Caso Homogéneo: Para un acoplamiento uniforme, el algoritmo utiliza bloques GMS de 4 qubits para entrelazar iones vecinos, seguidos de puertas conjugadas para eliminar términos parásitos y rotaciones de un solo qubit.
   • Caso Inhomogéneo: Para un acoplamiento no uniforme, el algoritmo introduce rotaciones locales para modular las fuerzas de interacción. Esto requiere un reemplazo sistemático de los bloques analógicos por $k(k-1)/2$ bloques suplementados con rotaciones locales, lo que aumenta la profundidad del circuito pero mantiene la ventaja híbrida.

Contribuciones Clave

• Protocolo Específico de Hardware: El artículo introduce un protocolo DAQC diseñado específicamente para procesadores de iones atrapados, explotando las capacidades nativas de la puerta GMS para implementar eficientemente términos CD de alto orden.
• Reducción de la Profundidad del Circuito: Al utilizar bloques analógicos para el entrelazamiento de múltiples qubits, los autores demuestran una reducción significativa en la profundidad del circuito en comparación con los enfoques puramente digitales. Esto permite que el algoritmo apunte a instancias de problemas más grandes (que requieren más qubits) dentro de los límites de tiempo de coherencia de los dispositivos actuales.
• Análisis de Umbral de Fidelidad: El estudio calcula la fidelidad mínima de puerta requerida para que los bloques analógicos superen a las simulaciones puramente digitales. Encuentra que para sistemas de hasta 20 qubits, las fidelidades de los bloques analógicos en el rango del 98%–99% son suficientes para superar el rendimiento digital, y se requiere un 99%–99.5% para cumplir con los estándares mínimos de precisión. Estos umbrales se reportan como alcanzables dentro de las capacidades del hardware de vanguardia.
• Proyecciones de Escalabilidad: Los autores proyectan que, con la tecnología actual, el enfoque DACQO puede resolver problemas de optimización que involucran hasta 55 qubits dentro del tiempo de coherencia, mientras que un enfoque puramente digital requeriría extender significativamente el tiempo de coherencia (por ejemplo, de ~1.8s a ~2.8s para 100 qubits).

Resultados

• Probabilidad de Éxito: Las simulaciones en un modelo de Ising homogéneo de 4 qubits muestran que el algoritmo DACQO supera el rendimiento de la simulación puramente digital cuando la fidelidad del bloque analógico excede aproximadamente el 94%.
• Escalabilidad: El análisis del problema del Conjunto Independiente Máximo (MIS) en grafos de 16 nodos demuestra que el enfoque híbrido reduce el tiempo de ejecución del circuito en un factor de aproximadamente 1.6x a 2x en comparación con las simulaciones digitales.
  • Para grafos de pesos no ponderados y mixtos, aumentar el tamaño del bloque analógico reduce aún más el tiempo de ejecución.
  • Para grafos completamente no uniformes (inhomogéneos), la reducción óptima se logra con bloques analógicos más pequeños (de 2 qubits), ya que los bloques más grandes incurren en una penalización de profundidad debido a la sobrecarga de introducir la inhomogeneidad.
• Eficiencia de Tiempo de Ejecución: Para un problema de 100 qubits, el enfoque DACQO requiere un tiempo de coherencia de aproximadamente 1.8 segundos, lo que representa una reducción del 55% en comparación con los ~2.8 segundos requeridos por el método puramente digital.

Significancia y Reivindicaciones
El artículo afirma que el paradigma DACQO proporciona una vía viable hacia la ventaja cuántica para problemas de optimización en el hardware NISQ actual. Al co-diseñar el algoritmo con las capacidades específicas de los procesadores de iones atrapados (específicamente las puertas GMS), el método permite la solución de instancias de problemas más grandes (≥20 qubits) que de otro modo serían inaccesibles debido a la decoherencia.

Los autores enfatizan que este enfoque relaja el requisito estricto de diseñar puertas de dos qubits de fidelidad extremadamente alta, sugiriendo que centrarse en puertas analógicas con una fidelidad "razonable" (98%–99.5%), suplementadas con puertas digitales, es una ruta más práctica para escalar. Además, el artículo señala que los avances futuros en bloques analógicos programables e inhomogéneos (como las puertas XX rápidas) podrían mejorar aún más el escalado para problemas no homogéneos y acercarse al límite de velocidad cuántica. El trabajo posiciona la codificación digital-analógica como un paso crítico hacia la resolución de problemas de optimización combinatoria de relevancia industrial.