⚛️ quantum physics

Lecture notes on classical and quantum non-Markovianity

Deze college-notities introduceren promovendi voor klassieke en kwantum-niet-Markoviaanse processen door de nadruk te leggen op de correspondentie tussen klassieke stochastische concepten en kwantumdynamische kaarten, met een specifieke focus op karakterisaties gebaseerd op kanaaldelbaarheid en de onderscheidbaarheid van toestanden.

Oorspronkelijke auteurs: Graeme Pleasance

Gepubliceerd 2026-07-09

📖 7 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Graeme Pleasance

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Plaatje: Geheugen vs. Vergeten

Stel je voor dat je een film kijkt.

Markovian (Geheugenloos): Dit is als een film waarin de volgende scène alleen afhangt van wat er op dit moment gebeurt. Als de held op dit moment aan het rennen is, is de volgende scène simpelweg "rennen". De film geeft niet om of de held vijf minuten geleden verdrietig was of dat het gisteren regende. Het systeem heeft zijn verleden "vergeten".
Non-Markovian (Met geheugen): Dit is als een film waarin de volgende scène afhangt van het volledige verhaal tot nu toe. Als de held rent, kan dat komen omdat hij drie scènes geleden werd achtervolgd door een draak. Het systeem "herinnert" zich zijn geschiedenis, en dit geheugen verandert wat er vervolgens gebeurt.

Dit artikel is een gids voor studenten die proberen te begrijpen hoe ze het verschil tussen deze twee soorten gedrag kunnen bepalen, specifiek in de vreemde wereld van de Kwantummechanica (waar deeltjes zich gedragen als golven en kansen) vergeleken met de Klassieke Wereld (waar munten tollen en ballen rollen).

Deel 1: De Klassieke Wereld (De Muntworp)

Het artikel begint met een review van hoe we omgaan met "normale" willekeur, zoals het werpen van een munt of een dronkel man die over een raster loopt (een "random walk").

De Vuistregel: In een standaard "Markov"-proces wordt de toekomst uitsluitend bepaald door het heden. Als je weet waar de dronkelman nu is, hoef je niet te weten waar hij een uur geleden was om te voorspellen waar hij over een minuut zal zijn.
De "Deelbaarheid"-test: De auteurs introduceren een wiskundige test genaamd P-deelbaarheid. Stel je voor dat je een video hebt van de dronkelman die loopt. Als je de video in willekeurige twee stukken kunt snijden (van tijd A naar B, en van B naar C) en de overgang van A naar C is simpelweg de combinatie van A naar B en B naar C, dan is het proces "deelbaar" en geheugenloos.
De Twist: Het artikel laat zien dat een proces soms deelbaar lijkt (je kunt het wiskundig in stukjes hakken), maar dat het in werkelijkheid non-Markovian is. Het is als een goocheltruc waarbij de stukjes wiskundig wel passen, maar het verhaal binnen de stukjes suggereert dat het personage dingen onthoudt die hij eigenlijk niet zou moeten onthouden.

Deel 2: De Kwantumwereld (De Spookachtige Doos)

Nu beweegt het artikel naar Open Kwantumsystemen. Stel je een kwantumdeeltje (het "Systeem") voor in een doos, maar de doos lekt en heeft interactie met de lucht buiten de doos (het "Omgeving").

Het Probleem met Kwantumgeheugen: In de klassieke wereld kun je "geheugen" gemakkelijk definiëren door naar kansen te kijken. In de kwantumwereld is dit lastig. Als je een kwantumdeeltje probeert te meten om zijn geschiedenis te controleren, verandert de handeling van het meten het deeltje. Het is alsoal proberen te controleren of een soufflé klaar is door er met een lepel in te prikken; het prikken verpest de soufflé. Hierdoor werkt de standaarddefinitie van "Markovian" (het vergeten van het verleden) niet perfect voor kwantumsystemen.

Deel 3: Twee Manieren om "Geheugen" in Kwantumsystemen te Detecteren

Omdat de oude definitie niet werkt, richt het artikel zich op twee moderne manieren om te detecteren of een kwantumsysteem zijn verleden onthoudt (Non-Markovian) of vergeet (Markovian).

