Recurrence in discrete-time quantum stochastic walks

Technische Samenvatting: Recurrentie in Discrete-Time Quantum Stochastic Walks

Probleemstelling
Het artikel onderzoekt het fenomeen van recurrentie—de waarschijnlijkheid dat een wandelaar terugkeert naar zijn startpositie—in discrete-time quantum stochastic walks (DTQSW) op een lijn. Terwijl klassieke random walks (RW) op een 1D-lijn recurrent zijn (terugkeer met zekerheid), kunnen unitaire quantum walks (QW) transient zijn (terugkeer met een waarschijnlijkheid $<1$) door destructieve interferentie. De auteurs verkennen het gedrag van een DTQSW-model dat interporeert tussen een unitaire QW en een klassieke gebalanceerde RW. Een centrale vraag is of het introduceren van klassieke willekeur (stochasticiteit) in de quantum-evolutie de recurrentie altijd versterkt of dat het, contra-intuïtief, deze juist kan onderdrukken. De studie richt zich specifiek op de uitdaging om de asymptotische recurrentiewaarschijnlijkheden nauwkeurig te bepalen, die moeilijk te schatten zijn via directe numerieke simulatie vanwege de trage convergentie en de geheugenbeperkingen die gepaard gaan met de evolutie van de dichtheidsmatrix.

Methodologie
De auteurs modelleren de DTQSW als een open quantum systeem dat wordt beheerd door een completely positive trace-preserving (CPTP) kaart. De evolutie wordt gedefinieerd door drie Kraus-operatoren:

1. $\hat{E}_0 = \sqrt{1-p}\,\hat{U}$: Vertegenwoordigt de unitaire quantum walk stap met waarschijnlijkheid $1-p$.
2. $\hat{E}_{1,2} = \sqrt{p/2}\,\hat{I}_c \otimes \hat{T}^{(\dagger)}$: Vertegenwoordigen incoherente klassieke stappen (links/rechts verschuivingen) met een totale waarschijnlijkheid $p$.

Om de recurrentie te analyseren, gebruiken de auteurs de "monitored recurrence" benadering, waarbij het systeem bij elke stap wordt onderworpen aan een partiële projectieve meting op de oorsprong. Als de wandelaar op de oorsprong wordt gevonden, stopt het proces; anders wordt de amplitude op de oorsprong gewist en gaat de evolutie door.

Om de beperkingen van directe simulatie te overwinnen (die vereist de CPTP-kaart op een dichtheidsmatrix te itereren, wat leidt tot een kwadratische geheugenschaal en trage convergentie), maken de auteurs gebruik van de theorie van first-return generating functions (FR-functies). Ze leiden de Stieltjes-functie voor het systeem af met behulp van Fourier-transformatie in de momentumruimte. Door de gereduceerde FR-functie $F(z)$ te evalueren bij waarden van $z$ dicht bij 1 (specifiek $z=0.99999$), benaderen ze de asymptotische recurrentiewaarschijnlijkheid $R$ met aanzienlijk hogere nauwkeurigheid en effectieve stap-aantallen ($t_{eff} \approx 10^5$) dan directe iteratie toelaat.

De studie vergelijkt dit model ook met een alternatieve DTQSW waarbij het klassieke component een gecorreleerde random walk (CRW) is, wat een meting van de coin-toestand voor en na de stap inhoudt, waardoor decoherentie wordt geïnduceerd.

Belangrijkste Bijdragen en Resultaten

1. Onderdrukking van de Recurrentiewaarschijnlijkheid:
   De primaire bevinding is dat het introduceren van klassieke willekeur ($p > 0$) in een unitaire QW de recurrentiewaarschijnlijkheid kan verlagen vergeleken met de zuivere unitaire case ($p=0$), ondanks het feit dat de zuivere klassieke limiet ($p=1$) recurrent is.

   • Voor coin-hoeken $\theta$ in het bereik $(\theta^*, \pi/2)$, waar $\theta^* \approx 0.2892\pi$, is de recurrentiewaarschijnlijkheid $R(p)$ niet-monotoon. De waarschijnlijkheid neemt aanvankelijk af naarmate $p$ toeneemt vanaf 0, waarbij een "dip" ontstaat, voordat deze uiteindelijk stijgt naar 1 als $p \to 1$.
   • Dit gedrag wordt geïdentificeerd als een robuust kenmerk van de asymptotische limiet, en niet als een transient effect van een eindige simulatietijd.

2. Rol van Interferentie en Decoherentie:
   De onderdrukking van recurrentie wordt toegeschreven aan de interactie tussen quantuminterferentie en klassieke willekeur. In de dip-regio verstoort de toevoeging van klassieke stappen de specifieke interferentiepatronen van de unitaire walk op een manier die de waarschijnlijkheid van terugkeer vermindert, zelfs wanneer de klassieke walk zelf recurrent is.

   • In contrast hiermee, voor het alternatieve model dat interporeert tussen een QW en een gecorreleerde RW (waarbij de coin-toestand wordt gemeten, wat decoherentie veroorzaakt), is de recurrentiewaarschijnlijkheid een stapfunctie: $R(p) = 1$ voor elke $p > 0$. De auteurs concluderen dat elke hoeveelheid coin-toestand decoherentie de klassieke recessieve gedraging afdwingt.

3. Numeriek Kader:
   Het artikel biedt een robuust numeriek kader met behulp van genererende functies om recurrentie in open quantum systemen te evalueren. Deze methode maakt het mogelijk om de asymptotische eigenschappen te onderzoeken die ontoegankelijk zijn via standaard tijd-evolutie simulaties, waarmee wordt aangetoond dat de geobserveerde onderdrukking een werkelijke asymptotische eigenschap is.

Betekenis
Het artikel beweert dat deze resultaten de intuïtieve opvatting uitdagen dat het toevoegen van klassieke ruis aan een quantum systeem simpelweg de kloof tussen quantum en klassiek gedrag monotoon overbrugt. In plaats daarvan laat het zien dat specifieke regimes van de quantum-klassieke interactie prestatiekenmerken kunnen opleveren (in dit geval verminderde recurrentie) die verschillend zijn van zowel de zuivere quantum als de zuivere klassieke limieten.

De auteurs suggereren dat dit gedrag impliceert dat klassieke willekeur nuttig kan zijn voor bepaalde taken die betrokken zijn bij discrete-time quantum walks en partiële metingen, zoals subroutines in quantumalgoritmen, door potentieel ongewenste terugkeer te onderdrukken of transporteigenschappen te veranderen. Het werk benadrukt dat het specifieke mechanisme van het introduceren van stochasticiteit (bijv. incoherente verschuivingen versus coin decoherentie) cruciaal is in het bepalen van de recurrentie-eigenschappen van de walk.

De studie blijft bescheiden wat betreft experimentele realisatie, waarbij wordt opgemerkt dat hoewel fotonische implementaties en superconducting qubits met mid-circuit readout potentiële paden bieden, de huidige ruisniveaus in NISQ-devices aanzienlijke uitdagingen vormen voor het demonstreren van deze effecten over de noodzakelijke hoeveelheid stappen.