Aksiomaattinen kvanttikenttäteoria on kvanttikenttäteorian lähestymistapa, joka perustuu tiukkaan matemaattiseen muotoon muotoiltujen fysikaalisten aksioomien käyttöön.
Sen etuna on, että se mahdollistaa deduktiivisen menetelmän käyttämisen vastaavien lauseiden (esim. spinin liittämisestä tilastoon ja CPT-lauseisiin [1] ) seuraamusten seurauksena johtamaan kokeellisesti havaittavia fysikaalisista käsitteistä johtuvia fyysisiä seurauksia. matemaattisten aksioomien muodossa muotoillun aika-avaruuden ja siten varmentaa nämä alkuperäiset esitykset itse. Sen avulla voit myös loogisesti tarkistaa ja tarvittaessa tarkentaa kvanttikenttäteorian alkusäännöksiä.
Sen haittapuolena on, että spinin ja tilaston välistä yhteyttä käsittelevän lauseen ja CPT-lauseen lisäksi siitä ei ole mahdollista saada muita konkreettisia, kokeellisesti varmennettuja johtopäätöksiä (ei esimerkiksi ole mahdollista rakentaa teoriaa vuorovaikutuksesta). kentät ja myös ei-triviaali S-matriisin teoria [1] ).
Aksiomaattisessa kvanttimekaanisessa teoriassa käytetään pääsääntöisesti Heisenbergin kvanttimekaanista esitystapaa [2] , jossa aikariippuvuus kuvataan operaattoreiden avulla, eivätkä tilavektorit ole riippuvaisia ajasta.
Fyysisen järjestelmän tilat kuvataan normalisoiduilla säteillä kehystetyssä Hilbert-avaruudessa, jossa on positiivinen määrätty metriikka. Jokainen mitattu fyysinen suure liittyy itseliittyvään operaattoriin . Jos arvo vastaa operaattoria , niin arvo vastaa operaattoria [3] [4] [5] .
Fyysisten havaintojen keskiarvot eivät muutu suhteessa Poincarén ominaismuunnoksiin [2] [6] . Tilavektorit muunnetaan universaalin peittävän Poincarén ryhmän esitysten mukaisesti ( Bargman-Wigner-lause ) [7] .
Paikallisisuuden postulaatti on kausaalisuuden relativistisen periaatteen ilmaus. Kenttäkomponenttien mittaukset pisteissä, jotka on erotettu avaruusmaisella intervallilla, ovat riippumattomia. Matemaattisesti tämä tarkoittaa, että kenttäoperaattorit pisteissä, jotka on erotettu avaruuden kaltaisella välillä, joko liikkuvat tai antityömatkat keskenään [8] [9] [10] .
kloTässä kommutaatiomerkki "-" vastaa tensoribosonikenttää, antikommutaatiomerkki "+" vastaa spinorifermion-kenttää (lause spinin ja tilaston välisestä suhteesta).
Universaalin peittävän Poincare-ryhmän esitys, joka toteutuu tilavektorien Hilbert-avaruudessa, hajoaa vain kolmen luokan pelkistymättömiksi esityksiksi [11] [12] :
Tässä on neliulotteisen liikemäärän operaattorin neliö, on alkuainehiukkasen massa, on neliulotteisen liikemäärän operaattorin ensimmäinen komponentti.
On olemassa kaksi pääasiallista lähestymistapaa, jotka varmistavat kvanttikenttäteorian tarkan matemaattisen muotoilun ja aksiomatisoitavuuden: algebrallinen ja topologinen.
FQFT formalisoi Schrödingerin kuvan kvanttimekaniikasta (yleistetty kvanttikenttäteoriaksi ), jossa kvanttitilojen avaruudet on osoitettu avaruuteen ja jossa lineaariset kartoitukset on osoitettu lentoratoja tai avaruus-aika-interpolaatiota näiden tilojen välillä.
![]() |
---|