Recurrence in discrete-time quantum stochastic walks

Resumo Técnico: Recorrência em Caminhadas Aleatórias Quânticas de Tempo Discreto

Enunciado do Problema
O artigo investiga o fenômeno da recorrência — a probabilidade de um caminhante retornar à sua posição inicial — em caminhadas aleatórias quânticas de tempo discreto (DTQSW) em uma linha. Enquanto as caminhadas aleatórias clássicas (RW) em uma linha 1D são recorrentes (retornam com certeza), as caminhadas quânticas unitárias (QW) podem ser transientes (retornam com probabilidade $<1$) devido à interferência destrutiva. Os autores exploram o comportamento de um modelo de DTQSW que interpola entre uma QW unitária e uma RW clássica balanceada. Uma questão central é se a introdução de aleatoriedade clássica (estocasticidade) na evolução quântica sempre aumenta a recorrência ou se pode, contra-intuitivamente, suprimi-la. O estudo aborda especificamente o desafio de determinar com precisão as probabilidades de recorrência assintótica, que são difíceis de estimar via simulação numérica direta devido à convergência lenta e às restrições de memória associadas à evolução da matriz densidade.

Metodologia
Os autores modelam a DTQSW como um sistema quântico aberto governado por um mapa completamente positivo e preservador de traço (CPTP). A evolução é definida por três operadores de Kraus:

1. $\hat{E}_0 = \sqrt{1-p}\,\hat{U}$: Representa o passo da caminhada quântica unitária com probabilidade $1-p$.
2. $\hat{E}_{1,2} = \sqrt{p/2}\,\hat{I}_c \otimes \hat{T}^{(\dagger)}$: Representam passos clássicos incoerentes (deslocamentos para esquerda/direita) com probabilidade total $p$.

Para analisar a recorrência, os autores empregam a abordagem de "recorrência monitorada", onde o sistema é submetido a uma medição projetiva parcial na origem em cada passo. Se o caminhante for encontrado na origem, o processo para; caso contrário, a amplitude na origem é apagada e a evolução continua.

Para superar as limitações da simulação direta (que requer iterar o mapa CPTP sobre uma matriz densidade, levando a uma escala de memória quadrática e convergência lenta), os autores utilizam a teoria das funções geratrizes de primeiro retorno (funções FR). Eles derivam a função de Stieltjes para o sistema usando a transformada de Fourier no espaço de momento. Ao avaliar a função FR reduzida $F(z)$ em valores de $z$ próximos de 1 (especificamente $z=0.99999$), eles aproximam a probabilidade de recorrência assintótica $R$ com precisão significativamente maior e contagens de passos efetivos ($t_{eff} \approx 10^5$) do que a iteração direta permite.

O estudo também compara este modelo a uma DTQSW alternativa onde a componente clássica é uma caminhada aleatória correlacionada (CRW), que envolve medir o estado da moeda antes e depois do passo, induzindo assim decoerência.

Principais Contribções e Resultados

1. Supressão da Probabilidade de Recorrência:
   A principal descoberta é que a introdução de aleatoriedade clássica ($p > 0$) em uma QW unitária pode diminuir a probabilidade de recorrência em comparação ao caso quântico puro ($p=0$), apesar de o limite clássico puro ($p=1$) ser recorrente.

• Para ângulos de moeda $\theta$ no intervalo $(\theta^*, \pi/2)$, onde $\theta^* \approx 0.2892\pi$, a probabilidade de recorrência $R(p)$ é não-monotônica. Ela inicialmente diminui conforme $p$ aumenta de 0, formando um "vale", antes de eventualmente subir para 1 conforme $p \to 1$.
• Este comportamento é identificado como uma característica robusta do limite assintótico, não um efeito transitório de tempo de simulação finito.

2. Papel da Interferência e Decoerência:
   A supressão da recorrência é atribuída à interação entre a interferência quântica e a aleatoriedade clássica. Na região do vale, a adição de passos clássicos interrompe os padrões específicos de interferência da caminhada unitária de uma forma que reduz a probabilidade de retorno, embora a caminhada clássica em si seja recorrente.

• Em contraste, para o modelo alternativo que interpola entre uma QW e uma RW correlacionada (onde o estado da moeda é medido, causando decoerência), a probabilidade de recorrência é uma função degrau: $R(p) = 1$ para qualquer $p > 0$. Os autores concluem que qualquer quantidade de decoerência do estado da moeda impõe o comportamento de recorrência clássica.

3. Estrutura Numérica:
   O artigo fornece uma estrutura numérica robusta usando funções geratrizes para avaliar a recorrência em sistemas quânticos abertos. Este método permite a investigação de propriedades assintóticas que são inacessíveis via simulações padrão de evolução temporal, demonstrando que a supressão observada é uma característica assintótica genuína.

Significância
O artigo afirma que estes resultados desafiam a noção intuitiva de que adicionar ruído clássico a um sistema quântico simplesmente une a lacuna entre comportamentos quânticos e clássicos de forma monotônica. Em vez disso, demonstra que regimes específicos de interação quântico-clássica podem gerar características de desempenho (neste caso, redução de recorrência) que são distintas tanto do limite quântico puro quanto do limite clássico puro.

Os autores sugerem que este comportamento implica que a aleatoriedade clássica pode ser benéfica para certas tarefas envolvendo caminhadas quânticas de tempo discreto e medições parciais, como sub-rotinas em algoritmos quânticos, ao potencialmente suprimir retornos indesejados ou alterar propriedades de transporte. O trabalho destaca que o mecanismo específico de introdução de estocasticidade (por exemplo, deslocamentos incoerentes versus decoerência da moeda) é crucial para determinar as propriedades de recorrência da caminhada.

O estudo permanece modesto quanto à realização experimental, observando que, embora implementações fotônicas e qubits supercondutores com leitura no meio do circuito ofereçam caminhos potenciais, os níveis atuais de ruído em dispositivos NISQ apresentam desafios significativos para demonstrar estes efeitos ao longo do número necessário de passos.