State convertibility and fluctuation theorems from a dynamical reference: majorization meets martingales

Thermodynamica is de wetenschap van hoe energie beweegt en van vorm verandert, een vakgebied dat is gebouwd op het idee dat het universum een voorkeursrichting heeft, altijd stromend van orde naar wanorde. Al meer dan een eeuw vertrouwen natuurkundigen op een specifieke, stabiele toestand van evenwicht om deze stroom te meten, waarbij ze dit behandelen als een vast decor tegen welk alle fysieke veranderingen worden beoordeeld. Dit decor fungeert als een liniaal; als een systeem verandert op een manier die de markeringen van de liniaal respecteert, is de verandering toegestaan. Als het systeem probeert tegen de draad in te gaan, verbiedt de natuur dit. Echter, deze benadering gaat ervan uit dat de liniaal zelf nooit beweegt. In de echte wereld, van de hartslag tot de werking van een quantumcomputer, zijn de omstandigheden die definiëren wat "normaal" is, vaak aan het verschuiven, rekken en evolueren in de tijd. Wanneer het referentiepunt zelf in beweging is, worden de oude regels voor wat mogelijk is en wat niet, moeilijk toe te passen, waardoor wetenschappers zonder een duidelijke manier achterblijven om de kosten van verandering te meten of om te weten of een proces werkelijk omkeerbaar is.

Een nieuwe studie door Davide Cugini en Giacomo Guarnieri pakt dit probleem aan door de manier waarop we de mogelijkheid van verandering meten, opnieuw te definiëren. In plaats van te vragen of een systeem van de ene naar de andere toestand kan bewegen in isolatie, vragen de onderzoekers zich af of die beweging compatibel is met een referentie die zelf aan het veranderen is. Ze ontwikkelden een methode om te volgen hoe de populatie deeltjes of energieniveaus van een systeem afwijkt van een bewegend doelwit. Door het complexe, meerdimensionale probleem van het vergelijken van twee veranderende toestanden om te zetten in een eenvoudigere, eendimensionale vergelijking van waarschijnlijkheden, vonden ze een verborgen wiskundige structuur die al dergelijke transities beheerst. Ze ontdekten dat voor een verandering fysiek mogelijk is, de distributie van deze afwijkingen zich moet gedragen als een specifiek type willekeurige wandeling (random walk) bekend als een martingale. In dit kader is een transitie alleen toegestaan als de "spreiding" van de afwijkingen van het systeem in de loop van de tijd de neiging heeft om te versmallen of gelijk te blijven, en nooit op een manier uit te waaieren die de onderliggende regels van de bewegende referentie zou schenden.

Dit inzicht verenigt verschillende voorheen gescheiden ideeën in de natuurkunde. Het verbindt het concept van majorisatie, dat bepaalt welke toestanden bereikt kunnen worden met specifieke middelen, met de theorie van martingalen, die beschrijft hoe willekeurige variabelen evolueren zonder een netto drift. De auteurs toonden aan dat of een systeem van de ene configuratie naar de andere kan transformeren, volledig afhangt van de vraag of de waarschijnlijkheidsverdeling van de relatieve afwijkingen via deze martingale-relatie verbonden kan worden. Dit betekent dat de complexe taak van het tekenen en vergelijken van ingewikkelde curven om haalbaarheid te controleren, vervangen kan worden door het controleren van één enkele, fundamentele eigenschap van de waarschijnlijkheidsverdeling. Als de distributie van afwijkingen aan het begin verbonden kan worden met de distributie aan het eind via deze specifieke probabilistische brug, dan is de transitie toegestaan. Zo niet, dan zegt het universum nee.

Naast het simpelweg bepalen van wat mogelijk is, gebruikten de onderzoekers dit kader om een precieze regel af te leiden voor hoeveel "entropie", of wanorde, er wordt geproduceerd tijdens een proces. Ze definieerden een nieuwe maatstaf voor entropieproductie die relatief is aan de gekozen, bewegende referentie. Ze bewezen dat voor elk proces dat de regels van de referentie respecteert, het gemiddelde van een specifieke exponentiële grootheid gerelateerd aan deze entropieproductie altijd gelijk is aan één. Dit is een fluctuatietheorema, een krachtige uitspraak die standhoudt, zelfs wanneer het systeem ver van evenwicht is en de referentie snel verandert. Het biedt een strikte boekhouding van de kosten van onomkeerbaarheid, waarbij wordt gewaarborgd dat het systeem gemiddeld genomen de tweede wet van de thermodynamica ten opzichte van zijn eigen dynamische achtergrond niet kan schenden.

De studie behandelt ook een zeer praktisch probleem: wat gebeurt er als wetenschappers een referentietoestand aannemen die niet helemaal juist is? In veel experimenten nemen onderzoekers aan dat een systeem een glad, ideaal pad volgt, maar in werkelijkheid kan het pad grillig zijn of achterlopen door ruis of imperfecte controle. De auteurs toonden aan dat als de aangenomen referentie foutief is, het afgeleide fluctuatietheorema zal lijken te breken. De mate van deze breuk is niet slechts een teken van een fout; het is een precieze, meetbare grootheid die een ondergrens stelt aan hoe ver de aangenomen referentie van de ware referentie verwijderd is. Dit stelt wetenschappers in staat om de mismatch tussen hun model en de werkelijkheid te kwantificeren zonder vooraf de ware, complexe dynamica van het systeem te hoeven kennen. Het verandert een schending van een natuurwet in een diagnostisch hulpmiddel, dat precies certificeert hoeveel het model van de waarheid is afgedwaald.

Om dit te demonstreren, pasten het team hun theorie toe op een eenvoudig tweeniveausysteem, zoals een enkel atoom dat ofwel in een grondtoestand of in een aangeslagen toestand kan zijn, aangedreven door een veranderende energiekloof. Wanneer ze de ware, evoluerende toestand van het systeem als de referentie gebruikten, hielden de wetten perfect stand. Echter, wanneer ze een vereenvoudigde, instantane snapshot van de toestand als referentie gebruikten, leek het systeem de tweede wet van de thermodynamica te schenden door een negatieve entropieproductie te vertonen. Deze schijnbare schending was geen paradox, maar een duidelijk signaal. De omvang van de schending mat direct de "lag" (vertraging) veroorzaakt door het onvermogen van het systeem om de snelle veranderingen bij te houden, wat effectief de niet-adiabatische aard van de drijvende kracht kwantificeerde. Dit resultaat laat zien dat wat lijkt op een falen van de fysica, eigenlijk een precieze meting is van hoe ver een systeem van zijn ideale pad is afgeweken.

Het werk biedt een nieuwe manier om over de relatie tussen een systeem en zijn omgeving na te denken. Door de referentie niet te behandelen als een statische muur maar als een dynamisch, evoluerend landschap, hebben de onderzoekers een instrumentarium geboden voor het begrijpen van transities in complexe, tijdsafhankelijke omgevingen. Hun bevindingen suggereren dat de regels die de stroom van energie en informatie beheersen flexibeler en meer onderling verbonden zijn dan voorheen gedacht, verenigd door een enkele wiskundige structuur die van toepassing is of de referentie nu een eenvoudige evenwichtstoestand is of een snel verschuivende aandrijving. Deze benadering maakt een nauwkeurigere diagnose van fouten in experimentele opstellingen mogelijk en biedt een rigoureuze fundering voor het bestuderen van systemen die voortdurend uit balans worden gebracht, van biologische cellen tot quantumprocessors.