Skabelse- og udslettelsesoperatorer er matematiske operatorer , der er meget brugt i kvantemekanik , især i studiet af kvanteharmoniske oscillatorer og mange-partikelsystemer [1] . I kvantefeltteorien har kvantiserede felters bølgefunktioner en operatorbetydning og opdeles i operatorer til skabelse og udslettelse af partikler [2] . Udslettelsesoperatoren (normalt betegnet ) reducerer antallet af partikler i en given tilstand med én. Skabelseoperatoren (normalt betegnet ) øger antallet af partikler i en given tilstand med én, den er konjugerettil dræberoperatøren. Disse operatorer bruges i stedet for bølgefunktioner i mange områder af fysik og kemi ( anden kvantisering ). Begrebet skabelse og tilintetgørelsesoperatører blev introduceret i videnskaben af Paul Dirac [3] .
Skabelse- og udslettelsesoperatører kan påvirke tilstanden af forskellige typer partikler. For eksempel, i kvantekemi og mange-legeme-teori , påvirker skabelses- og udslettelsesoperatører ofte elektroniske tilstande. De kan også referere specifikt til stigeoperatorer for den kvanteharmoniske oscillator . I sidstnævnte tilfælde tolkes stignings- (reduktions-)operatoren som en skabelses- (destruktions-)operator, der tilføjer (fjerner) et energikvante til (fra) oscillatorsystemet/-systemerne. De kan bruges til at repræsentere fononer .
Matematikken for bosonskabelsen og udslettelsesoperatorerne er den samme som for de kvanteharmoniske oscillatorstigeoperatorer . For eksempel er kommutatoren for skabelses- og udslettelsesoperatørerne forbundet med den samme bosontilstand lig med én, mens alle andre kommutatorer forsvinder. Men regnestykket er anderledes for fermioner , idet man bruger antikommutatorer i stedet for kommutatorer [4] .
Lad være en en-partikel Hilbert-rum (det vil sige ethvert Hilbert-rum, der anses for at repræsentere tilstanden af en enkelt partikel). ( En bosonisk KKS-algebra over et Hilbert-rum er en algebra med adjoint-operatorer (angivet med * ) abstrakt genereret af elementer , hvor tilhører , under hensyntagen til relationerne:
i bh og ket notation .
Kortlægningen fra til KKS bosonisk algebra skal være kompleks antilineær . Konjugatet til elementet er , og afbildningen er kompleks lineær i H . Det bruges således som et komplekst vektorunderrum af sin egen CCR-algebra. I repræsentationen af denne algebra vil elementet blive implementeret som en udslettelsesoperator og som en skabelsesoperator.
I det generelle tilfælde er KKS-algebraen uendelig-dimensionel. Hvis vi tager en fuldførelse af et Banach-rum, bliver det en C*-algebra . KKS-algebraen over er nært beslægtet, men ikke identisk med Weil-algebraen .
For fermioner er den (fermioniske) CAS-algebra over konstrueret på samme måde, men bruger i stedet antikommutationsrelationer , nemlig
En CAS-algebra er kun finit-dimensional, hvis den er finit-dimensional. Hvis vi tager en fuldførelse af et Banach-rum (kun nødvendigt i det uendeligt-dimensionelle tilfælde), bliver det en algebra. CAS-algebra er tæt beslægtet med , men ikke identisk med, Clifford-algebra .
Operatørens fysiske betydning er at ødelægge partiklen i tilstanden, mens den skaber partiklen i tilstanden .
Vakuumtilstanden af det frie felt er tilstanden uden partikler, karakteriseret som:
Hvis normaliseret så , så giver antallet af partikler i tilstanden .
I kvantefeltteorier og mange-kropsproblemet bruges skabelses- og udslettelsesoperatørerne for kvantetilstande og . Disse operatorer ændrer egenværdierne for partikelnummeroperatoren ,
,enhed, analogt med den harmoniske oscillator. Subscripts (for eksempel ) repræsenterer kvantetal , som angiver enkeltpartikeltilstande i systemet; derfor er de ikke nødvendigvis enkelttal. For eksempel bruges en tupel af kvantetal til at repræsentere tilstande i brintatomet .
Kommuteringsrelationerne for oprettelses- og tilintetgørelsesoperatørerne i et system med flere bosoner er,
hvor er kommutatoren og er Kronecker-symbolet .
For fermioner er kommutatoren erstattet af en antikommutator ,
Derfor vil udveksling af ikke-overlappende (dvs. ) operatører i oprettelses- eller annihilationsoperatører ændre fortegn i fermionsystemer, men ikke i bosonsystemer.
Hvis tilstandene angivet med i er en ortonormal basis for et Hilbert-rum H , så er resultatet af denne konstruktion det samme som konstruktionen af CCR-algebraen og CAR-algebraen i det foregående afsnit. Hvis de repræsenterer egenvektorer svarende til det kontinuerlige spektrum af en eller anden operator, som for ubundne partikler i QFT, så er fortolkningen mere subtil.