1. De "Deelbaarheid"-check (De RHP-methode)

De Analogie: Stel je voor dat je een machine hebt die een stuk papier transformeert (de kwantumtoestand).
De Test: Als je de werking van de machine kunt opdelen in twee stappen (Stap A en dan Stap B) en beide stappen zijn fysiek geldige machines die op zichzelf zouden kunnen bestaan, dan is het proces Markovian.
Het Falen: Als je probeert het proces in stappen op te delen en een van die stappen blijkt een "onmogelijke" stap te zijn (wiskundig gezien zou het negatieve kansen creëren of de natuurwetten schenden), dan heeft het systeem Non-Markovian geheugen. Het systeem "houdt vast" aan informatie uit het verleden die voorkomt dat het proces netjes in stukjes kan worden gehakt.
De Claim van het Artikel: De auteurs laten zien dat als de "vervalrate" (hoe snel het systeem energie of informatie verliest) ooit negatief wordt, het systeem Non-Markovian is. Het is als een bankrekening waarbij je plotseling geld terugkrijgt van de bank omdat je eerder te veel hebt opgenomen. Die "negatieve vervalrate" betekent dat er informatie terugstroomt van de omgeving naar het systeem.

2. De "Onderscheidbaarheid"-check (De BLP-methode)

De Analogie: Stel je voor dat je twee verschillende kwantummunten hebt, Munt A en Munt B. Je wilt ze van elkaar onderscheiden.
De Test: In een Markovian wereld worden de munten naarmate de tijd verstrijkt meer gemengd met de omgeving. Ze worden moeilijker van elkaar te onderscheiden. De "afstand" tussen hen krimpt gestaag.
Het Falen: In een Non-Markovian wereld kunnen de munten weliswaar gemengd raken, maar de omgeving "spuugt" vervolgens wat informatie weer uit. Plotseling zijn de munten weer makkelijker van elkaar te onderscheiden. De "afstand" tussen hen neemt toe.
De Claim van het Artikel: Als het vermogen om twee kwantumtoestanden van elkaar te onderscheiden in de loop van de tijd ooit toeneemt, is het systeem Non-Markovian. Dit wordt "Informatie-terugstroom" genoemd. Het is als een gesprek waarbij je even bent vergeten wat iemand zei, maar ze je dan weer herinneren, en plotseling weet je alles weer heel duidelijk.

Deel 4: Het Spin-Boson Voorbeeld (De Praktijktest)

Om te bewijzen dat deze ideeën werken, passen de auteurs het toe op een beroemd model genaamd het Spin-Boson model.

De Opstelling: Stel je een kleine magneet (een "spin" of qubit) voor die interacteert met een bad van trillende veren (bosonen).
Het Resultaat:
- Als de veren erg zwak en snel zijn (als een zachte bries), vergeet de magneet zijn verleden snel. De vervalrate is altijd positief. Resultaat: Markovian.
- Als de veren sterk en traag zijn (als een dikke, plakkerige vloeistof), blijft de magneet "vastzitten" in zijn geschiedenis. De vervalrate schommelt heen en weer en wordt zelfs negatief. Resultaat: Non-Markovian.
De Conclusie: Zowel de "Deelbaarheid"-test als de "Onderscheidbaarheid"-test zijn het eens over dit model. Wanneer het systeem onthoudt (Non-Markovian), wordt de vervalrate negatief en de onderscheidbaarheid van de toestanden groeit.

Samenvatting van de Belangrijkste Punten

Klassiek vs. Kwantum: In de klassieke fysica is "geheugen" makkelijk te definiëren. In de kwantumfysica is dat moeilijk omdat het meten van het verleden het heden verandert.
Twee Definities: Het artikel richt zich op twee belangrijke manieren om kwantumgeheugen te definiëren:
- CP-Deelbaarheid: Kunnen we het proces wiskundig opdelen in geldige, fysieke stappen? (Zo niet, dan heeft het geheugen).
- Toestand Onderscheidbaarheid: Worden twee kwantumtoestanden na verloop van tijd moeilijker van elkaar te onderscheiden? (Als ze makkelijker van elkaar te onderscheiden worden, stroomt er informatie terug en heeft het geheugen).
De Verbinding: Het artikel bewijst dat voor veel veelvoorkomende systemen deze twee definities eigenlijk hetzelfde zeggen: als het systeem "onthoudt", wordt de vervalrate negatief en stroomt er informatie terug van de omgeving.

