Lazy Quantum Walks with Native Multiqubit Gates

1. Planteamiento del Problema

Las caminatas cuánticas (Quantum Walks - QW) son el análogo cuántico de las caminatas aleatorias clásicas y son fundamentales para algoritmos cuánticos, especialmente en la simulación de dinámica de fluidos. Sin embargo, para modelar estados de reposo (velocidad cero) necesarios en simulaciones de fluidos, las caminatas cuánticas estándar deben extenderse a caminatas cuánticas perezas (lazy quantum walks), que requieren un estado de "reposo" además de los movimientos horario y antihorario.

El desafío principal radica en la implementación experimental de estas caminatas en hardware de computación cuántica de escala intermedia (NISQ).

• Las implementaciones existentes (en superconductores o iones atrapados) suelen limitarse a caminatas estándar sin estado de reposo.
• La implementación de caminatas perezas requiere puertas lógicas que actúen sobre al menos tres cúbits (para controlar el movimiento y el estado de reposo), lo que aumenta la complejidad del circuito.
• Existe una necesidad crítica de evaluar si el uso de puertas nativas multicúbit (≥3 cúbits) en plataformas de átomos neutros ofrece una ventaja real sobre la descomposición de estas operaciones en secuencias de puertas de menor rango (ej. puertas de 2 cúbits), considerando los errores actuales del hardware.

2. Metodología

Los autores proponen un enfoque de benchmarking utilizando la puerta de medio sumador cuántico (quantum half-adder) para implementar caminatas cuánticas discretas en anillos de $2^n$ nodos.

• Plataforma de Hardware: Se modela un procesador cuántico de átomos neutros (cesio), aprovechando sus características clave:
  • Arrays de cúbits reconfigurables dinámicamente (movimiento de átomos para conectividad todo-a-todo).
  • Capacidad de ejecutar puertas nativas multicúbit (CZ, CCZ, y teóricamente C3Z) mediante interacciones de Rydberg.
• Modelo de Error Realista: Se utiliza un modelo detallado basado en el trabajo de Pelegrí et al., que incluye:
  • Puertas: Matrices efectivas no unitarias para puertas CZ, CCZ y C3Z (basadas en paso adiabático rápido de dos fotones).
  • Ruido Pasivo: Relajación longitudinal ($T_1$) y transversal ($T_2$) durante los tiempos de espera y movimiento de los átomos.
  • SPAM (Preparación y Medición de Estados): Errores en la inicialización, fuga de población y pérdida de átomos durante la lectura.
  • Movimiento: Se asume que el transporte de átomos es fiel si se realiza a velocidades bajas ($\le 0.55 \mu m/\mu s$), pero introduce ruido pasivo durante la duración del movimiento.
• Simulación: Se simulan caminatas de 1 y 2 cúbits de "moneda" (coin) en anillos de 4, 8 y 16 nodos. Se comparan dos configuraciones:
  1. Conjunto de puertas nativas de rango máximo 3: {H, X, Ry, CZ, CCZ}. Las puertas de mayor rango (C3X, etc.) se descomponen en secuencias de puertas de 3 cúbits.
  2. Conjunto de puertas nativas de rango máximo 4: Incluye la puerta nativa C3Z (4 cúbits), evitando la descomposición para ciertas operaciones.
• Métrica de Evaluación: Se calcula la fidelidad del estado final ($f$) utilizando la distancia de Hellinger entre la distribución de probabilidad ideal (sin errores) y la simulada con errores.

3. Contribuciones Clave

1. Propuesta de Benchmark: Establecen la caminata cuántica perezas como un algoritmo de referencia ideal para comparar la implementación de puertas de 2 cúbits frente a puertas nativas multicúbit en átomos neutros.
2. Modelado de Puertas C3Z: Incluyen en la simulación la matriz efectiva teórica para la puerta C3Z (4 cúbits), aún no implementada experimentalmente pero crucial para evaluar el potencial a corto plazo.
3. Análisis de Compensación (Sweet Spot): Identifican el punto óptimo donde el uso de puertas nativas de mayor rango supera a la descomposición en puertas más pequeñas pero de mayor fidelidad individual.
4. Validación para Simulación de Fluidos: Demuestran la viabilidad teórica de ejecutar los requisitos básicos (incluyendo el estado de reposo) para la simulación de fluidos cuánticos en hardware de átomos neutros.

