Recurrence in discrete-time quantum stochastic walks

Technische Zusammenfassung: Rekurrenz in diskreten zeitlichen Quanten-stochastischen Walks

Problemstellung
Die vorliegende Arbeit untersucht das Phänomen der Rekurrenz – die Wahrscheinlichkeit, mit der ein Walker zu seiner Ausgangsposition zurückkehrt – bei diskreten zeitlichen Quanten-stochastischen Walks (DTQSW) auf einer Linie. Während klassische Random Walks (RW) auf einer 1D-Linie rekurrent sind (Rückkehr mit Sicherheit), können unitäre Quanten-Walks (QW) transient sein (Rückkehr mit einer Wahrscheinlichkeit $< 1$) aufgrund destruktiver Interferenz. Die Autoren untersuchen das Verhalten eines DTQSW-Modells, das zwischen einem unitären QW und einem klassischen balancierten RW interpoliert. Eine zentrale Frage ist, ob die Einführung klassischer Zufälligkeit (Stochastizität) in die Quantenevolution die Rekurrenz stets verstärkt oder ob sie dies entgegen der Intuition auch unterdrücken kann. Die Studie adressiert spezifisch die Herausforderung, asymptotische Rekurrenzwahrscheinlichkeiten genau zu bestimmen, welche aufgrund langsamer Konvergenz und der mit der Dichtematrix-Evolution verbundenen Speicherbeschränkungen durch direkte numerische Simulationen schwer zu schätzen sind.

Methodik
Die Autoren modellieren den DTQSW als offenes Quantensystem, das durch eine vollständig positive, trace-erhaltende (CPTP) Abbildung gesteuert wird. Die Evolution wird durch drei Kraus-Operatoren definiert:

1. $\hat{E}_0 = \sqrt{1-p}\,\hat{U}$: Repräsentiert den unitären Quanten-Walk-Schritt mit der Wahrscheinlichkeit $1-p$.
2. $\hat{E}_{1,2} = \sqrt{p/2}\,\hat{I}_c \otimes \hat{T}^{(\dagger)}$: Repräsentieren inkohärente klassische Schritte (Links-/Rechtsverschiebungen) mit einer Gesamtwahrscheinlichkeit $p$.

Um die Rekurrenz zu analysieren, verwenden die Autoren den Ansatz der „monitored recurrence“ (überwachten Rekurrenz), bei dem das System in jedem Schritt einer partiellen Projektionsmessung am Ursprung unterzogen wird. Wenn der Walker am Ursprung gefunden wird, stoppt der Prozess; andernfalls wird die Amplitude am Ursprung gelöscht und die Evolution setzt sich fort.

Um die Einschränkungen der direkten Simulation (die die Iteration der CPTP-Abbildung auf einer Dichtematrix erfordert, was zu quadratischem Speicherbedarf und langsamer Konvergenz führt) zu umgehen, nutzen die Autoren die Theorie der First-Return-Erzeugungsfunktionen (FR-Funktionen). Sie leiten die Stieltjes-Funktion für das System unter Verwendung der Fourier-Transformation im Impulsraum her. Durch die Auswertung der reduzierten FR-Funktion $F(z)$ an Werten von $z$ nahe 1 (speziell $z=0,99999$) approximieren sie die asymptotische Rekurrenzwahrscheinlichkeit $R$ mit deutlich höherer Genauigkeit und effektiven Schrittzahlen ($t_{eff} \approx 10^5$) als die direkte Iteration dies zulässt.

Die Studie vergleicht dieses Modell zudem mit einem alternativen DTQSW, bei dem die klassische Komponente ein korrelierter Random Walk (CRW) ist, welcher eine Messung des Münzzustands vor und nach dem Schritt beinhaltet und dadurch Dekohärenz induziert.

Zentrale Beiträge und Ergebnisse

