I teorien om kvantisering av mangepartikelsystemer er skapelse- og utslettelsesoperatorer fundamentale byggesteiner for å beskrive partikkelinteraksjoner og kvantemekaniske tilstander. Disse operatorene lar oss manipulere kvantetilstander på en systematisk måte, og de er spesielt nyttige for å forstå og beregne egenskaper ved både bosoner og fermioner i forskjellige kvantemekaniske rammer.

Skapelsesoperatoren, vanligvis betegnet som aa^\dagger, er ansvarlig for å "skape" en partikkel i et gitt kvantetilstand, mens utslettelsesoperatoren, betegnet som aa, fjerner en partikkel fra denne tilstanden. For bosoner er disse operatorene kommuterende, det vil si at deres rekker ikke påvirker hverandre (kommutatoren [a,a]=1[a, a^\dagger] = 1), mens for fermioner er de antikommuterende (dvs. {a,a}=1\{a, a^\dagger\} = 1) på grunn av Pauli-eksklusjonsprinsippet som forbyr to fermioner fra å være i samme kvantetilstand.

Matematisk kan effekten av en utslettelsesoperator på en tilstand X|X\rangle skrives som en handling som "fjerner" en partikkel i denne tilstanden, og hvis det ikke er noen partikler til å bli utslettet, gir operatoren null. Dette kan formelt uttrykkes ved at aX=0a|X\rangle = 0 når det ikke er noen partikler i tilstanden X|X\rangle. På den annen side, når en skapelsesoperator handler på en vakuumtilstand, skaper den en partikkel i den spesifikke kvantetilstanden.

For å beskrive systemer med flere partikler bruker vi et okkupasjonsnummerrepresentasjon, der tilstandene er symmetrisert for å indikere antall partikler i forskjellige kvantetilstander. Dette gir et nyttig rammeverk for å håndtere mange-partsystemer, spesielt når vi skal beregne forventningsverdier eller utlede dynamikken i systemet.

Skapelse- og utslettelsesoperatorene er ikke bare nyttige for å beskrive statiske kvantetilstander, men også for å utvikle operatormatematikken som trengs for å utføre beregninger. For eksempel, når vi jobber med et kvantesystem der flere partikler kan interagere med hverandre, kan vi bruke skapelse- og utslettelsesoperatorer til å uttrykke mange-partsoperatorer som representerer interaksjoner mellom partikler. Disse operatorene kan omformes fra en diagonal basis til en generell basis, og dette gir oss muligheten til å beregne egenskaper ved systemet som for eksempel energinivåer og korrelasjoner mellom partikler.

Det er også viktig å merke seg hvordan operatorene kan transformeres mellom forskjellige baser. Ved å bruke en ortonormal basis kan vi definere nye skapelses- og utslettelsesoperatorer i en annen basis, noe som gjør at vi kan bruke mer praktiske representasjoner for ulike beregninger. For eksempel kan vi bruke feltoperatorer for å beskrive tilstander i en kvanteteori som inkluderer både bosoner og fermioner. Det som er spesielt nyttig her, er at denne transformasjonen bevarer de kommutasjons- eller antikommutasjonsrelasjonene som gjelder for operatorene, og derfor opprettholder de grunnleggende egenskapene ved systemet.

Videre, når vi ser på mange-partikkeloperatorer, er en av de viktigste teknikkene å representere disse operatorene i normal orden, der alle skapelsesoperatorer er plassert til venstre for alle utslettelsesoperatorer. Dette gjør det lettere å manipulere operatorene og bruke kommutasjonsrelasjonene til å forenkle beregningene.

En viktig konseptuell innsikt i kvantiseringen av mangepartikelsystemer er at skapelse- og utslettelsesoperatorer ikke bare genererer tilstander, men også fungerer som et sett av basisoperatorer i Fock-rommet, som er det matematisk beskrivende rommet for kvantemekaniske tilstander av et system med et vilkårlig antall partikler. Dette gir et kraftig verktøy for å analysere og beskrive systemet på en konsistent måte, spesielt når man jobber med systemer som kan ha et variabelt antall partikler, som i tilfelle av kvantefeltteori.

Som en videreutvikling av denne teorien, kan det være nyttig å utforske bruken av koherente tilstander som et alternativt basis for Fock-rommet. Koherente tilstander er på mange måter analogiske til posisjonstilstandene i vanlig kvantemekanikk, men de er ikke ortonormale og spenner hele Fock-rommet. Dette gir et alternativt syn på hvordan systemer kan kvantiseres og gir muligheten til å studere tilstander med minimale usikkerheter, som er spesielt viktige i sammenhenger som kvanteoptikk og kvanteinformasjon.

En annen viktig forståelse er at skapelse- og utslettelsesoperatorer gir et verktøy som forenkler behandling av mangepartikelsystemer. Ved å bruke denne operator-algebraen kan vi uttrykke selv komplekse systemer på en håndterbar måte, og dette er avgjørende for videre fremstilling og beregning av kvantefenomener i både teoretiske og eksperimentelle sammenhenger.