Wat het artikel NIET doet:
Dit artikel is een theoretische lecture note. Het bespreekt geen klinische toepassingen, medisch gebruik of specifieke toekomstige technologieën. Het definieert strikt de wiskundige regels voor het identificeren van geheugen in kwantumsystemen en bewijst hoe deze regels van toepassing zijn op een specifiek model van een magneet die interacteert met trillingen.

Technische Samenvatting: College-notities over Klassieke en Kwantum Non-Markovianiteit

Probleemstelling
De studie van niet-Markoviaanse kwantumprocessen heeft aanzienlijke belangstelling gewekt vanwege het bestaan van verschillende concurrerende opvattingen over kwantum non-Markovianiteit. Een fundamentele uitdaging ontstaat doordat de klassieke definitie van Markovianiteit, geworteld in de onafhankelijkheid van toekomstige toestanden van het verleden gegeven het heden, incompatibel is met de statistische fundamenten van de kwantummechanica. Specifiek schenden kwantumprocessen over het algemeen de Kolmogorov-consistentievoorwaarden die vereist zijn om een klassieke stochastische hiërarchie te definiëren, voornamelijk door de generatie van coherenties en de verstoring veroorzaakt door metingen. Bijgevolg blijft een precieze definitie van wat "kwantum non-Markovianiteit" vormt een open en complex onderwerp. Deze notities adresseren dit door een overzicht te geven van introductieconcepten om non-Markovianiteit te karakteriseren in zowel klassieke als kwantum stochastische processen, met de focus op de theorie van open kwantumsystemen waar ruis voortkomt uit systeem-omgevingsinteracties.

Methodologie
Het artikel hanteert een pedagogische benadering, waarbij de brug wordt geslagen tussen klassieke waarschijnlijkheidstheorie en de theorie van open kwantumsystemen om een correspondentie tussen klassieke en kwantumconcepten vast te stellen.

Klassieke Fundering: De notities beginnen met een review van klassieke stochastische processen, waarbij Markov-ketens worden gedefinieerd via de Chapman-Kolmogorov-vergelijking (CKE) en het concept van $P$ -deelbare processen wordt geïntroduceerd (waarbij tussenliggende transitie-afbeeldingen positief en spoorbehoudend zijn). De relatie tussen de Kolmogorov-afstand en de contractiviteit van stochastische afbeeldingen wordt vastgesteld.
Kwantumkader: De theorie van open kwantumsystemen wordt behandeld, met de focus op volledig positieve, spoorbehoudende (CPTP) afbeeldingen (dynamische afbeeldingen) en de Kraus-representatie. Het concept van deelbaarheid wordt uitgebreid naar het kwantumdomein, waarbij onderscheid wordt gemaakt tussen $P$ -deelbaarheid (positieve tussenliggende afbeeldingen) en CP-deelbaarheid (volledig positieve tussenliggende afbeeldingen).
Karakterisering van Markovianiteit: Twee primaire intrinsieke benaderingen voor het definiëren van kwantum Markovianiteit worden geanalyseerd:
- CP-Deelbaarheid: Een proces is Markoviaans als de dynamische afbeelding $\Phi_t$ kan worden ontbonden in een sequentie van CPTP tussenliggende afbeeldingen $\Lambda_{t,s}$ voor alle $t \ge s$ . Dit is gekoppeld aan de niet-negativiteit van vervalrates in de tijd-lokale mastervergelijking (GKSL-vorm).
- Monotoon Afnemende Toestandsonderscheidbaarheid (MDSD): Een proces is Markoviaans als de spoorafstand tussen een paar kwantumsystemtoestanden monotoon afneemt over de tijd. Dit wordt geïnterpreteerd als een continu verlies van informatie van het systeem naar de omgeving, terwijl een toename duidt op informatie-terugstroom (non-Markovianiteit).
Toepassing: Deze maten worden toegepast op het spin-boson-model (een qubit die interageert met een bad van harmonische oscillatoren). De exacte oplossing voor de gereduceerde dichtheidsmatrix wordt gebruikt om tijd-afhankelijke vervalrates af te leiden en de non-Markovianiteitsmaten te evalueren.

