Divisibility of dynamical maps: Schrödinger vs. Heisenberg picture

Probleemstelling

De studie van open kwantumsystemen en niet-Markoviaanse dynamica maakt vaak gebruik van het concept van deleerbaarheid (divisibility) van dynamische kaarten. Traditioneel wordt dit concept geanalyseerd in het Schrödinger-beeld, waarbij de evolutie van toestanden (dichtheidsmatrices) wordt beschreven. Een dynamische kaart $\Phi_t$ is P- of CP-deleerbaar als de evolutie tussen twee tijdstippen $s$ en $t$ kan worden geschreven als een samenstelling van positieve (P) of volledig positieve (CP) kaarten.

Hoewel het Schrödinger- en het Heisenberg-beeld fysisch equivalent zijn wat betreft voorspellingen van observabelen, is het niet duidelijk of de eigenschappen van deleerbaarheid ook equivalent zijn tussen beide beelden. In het bijzonder, wanneer de generator van de tijd-lokale master-vergelijking (ME) tijdsafhankelijk is, is de commutativiteit tussen de generator en de dynamische kaart niet gegarandeerd. Dit leidt tot een onderscheid tussen een linker-generator ($L_t$) en een rechter-generator ($R_t$). De vraag die dit artikel beantwoordt is: Is de deleerbaarheid in het Heisenberg-beeld equivalent aan die in het Schrödinger-beeld, en wat zijn de implicaties voor de karakterisering van geheugeneffecten (niet-Markovianiteit)?

Methodologie

De auteurs ontwikkelen een theoretisch raamwerk dat de deleerbaarheid generaliseert van het Schrödinger- naar het Heisenberg-beeld door de volgende stappen te doorlopen:

1. Definitie van Linker- en Rechter-Generatoren:

   • In het Schrödinger-beeld wordt de evolutie beschreven door $\dot{\Phi}_t = L_t \circ \Phi_t$ (linker ME) of $\dot{\Phi}_t = \Phi_t \circ R_t$ (rechter ME).
   • In het Heisenberg-beeld, via de Hilbert-Schmidt-dualiteit, worden de rollen omgekeerd: de dual van de rechter-generator ($R_t^*$) fungeert als de linker-generator voor de observabelen, en vice versa.
   • De auteurs tonen aan dat $L_t$ en $R_t$ in het algemeen niet gelijk zijn tenzij de dynamica commutatief is (bijv. een semigroep).

2. Definitie van Heisenberg-deleerbaarheid:

   • Schrödinger-deleerbaarheid wordt bepaald door de positieve eigenschappen van de linker-propagator $\Phi^L_{t,s} = \Phi_t \circ \Phi_s^{-1}$.
   • Heisenberg-deleerbaarheid wordt gedefinieerd via de rechter-propagator in het Heisenberg-beeld, $\Phi^{R*}_{t,s} = \Phi^*_t \circ (\Phi^*_s)^{-1}$.
   • Cruciaal is dat Heisenberg-deleerbaarheid equivalent is aan de positiviteit van de rechter-propagator in het Schrödinger-beeld, niet de linker.

3. Operationele Interpretatie:

   • Voor het Schrödinger-beeld wordt niet-Markovianiteit gekoppeld aan een toename van de trace-afstand tussen toestanden (informatie-terugstroom).
   • Voor het Heisenberg-beeld introduceren de auteurs een analoge maatstaf gebaseerd op de operator-norm ($D_\infty$) tussen effecten (POVM-elementen). Ze definiëren een "gokkans" (guessing probability) voor het onderscheiden van twee meeteffecten. Een niet-monotone afname van deze kans duidt op een schending van Heisenberg-deleerbaarheid.

4. Analytische Voorbeelden en Simulaties:

   • De auteurs analyseren fase-covariante dynamica en klassieke stochastische processen om te laten zien dat de voorwaarden voor $L_t$ en $R_t$ verschillend zijn.
   • Ze construeren expliciete voorbeelden van qubit-dynamica waarbij de evolutie deleerbaar is in het ene beeld maar niet in het andere, door gebruik te maken van niet-commuterende orthogonale transformaties in de Bloch-sfeer.

