Revealing the quantum nature of memory in non-Markovian dynamics on IBM Quantum

Este artículo investiga los efectos de memoria no markoviana en procesadores cuánticos superconductores de IBM, demostrando la capacidad del hardware actual para verificar la memoria cuántica en dinámicas de un solo qubit y presentando un ejemplo alternativo para observar este fenómeno en sistemas de dos qubits.

Lo esencial

¡Hola! Imagina que estás leyendo una historia sobre cómo los ordenadores cuánticos actuales, aunque aún son un poco "torpes" y ruidosos, ya son lo suficientemente inteligentes para recordar cosas de una manera que solo la naturaleza cuántica permite.

Aquí tienes la explicación de este trabajo científico, contada como una fábula tecnológica:

🌌 El Gran Problema: ¿El ordenador tiene memoria o solo alucinaciones?

Imagina que tienes un amigo (el sistema cuántico) que te cuenta una historia.

• Si es un proceso "Markoviano" (sin memoria), es como si tu amigo tuviera amnesia. Solo sabe lo que le acabas de decir. No le importa lo que pasó hace un minuto.
• Si es un proceso "No Markoviano" (con memoria), tu amigo recuerda lo que pasó antes. Su historia de hoy depende de su pasado.

Pero aquí viene el giro de la trama: esa memoria puede ser de dos tipos:

1. Memoria Clásica: Como un cuaderno de notas. Tu amigo anota lo que pasó en un papel (datos clásicos) y luego lo lee. Es aburrido y predecible.
2. Memoria Cuántica: Como un sueño compartido o un secreto entrelazado. Tu amigo no necesita un papel; la información está "teñida" en la realidad misma de una forma que no se puede copiar ni escribir en un papel. Es mágica y frágil.

El objetivo de este paper: Los científicos querían saber si los ordenadores cuánticos de IBM (que hoy en día son como ordenadores de juguete con mucho "ruido" o interferencia) son capaces de crear y demostrar esa memoria cuántica mágica, o si el ruido los hace tan torpes que solo pueden simular la memoria aburrida (clásica).

---

🧪 La Prueba: El Modelo de "Colisiones"

Para probar esto, usaron una idea genial llamada Modelo de Colisiones.

Imagina que tu sistema cuántico es un bailarín (un solo qubit) y el entorno es una multitud de personas (otros qubits).

• En un mundo normal (Markoviano), el bailarín salta y choca con una persona nueva cada vez, y luego esa persona se va y olvida todo.
• En su experimento, hicieron que el bailarín chocara repetidamente con la misma persona (un "ancilla" o ayudante).
• Cada choque (colisión) es una puerta cuántica. Al chocar varias veces, el bailarín y su ayudante se entrelazan. Si el bailarín recuerda su pasado, es porque esa "persona" (el entorno) guardó la información de una forma cuántica.

🏆 El Hallazgo 1: El Bailarín Solo (Un solo qubit)

Primero, probaron con un solo bailarín.

• La teoría: Decía que si el bailarín chocaba 2 veces y luego 4 veces, la "conexión" (entrelazamiento) entre él y su ayudante debería crecer de una manera imposible de explicar con un simple cuaderno de notas.
• La realidad en IBM: ¡Funcionó! A pesar de que el ordenador cuántico de IBM (llamado ibm_sherbrooke) es ruidoso y comete errores, los científicos pudieron ver que la conexión crecía tal como la teoría cuántica predice.
• La analogía: Fue como si, a pesar de que el bailarín tropezaba un poco por el ruido de la pista, lograra realizar un paso de baile tan complejo que demostró que sí tenía memoria cuántica. ¡El ordenador logró guardar el secreto en la "magia" cuántica y no en un papel!

🧩 El Hallazgo 2: El Dúo de Bailarines (Dos qubits)

Luego, quisieron probar con dos bailarines a la vez.

