Fundamental problems in Statistical Physics XIV: Lecture on Correlation and response functions in statistical physics

Deze lezing introduceert autocorrelatie- en lineaire responsfuncties in de statistische fysica, benadrukt de rol van het fluctuatie-dissipatiestelling, en behandelt de vaak over het hoofd geziene wiskundige karakterisering van deze functies via stellingen van Bochner en Herglotz-Nevanlinna.

De kern

De Grote Schakel: Ruis, Reactie en de Wetten van de Natuur

Stel je voor dat je naar een drukke markt kijkt. Je ziet duizenden mensen die willekeurig rondlopen, praten en botsen. Het is een chaos. In de natuurkunde noemen we dit een systeem met "veel vrijheidsgraden". Het is onmogelijk om de positie van elke individuele atoom te voorspellen. In plaats daarvan kijken natuurkundigen naar het gemiddelde gedrag en de fluctuaties (de kleine schommelingen rond dat gemiddelde).

Dit paper gaat over twee fundamentele vragen:

1. Hoe beschrijven we deze willekeurige bewegingen? (De Correlatiefunctie)
2. Hoe reageert het systeem als we er een beetje aan trekken of duwen? (De Antwoordfunctie of Response)

De grote ontdekking in dit paper is dat deze twee dingen niet los van elkaar staan, maar diep met elkaar verbonden zijn door wiskundige wetten die net zo streng zijn als de zwaartekracht.

---

1. De Correlatiefunctie: Het geheugen van de markt

Stel je voor dat je op de markt staat en iemand voorbij loopt die een rode hoed draagt.

• Correlatie is de kans dat je over 10 seconden nog steeds een rode hoed ziet, of dat iemand anders een rode hoed opzet omdat hij de eerste zag.
• Als de mensen heel snel vergeten wie er waar was (ze hebben geen geheugen), dan is de correlatie na een seconde al nul.
• Als ze elkaar blijven volgen (een zwerm vogels), dan blijft de correlatie lang bestaan.

In dit paper wordt uitgelegd dat elke willekeurige beweging in de natuur (zoals een stofje dat in water drijft) een correlatiefunctie heeft. Maar hier is de twist: niet elke willekeurige grafiek die je tekent, is een geldige correlatiefunctie.

