Axiomatická kvantová teorie pole je přístup v kvantové teorii pole založený na použití fyzikálních axiomů formulovaných v přísné matematické formě.
Její výhodou je, že umožňuje pomocí deduktivní metody jako důsledků odpovídajících vět (například věty o spojení spinu se statistikou a věty CPT [1] ) odvodit experimentálně pozorovatelné fyzikální důsledky vyplývající z fyzikálních pojmů časoprostoru formulovat ve formě matematických axiomů a sami si tak ověřit tyto výchozí reprezentace. Umožňuje také logicky zkontrolovat a v případě potřeby upřesnit počáteční ustanovení kvantové teorie pole.
Jeho nevýhodou je, že kromě věty o spojení spinu a statistiky a věty CPT z ní nelze získat další konkrétní, experimentálně ověřené důsledky (není například možné zkonstruovat teorii interakce polí a také netriviální teorie S-matice [1] ).
V axiomatické kvantové teorii pole se zpravidla používá Heisenbergova kvantově mechanická reprezentace [2] , ve které je časová závislost popsána operátory a stavové vektory nezávisí na čase.
Stavy fyzikálního systému jsou popsány normalizovanými paprsky v orámovaném Hilbertově prostoru s kladně určitou metrikou. Každá měřená fyzikální veličina je spojena se samoadjungovaným operátorem . Pokud hodnota odpovídá operátoru , pak hodnota odpovídá operátoru [3] [4] [5] .
Střední hodnoty fyzikálních pozorovatelných veličin se nemění s ohledem na Poincarého vlastní transformace [2] [6] . Stavové vektory jsou transformovány podle reprezentací univerzální krycí Poincarého grupy ( Bargman-Wignerova věta ) [7] .
Postulát lokality je výrazem relativistického principu kauzality. Měření složek pole v bodech oddělených intervalem podobným prostoru jsou nezávislá. Matematicky to znamená, že operátoři polí v bodech oddělených intervalem podobným prostoru mezi sebou dojíždějí nebo proti komutují [8] [9] [10] .
vZde komutační znaménko "-" odpovídá tensor bosonickému poli, antikomutační znaménko "+" odpovídá spinorovému fermionovému poli (teorém o vztahu mezi spinem a statistikou).
Reprezentace univerzální krycí Poincareovy grupy, která je realizována v Hilbertově prostoru stavových vektorů, se rozkládá na neredukovatelné reprezentace pouze tří tříd [11] [12] :
Zde je druhá mocnina čtyřrozměrného operátoru hybnosti, je hmotnost elementární částice, je první složkou čtyřrozměrného operátoru hybnosti.
Existují dva hlavní přístupy, které zajišťují přesnou matematickou formulaci a axiomatizovatelnost kvantové teorie pole: algebraický a topologický.
FQFT formalizuje Schrödingerův obraz kvantové mechaniky (zobecněný na kvantovou teorii pole ), kde jsou prostory kvantových stavů přiřazeny prostoru a kde lineární zobrazení jsou přiřazena trajektoriím nebo časoprostorové interpolaci mezi těmito prostory.
V bibliografických katalozích |
---|