• El problema: Intentaron hacer una versión más compleja del modelo. Pero el ordenador cuántico es tan ruidoso y las puertas necesarias para hacer este baile tan complejas (necesitaban más de 500 puertas cuánticas), que el bailarín se olvidó de todo antes de terminar. El ruido borró la memoria cuántica y solo quedó un comportamiento clásico.
• La solución (El "Juguete" Inteligente): En lugar de forzar el modelo complejo, diseñaron un juguete más simple. Imagina que en lugar de un baile complicado, usas dos bailarines que solo chocan con sus propios ayudantes, sin tocarse entre ellos.
• El resultado: ¡Éxito! Con este diseño más sencillo y eficiente, lograron demostrar que incluso con dos bailarines, el ordenador cuántico actual puede mantener y demostrar la memoria cuántica.

---

💡 ¿Por qué es esto importante?

Piensa en la memoria cuántica como el "superpoder" que diferencia a un ordenador cuántico de uno clásico.

• Si un ordenador cuántico no puede mantener la memoria cuántica, es como un ordenador clásico disfrazado: no puede hacer cosas que los clásicos no pueden.
• Este paper nos dice: "¡Oye! Aunque nuestros ordenadores actuales son ruidosos e imperfectos, ya son lo suficientemente buenos para demostrar que tienen ese superpoder cuántico real."

🚀 En resumen

1. El Reto: ¿Pueden los ordenadores cuánticos actuales simular procesos que requieren una memoria "mágica" (cuántica) y no solo una "nota en un papel" (clásica)?
2. El Método: Usaron choques repetidos entre partículas para crear una historia compartida.
3. El Resultado:
   • Con un qubit: ¡Sí! Se demostró la memoria cuántica.
   • Con dos qubits: La versión difícil falló por el ruido, pero una versión inteligente y sencilla sí funcionó.
4. La Conclusión: Estamos en una era donde los ordenadores cuánticos, aunque aún son "ruidosos", ya pueden realizar y probar fenómenos cuánticos profundos. ¡Es un paso gigante para el futuro de la computación!

En esencia, los autores nos dicen que la magia cuántica no es solo teoría; ¡ya podemos verla brillar, incluso a través del ruido de los ordenadores de hoy! ✨🔮

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Revealing the quantum nature of memory in non-Markovian dynamics on IBM Quantum" en español.

1. Planteamiento del Problema

El artículo aborda el desafío de simular y verificar dinámicas cuánticas no markovianas en hardware cuántico real de la era NISQ (Noisy Intermediate-Scale Quantum), específicamente en los procesadores de IBM Quantum.

• El Reto: A diferencia de la dinámica markoviana (sin memoria), la dinámica no markoviana implica que el futuro del sistema depende de su historia. Sin embargo, no toda memoria no markoviana es "cuántica"; algunos efectos pueden explicarse mediante memoria clásica.
• La Pregunta Central: ¿Son los computadores cuánticos actuales, a pesar del ruido y la disipación, capaces de simular dinámicas que requieran memoria cuántica genuina (no reducible a memoria clásica) y, lo más importante, ¿pueden verificar experimentalmente esta naturaleza cuántica?
• Limitaciones Previas: Los enfoques anteriores basados en tensores de proceso (process tensors) son demasiado costosos experimentalmente para sistemas de más de un qubit. Se necesita un criterio más eficiente que utilice solo mapas dinámicos.

2. Metodología

Los autores utilizan un enfoque basado en modelos de colisión y un criterio de detección de memoria cuántica basado en la concurrencia.

• Modelo de Colisión: Simulan la interacción sistema-entorno mediante una secuencia de colisiones unitarias discretas entre el qubit del sistema y un qubit ambiental (ancilla). Esto permite implementar dinámicas continuas en hardware discreto.
• Criterio de Memoria Cuántica: Utilizan la definición basada en mapas de Bäcker et al. [51]. Para un sistema acoplado a un ancilla en un estado entrelazado inicial, la memoria es necesariamente cuántica si se cumple la siguiente desigualdad en dos tiempos $t_1$ y $t_2$:
  $$C^\sharp(\rho_{SA}^{t_1}) < C(\rho_{SA}^{t_2})$$
  Donde:
  • $C$ es la concurrencia de formación (entanglement de formación).
  • $C^\sharp$ es la concurrencia de asistencia.
  • Si la concurrencia de asistencia en un tiempo anterior es menor que la concurrencia de formación en un tiempo posterior, la memoria no puede ser clásica.