De "Gouden Regel" (Bochner's Theorema):
Stel je voor dat je een grafiek tekent die de "herinnering" van het systeem beschrijft. De natuur zegt: "Je mag niet zomaar iets tekenen."

• De grafiek moet positief zijn (je kunt geen negatieve kans hebben).
• Als je de grafiek in stukken snijdt en optelt, moet het resultaat altijd logisch blijven.

De auteurs zeggen: "Als je een grafiek tekent die deze regels niet volgt, is het fysisch onmogelijk. Het is alsof je probeert een auto te bouwen die sneller rijdt dan het licht; het kan gewoon niet."

---

2. De Antwoordfunctie: De reactie op een duw

Nu duwen we de markt. We geven een kleine duw aan de menigte (een externe kracht). Hoe reageert de menigte?

• Reageren ze direct?
• Reageren ze vertraagd?
• Trillen ze een beetje heen en weer?

Dit wordt beschreven door de Antwoordfunctie. In de natuurkunde geldt een heilige wet: Oorzaak gaat voor gevolg. Je kunt niet reageren voordat je bent geduwd. Dit heet Causaliteit.

---

3. De Magische Brug: Het Fluctuatie-Dissipatie Theorema

Dit is het hart van het paper. Er is een prachtige verbinding tussen de willekeurige ruis (hoe de mensen vanzelf rondlopen) en de reactie op een duw (hoe ze reageren als je duwt).

De Analogie van de Trampoline:
Stel je voor dat je op een trampoline ligt.

• Fluctuatie: Zelfs als niemand duwt, trilt de trampoline een beetje door de wind of kleine trillingen in de grond. Je kunt meten hoe hard die trillingen zijn.
• Dissipatie (Verlies): Als je nu zelf op de trampoline springt (een duw), zakt hij in en komt hij terug. Een deel van je energie verdwijnt als warmte (wrijving).

Het paper laat zien dat je niet hoeft te springen om te weten hoeveel wrijving er is. Je kunt het exact berekenen door alleen te kijken naar hoe de trampoline vanzelf trilt (de fluctuaties).

• Hoe meer de trampoline vanzelf trilt, hoe makkelijker hij reageert op een duw.
• De "ruis" bevat dus alle informatie over hoe het systeem zich gedraagt als je erin grijpt.

Dit is enorm handig voor computersimulaties. In plaats van een heel systeem te laten stuiteren met externe krachten (wat veel rekenkracht kost), kunnen wetenschappers gewoon kijken naar de natuurlijke trillingen van het systeem in rust en zo de eigenschappen voorspellen.

---

4. De Wiskundige "Stuurman" (Nevanlinna en Herglotz)

De auteurs gaan dieper de wiskunde in. Ze zeggen: "Oké, we weten dat de grafieken positief moeten zijn. Maar hoe zien ze er precies uit?"

Ze introduceren een soort wiskundige kompas (de complexe getallen in het bovenste halfvlak).

• Elke geldige reactie van een fysiek systeem moet een bepaalde vorm hebben in dit kompas.
• Als je een grafiek tekent die buiten deze vorm valt, betekent het dat het systeem energie zou kunnen creëren uit het niets (een perpetuum mobile). Dat is verboden door de natuurwetten.

Ze gebruiken analogieën uit de elektrotechniek:

• Een systeem dat energie verliest (zoals wrijving) gedraagt zich als een weerstand.
• Een systeem dat energie opslaat (zoals een veer) gedraagt zich als een spoel of condensator.
• De wiskunde zorgt ervoor dat je nooit een "weerstand" krijgt die energie opwekt in plaats van verbruikt. Dit wordt Passiviteit genoemd.

---

5. Waarom is dit belangrijk voor de gewone mens?

Misschien vraag je je af: "Wat heb ik hieraan?"

1. Betrouwbare Simulaties: Als je een computermodel maakt van een nieuwe medicijn, een batterij of een nieuw materiaal, moet je weten of je model "echt" is. Dit paper geeft de regels om te checken of je model niet tegen de natuurwetten indruist.
2. Metingen zonder te storen: Je kunt de eigenschappen van een materiaal meten door alleen te kijken naar de natuurlijke trillingen (zoals bij lichtverstrooiing), zonder het materiaal te hoeven verstoren met zware apparatuur.
3. De Fundamentele Waarheid: Het paper herinnert ons eraan dat chaos en orde twee kanten van dezelfde medaille zijn. De willekeurige dans van atomen bepaalt precies hoe ons universum reageert op krachten.

Samenvatting in één zin:

Dit paper leert ons dat de willekeurige trillingen van een systeem (zoals ruis op een radio) precies dezelfde informatie bevatten als de reactie van dat systeem op een duw, en dat er strenge wiskundige regels zijn die garanderen dat de natuur nooit energie uit het niets creëert.

Het is een brug tussen de chaotische wereld van de atomen en de voorspelbare wereld van de ingenieurs, gebouwd op de onwrikbare wetten van de kansrekening.

Technische samenvatting

Overzicht

Dit artikel vormt een brug tussen fysieke intuïtie en de onderliggende wiskunde van correlatie- en responsfuncties in de statistische fysica. Het doel is om de strenge wiskundige beperkingen die deze functies ondergaan toegankelijk te maken voor fysici, zodat modellen en data-gedreven reconstructies zowel fysisch als wiskundig consistent zijn. De tekst behandelt de fundamentele rol van fluctuaties, de fluctuatie-dissipatietheorema, en de karakterisering van deze functies via representatietheorema's uit de kansrekening en complexe analyse.

---

1. Het Probleem

In de statistische fysica worden systemen met een groot aantal vrijheidsgraden vaak beschreven via stochastische processen. Correlatiefuncties (zoals autocorrelaties) en responsfuncties zijn centrale grootheden die experimenteel meetbaar zijn en transportcoëfficiënten koppelen aan microscopische dynamica.

Een fundamenteel probleem is dat theoretici en data-analisten vaak modellen construeren voor deze functies zonder rekening te houden met de strenge wiskundige voorwaarden die noodzakelijk zijn om een functie te laten corresponderen met een fysiek haalbaar stochastisch proces.

• De kernvraag: Kan een willekeurige gegeven functie $C(t)$ worden geïnterpreteerd als de autocorrelatiefunctie van een stationair stochastisch proces?
• De uitdaging: De antwoorden liggen vaak in geavanceerde wiskunde (Bochner's theorema, Herglotz-Nevanlinna representaties) die buiten het standaardfysica-curriculum valt. Zonder deze kennis kunnen modellen worden opgesteld die wiskundig ongeldig zijn (bijv. negatieve spectra of niet-causale responsen).

---

2. Methodologie

De auteur hanteert een tweeledige aanpak:

1. Fysische Introductie: Een overzicht van de fysieke context, inclusief lineaire respons, de fluctuatie-dissipatietheorema (FDT), en toepassingen in verstrooiingsexperimenten en simulaties.
2. Rigoureuze Wiskundige Analyse: Een diepgaande behandeling van de structurele eigenschappen van correlatie- en responsfuncties. Hierbij worden concepten uit de maattheorie, complexe analyse en de theorie van verdelingen (distributions) gebruikt om noodzakelijke en voldoende voorwaarden af te leiden.

Belangrijke wiskundige hulpmiddelen die worden ingezet:

• Bochner's Theorema: Karakteriseert positief-semidefiniete functies als Fourier-transformaties van positieve maten.
• Nevanlinna- en Herglotz-voorstellingen: Beschrijven analytische functies in het bovenste complexe halfvlak die voldoen aan bepaalde ongelijkheden (gerelateerd aan dissipatie).
• Passiviteit en Stabiliteit: Het gebruik van thermodynamische principes (zoals het niet-onttrekken van energie uit een systeem) om wiskundige beperkingen af te leiden.

---

3. Belangrijkste Bijdragen en Resultaten

A. Wiskundige Karakterisering van Correlatiefuncties

• Positieve Semidefinietheid: De auteur bewijst dat elke autocorrelatiefunctie $C(t)$ van een stationair proces positief-semidefiniet moet zijn. Dit betekent dat voor elke verzameling tijden $t_i$ en complexe getallen $\lambda_i$, de som $\sum \lambda_i C(t_i - t_j) \lambda_j^* \geq 0$ moet zijn.
• Bochner's Theorema: Een continue functie is een geldige correlatiefunctie dan en slechts dan als deze de Fourier-transformatie is van een eindige Lebesgue-Stieltjes-maat $F(\Omega)$.
  • $C(t) = \int e^{-i\Omega t} dF(\Omega)$.
  • Dit impliceert dat het vermogensspectrum $S(\omega)$ (de dichtheid van de maat) niet-negatief moet zijn ($S(\omega) \geq 0$).
• Tijdreversibiliteit: Voor systemen in thermisch evenwicht met tijdreversibele processen is de correlatiefunctie reëel en even ($C(t) = C(-t)$), wat leidt tot een symmetrisch spectrum.

B. Lineaire Respons en Passiviteit

• Causaliteit en Passiviteit: De auteur toont aan dat het principe van passiviteit (het systeem kan geen netto energie genereren; de gedissipeerde arbeid is altijd niet-negatief) impliceert dat het systeem causaal is (de respons volgt op de prikkel).
• Nevanlinna-functies: De complex susceptibiliteit $\hat{\chi}(z)$ (Fourier-Laplace getransformeerde) is een Nevanlinna-functie: analytisch in het bovenste complexe halfvlak met een niet-negatief imaginair deel.
• Stabiliteit van Materie: De voorwaarde dat gedissipeerde arbeid niet-negatief is, leidt tot de voorwaarde $\omega \chi''(\omega) \geq 0$.
• Cauer's Representatietheorema: Een krachtig resultaat dat elke positief-reële (PR) functie (gerelateerd aan de respons) kan worden weergegeven als een lineaire term plus een integraal over een maat. Dit generaliseert de Kramers-Kronig-relaties en toont aan dat instantane responsen (Dirac-delta's) alleen mogelijk zijn voor vrijheidsgraden die veel sneller zijn dan de tijdschaal van interesse.

C. Gedetailleerde Voorbeelden en Toepassingen

• Harmonische Oscillator: De auteur analyseert gedempte en ongedempte oscillatoren. Hij toont aan dat een correlatiefunctie met "negatieve demping" geen geldige correlatiefunctie is omdat het spectrum negatief wordt.
• Memory Kernels: Er wordt een representatie gegeven in termen van geheugenkernen (memory kernels) via integro-differentiaalvergelijkingen. Dit koppelt de korte-tijdsgedrag (momenten van het spectrum) aan de lange-tijdsdynamica.
• Verstrooiingsexperimenten: De link tussen de dynamische structuurfactor $S(q, \omega)$ en de correlatiefuncties wordt verduidelijkt, wat essentieel is voor het interpreteren van neutronen- en lichtverstrooiing.

---

4. Significantie en Impact

• Validatie van Modellen: De paper biedt een strikt kader om te controleren of empirisch afgeleide of theoretisch geconstrueerde correlatiefuncties fysisch haalbaar zijn. Het voorkomt het gebruik van modellen die de wetten van de waarschijnlijkheidstheorie schenden (bijv. modellen met negatieve spectra).
• Brug tussen Wiskunde en Fysica: Door geavanceerde wiskundige theorema's (Bochner, Herglotz, Cauer) te vertalen naar fysiek begrijpelijke concepten (dissipatie, causaliteit, stabiliteit), maakt de auteur deze tools bruikbaar voor de dagelijkse modellering in de statistische fysica.
• Unificatie van Principes: Het werk toont aan dat fundamentele fysische principes (zoals de tweede wet van de thermodynamica via passiviteit) direct leiden tot de analytische structuur van responsfuncties. Dit versterkt het inzicht dat causaliteit en dissipatie twee kanten van dezelfde medaille zijn.
• Toepassing in Data Science: Voor data-gedreven benaderingen (zoals het reconstrueren van dynamica uit tijdsreeksen) biedt dit een "checklist" van wiskundige eisen die elk gereconstrueerd model moet voldoen om fysiek betekenisvol te zijn.

Conclusie

Thomas Franosch levert een essentiële bijdrage aan de fundamentele statistische fysica door de wiskundige onderbouwing van correlatie- en responsfuncties te verduidelijken. De paper benadrukt dat het respecteren van de structuur van deze functies (positiviteit, causaliteit, analytische eigenschappen) niet slechts een wiskundige curiositeit is, maar een noodzakelijke voorwaarde voor het bouwen van betrouwbare modellen van complexe systemen, variërend van vloeistoffen tot biologische cellen.