Belangrijkste Bijdragen en Resultaten

Hiërarchie van Klassieke Processen: De notities verhelderen de hiërarchie $Markov \subset CKE \subset P\text{-deelbaar}$ . Hoewel alle Markov-processen $P$ -deelbaar zijn, is het omgekeerde niet strikt waar voor hogere-orde correlaties, hoewel ze operationeel equivalent zijn wanneer ze beperkt worden tot één-punts waarschijnlijkheden.
Kwantumdefinities:
- CP-Deelbaarheid (RHP-maat): Gedefinieerd door Wolf, Cirac, Rivas, Huelga en Plenio; dit criterium steunt op de volledige positiviteit van de tussenliggende afbeelding. Het artikel leidt de maat $N_{RHP}(\Phi)$ af op basis van de Choi-matrix norm, waarbij wordt aangetoond dat deze alleen niet-nul is als de vervalrates in de mastervergelijking negatief worden.
- MDSD (BLP-maat): Gedefinieerd door Breuer, Laine en Piilo; dit criterium steunt op de spoorafstand. De maat $N_{BLP}(\Phi)$ kwantificeert de totale hoeveelheid informatie-terugstroom.
Relatie tussen Criteria: Het artikel stelt vast dat CP-deelbaarheid MDSD impliceert (dat wil zeggen, als een proces CP-deelbaar is, neemt de spoorafstand monotoon af), maar het omgekeerde is niet noodzakelijkerwijs waar. Echter, voor kwantumdynamische semigroepen (tijd-homogene processen met GKSL-generatoren) vallen de twee maten samen en voorspellen beide Markoviaans gedrag.
Analyse van het Spin-Boson Model:
- Het model wordt exact opgelost, wat resulteert in een tijd-lokale mastervergelijking met een tijd-afhankelijke Lamb-shift $S(t)$ en vervalrate $\gamma(t)$ .
- De voorwaarde voor CP-deelbaarheid wordt getoond te zijn als $\int_0^t \gamma(s) ds \ge 0$ .
- Non-Markovianiteit wordt geïdentificeerd wanneer $\gamma(t) < 0$ .
- Voor een Lorentziaanse spectrale dichtheid laat het artikel zien dat sterke koppeling ( $g \gg \Gamma$ ) leidt tot oscillerende vervalrates die negatief worden, wat duidt op non-Markoviaans gedrag (coherente oscillaties en informatie-terugstroom). Omgekeerd resulteert zwakke koppeling ( $g \ll \Gamma$ ) in een positieve, constante vervalrate, wat de Markoviaanse limiet herstelt die consistent is met de Born-Markov benaderingen.
- De analyse bevestigt dat voor dit specifieke single-channel model de RHP- en BLP-maten identieke voorspellingen doen met betrekking tot het ontstaan van non-Markovianiteit.

Betekenis
Dit artikel dient als een introductiebron voor graduate studenten, met als doel de diverse definities van kwantum non-Markovianiteit te demystificeren door ze te funderen in de klassieke waarschijnlijkheidstheorie. Het benadrukt de correspondentie tussen klassieke stochastische matrices en kwantum dynamische afbeeldingen, waarbij specifiek wordt gewezen op hoe de schending van klassieke consistentievoorwaarden (Kolmogorov-voorwaarden) alternatieve kwantumkarakteriseringen noodzakelijk maakt. Door te focussen op intrinsieke criteria (CP-deelbaarheid en toestandsonderscheidbaarheid), biedt het de notities een helder kader om onderscheid te maken tussen geheugenloze (Markoviaanse) en geheugen-beïnvloede (non-Markoviaanse) dynamica zonder dat een expliciete modellering van de globale toestand van de omgeving vereist is. De toepassing op het spin-boson-model illustreert hoe deze abstracte maten vertalen naar fysieke fenomenen, zoals de overgang van exponentieel verval naar coherente oscillaties, afhankelijk van de koppelingssterkte en de spectrale dichtheid van de omgeving.