1. Unterdrückung der Rekurrenzwahrscheinlichkeit:
   Die primäre Erkenntnis ist, dass die Einführung klassischer Zufälligkeit ($p > 0$) in einen unitären QW die Rekurrenzwahrscheinlichkeit im Vergleich zum reinen unitären Fall ($p=0$) verringern kann, obwohl der rein klassische Grenzwert ($p=1$) rekurrent ist.

   • Für Münzwinkel $\theta$ im Bereich $(\theta^*, \pi/2)$, wobei $\theta^* \approx 0,2892\pi$, ist die Rekurrenzwahrscheinlichkeit $R(p)$ nicht-monoton. Sie sinkt zunächst, wenn $p$ von 0 aus erhöht wird, bildet ein „Tal“ (Dip) und steigt schließlich gegen 1, wenn $p \to 1$.
   • Dieses Verhalten wurde als robustes Merkmal des asymptotischen Limits identifiziert und ist kein transientes Effekt endlicher Simulationszeit.

2. Rolle von Interferenz und Dekohärenz:
   Die Unterdrückung der Rekurrenz wird der Wechselwirkung zwischen Quanteninterferenz und klassischer Zufälligkeit zugeschrieben. Im Bereich des „Tals“ stört das Hinzufügen klassischer Schritte die spezifischen Interferenzmuster des unitären Walks in einer Weise, die die Wahrscheinlichkeit einer Rückkehr reduziert, obwohl der klassische Walk selbst rekurrent ist.

   • Im Gegensatz dazu zeigt das alternative Modell, das zwischen einem QW und einem korrelierten RW (bei dem der Münzzustand gemessen wird, was Dekohärenz verursacht) interpoliert, eine Rekurrenzwahrscheinlichkeit, die eine Sprungfunktion ist: $R(p) = 1$ für jedes $p > 0$. Die Autoren kommen zu dem Schluss, dass jede Menge an Münzzustands-Dekohärenz das Verhalten eines klassischen rekurrenten Walks erzwingt.

3. Numerisches Framework:
   Das Paper liefert ein robustes numerisches Framework unter Verwendung von Erzeugungsfunktionen zur Evaluierung der Rekurrenz in offenen Quantensystemen. Diese Methode ermöglicht die Untersuchung asymptotischer Eigenschaften, die über Standard-Zeitentwicklungs-Simulationen nicht zugänglich sind, und demonstriert, dass die beobachtete Unterdrückung ein echtes asymptotisches Merkmal ist.

Bedeutung
Die Arbeit behauptet, dass diese Ergebnisse die intuitive Vorstellung infrage stellen, dass das Hinzufügen von klassischem Rauschen zu einem Quantensystem lediglich die Lücke zwischen Quanten- und klassischem Verhalten monoton überbrückt. Stattdessen zeigt sie, dass spezifische Regime des Quanten-Klassik-Zusammenspiels Leistungscharakteristika liefern können, die sowohl vom reinen Quanten- als auch vom reinen klassischen Limit verschieden sind.

Die Autoren legen nahe, dass dieses Verhalten impliziert, dass klassische Zufälligkeit für bestimmte Aufgaben, die diskrete zeitliche Quanten-Walks und partielle Messungen beinhalten (wie Subroutinen in Quantenalgorithmen), vorteilhaft sein kann, indem sie potenziell unerwünschte Rückkehrereignisse unterdrückt oder Transporteigenschaften verändert. Die Arbeit hebt hervor, dass der spezifische Mechanismus der Einführung von Stochastizität (z. B. inkohärente Verschiebungen gegenüber Münz-Dekohärenz) entscheidend für die Bestimmung der Rekurrenzeigenschaften des Walks ist.

Die Studie bleibt hinsichtlich der experimentellen Realisierung bescheiden und merkt an, dass zwar photonische Implementierungen und supraleitende Qubits mit Mid-Circuit-Readout potenzielle Wege bieten, die aktuellen Rauschpegel in NISQ-Geräten jedoch signifikante Herausforderungen darstellen, um diese Effekte über die notwendige Anzahl von Schritten hinweg nachzuweisen.