Temporal nonclassicality in continuous-time quantum walks

1. Problema y Contexto

Los paseos cuánticos de tiempo continuo (CTQWs) son análogos cuánticos de los paseos aleatorios clásicos y son fundamentales para la computación cuántica, algoritmos y transporte cuántico. Sin embargo, existe una necesidad de cuantificar y distinguir de manera precisa las características genuinamente cuánticas de estos sistemas, especialmente en entornos realistas sujetos a decoherencia.

El problema central abordado es la diferencia operativa entre las definiciones de "no-clasicidad":

1. Enfoque de un solo tiempo: Comparar la distribución de probabilidad de posición en un instante $t$ entre el paseo cuántico y un paseo aleatorio clásico (distancia dinámica cuántico-clásica, $D_{QC}(t)$).
2. Enfoque de múltiples tiempos: Analizar las correlaciones temporales mediante mediciones secuenciales para verificar la violación de las condiciones de consistencia de Kolmogorov. En sistemas clásicos, medir sin seleccionar el resultado es equivalente a no medir; en sistemas cuánticos, esto no es cierto debido al colapso de la función de onda.

El artículo investiga si estas dos métricas ofrecen evaluaciones consistentes sobre "cuánto cuántico" es un paseo y cómo la topología de la red y la decoherencia afectan estas mediciones.

2. Metodología

Los autores emplean un marco teórico que combina la teoría de grafos, la mecánica cuántica de sistemas abiertos y la teoría de procesos estocásticos.

• Modelos de Dinámica:

  • Sistemas Cerrados (Unitarios): Evolución gobernada por el Hamiltoniano $H = L$ (Laplaciano del grafo), donde $L$ codifica la topología. Se estudian dos topologías regulares representativas: el ciclo (baja conectividad, $d=2$) y el grafo completo (máxima conectividad, $d=N-1$).
  • Sistemas Abiertos (Decoherencia): Se utiliza la ecuación maestra de Lindblad en régimen Markoviano. Se analizan dos mecanismos de decoherencia:
    1. Desfase en la base de sitios (Modelo Haken-Strobl): El entorno induce desfase en la base de posición ($|k\rangle\langle k|$).
    2. Desfase en la base de energía (Decoherencia intrínseca): El desfase ocurre en la base de los autoestados del Hamiltoniano (Laplaciano).

• Cuantificadores de No-Clasicidad:

  1. Distancia Dinámica Cuántico-Clásica ($D_{QC}(t)$): Mide la desviación de la fidelidad cuántica entre el estado cuántico $\rho(t)$ y la distribución clásica $E_C(t)$ en un tiempo $t$.
  2. Violación de Kolmogorov ($\bar{K}(t)$): Se define primero una distancia de Kolmogorov $K(s,t)$ basada en la diferencia entre la distribución de probabilidad conjunta de dos mediciones (en tiempos $s$ y $t$) y la distribución marginal (solo en $t$). Luego, se promedia temporalmente sobre el tiempo intermedio $s \in [0, t]$ para obtener $\bar{K}(t)$.
     • Si $\bar{K}(t) > 0$, el proceso viola la consistencia de Kolmogorov y es genuinamente cuántico.

• Herramientas Analíticas: Se utilizan expansiones de corto tiempo, análisis espectral de los generadores de Lindblad (huecos espectrales) y propiedades de los grafos circulares y completos (matrices circulantes, funciones de Bessel).

3. Contribuciones Clave y Resultados

A. Comportamiento Universal a Corto Plazo

• Escalado Temporal: Se demuestra que a tiempos muy cortos, el cuantificador de Kolmogorov escala cuadráticamente con el tiempo: $\bar{K}(t) \propto d_\nu t^2$, donde $d_\nu$ es el grado del nodo inicial.
• Contraste con $D_{QC}(t)$: La distancia dinámica clásica escala linealmente ($D_{QC}(t) \propto d_\nu t$).
• Independencia Topológica: En este régimen, ambos cuantificadores dependen únicamente del grado local del nodo inicial y son insensibles a la topología global del grafo.

