Recurrence in discrete-time quantum stochastic walks

Resumen Técnico: Recurrencia en Caminatas Estocásticas Cuánticas de Tiempo Discreto

Planteamiento del Problema
El artículo investiga el fenómeno de la recurrencia —la probabilidad de que un caminante regrese a su posición inicial— en las caminatas estocásticas cuánticas de tiempo discreto (DTQSW, por sus siglas en inglés) sobre una línea. Mientras que las caminatas aleatorias (RW) clásicas en una línea 1D son recurrentes (regresan con certeza), las caminatas cuánticas (QW) unitarias pueden ser transitorias (regresan con una probabilidad $<1$) debido a la interferencia destructiva. Los autores exploran el comportamiento de un modelo de DTQSW que interpola entre una QW unitaria y una RW clásica balanceada. Una cuestión central es si la introducción de aleatoriedad clásica (estocasticidad) en la evolución cuántica siempre potencia la recurrencia o si, de manera contraintuitiva, puede suprimirla. El estudio aborda específicamente el desafío de determinar con precisión las probabilidades de recurrencia asintótica, las cuales son difíciles de estimar mediante simulación numérica directa debido a la lenta convergencia y las restricciones de memoria asociadas a la evolución de la matriz de densidad.

Metodología
Los autores modelan la DTQSW como un sistema cuántico abierto gobernado por un mapa completamente positivo y preservador de la traza (CPTP). La evolución se define por tres operadores de Kraus:

1. $\hat{E}_0 = \sqrt{1-p}\,\hat{U}$: Representa un paso de la caminata cuántica unitaria con probabilidad $1-p$.
2. $\hat{E}_{1,2} = \sqrt{p/2}\,\hat{I}_c \otimes \hat{T}^{(\dagger)}$: Representan pasos clásicos incoherentes (desplazamientos a la izquierda/derecha) con una probabilidad total de $p$.

Para analizar la recurrencia, los autores emplean el enfoque de "recurrencia monitoreada", donde el sistema se somete a una medición proyectiva parcial en el origen en cada paso. Si el caminante es hallado en el origen, el proceso se detiene; de lo contrario, la amplitud en el origen se borra y la evolución continúa.

Para superar las limitaciones de la simulación directa (que requiere iterar el mapa CPTP sobre una matriz de densidad, lo que conduce a un escalamiento cuadrático de la memoria y una convergencia lenta), los autores utilizan la teoría de las funciones generatrices de primer retorno (funciones FR). Derivan la función de Stieltjes para el sistema utilizando la transformación de Fourier en el espacio de momentos. Al evaluar la función FR reducida $F(z)$ en valores de $z$ cercanos a 1 (específicamente $z=0.99999$), aproximan la probabilidad de recurrencia asintótica $R$ con una precisión significativamente mayor y un número de pasos efectivos ($t_{eff} \approx 10^5$) superior al que permite la iteración directa.

El estudio también compara este modelo con una DTQSW alternativa donde el componente clásico es una caminata aleatoria correlacionada (CRW), la cual implica medir el estado de la moneda antes y después del paso, induciendo así decoherencia.

Contribuciones Claves y Resultados

1. Supresión de la Probabilidad de Recurrencia:
   El hallazgo principal es que la introducción de aleatoriedad clásica ($p > 0$) en una QW unitaria puede disminuir la probabilidad de recurrencia en comparación con el caso puramente unitario ($p=0$), a pesar de que el límite clásico puro ($p=1$) es recurrente.

   • Para ángulos de moneda $\theta$ en el rango $(\theta^*, \pi/2)$, donde $\theta^* \approx 0.2892\pi$, la probabilidad de recurrencia $R(p)$ es no monótona. Inicialmente disminuye a medida que $p$ aumenta desde 0, formando un "valle" (dip), antes de ascender finalmente a 1 cuando $p \to 1$.
   • Este comportamiento se identifica como una característica robusta del límite asintótico, no como un efecto transitorio de un tiempo de simulación finito.

2. Papel de la Interferencia y la Decoherencia:
   La supresión de la recurrencia se atribuye a la interacción entre la interferencia cuántica y la aleatoriedad clásica. En la región del valle, la adición de pasos clásicos interrumpe los patrones de interferencia específicos de la caminata unitaria de una manera que reduce la probabilidad de retorno, aun cuando la caminata clásica en sí misma es recurrente.

   • Por el contrario, para el modelo alternativo que interpola entre una QW y una RW correlacionada (donde el estado de la moneda es medido, causando decoherencia), la probabilidad de recurrencia es una función escalón: $R(p) = 1$ para cualquier $p > 0$. Los autores concluyen que cualquier cantidad de decoherencia en el estado de la moneda impone un comportamiento de recurrencia clásica.

3. Marco Numérico:
   El artículo proporciona un marco numérico robusto utilizando funciones generatrices para evaluar la recurrencia en sistemas cuánticos abiertos. Este método permite la investigación de propiedades asintóticas que son inaccesibles mediante simulaciones estándar de evolución temporal, demostrando que la supresión observada es una característica asintótica genuina.

Significado
El artículo sostiene que estos resultados desafían la noción intuitiva de que añadir ruido clásico a un sistema cuántico simplemente une el vacío entre los comportamientos cuántico y clásico de forma monótona. En cambio, demuestra que regímenes específicos de la interacción cuántico-clásica pueden producir características de rendimiento (en este caso, una recurrencia reducida) que son distintas tanto del límite puramente cuántico como del puramente clásico.

Los autores sugieren que este comportamiento implica que la aleatoriedad clásica puede ser beneficiosa para ciertas tareas que involucran caminatas cuánticas de tiempo discreto y mediciones parciales, como subrutinas en algoritmos cuánticos, al potencialmente suprimir retornos no deseados o alterar las propiedades de transporte. El trabajo destaca que el mecanismo específico de introducir estocasticidad (por ejemplo, desplazos incoherentes frente a la decoherencia de la moneda) es crucial para determinar las propiedades de recurrencia de la caminata.

El estudio se mantiene modesto respecto a la realización experimental, señalando que, aunque las implementaciones fotónicas y los cúbits superconductores con lectura de mitad de circuito ofrecen vías potenciales, los niveles de ruido actuales en los dispositivos NISQ presentan desafíos significativos para demostrar estos efectos durante el número necesario de pasos.