Belangrijkste Bijdragen en Resultaten

1. Inequivalentie van Beelden:
   Het belangrijkste resultaat is dat Schrödinger-deleerbaarheid en Heisenberg-deleerbaarheid niet equivalent zijn. Een dynamische kaart kan Schrödinger-deleerbaar zijn (CP-deleerbaar in het Schrödinger-beeld) terwijl deze Heisenberg-indelerbaar is, en omgekeerd. Dit komt doordat de dualiteit de rollen van de linker- en rechter-generatoren verwisselt.

2. Nieuwe Maatstaf voor Niet-Markovianiteit:
   De auteurs introduceren een kwantificator voor de schending van Heisenberg P-deleerbaarheid ($N_H$), analoog aan de bekende maatstaf van Breuer, Laine en Piilo voor het Schrödinger-beeld. Deze maatstaf is gebaseerd op de niet-monotoniciteit van de operator-afstand tussen effecten.

3. Operationele Interpretatie:
   Ze geven een operationele betekenis aan Heisenberg-deleerbaarheid:

   • Schrödinger: Schending betekent dat de kans om te raden welke toestand werd voorbereid, tijdelijk toeneemt (informatie stroomt terug van het milieu).
   • Heisenberg: Schending betekent dat de kans om te raden welk meet-effect werd uitgevoerd, tijdelijk toeneemt. Dit impliceert dat informatie over de meetinrichting tijdelijk uit het milieu terugstroomt naar het systeem.

4. Verband met POVM-eigenschappen:
   De studie toont aan dat schendingen van Heisenberg-deleerbaarheid leiden tot niet-monotone gedragingen van incompatibiliteit (gemeenschappelijke meetbaarheid) en scherpte (sharpness) van POVM's. Een herstel van deze resources kan dus dienen als een getuige voor geheugeneffecten, zelfs als de dynamica in het Schrödinger-beeld Markoviaans lijkt.

5. Concrete Voorbeelden:

   • Fase-covariante dynamica: Er wordt een voorbeeld gegeven waarbij de dynamica CP-deleerbaar is in het Schrödinger-beeld, maar niet P-deleerbaar in het Heisenberg-beeld (gebaseerd op negatieve snelheden in de rechter-generator).
   • Qubit-dynamica met rotaties: Door een niet-triviale orthogonale rotatie toe te voegen aan een dephasing-proces, kan men dynamica creëren die in het ene beeld Markoviaans is (puur unitaire rotatie) en in het andere niet.

Significantie en Conclusie

Deze studie heeft fundamentele implicaties voor hoe we kwantumniet-Markovianiteit definiëren en meten:

• Onvolledigheid van het Schrödinger-beeld: Het is niet voldoende om alleen het Schrödinger-beeld te analyseren om geheugeneffecten volledig te karakteriseren. Een proces dat Markoviaans lijkt in termen van toestandsveranderingen, kan sterke geheugeneffecten vertonen in termen van de evolutie van observabelen (meetinstrumenten).
• Onafhankelijkheid van Getuigen: Heisenberg-deleerbaarheid fungeert als een onafhankelijk getuige van geheugeneffecten. Dit suggereert dat de huidige classificatie van Markovianiteit (gebaseerd op CP-deleerbaarheid) mogelijk te beperkt is en dat "Markovianiteit" een meer nuanceerd concept is dat afhankelijk is van het gekozen beeld.
• Toekomstige Richtingen: De auteurs wijzen erop dat dit inzicht belangrijk is voor het begrijpen van klassieke versus kwantumgeheugen, causale structuren in stochastische processen, en het optimaliseren van kwantuminformatietaken (zoals schatting of sturing) in aanwezigheid van ruis.

Kortom, het artikel toont aan dat de keuze tussen het Schrödinger- en Heisenberg-beeld niet slechts een wiskundige keuze is, maar een fysiek onderscheid introduceert in hoe we de "geschiedenis" en het geheugen van een kwantumsysteem interpreteren.