An explicit formula for perturbation theory at any order with infinitely many perturbations

Dit artikel presenteert een systematische formule op basis van geheeltallige partities die verstoringstheorie expliciet tot elke orde berekent met een oneindig aantal verstoringen, waarbij eigenwaarde- en eigenvectorrecties worden samengevoegd in één matrixvergelijking.

De kern

Stel je voor dat je probeert het gedrag van een heel complex systeem te voorspellen, zoals een dansend zwerm vogels of de beweging van elektronen in een kristal. In de natuurkunde noemen we dit een "Hamiltoniaan". Soms weten we precies hoe een simpele versie van dit systeem werkt (de "rusttoestand"), maar in de echte wereld wordt het systeem altijd een beetje verstoord door externe krachten.

Deze verstorende krachten noemen we perturbaties.

Het oude probleem: Een ingewikkelde puzzel

Voorheen was het berekenen van hoe deze verstoringen het systeem beïnvloeden, een enorme hoofdpijn. Wiskundigen en fysici moesten handmatig lange, saaie formules opschrijven.

• Voor de eerste keer dat je kijkt (eerste orde), was het makkelijk.
• Voor de tweede keer (tweede orde) werd het al lastig.
• Maar zodra je naar de tiende of twintigste keer keek, werden de formules zo lang en ingewikkeld dat niemand ze meer kon lezen of gebruiken. Het was alsof je een ingewikkeld legpuzzel moest maken, maar elke keer als je een stukje toevoegde, veranderde de vorm van alle andere stukjes.

Meestal hielden fysici het daarom bij simpele benaderingen, omdat het te veel werk was om verder te gaan.

De nieuwe oplossing: Een recept met "Partities"

In dit artikel presenteren de auteurs, Joseph Jones en M.W. Long, een slimme nieuwe manier om dit probleem op te lossen. Ze hebben een algemene formule bedacht die werkt voor elke orde van berekening, zelfs als er oneindig veel verschillende verstoringen zijn.

Hier is hoe ze het doen, vertaald naar een alledaags verhaal:

1. De "Oneindige Soep"

Stel je voor dat je een grote soep maakt (het systeem). Je hebt een basisrecept (de simpele versie), maar je wilt er steeds meer ingrediënten aan toevoegen (de perturbaties).

• Oude manier: Je moest voor elke nieuwe laag ingrediënten een volledig nieuw recept schrijven, waarbij je alle vorige stappen opnieuw moest uitleggen.
• Nieuwe manier: De auteurs zeggen: "Laten we kijken naar hoe we het getal $N$ (het aantal stappen) kunnen opsplitsen in kleinere getallen."

2. Het geheim: Het opdelen van getallen (Partities)

Het kernidee van hun paper is gebaseerd op getallenpartities.
Stel je wilt weten wat er gebeurt op stap 4. Hoe kun je het getal 4 maken door kleinere getallen op te tellen?

• 4
• 3 + 1
• 1 + 3
• 2 + 2
• 2 + 1 + 1
• 1 + 2 + 1
• 1 + 1 + 2
• 1 + 1 + 1 + 1

Elke manier om het getal op te splitsen, vertegenwoordigt een specifieke manier waarop de verstoringen in het systeem samenkomen. De auteurs hebben een systeem bedacht waarbij ze deze splitsingen gebruiken als een recept. Als je weet hoe je een getal kunt opsplitsen, weet je automatisch welke termen in de formule je nodig hebt.

3. De "Super-Formule"

In plaats van elke keer een nieuwe, lange afleiding te doen, hebben ze één enkele, compacte formule geschreven.

• Voor één verstoring: Het werkt precies zoals de oude, bekende methoden, maar dan veel sneller.
• Voor oneindig veel verstoringen: Dit is het echte nieuwe stukje. Stel je voor dat je niet alleen zout en peper toevoegt, maar een hele reeks nieuwe specerijen die allemaal tegelijk werken. Hun formule kan dit allemaal in één keer regelen.

Ze gebruiken een wiskundige "magische doos" (een matrixvergelijking) die alle informatie bevat. Als je deze doos opent, krijg je direct het antwoord voor zowel de energie (de eigenwaarde) als de vorm van het systeem (de eigenvector).