Hvordan Feynman-diagrammer og den Random Phase Approximation beskriver responsfunksjoner i kvantemekanikken

Responsfunksjonen er et sentralt begrep innenfor kvantemekanikk, spesielt når man undersøker hvordan systemer reagerer på eksterne forstyrrelser. For å få en bedre forståelse av responsfunksjonen, er det nyttig å analysere Feynman-diagrammer og bruke den såkalte Random Phase Approximation (RPA). Denne tilnærmingen gir en effektiv måte å beskrive komplekse prosesser som involverer mange-parts eksitasjoner i kvantefeltteori.

I et system som er invariant under translasjon, kan responsfunksjonen uttrykkes gjennom et sett av tid-ordnet diagrammer som representerer alle mulige interaksjoner i systemet. Hvert diagram er koblet til et annet, enten gjennom direkte eller bytteinteraksjoner, og beskriver hvordan systemet reagerer på en ekstern forstyrrelse som introduserer et visst momentum. Et enkelt Feynman-diagram gir oss et bilde av hvordan et kvantesystem kan excitere fra en grunnleggende tilstand til en eksitert tilstand, og hvordan disse eksitasjonene samhandler over tid.

I det klassiske tilfellet med en ikke-interagerende fermiongass, kan responsfunksjonen for et ikke-interagerende system beregnes uten kompleks interaksjonsbehandling. Den imaginerte delen av responsfunksjonen kan tolkes som en sum av mulige måter et besatt kvantetilstand kan spres til en ikke-besatt tilstand ved hjelp av energioverføring og momentumoverføring. Dette gir en enkel fysikkbeskrivelse som kan visualiseres i form av et diagram hvor forskjellige kantelementer representerer fysiske prosesser som skjer under spesifikke betingelser.

En videre utvikling av responsfunksjonen kan oppnås ved å summere et sett av kjedi-diagrammer, som representerer koblinger mellom forskjellige eksitasjoner i systemet. Denne summen gir oss det som kalles Random Phase Approximation, en tilnærming som gir en økonomisk og praktisk måte å analysere komplekse systemer på, selv når man tar hensyn til uendelige diagramutvidelser. RPA er spesielt nyttig når man ønsker å forstå den statistiske oppførselen til systemet, og kan anvendes til å studere for eksempel hvordan responsfunksjonen skalerer ved høyt momentumoverføringer.

For å beregne responsfunksjonen mer presist, kan vi bruke en integralligning som itererer summen av kjedi-diagrammer. Denne tilnærmingen fører til en praktisk beskrivelse av partikkel-hull Green's funksjon, hvor de ulike komponentene i diagrammene kan modelleres som summen av interaksjoner mellom initielle og sluttede tilstander. Det er viktig å merke seg at i RPA-beregninger er direkte og bytteinteraksjoner ofte avgjørende for å bestemme systemets respons, og for enkelte systemer, som de med svake vekselvirkninger, kan bytteinteraksjonen neglisjeres.

En annen viktig komponent i RPA er beskrivelsen av korrelasjonsenergien, spesielt i systemer som de med fortynnede Bose-gasser. Her kan vi anta at den direkte interaksjonen dominerer over bytteinteraksjonen, noe som forenkler beregningene betraktelig. Dette er et sentralt aspekt ved hvordan RPA brukes til å gjøre praktiske tilnærminger i kvantemekaniske beregninger.

Videre kan RPA tilnærmingen anvendes på flere typer systemer. I et system som beskriver Coulomb-potensialet, der interaksjonene mellom partikler kan bli dominert av den direkte interaksjonen, kan RPA gi en effektiv beskrivelse av responsfunksjonen uten behov for å inkludere komplekse bytteinteraksjoner. På samme måte, i høyspinns-systemer som beskriver bosoner, er det mulig å forenkle beregningene ved å anta at den direkte interaksjonen er den mest relevante.

For å oppsummere gir RPA en kraftfull metode for å beskrive responsfunksjoner i kvantesystemer, ved at den lar oss håndtere uendelige diagramutvidelser på en praktisk måte, samtidig som den bevarer de viktigste fysiske interaksjonene i systemet. Denne tilnærmingen er både effektiv og fleksibel, og kan tilpasses ulike fysikalske situasjoner som krever en grundig forståelse av hvordan systemer reagerer på eksterne forstyrrelser.

Hvordan bruke overkomplette mengder av tilstander for funksjonelle integraler

En kraftig metode for å generere funksjonelle integraler er å benytte overkomplette mengder av tilstander. En mengde av tilstander kalles overfull dersom den er redundant og dermed genererer det hele Hilbert-rommet H\mathcal{H}. Anta at mengden av tilstander er kontinuerlig, og at vi betegner den med {ψ}\{ \psi \}. Fra definisjonen finnes det et mål dψ(ψ)d\psi(\psi) på mengden {ψ}\{ \psi \}, slik at enhver tilstand Φ|\Phi\rangle i Hilbert-rommet kan dekomponeres som