• Implementación Experimental:
  • Hardware: Procesador ibm_sherbrooke (arquitectura Eagle).
  • Procedimiento: Se prepara un estado de Bell maximamente entrelazado entre el sistema y un ancilla. El sistema interactúa repetidamente con un qubit ambiental. Se realiza tomografía de estado cuántico en el estado conjunto sistema-ancilla en diferentes tiempos.
  • Comparación: Se contrastan los resultados del hardware real, una simulación local clásica con modelos de ruido (fake_sherbrooke) y la teoría ideal.

3. Contribuciones Clave y Resultados

A. Dinámica de un Solo Qubit

• Modelo: Se implementó un proceso de amortiguamiento de amplitud no markoviano (con tasa de decaimiento $\gamma(t)$ que cambia de signo).
• Resultados:
  • Se observó un aumento en la entrelazamiento con el ancilla, confirmando la naturaleza no markoviana.
  • Verificación Cuántica: Se cumplió la desigualdad $C^\sharp(t_1) < C(t_2)$ en el hardware real ($0.51 < 0.62$).
  • Resiliencia al Ruido: A pesar de que la fidelidad del estado Choi-Jamiołkowski disminuyó significativamente entre $t_1$ y $t_2$ (de ~0.93 a ~0.57), la señal de la memoria cuántica persistió. Esto demuestra que el hardware actual puede mantener la "cuanticidad" de la memoria el tiempo suficiente para ser detectada.

B. Dinámica de Dos Qubits (El Desafío)

• Intento de Generalización: Se intentó extender el modelo a dos qubits de sistema acoplados a un entorno de un qubit.
• Fallo Inicial: La implementación directa requirió una unitaria compleja que, tras la transpilación a puertas nativas, generó más de 500 puertas. El tiempo de ejecución superó los tiempos de coherencia ($T_1, T_2$), haciendo que el ruido destruyera cualquier señal de memoria cuántica (la dinámica se volvió esencialmente unitaria aleatoria).
• Solución (Modelo de Juguete):
  • Se diseñó un circuito alternativo donde los dos qubits de sistema interactúan solo con sus respectivos qubits ambientales, evitando interacciones directas entre los qubits de sistema (reduciendo la conectividad y el ruido).
  • Se aplicó mitigación de errores de lectura (readout-error mitigation).
  • Resultado Exitoso: En este modelo simplificado, se logró verificar la memoria cuántica en el hardware real: $C^\sharp(t_1) = 0.72 < 0.89 = C(t_2)$.

4. Significado e Impacto

• Validación de Hardware NISQ: El trabajo demuestra que, aunque el ruido es un obstáculo mayor, los procesadores cuánticos actuales (como los de IBM Eagle) tienen la capacidad de simular y verificar experimentalmente la naturaleza cuántica de la memoria en dinámicas no markovianas, tanto para sistemas de un como de dos qubits.
• Eficiencia Experimental: Se valida que el uso de criterios basados en mapas (concurrencia) es una vía viable y menos costosa que la tomografía completa de tensores de proceso para caracterizar la memoria en sistemas de mayor dimensión.
• Implicaciones para la Simulación Cuántica: Para simular fenómenos complejos en química cuántica, termodinámica o física de muchos cuerpos donde la memoria cuántica es un recurso esencial, es crucial que el hardware pueda mantener estas correlaciones. Este estudio ofrece una hoja de ruta sobre cómo diseñar circuitos (minimizando puertas y mejorando la conectividad) para preservar estas propiedades en dispositivos ruidosos.
• Distinción Clásica vs. Cuántica: Proporciona una metodología experimental clara para distinguir cuándo un efecto de memoria es genuinamente cuántico y no una mera simulación clásica, un paso fundamental para el desarrollo de algoritmos cuánticos que exploten estas ventajas.

En conclusión, el artículo establece un hito al pasar de la teoría a la demostración experimental de que la "cuanticidad" de la memoria no es solo un concepto teórico, sino una propiedad observable en los dispositivos cuánticos de hoy, siempre que se diseñen los circuitos adecuadamente para mitigar el impacto del ruido.