Waarom is dit geweldig?

1. Het stopt met het "herhalen": Vroeger moest je elke keer opnieuw beginnen. Nu heb je één algoritme. Je telt gewoon de manieren om een getal op te splitsen, en de formule doet de rest.
2. Het werkt voor alles: Of je nu één verstoring hebt of een onbeperkt aantal (zoals in de Baker-Campbell-Hausdorff formule, een complexe wiskundige regel voor quantummechanica), de formule blijft werken.
3. Het is een "recept": De auteurs hebben zelfs code geschreven (in de appendix) die dit automatisch doet. Je kunt het zien als een kookboek waar je alleen de "stapnummer" (bijv. stap 10) invoert, en de computer spitst alle mogelijke combinaties uit en geeft je het eindresultaat.

Samenvattend

Stel je voor dat je eerder een ingewikkeld labyrint moest doorlopen om uit te vinden hoe een systeem reageert op verstoringen. Elke keer als je een stap verder wilde, moest je een nieuwe kaart tekenen.

De auteurs van dit paper hebben een GPS bedacht. Ze zeggen: "Kijk, als je weet hoe je een getal kunt opsplitsen in stukjes (partities), dan weet je precies welke weg je moet nemen." Ze hebben een universele routebeschrijving gemaakt die werkt voor elke afstand, of je nu 2 stappen of 100 stappen wilt zetten, en of je één obstakel hebt of een heel bos vol obstakels.

Dit maakt het voor natuurkundigen veel makkelijker om complexe systemen te simuleren en te begrijpen, zonder vast te lopen in de wiskundige details.

Technische samenvatting

Titel: Een expliciete formule voor perturbatietheorie op willekeurige orde met oneindig veel perturbaties

1. Het Probleem

Perturbatietheorie is een hoeksteen van de theoretische natuurkunde voor het vinden van benaderde oplossingen wanneer exacte resultaten ontoegankelijk zijn. Ondanks zijn alomtegenwoordigheid wordt de theorie in de praktijk vaak beperkt tot lage ordes (vaak tweede orde).

• Complexiteit: Het opstellen van expliciete formules voor correcties op hogere ordes is algebraïsch zeer complex en tijdrovend.
• Beperkingen van bestaande methoden: Bestaande methoden, zoals de Rayleigh-Schrödinger perturbatietheorie (RSPT) en de Brillouin-Wigner perturbatietheorie (BWPT), hebben beperkingen. BWPT vereist een numerieke oplossing van een zelfconsistente vergelijking, terwijl RSPT vaak leidt tot lange, onoverzichtelijke afleidingen voor hogere ordes.
• Oneindige reeksen: Er is een gebrek aan systematische methoden om perturbatietheorie toe te passen op systemen met een oneindig aantal storingshamiltonianen (bijvoorbeeld in de context van de Baker-Campbell-Hausdorff-formule), waarbij de standaardformules niet direct toepasbaar zijn.

2. Methodologie

De auteurs introduceren een systematische aanpak die perturbatietheorie herschrijft in termen van geordende geheeltallige partities (in de wiskunde ook wel "composities" genoemd).

• Genererende Functies: De theorie wordt geformuleerd met behulp van genererende functies voor de Hamiltoniaan $H(z)$, de energie $E(z)$ en de eigenvector $\psi(z)$.
• De $\Delta H(n)$ Grootheid: Een cruciale stap is de definitie van een gecombineerde grootheid:
  $$\Delta H(n) \equiv H(n) - E(n)Q$$
  waarbij $H(n)$ de $n$-de orde perturbatie is, $E(n)$ de energiecorrectie, en $Q$ de projector is die de grondtoestand uitsluit. Deze definitie bundelt zowel de energie- als de vectorcorrecties in één matrixvergelijking en elimineert "disconnected" (niet-extensieve) bijdragen.