Φ=dψ(ψ)ψ.|\Phi\rangle = \int d\psi(\psi) |\psi\rangle.

Overfullheten innebærer at dekomposisjonen ikke er unik, og det er mange måter å uttrykke samme tilstand på, avhengig av hvilken basis vi velger. Eksempler på overkomplette mengder av tilstander er de koherente tilstandene for bosoner og fermioner, som ble introdusert i kapittel 1. Fra dette kan vi utlede en dekomposisjon av evolusjonsoperatoren WW, og dette er den grunnleggende formelen for å konstruere funksjonelle integraler.

Som i tilfelle av koherente tilstander for bosoner eller fermioner, antar vi at mengden {ψ}\{ \psi \} er parametrisert av en kompleks variabel ψ\psi, og adjungerte mengden {ψ}\{ \psi^* \} er parametrisert av den konjugerte variabelen ψ\psi^*. Målene vil avhenge av både ψ\psi^* og ψ\psi, og vi kan uttrykke det som:

dψ(ψ)ei(action).\int d\psi^*(\psi) e^{i \left( \text{action} \right)}.

Gjennom gjentatt innsetting i Trotter-formelen, hvor ϵ\epsilon representerer matrisene for evolusjonsoperatoren mellom to tilstander ψ1|\psi_1\rangle og ψ2|\psi_2\rangle, som tilhører den overkomplette mengden, får vi en utvidelse av de vanlige uttrykkene for kvantemekanisk utvikling. Hvis målet γ(ψ,ψ)\gamma(\psi^*, \psi) minker raskt nok når ψψ\psi^*\psi går mot uendelig, er det legitimt å reeksponentiere hver matriseelement i formelen.

Når vi gjør en gauge-transformasjon, ψeiαψ,ψeiαψ\psi^* \to e^{ -i\alpha} \psi^*, \psi \to e^{i\alpha} \psi, ser vi at målet kun vil avhenge av den kombinerte variabelen ψψ\psi^* \psi. Denne symmetrien kan forenkle integrasjonen og gi oss dypere innsikt i dynamikken til kvantesystemet vi studerer.

Bruken av overkomplette mengder av tilstander gjør det lettere å beskrive kvantemekaniske systemer i et kontinuerlig tidsperspektiv. I stedet for å bruke diskret tid som i vanlig kvantemekanikk, kan vi bruke en kontinuerlig representasjon som er lettere å håndtere i mange tilfeller, spesielt når vi anvender stasjonære faser.

Når vi analyserer den stasjonære løsningen for aksjonen SS i den stasjonære fase-metoden, er målet å minimere aksjonen i forhold til bølgefunksjonene ψ(t)\psi(t) og ψ(t)\psi^*(t). Dette gir en kvantemekanisk beskrivelse av systemet som kan benyttes til å finne løsninger på mange problemer, for eksempel mange-fermionproblemer hvor Slater-determinanter ofte brukes.

For å illustrere hvordan denne metoden fungerer, kan vi begynne med et enkelt eksempel, som å bruke koherente tilstander for bosoner eller fermioner. Ved å bruke formlene som er utledet i kapittel 2, kan vi redusere de generelle uttrykkene til de spesifikke resultatene som beskriver koherente tilstander i kvantemekanikk. Dette gir en praktisk anvendelse av den teoretiske formalisme som er utviklet for funksjonelle integraler.

Når vi skriver et ett-kroppsproblem som et funksjonelt integral over en overfull mengde bølgefunksjoner, er settet av alle kvadratintegrerbare bølgefunksjoner identisk med det totale Hilbert-rommet. Dette gjør det til en overfull mengde, og closure-relasjonen i Hilbert-rommet er gitt ved:

φψ=dψ(ψ)ψ(ψ)φψ.\langle \varphi | \psi \rangle = \int d\psi^*(\psi) \psi(\psi) \langle \varphi | \psi \rangle.

Denne relasjonen er et fundamentalt verktøy for å uttrykke kvantemekaniske beregninger på en effektiv måte, og det gir en struktur som gjør det mulig å bruke funksjonelle integraler i en kontinuerlig representasjon av tid.

Selv om tidshistoriens deriverte ikke nødvendigvis er kontinuerlige eller til og med differensierbare, representerer tidsderivert et endelig differens. Dette er en viktig observasjon når vi bruker stasjonære fasemetoder og tilnærminger til kvantemekaniske problemer i kontinuerlige tidsdomenene.

I den videre utviklingen av funksjonelle integraler, er det viktig å forstå hvordan de overkomplette mengdene av tilstander gir oss muligheten til å bruke effektive beregningsmetoder i systemer med mange partikler, spesielt i de tilfellene hvor direkte diskretisering kan være upraktisk.