A létrehozási és megsemmisítési operátorok olyan matematikai operátorok , amelyeket széles körben használnak a kvantummechanikában , különösen a kvantumharmonikus oszcillátorok és sokrészecskés rendszerek tanulmányozásában [1] . A kvantumtérelméletben a kvantált mezők hullámfüggvényei operátor jelentéssel bírnak, és operátorokra bomlanak a részecskék létrehozására és megsemmisítésére [2] . Az annihilációs operátor (általában jelöléssel ) eggyel csökkenti az adott állapotban lévő részecskék számát. A létrehozási operátor (általában jelöléssel jelölve ) eggyel növeli az adott állapotban lévő részecskék számát; konjugált az annihilációs operátorhoz. Ezeket az operátorokat használják hullámfüggvények helyett a fizika és a kémia számos területén ( második kvantálás ). A teremtés és a megsemmisítés operátorainak fogalmát Paul Dirac [3] vezette be a tudományba .
A teremtés és a megsemmisítés operátorai különböző típusú részecskék állapotát befolyásolhatják. Például a kvantumkémiában és a soktest-elméletben a teremtés és a megsemmisítés operátorai gyakran befolyásolják az elektronikus állapotokat. Kifejezetten utalhatnak a kvantumharmonikus oszcillátor létraoperátoraira is . Utóbbi esetben a növelés (csökkentés) operátort létrehozó (megsemmisítés) operátorként értelmezzük, amely energiakvantumot ad hozzá (eltávolít) az oszcillátorrendszer(ek)hez. Használhatók fononok ábrázolására .
A bozonképző és annihilációs operátorok matematikája ugyanaz, mint a kvantumharmonikus oszcillátor létraoperátoraié . Például az azonos bozonállapothoz tartozó létrehozási és megsemmisítési operátorok kommutátora egyenlő eggyel, míg az összes többi kommutátor eltűnik. A matematika azonban más a fermionok esetében, mivel kommutátorok helyett antikommutátorokat használnak [4] .
Legyen egy egyrészecskés Hilbert-tér (vagyis bármely Hilbert-tér, amely egyetlen részecske állapotát reprezentálja). ( A Hilbert tér feletti bozonikus KKS algebra olyan adjunkt operátorokkal ( * -mal jelölve ) rendelkező algebra, amelyet elemek absztrakt módon generálnak , ahol a -hoz tartozik , figyelembe véve a kapcsolatokat:
melltartóban és ket jelölésben .
A KKS bozonikus algebrára való leképezésnek komplex antilineárisnak kell lennie . Az elemhez fűződő konjugátum , a leképezés pedig komplex lineáris H -ben . Így saját CCR algebrájának komplex vektoraltereként használják. Ennek az algebrának az ábrázolásában az elem annihilációs operátorként és létrehozási operátorként kerül megvalósításra.
Általános esetben a KKS algebra végtelen dimenziós. Ha egy Banach-teret befejezünk, akkor abból C*-algebra lesz . A KKS-algebra over szorosan kapcsolódik, de nem azonos a Weil-algebrával .
A fermionok esetében a (fermionikus) CAS over -algebra hasonlóan épül fel, de ehelyett antikommutációs relációkat használ , nevezetesen
A CAS algebra csak akkor véges dimenziós, ha véges dimenziós. Ha egy Banach-teret vesszük (csak végtelen dimenziós esetben szükséges), akkor abból algebra lesz. A CAS algebra szorosan kapcsolódik a Clifford algebrához , de nem azonos azzal .
Az operátor fizikai jelentése az , hogy elpusztítja az állapotú részecskét, miközben létrehozza az állapotú részecskét .
A szabad tér vákuumállapota a részecskék nélküli állapot , amelyet a következőképpen jellemeznek:
Ha így normalizáljuk , akkor megadja az állapotban lévő részecskék számát .
A kvantumtérelméletekben és a soktest-problémában a kvantumállapotok létrehozásának és megsemmisítésének operátorait és , használják . Ezek az operátorok megváltoztatják a részecskeszám-operátor sajátértékeit ,
,egységenként, a harmonikus oszcillátorhoz hasonlóan. Az alsó indexek (például ) kvantumszámokat jelentenek , amelyek a rendszer egyrészecskés állapotait jelölik; ezért nem feltétlenül egyes számok. Például a kvantumszámok sorát használjuk a hidrogénatom állapotainak ábrázolására .
A létrehozási és megsemmisítési operátorok kommutációs relációi egy több bozonos rendszerben:
hol van a kommutátor és a Kronecker szimbólum .
Fermionoknál a kommutátort egy antikommutátor helyettesíti ,
Ezért a nem átfedő (azaz ) operátorok cseréje a létrehozási vagy megsemmisítési operátorokban előjelet vált a fermionrendszerekben, de nem a bozonrendszerekben.
Ha az i -vel jelölt állapotok egy H Hilbert-tér ortonormális bázisai , akkor ennek a konstrukciónak az eredménye megegyezik az előző részben a CCR algebra és a CAR algebra felépítésével. Ha valamilyen operátor folytonos spektrumának megfelelő sajátvektorokat képviselnek , mint a nem kötött részecskéknél a QFT-ben, akkor az értelmezés finomabb.