4. Resultados Principales

• Fidelidad y Rango de Puertas:

  • La fidelidad del estado final disminuye drásticamente a medida que aumenta el número total de cúbits ($n_q$) y el número de pasos.
  • Para un anillo de 4 nodos con 2 cúbits de moneda (requiriendo 4 cúbits totales), el uso de puertas nativas de rango 4 (incluyendo C3Z) mejora la fidelidad en un 12% después de 21 pasos en comparación con el uso exclusivo de puertas de rango 3 descompuestas.
  • Con las fidelidades actuales proyectadas ($F_{CZ} \approx 0.9981$, $F_{CCZ} \approx 0.9954$), una caminata en un anillo de 4 nodos mantiene una fidelidad $>0.99$ durante 2 pasos y $>0.90$ durante 14 pasos.

• Ventaja de las Puertas Multicúbit:

  • El uso de puertas nativas de 3 y 4 cúbits proporciona una ventaja significativa para circuitos pequeños (4 y 8 nodos) al reducir la profundidad del circuito y la acumulación de errores de descomposición.
  • Se identificó un "punto dulce": las puertas de 4 cúbits ofrecen un salto de rendimiento notable. Sin embargo, las simulaciones sugieren que aumentar el rango nativo a 5 o más cúbits ofrece ganancias marginales adicionales para los tamaños de circuito considerados.

• Comparación con Hardware Existente:

  • Los resultados superan en fidelidad a las implementaciones recientes en dispositivos superconductores (como los de IBM) para el mismo tipo de caminata, gracias a la conectividad todo-a-todo y las puertas nativas multicúbit de los átomos neutros.
  • La conectividad todo-a-todo (lograda mediante movimiento de átomos) es un factor crítico que mejora la fidelidad final en un 10-15% comparado con topologías de solo vecinos más cercanos.

• Tolerancia a Errores:

  • Para tolerancias estrictas ($f > 0.99$), solo son factibles caminatas en anillos de 4 nodos con las fidelidades actuales.
  • Si se mejora la fidelidad de las puertas CZ y CCZ a niveles cercanos al 99.99% y 99.79% respectivamente, o se utiliza la puerta C3Z nativa, se puede extender la viabilidad a 5 pasos con alta fidelidad.

5. Significado y Conclusión

El artículo concluye que la plataforma de átomos neutros es altamente prometedora para la implementación de caminatas cuánticas complejas, especialmente aquellas requeridas para la simulación de fluidos.

• Recomendación de Hardware: Se recomienda encarecidamente la implementación de puertas nativas de 4 cúbits (C3Z) y la capacidad de reordenamiento de matrices en circuitos para el futuro cercano. Esto permite ejecutar algoritmos de mayor complejidad con menor profundidad de circuito.
• Límite de Rendimiento: No es necesario escalar indefinidamente hacia puertas nativas de 5 o más cúbits; el rango de 4 cúbits parece ser el punto óptimo ("sweet spot") para el equilibrio entre complejidad de implementación y ganancia de fidelidad en los sistemas actuales.
• Futuro: El trabajo sienta las bases para experimentos reales en átomos neutros, sugiriendo que la primera demostración debería realizarse en un anillo de 4 nodos para validar los modelos teóricos. Además, se señala la necesidad futura de incorporar corrección de errores y extender el modelo a casos no lineales y redes 2D.

En resumen, el estudio demuestra que el aprovechamiento de las puertas nativas multicúbit en átomos neutros puede superar las limitaciones de las arquitecturas basadas en descomposición de puertas, haciendo viable la simulación cuántica de fluidos en el horizonte temporal cercano.