• Recursieve Relatie en Partities: De kern van de methode is een recursieve relatie voor een matrix $M(n)$:
  $$M(n) = \Delta H(n) + \sum_{n'=1}^{n-1} \Delta H(n') \Gamma M(n-n')$$
  Hierbij is $\Gamma = Q(\epsilon_0 - H_0)^{-1}$ de "denominator matrix" (spectrale representatie).
  Door deze recursie op te lossen, blijkt dat $M(N)$ een som is over alle geordende partities van het getal $N$. Een partitie van $N$ (bijv. $N=4$) is een rij van positieve gehele getallen die optellen tot $N$ (bijv. $(1,3), (2,2), (1,1,1,1)$, etc.). De volgorde is hierbij belangrijk.

3. Belangrijkste Bijdragen

1. Generalisatie naar Oneindige Perturbaties: De auteurs formuleren perturbatietheorie voor een oneindige reeks storingshamiltonianen. De standaard case met één perturbatie wordt herwonnen als een limietgeval.
2. Expliciete Formules via Partities: Ze leiden gesloten formules af voor zowel energie- als eigenvectorcorrecties op elke orde $N$, uitgedrukt als een som over geordende partities.
   • De energiecorrectie $E(N)$ wordt gegeven door: $E(N) = \langle 0 | M(N) | 0 \rangle$.
   • De eigenvectorcorrectie $|\psi(N)\rangle$ wordt gegeven door: $|\psi(N)\rangle = \Gamma M(N) |0\rangle$.
3. Vermijden van Zelfconsistentie: In tegenstelling tot BWPT levert deze methode geen zelfconsistente vergelijking op. Omdat $M(N)$ alleen afhankelijk is van eerdere ordes (en niet van $E(N)$ zelf), kan de berekening recursief en direct worden uitgevoerd.
4. Efficiëntie en Compactheid: De methode vereenvoudigt de afleidingen aanzienlijk ten opzichte van traditionele methoden en biedt een direct toepasbare algoritme-achtige structuur.

4. Resultaten

• Formule voor $M(N)$: De auteurs geven een expliciete somformule (Eq. 2.3) die alle mogelijke producten van $\Delta H(n)$ gescheiden door $\Gamma$-factoren beschrijft, waarbij de som van de indices gelijk is aan $N$.
  • Voor orde $N$ zijn er $2^{N-1}$ termen, corresponderend met het aantal geordende partities van $N$.
• Voorbeelden:
  • De paper levert expliciete uitdrukkingen tot de vierde orde in de hoofdtekst.
  • In de appendix worden resultaten tot de achtste orde voor oneindige perturbaties en tot de tiende orde voor het geval van één perturbatie verstrekt.
• Vergelijking met Bestaande Werk: De resultaten komen overeen met bekende formules van Soliverez en Bracci & Picasso (BP), maar worden hier afgeleid via een meer gestroomlijnde, directe som-over-partities benadering. De notatie is compacter en algorithmisch makkelijker te genereren (er wordt zelfs Mathematica-code meegeleverd).
• Toepassing op RSPT: Door de limiet te nemen waarbij $H(n) = 0$ voor $n > 1$ en $\Delta H(n) \to -E(n)Q$, reproduceert de formule exact de standaard Rayleigh-Schrödinger perturbatietheorie.

5. Significantie en Toekomstperspectief

• Stroomlijning van Berekeningen: Deze formulatie maakt het mogelijk om hogere-orde correcties systematisch en foutloos te berekenen, wat essentieel is voor complexe fysische problemen waar lage-orde benaderingen ontoereikend zijn.
• Toepassing op BCH-formule: De motivatie voor dit werk komt voort uit de noodzaak om perturbatietheorie toe te passen op de oneindige reeks van de Baker-Campbell-Hausdorff (BCH) formule. Dit is relevant voor niet-commuterende operatoren in kwantummechanica en statistische mechanica.
• Fysische Toepassingen: De methode biedt een brug naar het bestuderen van faseovergangen in klassieke statistische mechanica, waarbij de transfermatrix-methode een natuurlijke connectie heeft met de BCH-formule.
• Algorithmische Implementatie: De aanwezigheid van code voor het genereren van termen maakt de theorie direct toepasbaar in computeralgebra-systemen, wat de drempel voor het uitvoeren van hoge-orde berekeningen verlaagt.

Kortom, dit werk biedt een wiskundig elegant en praktisch krachtig raamwerk dat de complexiteit van hoge-orde perturbatietheorie reduceert tot een systematische som over geheeltallige partities, geldend voor zowel eindige als oneindige sets van perturbaties.