Teoria axiomatică a câmpului cuantic este o abordare în teoria cuantică a câmpului bazată pe utilizarea axiomelor fizice formulate într-o formă matematică riguroasă.
Avantajul său este că permite folosirea metodei deductive, ca consecințe ale teoremelor corespunzătoare (de exemplu, teorema legată de spin cu statistica și teoremele CPT [1] ), pentru a deriva consecințe fizice observabile experimental care decurg din conceptele fizice. de spațiu-timp formulate de sub formă de axiome matematice și astfel verifică ele însele aceste reprezentări inițiale. De asemenea, vă permite să verificați și să rafinați logic, dacă este necesar, prevederile inițiale ale teoriei câmpurilor cuantice.
Dezavantajul său este că, pe lângă teorema privind legătura dintre spin și statistică și teorema CPT, nu este posibil să se obțină din aceasta alte consecințe specifice, verificate experimental (de exemplu, nu se poate construi o teorie a interacțiunii). câmpuri și, de asemenea, o teorie netrivială a matricei S [1] ).
În teoria cuantică axiomatică a câmpurilor, de regulă, se utilizează reprezentarea mecanică cuantică Heisenberg [2] , în care dependența de timp este descrisă de operatori, iar vectorii de stare nu depind de timp.
Stările unui sistem fizic sunt descrise prin raze normalizate într-un spațiu Hilbert încadrat cu o metrică definită pozitivă. Fiecare mărime fizică măsurată este asociată cu un operator auto-adjunct . Dacă valoarea corespunde operatorului , atunci valoarea corespunde operatorului [3] [4] [5] .
Valorile medii ale observabilelor fizice nu se modifică în raport cu transformările proprii Poincaré [2] [6] . Vectorii de stare sunt transformați conform reprezentărilor grupului Poincaré de acoperire universală ( teorema Bargman-Wigner ) [7] .
Postulatul localității este o expresie a principiului relativist al cauzalității. Măsurătorile componentelor câmpului în puncte separate printr-un interval asemănător spațiului sunt independente. Din punct de vedere matematic, aceasta înseamnă că operatorii de câmp în puncte separate printr-un interval asemănător spațiului fie fac naveta, fie fac navetă între ei [8] [9] [10] .
laAici, semnul de comutație „-” corespunde câmpului bosonic tensor, semnul de anticomutație „+” corespunde câmpului spinor fermion (teoremă despre relația dintre spin și statistică).
Reprezentarea grupului universal de acoperire Poincare, care se realizează în spațiul Hilbert al vectorilor de stare, se descompune în reprezentări ireductibile de numai trei clase [11] [12] :
Aici este pătratul operatorului de impuls în patru dimensiuni, este masa unei particule elementare, este prima componentă a operatorului de impuls în patru dimensiuni.
Există două abordări principale care asigură formularea matematică exactă și axiomatizarea teoriei cuantice a câmpurilor: algebrică și topologică.
FQFT formalizează imaginea Schrödinger a mecanicii cuantice (generalizată la teoria câmpului cuantic ), unde spațiile stărilor cuantice sunt atribuite spațiului și unde mapările liniare sunt atribuite traiectoriilor sau interpolării spațiu-timp între aceste spații.
![]() |
---|