Ancillary entangling Floquet kicks for accelerating quantum algorithms

Resumen Técnico: Patadas de Floquet de Entrelazamiento Ancilar para la Aceleración de Algoritmos Cuánticos

Planteamiento del Problema
La simulación cuántica mediante recocido adiabático ofrece una vía para resolver problemas complejos de muchos cuerpos intratables para las computadoras clásicas. Sin embargo, este enfoque enfrenta un cuello de botella fundamental: a medida que el tamaño del sistema aumenta, la brecha de excitación mínima se reduce, lo que conduce a una ralentización crítica. Para mantener una alta probabilidad de éxito, la tasa de recocido debe permanecer lo suficientemente lenta como para satisfacer las condiciones adiabáticas, lo cual está limitado frecuentemente por los tiempos de coherencia finitos del hardware cuántico actual. Si bien las simulaciones cuánticas digitales y los algoritmos cuánticos híbridos variacionales (HVQA) han surgido como alternativas, estos suelen sufrir desafíos de optimización o requieren recursos extensos. Además, los enfoques contra-diabáticos diseñados para mitigar los errores diabáticos introducen términos anidados que son difíciles de implementar de manera práctica.

Metodología
Los autores proponen un protocolo cuántico para acelerar la simulación mediante la introducción de patadas de Floquet de entrelazamiento ancilar. Este enfoque opera dentro de un marco digital-analógico, utilizando un espacio de Hilbert de sistema primario ($S$) y un espacio de Hilbert ancilar secundario ($A$).

1. Arquitectura del Sistema: El protocolo emplea una unitaria de sistema "siempre activa" $U_S(t)$ que codifica el Hamiltoniano del problema (simulación analógica) y unitarias de patada cuántica digital periódica $U_{SA}(\hat{\Theta}_A, \hat{S}) = \exp(-i\hat{\Theta}_A \otimes \hat{S})$.
2. Diseño Ancilar: Los qubits ancilares se inicializan en un estado producto. El operador de patada $\hat{\Theta}_A$ actúa sobre el espacio ancilar, mientras que el operador colectivo del sistema $\hat{S}$ actúa sobre el espacio del sistema. Para simplificar y reducir los costos de compilación, los autores utilizan un único parámetro uniforme $\theta$ para el ángulo de la patada, seleccionando operadores de Pauli de $\{X, Y, Z\}$ para minimizar la sobrecarga de compilación.
3. Mecanismo: Las compuertas de entrelazamiento se aplican periódicamente (patadas de Floquet) para desviar la evolución del estado de la trayectoria adiabática temprano en la simulación y guiarlo de vuelta a la trayectoria cuántica objetivo poco después. La elección de los operadores de patada se guía por el requisito de que no deben conmutar con el Hamiltoniano mezclador inicial, pero sí deben conmutar con el Hamiltoniano objetivo final para evitar perturbar el estado fundamental al final de la simulación.
4. Base Teórica: El ángulo de patada óptimo $\theta_{opt}$ se estima utilizando un enfoque de Hamiltoniano promediado en el tiempo no perturbativo (basado en la expansión de Magnus de primer orden). La expresión derivada relaciona el ángulo óptimo con la relación entre la verdadera energía del estado fundamental del sistema ($E^T_S$) y la energía del mezclador del sistema ($E^{Mixer}_S$) en un tiempo de corte $\tau$ específico.

Contribuciones Clave y Resultados
Los autores validan este protocolo a través de simulaciones numéricas exactas de vector de estado en un entorno digital-analógico a través de tres modelos distintos:

• Modelo de Ising de Campo Transverso de Vecino Más Cercano (NN-TFIM): En una cadena abierta, el protocolo acelera con éxito el paso a través de la transición de fase cuántica (QPT). Para tasas de recocido más rápidas (donde las transiciones diabáticas normalmente limitarían el éxito), la aplicación de patadas de Floquet óptimas (por ejemplo, $\theta \approx 0.004$) suprime las excitaciones excesivas. Los resultados muestran una reducción del 100% en el tiempo de solución en comparación con las simulaciones sin patadas, logrando la verdadera energía del estado fundamental con mayor precisión.
• Modelo de Ising de Campo Transverso de Largo Alcance Infinito (ILR-TFIM): El protocolo demuestra robustez en una cadena cerrada con interacciones de rango infinito, manteniendo el rendimiento incluso cuando la fuerza de interacción se reescala para coincidir con el tamaño de la brecha del NN-TFIM.
• Modelo de la Molécula de Hidrógeno (H2): Tras la codificación de qubits mediante la transformación de Bravyi-Kitaev, el protocolo se aplica a la molécula de H2. Los autores identifican un Hamiltoniano mezclador que no conmuta con el Hamiltoniano del sistema H2 para facilitar la superposición. Las patadas impulsan con éxito el sistema hacia la energía de enlace exacta del estado fundamental, mostrando convergencia incluso con tasas de recocido rápidas y longitudes de enlace variables.

Significancia y Reivindicaciones
El artículo afirma que este protocolo ofrece un diseño de algoritmo modular que acelera las simulaciones cuánticas sin alterar los algoritmos centrales que operan en el subespacio del sistema. Los puntos clave de significancia incluyen:

• Eficiencia de Recursos: El método requiere solo la optimización de un único parámetro (fuera de línea y insensible al tamaño del sistema) y utiliza un número constante y limitado de qubits ancilares, independientemente de la complejidad de las subrutinas cuánticas encadenadas.
• Compatibilidad de Hardware: El enfoque es particularmente útil para el hardware cuántico ruidoso con tiempos de coherencia cortos, ya que permite tasas de recocido más rápidas que de otro modo estarían prohibidas por el cuello de botella de la brecha de excitación.
• Universalidad: El protocolo es aplicable a cualquier aplicación cuántica que siga la codificación de Hamiltoniano, incluyendo detección cuántica, optimización, aprendizaje automático y preparación de estados.
• Escalabilidad: Los autores señalan que el ángulo de patada óptimo no es sensible al tamaño del sistema para los modelos probados, lo que sugiere escalabilidad para sistemas más grandes.

El trabajo posiciona estas "patadas de Floquet de entrelazamiento ancilar" como una primitiva práctica para mejorar la utilidad cuántica en dispositivos cuánticos digitales-analógicos programables actuales y de próxima generación.