B. Comportamiento a Largo Plazo y Dependencia de la Topología (Sistemas Unitarios)

• Grafos Completos: A medida que aumenta el número de nodos $N$, la no-clasicidad temporal $\bar{K}(t)$ se suprime fuertemente ($\propto 1/N$). El caminante tiende a permanecer en el nodo inicial, suprimiendo la interferencia temporal.
• Ciclos: En contraste, en grafos de ciclo, $\bar{K}(t)$ mantiene oscilaciones finitas y no se anula incluso para $N \to \infty$. Esto indica correlaciones temporales cuánticas robustas.
• Conclusión: La alta conectividad (grafos completos) favorece algoritmos de búsqueda (mediciones de un solo tiempo), pero suprime la no-clasicidad temporal. Los ciclos, con menor conectividad, mantienen correlaciones temporales más fuertes.

C. Comparación entre $D_{QC}(t)$ y $\bar{K}(t)$

• No Jerarquía: Los autores prueban que no existe una implicación lógica entre ambos. Es posible tener $D_{QC}(t) = 0$ (distribuciones de un solo tiempo idénticas a las clásicas) mientras que $\bar{K}(t) \neq 0$ (violación de consistencia temporal), y viceversa.
• Asintótica: Mientras que $D_{QC}(t)$ converge a un valor asintótico independiente de la topología ($1 - 1/N$), $\bar{K}(t)$ muestra una dependencia crítica de la estructura espectral del grafo.

D. Efectos de la Decoherencia (Sistemas Abiertos)

• Desfase en la Base de Sitios (Haken-Strobl):
  • Ambas métricas ($D_{QC}$ y $\bar{K}$) tienden a cero asintóticamente.
  • La decoherencia destruye las coherencias necesarias para la violación de Kolmogorov.
  • La tasa de decaimiento está controlada por el hueco espectral del generador de Lindblad.
• Desfase en la Base de Energía (Decoherencia Intrínseca):
  • Resultado Sorprendente: $\bar{K}(t)$ converge a un valor asintótico finito y no nulo, incluso en presencia de decoherencia fuerte.
  • Mecanismo: Aunque la decoherencia elimina las coherencias entre diferentes autoespacios de energía, preserva las coherencias dentro de subespacios degenerados. Más importante aún, como los autoestados del Laplaciano están deslocalizados en la base de sitios, el estado asintótico no es diagonal en la base de medición. Esto permite que persistan correlaciones temporales cuánticas.
  • Se derivan expresiones cerradas para el valor asintótico en grafos completos y ciclos, mostrando una dependencia de $N$ pero no una anulación total.

4. Significado e Impacto

1. Naturaleza de la No-Clasicidad: El trabajo establece que la "cuanticidad" no es una propiedad monolítica. Dependiendo de si se observan distribuciones instantáneas o correlaciones temporales secuenciales, un sistema puede parecer más o menos cuántico.
2. Diseño de Redes Cuánticas: Sugiere que para tareas que requieren correlaciones temporales robustas (como la certificación de aleatoriedad basada en correlaciones temporales), los grafos con topologías específicas (como ciclos) son superiores a los grafos altamente conectados, incluso bajo ruido.
3. Resiliencia ante el Ruido: La demostración de que la no-clasicidad temporal puede sobrevivir a la decoherencia intrínseca (desfase en energía) ofrece una ruta para mantener ventajas cuánticas en sistemas abiertos, siempre que la base de medición no coincida con la base de decoherencia.
4. Herramientas de Diagnóstico: Proporciona un marco riguroso para distinguir entre procesos estocásticos clásicos y cuánticos en experimentos de paseos cuánticos, utilizando la violación de las condiciones de Kolmogorov como un testigo robusto.

En resumen, el artículo revela una intrincada naturaleza de las correlaciones cuánticas temporales en sistemas de red, mostrando que la topología del grafo y la naturaleza del ruido ambiental juegan roles decisivos y a menudo contraintuitivos en la preservación de la no-clasicidad.