Recurrence in discrete-time quantum stochastic walks

Résumé technique : Récurrence dans les marches aléatoires quantiques à temps discret

Énoncé du problème
L'article étudie le phénomène de récurrence — la probabilité qu'un marcheur revienne à sa position de départ — dans les marches aléatoires quantiques à temps discret (DTQSW) sur une droite. Alors que les marches aléatoires (RW) classiques sur une droite en 1D sont récurrentes (le retour se produit avec certitude), les marches quantiques (QW) unitaires peuvent être transitoires (le retour se produit avec une probabilité $< 1$) en raison de l'interférence destructrice. Les auteurs explorent le comportement d'un modèle de DTQSW qui interpole entre une QW unitaire et une RW classique équilibrée. Une question centrale est de savoir si l'introduction d'un caractère aléatoire classique (stochastique) dans l'évolution quantique favorise toujours la récurrence ou si elle peut, de manière contre-intuitive, la supprimer. L'étude traite spécifiquement du défi consistant à déterminer avec précision les probabilités de récurrence asymptotiques, qui sont difficiles à estimer par simulation numérique directe en raison de la convergence lente et des contraintes de mémoire associées à l'évolution de la matrice densité.

Méthodologie
Les auteurs modélisent la DTQSW comme un système quantique ouvert régi par une application complètement positive et préservant la trace (CPTP). L'évolution est définie par trois opérateurs de Kraus :

1. $\hat{E}_0 = \sqrt{1-p}\,\hat{U}$ : Représente l'étape de la marche quantique unitaire avec une probabilité de $1-p$.
2. $\hat{E}_{1,2} = \sqrt{p/2}\,\hat{I}_c \otimes \hat{T}^{(\dagger)}$ : Représentent des étapes classiques incohérentes (décalages gauche/droite) avec une probabilité totale de $p$.

Pour analyser la récurrence, les auteurs emploient l'approche de la « récurrence monitorée », où le système est soumis à une mesure projective partielle à l'origine à chaque étape. Si le marcheur est trouvé à l'origine, le processus s'arrête ; sinon, l'amplitude à l'origine est effacée et l'évolution se poursuit.

Pour surmonter les limitations de la simulation directe (qui nécessite d'itérer l'application CPTP sur une matrice densité, entraînant une mise à l'échelle quadratique de la mémoire et une convergence lente), les auteurs utilisent la théorie des fonctions génératrices de premier retour (fonctions FR). Ils dérivent la fonction de Stieltjes du système en utilisant la transformation de Fourier dans l'espace des moments. En évaluant la fonction FR réduite $F(z)$ pour des valeurs de $z$ proches de 1 (spécifiquement $z=0,99999$), ils approchent la probabilité de récurrence asymptotique $R$ avec une précision nettement plus élevée et un nombre d'étapes effectives ($t_{eff} \approx 10^5$) bien supérieur à ce que permet l'itération directe.

L'étude compare également ce modèle à un autre DTQSW où la composante classique est une marche aléatoire corrélée (CRW), impliquant la mesure de l'état de la pièce avant et après l'étape, induisant ainsi une décohérence.

Contributions clés et résultats

1. Suppression de la probabilité de récurrence :
   La principale découverte est que l'introduction d'un caractère aléatoire classique ($p > 0$) dans une QW unitaire peut diminuer la probabilité de récurrence par rapport au cas unitaire pur ($p=0$), bien que la limite classique pure ($p=1$) soit récurrente.

• Pour les angles de pièce $\theta$ dans la plage $(\theta^*, \pi/2)$, où $\theta^* \approx 0,2892\pi$, la probabilité de récurrence $R(p)$ est non monotone. Elle diminue initialement lorsque $p$ augmente à partir de 0, formant un « creux », avant de remonter finalement vers 1 lorsque $p \to 1$.
• Ce comportement est identifié comme une caractéristique robuste de la limite asymptotique, et non comme un effet transitoire lié au temps de simulation fini.

2. Rôle de l'interférence et de la décohérence :
   La suppression de la récurrence est attribuée à l'interaction entre l'interférence quantique et le caractère aléatoire classique. Dans la région du creux, l'ajout d'étapes classiques perturbe les motifs d'interférence spécifiques de la marche unitaire d'une manière qui réduit la probabilité de retour, même si la marche classique elle-même est récurrente.

• En revanche, pour le modèle alternatif interpolant entre une QW et une RW corrélée (où l'état de la pièce est mesuré, provoquant la décohérence), la probabilité de récurrence est une fonction en escalier : $R(p) = 1$ pour tout $p > 0$. Les auteurs concluent que toute quantité de décohérence de l'état de la pièce impose un comportement de récurrence classique.

3. Cadre numérique :
   L'article fournit un cadre numérique robuste utilisant des fonctions génératrices pour évaluer la récurrence dans les systèmes quantiques ouverts. Cette méthode permet d'étudier les propriétés asymptotiques inaccessibles via les simulations standard d'évolution temporelle, démontrant que la suppression observée est une caractéristique asymptotique réelle.

Signification
L'article affirme que ces résultats remettent en question l'idée intuitive selon laquelle l'ajout de bruit classique à un système quantique se contente de combler le fossé entre les comportements quantique et classique de manière monotone. Au lieu de cela, il démontre que des régimes spécifiques d'interaction quantique-classique peuvent produire des caractéristiques de performance (ici, une récurrence réduite) qui sont distinctes des limites purement quantiques et purement classiques.

Les auteurs suggèrent que ce comportement implique que le caractère aléatoire classique peut être bénéfique pour certaines tâches impliquant des marches quantiques à temps discret et des mesures partielles, telles que des sous-programmes d'algorithmes quantiques, en supprimant potentiellement les retours indésirables ou en modifiant les propriétés de transport. Le travail souligne que le mécanisme spécifique d'introduction de la stochasticité (par exemple, décalages incohérents par rapport à la décohérence de la pièce) est crucial pour déterminer les propriétés de récurrence de la marche.

L'étude reste modeste quant à la réalisation expérimentale, notant que si les implémentations photoniques et les qubits supraconducteurs avec lecture intermédiaire offrent des voies potentielles, les niveaux de bruit actuels des dispositifs NISQ présentent des défis importants pour démontrer ces effets sur le nombre d'étapes nécessaire.