Teoria câmpului cuantic (QFT) - o ramură a fizicii care studiază comportamentul sistemelor cuantice cu un număr infinit de grade de libertate - câmpuri cuantice ; este baza teoretică pentru descrierea microparticulelor, interacțiunile și transformările acestora. Fizica de înaltă energie , fizica particulelor elementare se bazează pe limbajul QFT , aparatul său matematic este folosit în fizica materiei condensate . Teoria cuantică a câmpului sub forma Modelului Standard (cu adăugarea maselor de neutrini ) este în prezent singura teorie confirmată experimental capabilă să descrie și să prezică rezultatele experimentelor la energii înalte realizabile în acceleratoarele moderne .
Aparatul matematic al QFT se bazează pe produsul direct al spațiilor de stări Hilbert (spațiul Fock ) ale câmpului cuantic și al operatorilor care acționează în acesta . Spre deosebire de mecanica cuantică , unde proprietățile funcției de undă a „ microparticulelor ” sunt studiate ca un fel de obiecte indestructibile; în QFT, principalele obiecte de studiu sunt câmpurile cuantice și excitațiile lor elementare, iar rolul principal este jucat de aparatul secundar de cuantizare cu operatori de creare și anihilare a particulelor care acționează în spațiul de stări Fock . Un analog al funcției de undă mecanică cuantică în QFT este un operator de câmp capabil să acționeze asupra vectorului de vid al spațiului Fock (vezi vid ) și să genereze excitații cu o singură particule ale câmpului cuantic. Observabilele fizice corespund aici și operatorilor alcătuiți din operatori de câmp .
Teoria cuantică a câmpului a apărut din munca mai multor generații de fizicieni teoreticieni de-a lungul cea mai mare parte a secolului al XX-lea. Dezvoltarea sa a început în anii 1920 cu descrierea interacțiunilor dintre lumină și electroni , ceea ce a dus la apariția primei teorii cuantice a câmpului - electrodinamica cuantică . Curând, a fost descoperit primul obstacol teoretic serios în calea construirii unei teorii mai riguroase, asociat cu apariția și conservarea diferitelor infinitități în calculul serii de perturbații. Această problemă a găsit o soluție abia în anii 1950 după inventarea procedurii de renormalizare . Al doilea obstacol major a fost imposibilitatea aparentă a QFT de a descrie interacțiunile slabe și puternice , într-o asemenea măsură încât unii teoreticieni au cerut abandonarea abordării teoriei câmpului [1] [2] . Dezvoltarea teoriei gauge în anii 1970 a condus la renașterea teoriei câmpurilor cuantice sub forma modelului standard al particulelor elementare .
Ecuația de bază a mecanicii cuantice - ecuația Schrödinger - este relativistic non-invariantă, ceea ce este evident din intrarea asimetrică a coordonatelor de timp și spațiu în ecuație [3] . Ecuația Schrödinger non-relatistă corespunde relației clasice dintre energia cinetică și impulsul unei particule . Relația relativistă dintre energie și impuls are forma [4] . Presupunând că operatorul de impuls în cazul relativist este același cu cel din regiunea non-relativista și folosind această formulă pentru a construi Hamiltonianul relativist prin analogie [5] , în 1926 a fost propusă o ecuație relativistic invariantă pentru un liber (fără spin sau cu spin zero). ) particulă ( ecuația Klein-Gordon-Fock ). Cu toate acestea, problema cu această ecuație este că este dificil de interpretat aici funcția de undă ca o amplitudine de probabilitate deoarece densitatea de probabilitate nu va fi o valoare definită pozitivă în tot spațiul, care este asociată cu derivata a doua în raport cu timpul [6] ] [7] .
O abordare ușor diferită a fost implementată în 1928 de către Dirac , care a încercat să obțină o ecuație diferențială de ordinul întâi, în care era asigurată egalitatea coordonatelor de timp și a coordonatelor spațiale [6] . Deoarece operatorul moment este proporțional cu derivata întâi în raport cu coordonatele, Hamiltonianul Dirac trebuie să fie liniar în operatorul moment [8] . Ținând cont de aceeași relație relativistă dintre energie și impuls, se impun restricții asupra pătratului acestui operator. În consecință, „coeficienții” liniari trebuie să îndeplinească și o anumită restricție, și anume, pătratele lor trebuie să fie egale cu unu și trebuie să fie reciproc anticomutative . Astfel, cu siguranță nu pot fi coeficienți numerici. Totuși, ele pot fi matrici, cu cel puțin 4 dimensiuni, iar „funcția de undă” poate fi un obiect cu patru componente, numit bispinor . Ca rezultat, a fost obținută ecuația Dirac , în care participă matrice 4-Dirac și o „funcție de undă” cu patru componente. Formal, ecuația lui Dirac este scrisă într-o formă similară cu ecuația Schrödinger cu Hamiltonianul Dirac [8] . Totuși, această ecuație, ca și ecuația Klein-Gordon, are soluții cu energii negative [9] . Această împrejurare a fost motivul pentru prezicerea existenței antiparticulelor , care a fost ulterior confirmată experimental (descoperirea pozitronului ) [10] . Prezența antiparticulelor este o consecință a relației relativiste dintre energie și impuls [9] .
Astfel, trecerea la ecuații relativistic invariante duce la funcții de undă non-standard și interpretări cu mai multe particule. În același timp, spre sfârșitul anilor 1920, a fost dezvoltat un formalism pentru descrierea cuantică a sistemelor cu mai multe particule (inclusiv sistemele cu un număr variabil de particule) bazat pe operatorii de creare și anihilare a particulelor. Teoria cuantică a câmpurilor se dovedește, de asemenea, să se bazeze pe acești operatori (exprimați în termenii lor).
Ecuațiile relativiste Klein-Gordon și Dirac sunt considerate în teoria cuantică a câmpului ca ecuații pentru funcțiile de câmp operator. În consecință, este introdus în considerare un „nou” spațiu Hilbert de stări ale unui sistem de câmpuri cuantice, asupra cărora acţionează operatorii de câmp de mai sus. Prin urmare, uneori procedura de cuantizare a câmpului se numește „a doua cuantizare” [11] [12] .
Teoria cuantică a câmpurilor se bazează pe teoria clasică a câmpurilor , mecanica cuantică și relativitatea specială [13] [14] . Următoarea este o scurtă prezentare a acestor teorii precursoare.
Cea mai veche teorie clasică de succes a câmpului s-a bazat pe legea gravitației universale a lui Newton , în ciuda absenței complete a conceptului de câmpuri în tratatul său din 1687 Philosophi Naturalis Principia Mathematica [15] . Gravitația, așa cum este descrisă de Newton, este „ acțiune la distanță ”, iar efectul său asupra obiectelor îndepărtate este instantaneu, indiferent de distanță. Totuși, în corespondență cu Richard Bentley, Newton a afirmat că „este de neconceput ca materia grosieră neînsuflețită, fără mijlocirea a altceva care nu este material, să acționeze asupra altei materie și să o influențeze fără contact reciproc” [16] . Abia în secolul al XVIII-lea, fizicienii teoreticieni au descoperit o descriere convenabilă a gravitației bazată pe câmp – o valoare numerică ( vector ) atribuită fiecărui punct din spațiu, indicând efectul gravitației asupra oricărei particule de testare în acel punct. Totuși, aceasta a fost considerată doar un truc matematic [15] .
Conceptul de câmpuri a căpătat o descriere mai formală odată cu dezvoltarea electromagnetismului în secolul al XIX-lea. Michael Faraday a inventat termenul englezesc „câmp” în 1845. El a prezentat câmpurile ca proprietăți ale spațiului (chiar dacă este lipsit de materie) care au efecte fizice. Faraday s-a opus „acțiunii la distanță” și a presupus că interacțiunile dintre obiecte au loc prin „linii de forță” care umple spațiul. Această descriere a câmpurilor a supraviețuit până astăzi [16] [17] [18] .
Teoria electromagnetismului clasic a luat forma finală în 1864 sub forma ecuațiilor lui Maxwell , care descriau relația dintre câmpul electric , câmpul magnetic , curentul electric și sarcina electrică . Ecuațiile lui Maxwell au implicat existența undelor electromagnetice , un fenomen în care câmpurile electrice și magnetice se propagă dintr-un punct din spațiu în altul cu o viteză finită, care s-a dovedit a fi viteza luminii . Astfel, acțiunea la distanță a fost în cele din urmă infirmată [19] [20] .
În ciuda succesului enorm al electromagnetismului clasic, acesta nu a putut explica nici liniile discrete din spectrele atomice , nici distribuția radiației corpului negru la diferite lungimi de undă [21] . Studiul lui Max Planck asupra radiațiilor corpului negru a marcat începutul mecanicii cuantice. El a văzut atomii, care absorb și emit radiații electromagnetice , ca minuscule oscilatoare a căror energie poate lua doar o serie de valori discrete, nu continue. Astăzi sunt cunoscuți ca oscilatoare armonice cuantice . Acest proces de limitare a energiei la valori discrete se numește cuantizare [22] . Pe baza acestei idei, Albert Einstein a propus o explicație pentru efectul fotoelectric în 1905 , în care lumina este alcătuită din pachete individuale de energie numite fotoni (quanta de lumină). Aceasta a însemnat că radiația electromagnetică, descrisă ca unde într-un câmp electromagnetic clasic, există și sub formă de particule [23] [24] .
În același an în care a fost publicată lucrarea despre efectul fotoelectric, Einstein a publicat teoria sa specială a relativității, care se suprapune cu teoria electromagnetismului a lui Maxwell. Noile reguli, numite transformarea Lorentz , au descris schimbarea coordonatelor temporale și spațiale ale evenimentelor pe măsură ce viteza observatorului se schimba, iar distincția dintre timp și spațiu a fost estompată. El a sugerat că toate legile fizice ar trebui să fie aceleași pentru observatorii care se mișcă la viteze diferite, adică că legile fizice sunt invariante sub transformările Lorentz [20] .
În 1913, Niels Bohr a prezentat un model de structură atomică în care electronii din interiorul atomilor pot prelua doar o serie de energii discrete, mai degrabă decât continue [24] . Acesta este un alt exemplu de cuantizare. Modelul Bohr a explicat cu succes natura discretă a liniilor spectrale ale atomilor. În 1924, Louis de Broglie a prezentat ipoteza dualității undă-particulă , conform căreia particulele microscopice prezintă atât proprietăți de undă, cât și de particule în diferite circumstanțe [23] . Combinând aceste diverse idei, între 1925 și 1926 a fost formulată o nouă teorie științifică, mecanica cuantică , la care au contribuit semnificativ Max Planck , Louis de Broglie , Werner Heisenberg , Max Born , Erwin Schrödinger , Paul Dirac și Wolfgang Pauli [25] .
Au mai rămas două dificultăți. Din punct de vedere experimental, ecuația Schrödinger , care stă la baza mecanicii cuantice, ar putea explica emisia stimulată a atomilor, atunci când un electron emite un nou foton sub influența unui câmp electromagnetic extern, dar nu ar putea explica emisia spontană . , în care energia electronului scade spontan și un foton este emis chiar și fără acțiunea unui câmp electromagnetic extern. Teoretic, ecuația Schrödinger nu ar putea descrie fotonii și este incompatibilă cu principiile relativității speciale - ea consideră timpul ca un număr obișnuit, în timp ce reprezintă simultan coordonatele spațiale cu operatori liniari [26] [27] .
Teoria câmpului cuantic a început cu studiul interacțiunilor electromagnetice, deoarece câmpul electromagnetic era singurul câmp clasic cunoscut în anii 1920 [28] .
Datorită lucrărilor lui Born, Heisenberg și Pascual Jordan , în 1925-1926 a fost dezvoltată o teorie cuantică, care descrie câmpul electromagnetic liber (care nu interacționează cu materia), folosind cuantizarea canonică și considerând câmpul electromagnetic ca un set de oscilatoare armonice cuantice. . Dacă interacțiunile nu sunt luate în considerare, o astfel de teorie nu este încă capabilă să facă predicții cantitative despre lumea reală [29] .
În lucrarea sa fundamentală din 1927, Teoria cuantică a emisiei și absorbției radiațiilor , Dirac a inventat termenul de electrodinamică cuantică (QED), o teorie care adaugă condițiilor care descriu un câmp electromagnetic liber un termen suplimentar de interacțiune între densitatea curentului electric și electromagnetic . potențial vectorial [30] . Folosind teoria perturbației de ordinul întâi , el a explicat cu succes fenomenul de emisie spontană . Conform principiului incertitudinii , oscilatorii armonici cuantici nu pot rămâne staționari, dar au un minim de energie diferit de zero și trebuie să oscileze întotdeauna, chiar și în starea cea mai scăzută de energie (starea fundamentală ). Prin urmare, chiar și într-un vid perfect , rămâne un câmp electromagnetic oscilant cu energie zero . Aceste fluctuații cuantice ale câmpurilor electromagnetice în vid sunt cele care „stimulează” emisia spontană de electroni în atomi. Teoria lui Dirac [31] s-a dovedit a fi extrem de reușită în a explica atât emisia, cât și absorbția radiațiilor de către atomi. Aplicând teoria perturbației de ordinul doi, el a reușit să țină seama de împrăștierea fotonilor și a explicat alte efecte cuantice, cum ar fi fluorescența rezonantă , împrăștierea Compton non-relativistă . Cu toate acestea, aplicarea teoriei perturbațiilor de ordin superior a intrat în infinitate computaționale [30] .
În 1927, Friedrich Hund (când a calculat starea fundamentală a unui potențial dublu puț) [32] și, independent de el, Leonid Mandelstam și Mihail Leontovici [33] au dezvăluit pentru prima dată „ efectul de tunel ”. În 1928, Georgy Gamov (care știa despre descoperirile lui Mandelstam și Leontovici [34] ) și oamenii de știință americani Ronald Gurney și Edward Condon , în timp ce dezvoltau teoria dezintegrarii alfa , au obținut primele formule pentru efectul de tunel [35] [36] . Aplicând ideea pătrunderii mecanice cuantice a funcției de undă a unei particule alfa prin bariera Coulomb ( efect de tunel ), Gamow a reușit să arate că chiar și particulele cu energie nu foarte mare pot zbura din nucleu cu o anumită probabilitate [35]. ] .
În 1928, Dirac a scris o ecuație de undă care descrie electroni relativiști - ecuația Dirac . A avut consecințe importante: spinul unui electron este 1/2; factorul g al electronului este 2. Aceasta a condus la formula Sommerfeld corectă pentru structura fină a atomului de hidrogen ; iar ecuația Dirac poate fi utilizată pentru a deriva formula Klein-Nisina care descrie împrăștierea relativistică Compton. Deși rezultatele au fost în concordanță cu teoria, teoria a presupus și existența unor stări de energie negativă care ar putea face atomii instabili, deoarece aceștia, în acest caz, ar putea întotdeauna să se descompună în stări de energie inferioară cu radiații [37] .
La acea vreme, opinia predominantă era că lumea era alcătuită din două ingrediente foarte diferite: particule materiale (cum ar fi electronii) și câmpuri cuantice (cum ar fi fotonii). Particulele materiale au fost considerate a fi eterne, iar starea lor fizică a fost descrisă de probabilitățile de a găsi fiecare particulă în orice regiune dată a spațiului sau interval de viteze. Pe de altă parte, se credea că fotonii sunt pur și simplu stări excitate ale câmpului electromagnetic cuantificat subiacent și ar putea fi creați sau distruși în mod liber. Între 1928 și 1930, Jordan, Eugene Wigner , Heisenberg, Pauli și Enrico Fermi au descoperit că particulele materiale pot fi văzute și ca stări excitate ale câmpurilor cuantice. La fel cum fotonii sunt stări excitate ale unui câmp electromagnetic cuantificat, fiecare tip de particulă are propriul său câmp cuantic: un câmp de electroni, un câmp de protoni și așa mai departe. Cu suficientă energie, acum ar fi posibil să se creeze particule materiale. Pe baza acestei idei, Fermi a propus o explicație pentru dezintegrarea beta în 1932 , cunoscută sub numele de interacțiunea Fermi . Nucleele atomilor nu conțin electroni în sine , dar în procesul de dezintegrare, un electron este creat din câmpul electronic înconjurător, similar unui foton născut din câmpul electromagnetic înconjurător în timpul dezintegrarii radiative a unui atom excitat [38] .
În 1930, D. D. Ivanenko și V. A. Ambartsumyan au prezentat ipoteza nașterii particulelor masive și elementare în procesul interacțiunii lor (inclusiv nașterea unui electron în timpul dezintegrarii β ), care a exclus teoria producției lor spontane care a prevalat. înainte și a format baza teoriei cuantice a câmpului și a teoriei particulelor elementare [39] [40] . În același timp, Dirac și alții au realizat că stările de energie negativă care apar din soluțiile ecuației lui Dirac ar putea fi interpretate ca particule cu aceeași masă cu electronii, dar cu sarcină electrică opusă. Acest lucru nu numai că a asigurat stabilitatea atomilor, dar a devenit și prima predicție a existenței antimateriei . Într-adevăr, pozitronii au fost descoperiți în 1932 de Carl David Anderson în raze cosmice [38] . Având suficientă energie, de exemplu prin absorbția unui foton, se poate crea o pereche electron-pozitron, proces numit producție de pereche ; procesul invers, anihilarea, poate avea loc și cu emisia unui foton. Acest lucru a arătat că numărul de particule nu rămâne neapărat fix în timpul interacțiunii. Cu toate acestea, din punct de vedere istoric, pozitronii au fost considerați mai întâi ca „găuri” într-o mare infinită de electroni, și nu ca particule de un tip nou, iar această teorie a fost numită teoria găurii lui Dirac [41] . QFT include în mod natural antiparticule în formalismul său [42] .
Robert Oppenheimer a arătat în 1934 că calculele perturbative în ordine superioare ale QED conduc întotdeauna la valori infinite, de exemplu pentru partea de energie proprie electronului și energia de vid zero pentru câmpurile de electroni și fotoni [43] . Aceasta a însemnat că metodele de calcul existente nu au putut gestiona în mod corespunzător interacțiunile care implică fotoni cu momente extrem de mari [44] . Problema a găsit o soluție 20 de ani mai târziu, când a fost dezvoltată o abordare sistematică pentru a elimina astfel de infinitate.
Între 1934 și 1938, Ernst Stückelberg a publicat o serie de lucrări care prezintă o formulare relativistic invariantă a QFT. În 1947, Stückelberg a dezvoltat, de asemenea, independent o procedură completă de renormalizare pentru a elimina divergențele. Aceste realizări nu au fost înțelese și recunoscute de comunitatea teoretică [45] .
În fața acestor infinitități, John Archibald Wheeler și Heisenberg au propus în 1937 și respectiv 1943 să înlocuiască problematica QFT cu așa-numita teorie a matricei S . Deoarece detaliile specifice ale interacțiunilor microscopice nu sunt disponibile pentru observație, o teorie ar trebui să încerce doar să descrie relația dintre un număr mic de observabile ( de exemplu , energia unui atom) într-o interacțiune, mai degrabă decât să se preocupe de detaliile microscopice. a interacțiunii. În 1945, Richard Feynman și Wheeler au sugerat cu îndrăzneală că QFT ar trebui abandonat complet și au propus acțiunea la distanță ca mecanism pentru interacțiunea particulelor [46] [47] .
În 1947, Willis Lamb și Robert Rutherford au măsurat diferența mică a nivelurilor de energie ale celor 2 S 1/2 și 2 P 1/2 atomi de hidrogen, numită și schimbarea Lamb . Neglijând contribuția fotonilor a căror energie depășește masa electronului, Hans Bethe a estimat cu succes valoarea numerică a acestei diferențe [45] [48] . Ulterior, Norman Kroll , Lamb, James French , și Victor Weiskopf au folosit o metodă diferită de derivare, în care infinititățile se anulează reciproc și se obține o valoare finită. Cu toate acestea, metoda folosită a fost greoaie și nesigură și nu a putut fi generalizată la alte calcule [49] [50] .
Descoperirea a venit în cele din urmă în jurul anului 1950, când Julian Schwinger , Richard Feynman , Freeman Dyson și Shinichiro Tomonaga au dezvoltat o metodă mai acceptabilă pentru eliminarea infiniturilor. Ideea sa principală este de a înlocui valorile calculate ale masei și sarcinii electronului, oricât de infinite ar fi acestea, cu valorile lor experimentale finale. Această procedură de calcul sistematică este cunoscută sub numele de renormalizare și poate fi aplicată la o ordine arbitrară în teoria perturbațiilor [51] . După cum a spus Tomonaga în prelegerea sa Nobel [52] :
Deoarece aceste părți ale masei și sarcinii modificate [devin infinite] datorită contribuțiilor câmpului, ele nu pot fi calculate prin teorie. Cu toate acestea, masa și sarcina observate în experimente nu sunt masa și sarcina originală, ci masa și sarcina modificate de contribuțiile câmpului și sunt finite. Pe de altă parte, masa și sarcina care apar în teorie sunt... valori modificate de contribuțiile câmpului. Întrucât acesta este cazul, și în special, deoarece teoria nu poate calcula masa și sarcina modificate, putem adopta procedura de înlocuire fenomenologică a valorilor lor experimentale... Această procedură se numește renormalizare de masă și sarcină... După calcule lungi și minuțioase, mai puțin pricepute decât ale lui Schwinger, am obținut un rezultat... care este în concordanță cu americanii.
Text original (engleză)[ arataascunde] Deoarece acele părți ale masei și sarcinii modificate datorate reacțiilor câmpului [devin infinite], este imposibil să le calculăm prin teorie. Cu toate acestea, masa și sarcina observate în experimente nu sunt masa și sarcina inițiale, ci masa și sarcina așa cum sunt modificate de reacțiile de câmp și sunt finite. Pe de altă parte, masa și sarcina care apar în teorie sunt... valorile modificate de reacțiile câmpului. Deoarece este așa, și mai ales că teoria nu este în măsură să calculeze masa și sarcina modificate, putem adopta procedura de înlocuire fenomenologică a valorilor experimentale cu ele... Această procedură se numește renormalizarea masei și sarcinii... După mult timp , calcule laborioase, mai puțin pricepute decât ale lui Schwinger, am obținut un rezultat... care a fost în acord cu [americanii].Folosind proceduri de renormalizare, au fost efectuate în final calcule pentru a explica momentul magnetic anormal al electronului (abaterea factorului g electronului de la 2) și polarizarea în vid . Aceste rezultate au coincis în mare măsură cu măsurătorile experimentale, care au marcat sfârșitul „războiului pe infinit” [49] .
În același timp, Feynman a introdus formularea teoriei cuantice în termeni de integrale de cale și diagrame Feynman [53] . Acestea din urmă sunt utilizate pentru calcule vizuale în teoria perturbațiilor. Fiecare diagramă poate fi interpretată ca traseele particulelor și interacțiunile lor, iar fiecărui vârf și linie i se atribuie o expresie matematică , iar produsul acestor expresii dă amplitudinea de împrăștiere a procesului reprezentat de diagramă [54] .
Odată cu inventarea procedurii de renormalizare și a tehnicii diagramei Feynman, QFT a primit o bază teoretică completă [53] .
Având în vedere succesul enorm al QED, mulți teoreticieni au crezut timp de câțiva ani după 1949 că QFT va fi în curând capabil să ofere o perspectivă asupra tuturor fenomenelor microscopice, nu doar a interacțiunilor dintre fotoni, electroni și pozitroni. Contrar acestui optimism, QFT a intrat într-o altă perioadă de depresie care a durat aproape două decenii [55] .
Primul obstacol a fost aplicabilitatea limitată a procedurii de renormalizare. În calculele perturbative în QED, toate mărimile infinite pot fi eliminate prin redefinirea unui număr mic (finit) de mărimi fizice (și anume, masa și sarcina electronului). Dyson a demonstrat în 1949 că acest lucru a fost posibil doar pentru o clasă mică de teorii numite „teorii renormalizabile” din care QED este un exemplu. Cu toate acestea, majoritatea teoriilor, inclusiv teoria interacțiunii slabe a lui Fermi , sunt „nerenormalizabile”. Orice calcul perturbativ în aceste teorii dincolo de primul ordin ar duce la infinitate care nu ar putea fi evitate prin redefinirea numărului finit de parametri fizici ai teoriei [55] .
A doua problemă serioasă apare din aplicabilitatea limitată a metodei diagramei Feynman, care se bazează pe expansiunea în serie în teoria perturbațiilor. Pentru ca seria să convergă și pentru ca aproximările bune să existe doar în aproximarea de ordin inferior, constanta de cuplare în care are loc expansiunea trebuie să fie un număr suficient de mic. Constanta de cuplare în QED este constanta de structură fină α ≈ 1/137 , care este suficient de mică pentru a lua în considerare doar cele mai simple diagrame Feynman de ordin inferioară în calcule realiste. În contrast, constanta puternică de cuplare a interacțiunii este aproximativ egală cu unitatea, ceea ce face ca diagramele Feynman complexe de ordin superior să fie la fel de importante ca și cele simple. Astfel, nu a fost posibil să se obțină predicții cantitative fiabile în probleme cu interacțiune puternică folosind metode QFT perturbative [56] .
Pe măsură ce au apărut aceste dificultăți, mulți teoreticieni au început să se îndepărteze de QFT. Unii s-au concentrat pe principiile simetriei și pe legile de conservare , alții au luat vechea teorie a matricei S Wheeler și Heisenberg. QFT a fost folosit din punct de vedere euristic ca principiu ghid, dar nu ca bază pentru calculele cantitative [56] .
Schwinger, totuși, a mers pe cealaltă direcție. Timp de mai bine de un deceniu, el și studenții săi au fost aproape singurii oameni de știință care au avansat constant teoria câmpului, dar în 1966 a găsit o cale de a ocoli problema infinitului cu o nouă metodă pe care a numit- o teoria sursei , care era o teorie fenomenologică și nu folosea câmpul. operatori [57] [58] . Dezvoltarea fizicii pionilor, în care noul punct de vedere a fost aplicat cu cel mai mare succes, l-a convins de avantajele enorme ale simplității matematice și ale clarității conceptuale pe care le oferă utilizarea lui [59] . Nu există discrepanțe și renormalizări în teoria surselor. Poate fi considerat un instrument de calcul al teoriei câmpurilor, dar este mai general [60] . Folosind teoria surselor, Schwinger a reușit să calculeze momentul magnetic anormal al electronului în 1947, dar de această dată fără „distrageri” despre cantități infinite [61] . Schwinger a aplicat, de asemenea, teoria surselor la teoria sa QFT a gravitației și a reușit să reproducă toate cele patru rezultate clasice ale lui Einstein: deplasarea gravitațională spre roșu [62] , devierea și încetinirea luminii prin gravitație [63] și precesia periheliului lui Mercur [64] ] . Neglijarea teoriei sursei de către comunitatea fizicii a fost o mare dezamăgire pentru Schwinger [59] :
Neînțelegerea acestor fapte de către alții a fost deprimantă, dar de înțeles.
Text original (engleză)[ arataascunde] Lipsa de apreciere a acestor fapte de către alții a fost deprimantă, dar de înțeles.În 1954, Yang Zhenning și Robert Mills au generalizat simetria locală a QED, conducând la teorii gauge non-abeliene (cunoscute și sub numele de teorii Yang-Mills) bazate pe grupuri de simetrie locale mai complexe [65] . În QED, particulele încărcate (electric) interacționează prin schimbul de fotoni, în timp ce în teoria gauge non-Abelian, particulele care poartă un nou tip de „ încărcare ” interacționează prin schimbul de bosoni gauge fără masă . Spre deosebire de fotoni, acești bosoni gauge înșiși poartă o sarcină [66] [67] .
Sheldon Glashow a dezvoltat o teorie a gabaritului non-Abelian care a unificat forțele electromagnetice și cele slabe în 1960. În 1964, Abdus Salam și John Clive Ward au ajuns la aceeași teorie într-un mod diferit. Cu toate acestea, această teorie nu a fost renormalizabilă [68] .
Peter Higgs , Robert Braut , François Englert , Gerald Guralnik , Carl Hagen și Tom Kibble în celebrele lor Physical Review Letters au sugerat că simetria gauge în teoriile Yang-Mills este întreruptă de un mecanism numit ruperea spontană a simetriei , datorită căruia bosonii gauge pot dobândi masă [69] .
Combinând teoria anterioară a lui Glashow, Salam și Ward cu ideea ruperii spontane a simetriei, Steven Weinberg a creat o teorie în 1967 care descrie interacțiunile electroslabe dintre toți leptonii și efectele bosonului Higgs . Teoria sa a fost inițial ignorată [68] [65] până când interesul pentru ea a fost reînviat în 1971 de către Gerard t'Hooft , care a dovedit renormalizarea teoriilor non-abeliene de gabarit. Teoria electroslabă a lui Weinberg și Salam a fost generalizată pentru a include quarcii în 1970 de către Glashow, John Iliopoulos și Luciano Maiani , marcând finalizarea acesteia [68] .
Harald Fritsch , Murray Gell-Mann și Heinrich Leutweiler au descoperit în 1971 că unele fenomene asociate cu forța puternică ar putea fi explicate și în termenii unei teorii gauge non-Abelian. Așa a apărut cromodinamica cuantică (QCD). În 1973, David Gross , Frank Wilczek și Hugh David Politzer au arătat că teoriile gauge non-abeliene sunt „ libere asimptotic ” atunci când, sub renormalizare, constanta de cuplare puternică scade odată cu creșterea energiei de interacțiune. Descoperiri similare au fost făcute de mai multe ori în trecut, dar au trecut neobservate [70] . Astfel, cel puțin la energii mari, constanta de cuplare în QCD devine suficient de mică pentru a garanta o extindere a seriei de perturbații, ceea ce duce la posibilitatea obținerii de estimări cantitative pentru interacțiunea puternică [66] .
Aceste descoperiri teoretice au condus la o renaștere a QFT. Teoria completă, inclusiv teoria interacțiunii electroslăbice și a cromodinamicii, se numește astăzi Modelul Standard al particulelor elementare [71] . Modelul standard descrie cu succes toate interacțiunile fundamentale, cu excepția gravitației , iar numeroasele sale predicții au primit o confirmare experimentală remarcabilă în următoarele decenii [72] . Existența bosonului Higgs , care este esențial pentru mecanismul de rupere spontană a simetriei, a fost în cele din urmă confirmată în 2012 prin experimente la CERN , însumând verificarea completă a tuturor componentelor Modelului Standard [73] .
În anii 1970, metodele non-perturbative au apărut în teoriile non-abeliene ale gabaritului. Monopolul 't Hooft-Polyakov a fost descoperit teoretic de 't Hooft şi Polyakov , tuburile de curgere Holger Beck Nielsen şi Paul Olesen şi instantoni de Polyakov et al. Studiul acestor obiecte nu este disponibil cu ajutorul teoriei perturbațiilor [74] .
În același timp a apărut și supersimetria . Primul QFT supersimetric în patru dimensiuni a fost construit de Yuri Golfand și Evgeny Likhtman în 1970, dar rezultatul lor nu a trezit un interes larg datorită Cortinei de Fier . Supersimetria s-a răspândit în comunitatea teoretică abia după lucrările lui Julius Wess și Bruno Zumino în 1973 [75] .
Dintre cele patru interacțiuni fundamentale, gravitația rămâne singura care nu are o descriere consecventă în cadrul QFT. Diverse încercări de a crea o teorie a gravitației cuantice au condus la dezvoltarea teoriei corzilor [76] , care ea însăși aparține tipului de QFT bidimensional cu simetrie conformă [77] . Joel Sherk și John Schwartz au propus pentru prima dată în 1974 că teoria corzilor ar putea fi o teorie cuantică a gravitației [78] .
Deși teoria cuantică a câmpului a apărut ca urmare a studiului interacțiunilor dintre particulele elementare, adică este folosită pentru distanțe mult mai mici decât cele atomice, ea a fost aplicată cu succes altor sisteme fizice, în special sistemelor cu mai multe particule în materie condensată . fizica . Din punct de vedere istoric, mecanismul ruperii spontane a simetriei Higgs a fost rezultatul aplicării de către Yoichiro Nambu a teoriei supraconductoarelor la particulele elementare, în timp ce conceptul de renormalizare a apărut din studiile tranzițiilor de fază de ordinul doi în materie [79] .
La scurt timp după introducerea fotonilor, Einstein a efectuat procedura de cuantificare a vibrațiilor dintr-un cristal, ceea ce a dus la apariția primei cvasiparticule într-un solid, fononul . Lev Landau a susținut că excitațiile cu energie scăzută în multe sisteme de materie condensată pot fi descrise în termeni de interacțiuni între un set de cvasiparticule. Metoda schematică a lui Feynman a QFT a fost în mod natural bine potrivită pentru analiza diferitelor fenomene în sisteme de materie condensată [80] . Teoria gauge este folosită pentru a descrie cuantizarea fluxului magnetic în supraconductori, rezistivitatea în efectul Hall cuantic și relația dintre frecvență și tensiune în efectul Josephson non-staționar pentru curent alternativ [80] .
Câmpul clasic este o funcție a coordonatelor spațiale și temporale [81] . Exemplele includ câmpul gravitațional g ( x , t ) în gravitația newtoniană , câmpul electric E ( x , t ) și câmpul magnetic B ( x , t ) în electrodinamica clasică . Câmpul clasic poate fi gândit ca o valoare numerică atribuită fiecărui punct din spațiu care se modifică în timp. Prin urmare, are infinit de grade de libertate [K 1] [81] .
În mecanica lagrangiană, funcția Lagrange L este o funcție a timpului și a variabilelor dinamice ale sistemului și este scrisă ca o sumă peste toate punctele materiale ale sistemului [82] . În cazul unui sistem continuu, precum câmpul, conceptul central al teoriei [83] , suma este înlocuită cu o integrală spațială a densității funcției Lagrange, densitatea lagrangiană .
unde componentele spațiale ale vectorului cu 4 coordonate sunt îngroșate, iar componenta zero este timpul. Prin urmare, în teoria câmpului, lagrangianul este de obicei numit densitate lagrangiană [84] [85] . Acțiunea prin definiție este integrala de timp a Lagrangianului [82]
adică acțiunea în teoria câmpului este o integrală cu patru dimensiuni a densității lagrangiane în spațiu-timp cu patru dimensiuni [82] .
Câmpul este descris printr-o funcție de câmp (acționează ca o variabilă dinamică), care poate fi un scalar real sau complex (pseudoscalar), vector, spinor sau altă funcție. În teoria câmpului, se presupune că Lagrangianul depinde numai de variabile dinamice - de funcția de câmp și derivatele sale, adică nu există o dependență explicită de coordonate (o dependență explicită de coordonate încalcă invarianța relativistă). Localitatea teoriei necesită ca Lagrangianul să conţină un număr finit de derivate şi să nu conţină, de exemplu, dependenţe integrale . Mai mult, pentru a obține ecuații diferențiale de cel mult ordinul doi (pentru a se conforma mecanicii clasice), se presupune că Lagrangianul depinde doar de funcția de câmp și de derivatele sale prima [86]
Principiul celei mai mici acțiuni (principiul lui Hamilton) înseamnă că schimbarea reală a stării sistemului are loc în așa fel încât acțiunea să fie staționară (variația acțiunii este zero). Acest principiu permite obținerea ecuațiilor de câmp ale mișcării - ecuațiile Euler-Lagrange [K 2] [84] [86] :
Deoarece proprietățile fizice ale sistemului sunt determinate de acțiunea în care Lagrangianul este un integrand, atunci unui Lagrangian dat îi corespunde o singură acțiune, dar nu invers. Și anume, Lagrangienii care diferă unul de celălalt prin divergența totală a 4-urilor a unor 4-vectori sunt echivalente fizic [86] .
Sistemul de câmp LagrangianLagrangianul unui sistem de câmpuri (libere) care nu interacționează este pur și simplu suma lagrangianilor câmpurilor individuale. Ecuațiile de mișcare pentru un sistem de câmpuri libere sunt un set de ecuații de mișcare pentru câmpuri individuale. Interacțiunea câmpurilor este luată în considerare în Lagrangian prin adăugarea de termeni neliniari suplimentari. Astfel, Lagrangianul total al sistemului de câmpuri care interacționează este suma Lagrangianului liber și a interacțiunii Lagrangianului [87] :
Introducerea interacțiunii lagrangiane duce la neomogenitatea și neliniaritatea ecuațiilor de mișcare. Interacțiunile lagrangiene sunt de obicei funcții polinomiale ale câmpurilor participante (de gradul cel puțin trei) înmulțite cu o constantă numerică - așa-numita constantă de cuplare . Interacțiunea Lagrangiană poate fi proporțională cu a treia sau a patra putere a funcției de câmp în sine, produsul diferitelor funcții de câmp [88] .
De la formalismul lagrangian se poate trece la cel hamiltonian prin analogie cu mecanica lagrangiană și hamiltoniană. Funcția câmp aici acționează ca o coordonată generalizată (canonică) . În consecință, este, de asemenea, necesar să se determine densitatea de impuls generalizată (canonică) conjugată la această coordonată conform formulei standard [89] [90] [85] :
Atunci densitatea câmpului hamiltonian este prin definiție [89]
Ecuațiile de mișcare din abordarea hamiltoniană au forma [91] :
Dinamica oricăror mărimi din cadrul formalismului hamiltonian respectă următoarea ecuație:
unde parantezele denotă paranteza Poisson [91] . În acest caz, următoarele sunt valabile pentru funcții și pentru ele însele [90] [92] :
Relațiile care implică paranteze Poisson sunt de obicei baza pentru cuantificarea câmpului, când funcțiile de câmp sunt înlocuite cu operatorii corespunzători, iar parantezele Poisson sunt înlocuite cu un comutator de operatori [93] .
Simetriile în teoria cuantică a câmpurilor sunt transformări ale coordonatelor și (sau) funcțiilor de câmp, în raport cu care ecuațiile de mișcare sunt invariante și, prin urmare, acțiunea este invariabilă. Transformările în sine formează un grup [94] . Simetriile sunt numite globale dacă transformările corespunzătoare nu depind de 4-coordonate [95] . Altfel se vorbește de simetrii locale [96] [97] . Simetriile pot fi discrete sau continue [98] . În acest din urmă caz, grupul de transformări este continuu ( topologic ), adică topologia este dată în grup, față de care operațiile de grup sunt continue [99] . În teoria cuantică a câmpurilor, totuși, se folosește de obicei o clasă mai restrânsă de grupuri - grupuri Lie , în care este introdusă nu numai topologia, ci și structura unei varietăți diferențiabile. Elementele unor astfel de grupuri pot fi reprezentate ca funcții diferențiabile (holomorfe sau analitice) ale unui număr finit de parametri. Grupurile de transformare sunt de obicei considerate într-o anumită reprezentare - elementele grupurilor corespund funcțiilor operator (matrice) ale parametrilor [100] .
Cele mai importante sunt următoarele tipuri de transformare [101] :
S-a demonstrat că -simetria are loc în teoria câmpului cuantic local , adică invarianța față de aplicarea simultană a acestor trei transformări [102] .
Conform teoremei lui Noether, invarianța acțiunii funcționale față de grupul -parametric de transformări conduce la invarianți de câmp dinamic, adică la legi de conservare. Și anume, lăsați transformarea coordonatelor să fie efectuată folosind funcțiile , iar funcția de câmp - folosind funcția , unde este setul de parametri. Să notăm valoarea derivatei funcției în raport cu al- lea parametru la valoarea zero a parametrilor și prin valorile derivatelor funcțiilor în raport cu al- lea parametru la valoarea zero a parametrilor . Aceste mărimi sunt în esență generatoare ale grupurilor corespunzătoare de transformări [103] .
Apoi curenții Noether definiți ca [104]
au proprietatea . Mărimile conservate în timp („sarcini noetheriene”) sunt integrale spațiale peste componenta zero a curenților [105]
Simetria fundamentală inerentă tuturor teoriilor de câmp cuantice este invarianța relativistă — invarianța față de grupul neomogen Lorentz (grupul Poincaré ), adică în raport cu translațiile spațiu-timp și rotațiile Lorentz [106] . O altă simetrie globală pentru câmpuri complexe este simetria globală gauge - simetria față de un grup cu un singur parametru - grupul înmulțirilor cu . Este legat de cerința ca mărimile fizice lagrangiene și observabile să fie reale, ceea ce duce la dependența de câmpuri complexe numai prin forme pătratice, care sunt produse ale funcțiilor conjugate reciproc complexe și ale derivatelor lor. Prin urmare, înmulțirea cu un factor de fază unitar nu duce la nicio modificare [107] .
Tabelul de mai jos prezintă expresii generale pentru curenții și sarcinile noetheriene pentru principalele simetrii globale și legile de conservare corespunzătoare.
Simetrie | Curenții de nu | Taxele Noether și legile de conservare |
---|---|---|
Traduceri spațio-temporale [108] [109] | Tensor energie-impuls: . În special , Hamiltonianul (densitatea) câmpului. | Legea conservării 4-momentului: în special energia (Hamiltonian) |
Rotații Lorentz [110] [111] | Tensorul de impuls (total) , unde este tensorul de impuls orbital , este tensorul de impuls de spin (spin), unde sunt parametrii de transformare ai funcțiilor câmpului sub rotațiile Lorentz. Pentru câmpuri scalare | Legea conservării momentului total - integrala spațială a |
Simetria ecartamentului global [112] | 4-vector al curentului încărcat: . Pentru câmpurile reale, acestea sunt egale cu zero. | Legea conservării sarcinii ( sarcină electrică , sarcină barionică , ciudățenie , farmec etc.): [113] . Pentru câmpurile reale este egal cu zero. |
Tabelul de mai jos prezintă descrierea și principalele caracteristici ale celor mai simple câmpuri care sunt de bază în construcția teoriilor reale ale câmpurilor cuantice - câmpuri scalare, vectoriale și spinoare.
Caracteristică | Câmp scalar[114] | câmp vectorial[115] | câmp spinor[116] |
---|---|---|---|
Funcția de câmp | este în general o funcție complexă. este o funcție conjugată complexă. Dacă (adică ), atunci avem un câmp scalar real (redenumindu-l simplu ca ) | este o funcție vectorială (4-vector), în cazul general cu componente complexe (câmp vectorial încărcat). Câmpul vectorial real (neutru) se obține din condiția de egalitate (câmpul complex este apoi egalat cu cel real împărțit la ) | — coloană cu funcție cu patru componente (bispinor), — rând cu funcție cu patru componente conjugate Dirac, — Matrice Dirac |
Natura particulelor descrise | O particulă cu spin 0. Pentru un câmp real este neutră, pentru unul complex este încărcată. | Particule cu spin 1 (proiecții ), încărcate sau neutre | Particule încărcate cu spin 1/2 ( ) |
lagrangiană | , unde este Lagrangianul pentru câmpul real | , Unde Pentru un domeniu real | |
Ecuațiile de mișcare Euler-Lagrange | ( ecuația Klein-Gordon este valabilă și pentru funcția conjugată) | ( ecuația lui Proca ) Diferențierea cu respect duce (dacă ) la Cu această condiție (Lorentz) | este ecuația lui Dirac |
Tensorul energiei-impuls Hamiltonian 4-impulsului | , unde pentru un domeniu real — | ||
4-curent vector și încărcare | , pentru un câmp real sunt egale cu zero [117] | ||
Tensorul de rotire | 0 | Unde |
Transformările locale pot fi definite ca înmulțirea unei funcții de câmp cu o funcție în funcție de 4 coordonate. De exemplu, transformările locale ale unui grup sunt o transformare de fază care depinde de un anumit punct spațiu-timp, adică înmulțirea cu . După cum sa menționat mai sus, toate câmpurile complexe sunt simetrice în raport cu transformările globale analoge [118] . Cu toate acestea, ele nu sunt adesea invariante în cadrul transformărilor locale. În special, câmpurile scalare și spinoare descrise mai sus nu sunt invariante în cadrul transformărilor locale de gabarit. Motivul pentru aceasta este neinvarianța sub o astfel de transformare a derivatei obișnuite. Dacă introducem un câmp suplimentar și înlocuim derivata din Lagrangian cu așa-numita derivată gauge-covariantă
atunci Lagrangianul rezultat va fi invariant sub transformări locale de gauge [119] . Cu toate acestea, Lagrangianul obținut în acest fel va conține în esență interacțiunea a două câmpuri - originalul și ecartamentul . Ca regulă generală, în acest caz este necesar să se introducă în lagrangianul general un termen responsabil pentru lagrangianul câmpului liber. Acest Lagrangian trebuie, de asemenea, să fie invariant de gabarit și este ales ca Lagrangian al unui câmp vectorial liber fără masă . Ca rezultat, de exemplu, pentru câmpul spinor obținem Lagrangianul electrodinamicii cuantice (QED) [120] :
adică acest Lagrangian include Lagrangianul câmpului spinor liber Dirac, câmpul gauge (electromagnetic) și Lagrangianul interacțiunii acestor câmpuri. Dacă următoarea transformare a câmpului este efectuată la fiecare punct spațiu-timp x (transformare locală), atunci Lagrangianul QED rămâne neschimbat sau invariant:
unde α ( x ) este orice funcție a coordonatelor spațiu-timp. Dacă Lagrangianul unei teorii (sau, mai precis, acțiunea ) este invariant sub o transformare locală, atunci această transformare se numește simetria gauge a teoriei [121] . Simetriile gauge formează un grup în fiecare punct din spațiu-timp. În cazul QED, aplicarea succesivă a două transformări diferite de simetrie locală este o altă transformare de simetrie . Pentru orice α ( x ) , este un element al grupului U(1) , deci QED se spune că are simetrie gauge U(1) [122] . Câmpurile de fotoni A μ pot fi denumite bosonul U(1) - gauge .
În mod similar, se poate scrie Lagrangianul invariant de gauge al unui câmp scalar complex, Lagrangianul unui QED scalar [123]
Astfel, cerința invarianței locale de gabarit a Lagrangianului în raport cu transformarea de fază (grup ) duce la apariția unui câmp gauge, în acest caz, un câmp electromagnetic, cu care interacționează câmpul „principal”.
U(1) este un grup abelian . QFT poate fi construit pentru grupuri non-Abeliene , care sunt numite teorii non-Abeliene gauge [124] . Cromodinamica cuantică este o teorie gauge non-abeliană cu grupa de simetrie SU(3) . Descrie câmpurile Dirac ψ i , i = 1,2,3 , care reprezintă câmpuri de quarci și câmpuri vectoriale A a,μ , a = 1,...,8 , câmpuri de gluoni , care sunt bosoni de gauge SU(3) [125 ] . Lagrangianul QCD are forma [126] [127] :
unde D μ este derivata covariantă gauge :
unde g este constanta de cuplare, t a sunt cei opt generatori ai grupului SU(3) în reprezentarea fundamentală ( matrice 3×3 ),
f abc sunt constante de structură SU(3) . Peste indicii repetați i , j , are loc o însumare implicită conform notației lui Einstein. Acest Lagrangian este invariant sub transformarea:
unde U ( x ) este un element al SU(3) în fiecare punct spațiu-timp x :
Această abordare poate fi generalizată în cazul altor grupuri de simetrie locală [120] . În cazul general, acest lucru duce la apariția așa-numitelor câmpuri de măsurare Yang-Mills . Derivata covariantă în acest caz are forma [127] :
unde sunt generatoarele de transformare ale grupului corespunzător (în cazul lui U(1) a existat un generator egal cu unul).
Discuția anterioară despre simetrii are loc în limbajul lagrangianului. Cu alte cuvinte, acestea sunt simetrii „clasice”. Odată cuantizate, unele teorii nu își vor mai prezenta simetria clasică, fenomen numit anomalie De exemplu, în formularea integralei de cale, în ciuda invarianței densității Lagrangianului , în cazul unei transformări locale a câmpurilor, măsura integralei de cale se poate modifica [128] . Pentru ca o teorie care descrie natura să fie consecventă, ea nu trebuie să conțină anomalii în simetria gabaritului. Modelul standard al particulelor elementare este o teorie gauge bazată pe grupul SU(3) × SU(2) × U(1) în care toate anomaliile se anulează exact [129] .
Fundamentul teoretic al relativității generale , principiul echivalenței , poate fi înțeles și ca o formă de simetrie gauge, transformând relativitatea generală într-o teorie gauge bazată pe grupul Lorentz [130] .
Teorema lui Noether afirmă că fiecare simetrie continuă, adică un parametru într-o transformare de simetrie care este mai degrabă continuă decât discretă, conduce la o lege de conservare corespunzătoare [131] [132] }. De exemplu, simetria U(1) QED înseamnă conservarea sarcinii [133] .
Transformările gauge nu leagă stările cuantice individuale. Mai degrabă, ele leagă două descrieri matematice echivalente ale aceleiași stări cuantice. De exemplu, câmpul unui foton A μ , fiind cu patru vectori , are patru grade aparente de libertate, dar starea reală a unui foton este descrisă de cele două grade de libertate ale sale, corespunzătoare polarizării . Cele două grade de libertate rămase sunt numite „redundante”, iar moduri diferite de a scrie A μ pot fi legate între ele printr-o transformare gauge și, de fapt, ele descriu aceeași stare a câmpului fotonic. În acest sens, invarianța gauge nu este o simetrie „reală”, ci o reflectare a „redundanței” descrierii matematice alese [134] .
Pentru a ține cont de redundanța ecartamentului în formularea integralei traseului, este necesar să se efectueze așa-numita procedură de fixare a ecartamentului Faddeev-Popov . În teoriile gauge non-abeliene, o astfel de procedură duce la apariția unor noi câmpuri numite „fantome”. Particulele corespunzătoare câmpurilor spiritelor se numesc particule de spirit, care nu pot fi detectate din exterior [135] . O generalizare mai riguroasă a procedurii Faddeev-Popov este dată de procedura de cuantizare BRST [136] .
Ruperea spontană a simetriei este un mecanism în care simetria lagrangianului sistemului pe care îl descrie este ruptă [137] .
Pentru a ilustra mecanismul, luăm în considerare un model sigma liniar care conține N câmpuri scalare reale (indicele i corespunde numărului câmpului ) descris de densitatea lagrangiană a formei [138] :
unde μ și λ sunt parametri reali. Teoria admite o simetrie globală O( N ) [138] :
Starea cu cea mai mică energie (starea fundamentală sau starea de vid) a teoriei clasice este reprezentată de orice câmp omogen ϕ 0 care satisface condiția
Fără pierderea generalității, să fie starea fundamentală în direcția a N -a [138] :
N câmpurile originale pot fi rescrise ca:
iar densitatea originală a Lagrangianului este scrisă ca
unde k = 1,..., N -1 k = 1,..., N -1 k = 1,..., N -1 . Originalul O( N ) nu mai apare și rămâne doar subgrupul O( N -1) . Simetria mare înainte de ruperea spontană a simetriei se numește „ascunsă” sau spartă spontan [139] .
Teorema Goldstone afirmă că, în ruperea spontană a simetriei, fiecare simetrie globală continuă întreruptă are ca rezultat un câmp fără masă numit bosonul Goldstone. În exemplul de mai sus, O( N ) are N ( N -1)/2 simetrii continue (egale cu dimensiunea algebrei sale Lie ), iar O( N -1) are ( N -1)( N -2)/ 2 . Numărul de simetrii rupte este diferența N -1 a acestor valori , care corespunde și la N -1 câmpuri fără masă π k [139] .
Pe de altă parte, atunci când simetria gauge (spre deosebire de cea globală) este spartă spontan, bosonul Goldstone rezultat este „mâncat” de bosonul gauge corespunzător, devenind un grad suplimentar de libertate pentru bosonul gauge [140] . Teorema de echivalență a bosonului Goldstone afirmă că la energie mare, amplitudinea de emisie sau absorbție a unui boson gauge masiv polarizat longitudinal devine egală cu amplitudinea de emisie sau absorbție a bosonului Goldstone care a fost consumat de bosonul gauge [141] .
În QFT al feromagnetismului , ruperea spontană a simetriei poate explica alinierea dipolilor magnetici la temperaturi scăzute [142] [143] . În modelul standard al particulelor elementare, bosonii W și Z , care altfel ar fi fără masă ca urmare a simetriei gauge, câștigă masă prin ruperea spontană a simetriei din cauza bosonului Higgs . Acest proces se numește mecanism Higgs [144] .
Pentru a rezolva ecuațiile de mișcare, se poate trece la așa-numita reprezentare a impulsului folosind transformata Fourier [145] :
ținând cont de proprietățile imaginii Fourier , în special, imaginea Fourier a derivatelor este egală cu .
Găsirea unei soluții la ecuațiile de mișcare poate fi arătată prin exemplul ecuației Klein-Gordon [145] .
Rezolvarea ecuației și reprezentării impulsului câmpului Klein-GordonTrecând la reprezentarea momentului, ecuația Klein-Gordon pentru transformata Fourier a funcției de câmp va avea forma [145] :
Prin urmare, (un multiplicator pentru comoditate), unde este o funcție arbitrară definită pe suprafața masei sau, evidențiind componenta de timp (partea spațială a vectorului cu 4 momente este evidențiată cu caractere aldine, adică impulsul obișnuit). Atunci reprezentarea impulsului are forma [146] :
Prezența funcției delta sub semnul integral înseamnă că, în esență, integrarea se efectuează nu pe întreg spațiul de impuls 4-dimensional, ci numai pe două câmpuri ale hiperboloidului tridimensional definit de ecuația învelișului de masă. Cele două semne din fața rădăcinii pătrate determină două soluții independente, cu ajutorul cărora funcția de câmp este împărțită în două componente (fiecare separat este relativ invariantă) [146]
Atunci reprezentarea momentului a două soluții independente are forma [146]
Integrând pe componenta timp , se obține [147]
, UndeFolosind reprezentarea impulsului funcțiilor câmpului, se pot obține și caracteristicile rămase ale câmpului în reprezentarea impulsului. Să arătăm acest lucru prin exemplul unui 4-impuls pentru același câmp scalar Klein-Gordon real [147] .
Derivarea reprezentării impulsului pentru câmpul Klein-Gordon cu 4 momentePentru a obține o reprezentare de impuls a caracteristicilor câmpului, trebuie să exprimați aceste caracteristici de câmp în termeni de funcții și apoi să folosiți reprezentările de impuls ale acestor din urmă funcții. De exemplu, câmpul Hamiltonian este [147]
Dacă înlocuim aici descompunerea funcției de câmp în doi termeni, atunci obținem între paranteze drepte diferiți produși perechi ai funcțiilor de câmp de frecvență pozitiv și negativ și derivatele lor. Cu toate acestea, se poate demonstra că produsele cu același semn contribuie efectiv cu zero. Pentru a face acest lucru, trebuie să utilizați reprezentarea momentului și faptul că produsul a două integrale este o integrală dublă peste toate combinațiile posibile de argumente [148] :
Se știe că ultima integrală din această expresie este egală cu funcția delta , prin urmare, întreaga expresie poate fi diferită de zero numai dacă această funcție delta nu este egală cu zero, ceea ce este posibil numai cu condiția (de unde urmează și ). Dar în acest caz, expresia dintre paranteze este , care este zero. Prin urmare, întreaga expresie originală este, de asemenea, egală cu zero. Astfel, integrala originală pentru Hamiltonian trebuie exprimată numai în termeni de produse ale funcțiilor cu semne diferite. Aplicând o abordare similară, obținem că [148]
Într-un astfel de caz, ultima integrală oferă o funcție delta , prin urmare, trebuie să existe o egalitate pentru a oferi o contribuție diferită de zero la integrală. Apoi . De aici ajungem în sfârșit
Similar cu Hamiltonianul, se poate obține o expresie similară pentru alte componente ale vectorului cu 4 momente. Ca rezultat, obținem expresia generală pentru 4-momentum:
Prima expresie se dovedeste a fi necesara in cuantizare, cand ordinea inmultirii joaca un rol datorita necomutativitatii operatorilor in cazul general.
Caracteristică | Câmp scalar[149] | câmp vectorial[150] | câmp spinor[151] |
---|---|---|---|
Reprezentarea impulsului unei funcții de câmp: în expresie responsabil pentru particulă, pentru antiparticulă. | pentru un domeniu real | ||
Densitatea particulelor cu impuls Numărul total de particule Câmp de 4 momente |
|||
Încărca | căci un câmp real este egal cu zero | ||
Proiecția rotației pe direcția impulsului | 0 | indicii 1 și 2 corespund particulelor cu proiecție de spin, iar al treilea indice corespunde particulelor cu proiecție de spin zero |
Cuantizarea înseamnă trecerea de la câmpuri (funcții de câmp) la operatorii corespunzători (funcții cu valori operator) care acționează asupra vectorului de stare (amplitudine) Φ . Prin analogie cu mecanica cuantică obișnuită, vectorul de stare caracterizează complet starea fizică a unui sistem de câmpuri de undă cuantificate [152] [153] . Vectorul de stare este un vector într-un spațiu liniar, care se numește spațiu Fock [154] .
Principalul postulat al cuantizării câmpului de undă este că operatorii variabilelor dinamice sunt exprimați în termeni de operatori de câmp în același mod ca și exprimarea clasică a acestor mărimi în termeni de funcții de câmp (ținând cont de ordinea înmulțirii, deoarece înmulțirea operatori este în general necomutativ, spre deosebire de produsul funcțiilor obișnuite). Paranteza Poisson (vezi formalismul hamiltonian) este înlocuită cu comutatorul operatorilor corespunzători [155] . În special, formalismul hamiltonian clasic este transformat în formalismul cuantic după cum urmează:
,Acestea sunt așa-numitele relații de comutație Bose-Einstein bazate pe comutatorul obișnuit - diferența dintre produsele „directe” și „inverse” ale operatorilor [156]
Relațiile de comutație Fermi-Dirac se bazează pe anticomutatorul - suma produselor „directe” și „inverse” ale operatorilor [156] :
Cuantele primelor câmpuri se supun statisticii Bose-Einstein și se numesc bosoni , iar cuantele din al doilea câmp se supun statisticii Fermi-Dirac și se numesc fermioni . Cuantizarea câmpurilor Bose-Einstein se dovedește a fi consecventă pentru particulele cu spin întreg, în timp ce pentru particulele cu spin semiîntreg, cuantizarea Fermi-Dirac se dovedește a fi consecventă. Astfel, fermionii sunt particule cu spin semiîntreg, în timp ce bosonii sunt particule cu număr întreg [156] .
Din relațiile de comutație pentru funcția de câmp (coordonată generalizată) și impulsul generalizat corespunzător, se pot obține relațiile de comutație pentru operatorii de creare și anihilare a fotonilor [157]
Câmpul poate fi reprezentat ca un set infinit de oscilatoare armonice de câmp. Acest lucru poate fi demonstrat prin exemplul câmpului Klein-Gordon. Transformarea Fourier tridimensională (în trei coordonate spațiale) a funcției de câmp satisface următoarea ecuație (transformata Fourier a ecuației Klein-Gordon)
care este ecuația diferențială pentru un oscilator armonic cu frecvența fiecărui mod fix al expansiunii Fourier. Pentru fiecare astfel de oscilator armonic cuantic , așa cum este cunoscut din mecanica cuantică, stările staționare pot fi legate între ele prin operatori crescători și descrescători, după cum urmează [158]
,iar Hamiltonianul este , unde . În consecință, energia oscilatorului este cuantificată , unde sunt numerele cuantice-valori proprii ale operatorului [159] .
Astfel, utilizarea unui operator crescător sau descrescător modifică numărul cuantic cu unu și duce la aceeași modificare a energiei oscilatorului ( echidistanța spectrului ), care poate fi interpretată ca nașterea unui nou cuantic sau distrugerea unui cuantum de câmp cu energie . Tocmai această interpretare permite operatorilor de mai sus să fie utilizați ca operatori de naștere și anihilare . Orice stare cu un indice poate fi reprezentată ca acțiunea operatorilor de naștere asupra stării „zero” [159] :
În cazul oscilatorilor, Hamiltonianul sistemului este egal cu suma Hamiltonienilor oscilatorilor individuali. Pentru fiecare astfel de oscilator, se pot defini propriii operatori de creare . Prin urmare, o stare cuantică arbitrară a unui astfel de sistem poate fi descrisă folosind numere de ocupație, adică numărul de operatori de un anumit tip k care acționează asupra vidului:
O astfel de reprezentare se numește reprezentare a numărului de umplere . Esența acestei reprezentări este aceea că, în loc să precizeze vectorul de stare în funcție de coordonate (reprezentare coordonată) sau în funcție de impulsuri (reprezentare impuls), starea sistemului este caracterizată de numărul stării excitate - ocupația numărul [160] .
În teoria câmpului cuantic, Hamiltonianul, exprimat inițial în funcție de și , este în cele din urmă exprimat și în termenii operatorilor corespunzători de creare și anihilare a cuantelor de câmp. Principiul principal este păstrat - orice operatori (inclusiv hamiltonianul) sunt exprimați prin acești operatori de creare și anihilare, precum și prin funcțiile corespunzătoare înainte de cuantizare. Singura diferență este că ordinea în care sunt scrierea operatorilor contează, deoarece operatorii, spre deosebire de funcțiile obișnuite, sunt în general necomutativi.
Toți operatorii de creație și anihilare și combinațiile lor, operatorii câmpurilor înșiși și derivatele lor - toți operează în spațiul Fock cu dimensiuni infinite . În spațiul Fock, în primul rând, vidul (starea de vid) sau este determinat , prin analogie cu starea zero a unui oscilator cuantic. Vidul este definit ca [161]
Stările arbitrare sunt date ca excitații în vid de următoarea formă [154] :
Aceasta este reprezentarea Fock pentru starea k-particulei. Funcțiile f sunt funcțiile de undă uzuale mecanice cuantice. De obicei, se presupune că sunt integrabili în pătrat, astfel încât normele vectorilor de stare sunt finite. Totuși, au sens și stările cu normă infinită. De exemplu, starea are o normă infinită , dar această stare corespunde unei stări cu o singură particule cu un anumit impuls, iar dacă luăm în considerare densitatea spațială a unor astfel de particule, atunci se dovedește a fi finită [154] .
Din definiția vidului rezultă că media în vid a produsului oricărui număr de operatori de naștere și anihilare, în care toți operatorii de naștere sunt la stânga tuturor operatorilor de anihilare, este egală cu zero . Ordinea corespunzătoare în care se scriu operatorii de creare și distrugere se numește formă normală sau ordonare normală [162] . Pentru a sublinia că operatorii sunt ordonați în mod normal, produsele corespunzătoare sunt cuprinse între paranteze de două puncte, de exemplu, sau puteți indica sub semnul unui operator condiționat [163] .
Forma normală este legată de forma normală prin comutatorul operatorilor și anume, forma „obișnuită” este egală cu forma normală plus (anti)comutatorul operatorilor corespunzători (ordonați „incorect”). De exemplu,
În această notație, un singur termen nu este scris în formă normală; prin urmare, putem scrie
Astfel, așteptarea în vid a produsului original al operatorilor va fi determinată în esență doar de ultimul comutator [163] .
O lucrare cronologică este definită ca o lucrare ordonată după variabila timp (componenta zero a celor 4 coordonate):
, Undeunde este numărul de permutări ale câmpurilor fermionice între ele în cursul ordinării T (permutarea câmpurilor bosonice nu afectează semnul) [164] .
Luați în considerare cel mai simplu caz al produsului unei perechi de funcții de câmp în diferite puncte spațiu-timp . După cum sa menționat mai sus, acest produs al operatorilor poate fi exprimat în termeni de formă normală plus un comutator. Sub semnul ordonării cronologice, aici trebuie să faceți o modificare - în loc de comutator, trebuie să utilizați așa-numita convoluție egală cu comutatorul dacă și comutatorul dacă . Astfel, produsul cronologic al două funcții de câmp este egal cu produsul lor în formă normală plus convoluția [163] :
Teorema lui Wick generalizează această reprezentare în cazul unui număr arbitrar de factori:
unde suma este preluată peste toate convoluțiile posibile în perechi ale funcțiilor ( sunt numere pare de la 0 la ) [165] .
Să definim o expresie explicită pentru așteptarea în vid a produsului operatorilor de câmp ai câmpului scalar Klein–Gordon, ținând cont de cele de mai sus [166]
Să notăm această funcție ca . Aceasta este amplitudinea propagării particulelor de la un punct la altul . Se poate arăta că această funcție este invariantă Lorentz. Comutatorul funcției de câmp este exprimat în termenii acestei funcție, după cum urmează:
Pentru orice interval asemănător spațiului , se poate alege un cadru de referință astfel încât să își schimbe semnul, iar din cauza invarianței Lorentz, aceasta înseamnă că comutatorul corespunzător este egal cu zero. Aceasta înseamnă că măsurătorile sunt posibile în puncte separate de un interval asemănător spațiului și nu se afectează reciproc. Adică, nicio dimensiune nu poate afecta o altă dimensiune în afara conului de lumină. Aceasta înseamnă respectarea principiului cauzalității în teoria câmpului cuantic. Pentru câmpurile complexe, principiul cauzalității necesită prezența unei perechi particule-antiparticule cu mase identice și „sarcini” opuse [167] .
Comutatoarele operator de câmp cu operatori de naștere și deces sunt mai ușor de dedus. Prezentăm aceste relații de comutație fără derivație.
Pentru un câmp scalar
Pentru câmpul spinor
Pentru câmp electromagnetic
Se consideră media în vid a produsului cronologic a doi operatori de câmp ai unui câmp scalar [168] :
Funcția este uniformă. Se poate verifica direct că această funcție este funcția lui Green pentru operatorul Klein-Gordon, adică [168]
Prin urmare, transformata Fourier 4-dimensională a acestei funcții trebuie să fie proporțională cu . Cu toate acestea, din cauza incertitudinii în punctele de pe învelișul masei, reprezentarea momentului acestei funcții se scrie după cum urmează [168] :
unde este o valoare infinitezimală care definește ocolirile polilor la integrarea peste .
Propagatoare de câmp de bază (numai convoluțiile câmpurilor identice de sarcini opuse sunt diferite de zero) [169] :
Camp | Valoare | Formulă |
---|---|---|
Câmp scalar real sau complex [170] | ||
Câmp de spinare [171] | ||
Câmp vectorial masiv | ||
Câmp vectorial (electromagnetic) fără masă real [171] |
Să fie dată starea inițială a câmpurilor în trecutul „depărtat” și starea finală în viitorul „depărtat” . Se presupune că nu există nicio interacțiune în trecutul și viitorul „depărtat”, dar „se activează” într-o regiune spațială-timp finită. Operatorul care duce starea inițială la cea finală se numește operator de împrăștiere [172] [173] :
În consecință, amplitudinea tranziției de la starea inițială la starea finală este [174] :
Operatorul de împrăștiere poate fi exprimat în termeni de elemente de matrice într-o anumită bază. Matricea infinit-dimensională corespunzătoare se numește matrice de împrăștiere sau -matrice. Pătratele modulelor elementelor matricei determină probabilitățile de tranziție între vectorii de bază ai stărilor inițiale și finale [173] .
Pe baza cerințelor generale de covarianță relativistă, cauzalitate, unitaritate, precum și principiul corespondenței, se poate arăta că matricea (operatorul) este exprimată în termenii interacțiunii lagrangiane după cum urmează (această formulă se obține uneori și folosind perturbație). teorie) [175] :
- exponent cronologic, -exponent, înțeles ca o descompunere în seria infinită de mai sus în -opere (lucrări cronologice) .
Fie starea inițială să aibă forma și starea finală . Atunci contribuția ordinului --lea al teoriei perturbației va fi egală cu valoarea așteptării de vid a următoarei forme (constanta de cuplare este derivată din interacțiunea Lagrangiană) [175] :
Ținând cont de teorema Wick, valorile așteptărilor de vid de acest fel vor fi descompuse în termeni în care toate convoluțiile din acești termeni vor fi luate ca semn de așteptare a vidului, iar restul operatorilor de câmp în formă normală vor participa doar la (anti )comutatoare cu operatori de stare inițială și finală, generând contribuții standard de la astfel de comutatoare. O contribuție diferită de zero poate fi făcută numai de acei termeni în care numărul și tipul câmpurilor sub semnul produsului normal vor corespunde tipului și numărului total de particule în starea inițială și finală. Aceste contribuții nenule sunt scoase și din semnul valorii așteptării de vid (pentru că nici ei nu sunt operatori), iar acești termeni conțin factori cu plăci de vid fără operatori , ceea ce este egal cu unitatea prin definiție. În expresiile finite, așadar, nu au mai rămas operatori și plăci de vid, rămân doar convoluții și expresii pentru comutatoarele operatorilor de câmp cu operatori ai stărilor inițiale și finale. Convoluțiile sunt înlocuite de reprezentările lor de impuls - propagatoare, iar integrarea pe coordonatele spațiu-timp elimină toate exponențialele, înlocuindu-le cu funcții delta de sume de 4 momente. Integralele de impuls distrug, de asemenea, majoritatea acestor funcții delta. Care expresii finale sunt obținute pot fi formalizate folosind regulile și diagramele Feynman corespunzătoare.
Formularea QFT în termeni de integrale de cale este legată de calculul direct al amplitudinii de împrăștiere a unui anumit proces de interacțiune, și nu de definirea operatorilor și a spațiilor de stare. Pentru a calcula amplitudinea probabilității pentru evoluția unui sistem de la o stare inițială la momentul t = 0 la o stare finală la t = T , timpul total T este împărțit în N intervale mici. Amplitudinea totală este produsul amplitudinii de evoluție în fiecare interval de timp, integrat pe toate stările intermediare. Fie H Hamiltonianul (adică generatorul evoluției în timp), atunci [176]
Trecând la limita N → ∞ , produsul indicat al integralelor devine integrală funcțională [177] :
unde L este un Lagrangian care conține ϕ și derivatele sale în raport cu coordonatele spațiale și temporale obținute din Hamiltonianul H folosind transformarea Legendre . Condițiile inițiale și finale pentru integrala de cale sunt, respectiv, [178]
Cu alte cuvinte, amplitudinea totală este suma peste amplitudinea tuturor traiectoriilor posibile dintre stările inițiale și cele finale, unde amplitudinea drumului este dată de exponentul din integrand [178] .
În calcule, expresii ca
într-o teorie liberă sau, respectiv, într-o teorie cu interacțiune. Aici, și sunt coordonate 4-vectori, este operatorul de ordonare temporală , care rearanjează operatorii în așa fel încât timpul componentelor și crește de la componentele din dreapta la stânga și este starea fundamentală ( starea de vid ) a teoriei care interacționează. , diferit de starea fundamentală liberă . Această expresie este amplitudinea probabilității propagării câmpului de la y la x și are mai multe nume, cum ar fi propagator în două puncte, funcție de corelare în două puncte , funcția lui Green în două puncte sau, pe scurt , funcția în două puncte [179] .
Funcția liberă în două puncte, cunoscută și sub numele de propagator Feynman , se găsește pentru un câmp scalar real fie prin cuantizare canonică, fie prin integrale de cale [180] [181] :
Într-o teorie cu interacțiune, în care Lagrangianul sau Hamiltonianul conține termeni sau descrie interacțiuni, este mai dificil să se definească o funcție în două puncte. Cu toate acestea, folosind formularea cuantizării canonice sau formularea integrală a căii, aceasta poate fi exprimată în termenii unei serii infinite de perturbații ale unei funcții „libere” în două puncte.
În ceea ce privește cuantizarea canonică, funcția de corelație în două puncte este scrisă ca [182] :
unde ε este infinitezimal și ϕ I este un operator de câmp în cadrul unei teorii libere. Aici exponentul trebuie înțeles ca seria sa de putere . De exemplu, în teoria ϕ 4 , termenul de interacțiune al hamiltonianului este [183] și extinderea corelatorului în două puncte în devine [184]
Această expansiune a perturbației exprimă funcția în două puncte care interacționează în termeni de mărimi , care sunt estimate într-o teorie „liberă”.
În formularea integralei de cale, funcția de corelație în două puncte este scrisă ca [185]
unde este densitatea lagrangiană. Ca și în paragraful anterior, exponențialul poate fi extins într-o serie în λ , reducând funcția în două puncte care interacționează la cantități din teoria liberă.
Teorema lui Wick reduce suplimentar orice funcție de corelație în n puncte într-o teorie liberă la suma produselor funcțiilor de corelație în două puncte. De exemplu,
Întrucât funcțiile de corelație care interacționează pot fi exprimate în termeni de funcții de corelație libere, pentru a calcula toate mărimile fizice într-o teorie de interacțiune (perturbativă) este necesar să se evalueze numai pe cea din urmă [186] [187] . Acest lucru face din propagatorul Feynman una dintre cele mai importante cantități din teoria câmpului cuantic.
Funcțiile de corelație din teoria interacțiunilor pot fi scrise ca o serie de perturbații. Fiecare termen din această serie este produsul propagatorilor Feynman pentru particule libere și poate fi reprezentat vizual printr -o diagramă Feynman . ϕ 4 -teoria este cea mai simplă teorie a interacțiunii și este adesea considerată în scopuri pedagogice. O astfel de neliniaritate poate apărea în fizica statistică și în teoria electroslabă standard. Lagrangianul acestei teorii este scris ca [188]
unde λ este o constantă de cuplare adimensională , care este un parametru mic pe care se construiește seria teoriei perturbațiilor [179] . De exemplu, λ 1 în funcția de corelație în două puncte (funcția lui Green ) în teoria ϕ 4
După aplicarea teoremei Wick, apar termeni de forma [189] :
unde este propagatorul Feynman. În schimb, același termen este obținut din diagrama Feynman
Diagrama constă din [190]
Fiecare vârf corespunde unui factor de câmp în punctul spațiu-timp corespunzător, iar muchiile corespund propagatorilor dintre punctele spațiu-timp. Termenul din seria de perturbații corespunzător diagramei se obține prin scrierea unei expresii care decurge din regulile lui Feynman [190] :
Cu un factor de simetrie de , respectarea acestor reguli dă exact expresia de mai sus. Prin transformata Fourier a propagatorului, regulile lui Feynman pot fi reformulate din spațiul de coordonate în spațiul de impuls [190] .
Pentru a calcula o funcție de corelare în n puncte până la ordinul k , enumerați toate diagramele Feynman valide cu n puncte exterioare și k sau mai puține vârfuri, apoi utilizați regulile lui Feynman pentru a obține o expresie pentru fiecare termen. Mai precis [191] ,
este egală cu suma (a expresiilor corespunzătoare) a tuturor diagramelor conectate cu n puncte externe. (Diagramele conectate sunt acelea în care fiecare vârf este conectat la un punct exterior prin linii. Componentele care sunt complet deconectate de liniile externe sunt uneori numite „bule de vid”.) În ϕ 4 , fiecare vârf trebuie să aibă patru picioare [192] .
În aplicații reale, amplitudinea de împrăștiere a unei anumite interacțiuni sau rata de dezintegrare a particulelor poate fi calculată din matricea S , care se găsește folosind metoda diagramei Feynman [193] .
Diagramele Feynman lipsite de „bucle” sunt numite diagrame arborescente , care descriu procese de interacțiune de ordin inferior; diagramele care conțin n bucle sunt numite diagrame n -bucle, care descriu contribuții de ordin superior sau corecții radiative la interacțiune [194] . Liniile ale căror capete sunt vârfuri pot fi considerate ca propagare a particulelor virtuale [189] .
Regulile lui Feynman pot fi folosite pentru a evalua direct diagramele arborescente. Cu toate acestea, calculul naiv al diagramelor bucle precum cea prezentată mai sus va duce la integrale de moment divergente, adică aproape toți termenii din expansiunea perturbativă sunt infiniti. Procedura de renormalizare este un proces sistematic de eliminare a unor astfel de infinitate [195] .
Parametrii [K 3] incluși în Lagrangian, cum ar fi masa m și constanta de cuplare λ , nu au nicio semnificație fizică - m , λ și intensitatea câmpului ϕ nu sunt cantități măsurate experimental și sunt denumiți aici ca masă goală, goală. constanta de cuplare și câmpul gol. Masa fizică și constanta de cuplare sunt măsurate într-un proces de interacțiune și de obicei diferă de cantitățile goale [196] . Atunci când se calculează mărimile fizice în acest proces, interacțiunile limitează regiunea de integrare a integralelor divergente peste momente la o valoare sub o anumită valoare de prag a impulsului Λ pentru a obține expresii pentru mărimile fizice și apoi se trece la limita Λ → ∞ . Acesta este un exemplu de regularizare , o clasă de metode pentru eliminarea singularităților în QFT, unde Λ este parametrul de regularizare [197] .
Abordarea ilustrată mai sus se numește teoria perturbației goale, deoarece în calcule sunt utilizate numai cantități goale, cum ar fi masa și constanta de cuplare. O altă abordare, numită teoria perturbației renormalizate, este utilizarea de la început a cantităților semnificative din punct de vedere fizic. În cazul teoriei ϕ 4 , intensitatea câmpului este mai întâi redefinită [197] :
unde ϕ este un câmp gol, ϕ r este un câmp renormalizat și Z este o constantă care trebuie determinată. Densitatea lagrangianului are forma [198] :
unde m r și λ r sunt masa renormalizată măsurată experimental și, respectiv, constanta de cuplare și
sunt constante de determinat. Primii trei termeni sunt ϕ 4 scrisi în termeni de mărimi renormalizate, în timp ce ultimii trei termeni sunt numiți „contratermeni”. Deoarece Lagrangianul conține acum mai mulți termeni, diagramele Feynman trebuie să includă elemente suplimentare, fiecare cu propriile reguli Feynman. Procedura este descrisă după cum urmează. În primul rând, se alege o metodă de regularizare (de exemplu, regularizarea limitelor sau regularizarea dimensională introdusă mai sus). Se calculează diagrame Feynman în care termenii divergenți vor depinde de parametrul de regularizare Λ . Atunci se determină δ Z , δ m şi δ λ astfel încât diagramele Feynman pentru contratermenii să anuleze exact termenii divergenţi din diagramele Feynman normale când se ia limita Λ → ∞ . În acest fel, se obțin valorile finale [199] .
Eliminarea tuturor infinitatelor pentru a obține rezultatul final este posibilă numai în teoriile renormalizabile, în timp ce în teoriile nerenormalizabile, infiniturile nu pot fi eliminate prin redefinirea unui număr mic de parametri. Modelul standard al particulelor elementare este QFT renormalizabil [200] , în timp ce gravitația cuantică nu este renormalizabilă [201] .
În electrodinamica cuantică, la calcularea corecțiilor la interacțiunea Coulomb, luând în considerare diagramele arborescente (fără bucle) și diagramele cu o singură buclă [202] , un potențial Coulomb modificat de forma
unde este sarcina goală, este distanța până la sarcină, este masa electronului, este parametrul responsabil pentru cutoff-ul ultraviolet, care limitează impulsul particulei la calcularea amplitudinii de împrăștiere. În ciuda faptului că matematic această expresie diverge, dar pentru ca această corecție să fie egală ca mărime cu termenul principal, este nevoie de o masă de ~ 10 250 g, care depășește masa Universului ca mărime [203] . O sarcină goală nu este observabilă de la sine, deoarece este înconjurată de particule virtuale încărcate și ele ecranează această sarcină [204] . În realitate, la distanțe mari, se observă o altă sarcină fizică , care poate fi calculată mai precis, ținând cont de diagramele multiloop [205]
Această expresie se dovedește a fi finită pentru orice valoare Dacă este rescrisă ca
atunci se poate observa că la o anumită valoare ( polul Landau ) sarcina goală devine infinită [203] .
Grup de renormalizareGrupul de renormalizare, dezvoltat de Kenneth Wilson , este un instrument matematic folosit pentru a studia modificările parametrilor fizici (coeficienți în Lagrangian) atunci când un sistem este considerat la diferite scări [206] . Modul în care fiecare parametru variază în funcție de scară este descris de funcția sa β [207] . Funcțiile de corelație care stau la baza predicțiilor cantitative variază în funcție de scară în funcție de ecuația grupului de renormalizare [208] .
De exemplu, constanta de cuplare din QED, și anume sarcina elementară e , are următoarea funcție β :
unde Λ este scara de energie la care se măsoară e . Această ecuație diferențială înseamnă că sarcina elementară observată crește cu scara [209] . Constanta de cuplare renormalizată, care variază în funcție de scala de energie, se mai numește și constantă de cuplare de funcționare [210] .
Constanta de cuplare g în cromodinamica cuantică , o teorie gauge non-Abeliană bazată pe grupul de simetrie SU(3) , are următoarea funcție β :
unde N f este numărul de arome de quarci . În cazul în care N f ≤ 16 (pentru modelul standard N f = 6 ), constanta de cuplare g scade odată cu creșterea scalei de energie. Prin urmare, în timp ce forța puternică este puternică la energii joase, ea devine foarte slabă la energii mari, fenomen cunoscut sub numele de libertate asimptotică [211] .
Teorii conform câmpului (CFT) sunt QFT-uri speciale care permit simetria conformă . Ele sunt insensibile la schimbările de scară, deoarece toate constantele lor de cuplare au o funcție β extrem de mică . Cu toate acestea, invers nu este adevărat – dispariția tuturor funcțiilor β nu implică simetria conformă a teoriei [212] . Exemplele includ teoria corzilor [77] și N =4 teoria Yang-Mills supersimetrică [213] .
Conform viziunii lui Wilson, fiecare QFT este limitat în mod fundamental în energia Λ , adică teoria nu mai este valabilă la energii mai mari decât Λ , iar toate gradele de libertate peste scara Λ nu ar trebui luate în considerare. De exemplu, granița poate fi reciproca distanței atomice într-un mediu condensat, iar în fizica particulelor poate fi asociată cu „granularea” fundamentală a spațiului-timp cauzată de fluctuațiile cuantice ale gravitației. Amploarea graniței în teoriile interacțiunii particulelor se află cu mult dincolo de experimentele actuale. Chiar dacă teoria ar fi foarte complexă la această scară, atâta timp cât cuplările sale sunt suficient de slabe, ea trebuie descrisă la energii scăzute printr-o teorie a câmpului efectiv renormalizabil [214] . Diferența dintre teoriile renormalizabile și cele nerenormalizabile este că primele sunt insensibile la detaliile interacțiunilor la energii mari, în timp ce cele din urmă sunt independente de ele [53] . Conform acestui punct de vedere, teoriile nerenormalizabile ar trebui considerate teorii eficiente cu energie scăzută ale unor teorii mai fundamentale. Eșecul de a evita limitarea lui Λ din calcule într-o astfel de teorie indică pur și simplu că apar fenomene fizice noi la scări mai mari decât Λ , unde este nevoie de o nouă teorie [215] .
Din cauza problemelor cu divergențele, a apărut necesitatea creării unui QFT riguros din punct de vedere matematic [216] . Această abordare se numește teoria cuantică axiomatică a câmpurilor, atunci când se bazează pe un set de axiome care generalizează un set de fapte experimentale, iar întreaga teorie ulterioară este construită într-un mod strict matematic. Printre axiome ar trebui să fie axioma invarianței relativiste, axioma localității sau cauzalității, axioma spectralitatei (asupra energiei pozitive a tuturor particulelor). Diferite abordări axiomatice diferă în alegerea mărimilor fizice inițiale. Abordarea propusă în 1955 de N. N. Bogolyubov a folosit matricea de împrăștiere ca obiect fizic principal. În abordarea lui AS Whiteman (1956) el a considerat un câmp cuantificat care interacționează ca un astfel de obiect. Cea mai generală abordare algebrică (R. Haag, X. Araki, D. Kastler) folosește mulțimea tuturor observabilelor posibile [217] .
Teoria câmpului cuantic considerată este locală, adică valorile câmpului și coordonatele particulelor pot fi specificate exact și interacțiunea lor în acest punct poate fi descrisă. Acest lucru duce la divergențe la distanțe mici, care sunt ulterior eliminate în cadrul teoriei renormalizării. Dacă presupunem existența unei lungimi fundamentale care limitează cunoștințele noastre despre coordonate, atunci putem construi o teorie cuantică a câmpului non-local. Interacțiunile câmpurilor cuantice luate în considerare nu au loc într-un punct, ci într-o regiune a spațiului. Această ipoteză face posibilă evitarea divergențelor ultraviolete [218] .
Teoria câmpului cuantic în spațiu-timp curbat este o extensie a teoriei câmpului cuantic de la spațiu-timp Minkowski la un spațiu-timp general curbat. Această teorie consideră spațiu-timp ca un fundal clasic fix, oferind în același timp o descriere mecanică cuantică a materiei și energiei care se propagă prin acest spațiu-timp [219] . Predicția generală a acestei teorii este că particulele pot fi create de câmpuri gravitaționale dependente de timp (producția de perechi multi-gravitoni) [220] sau de câmpuri gravitaționale independente de timp care conțin orizonturi. Cel mai faimos exemplu al acestuia din urmă este fenomenul radiației Hawking, care este emisă de găurile negre [221] . Acesta din urmă poate fi înțeles ca o manifestare a efectului Unruh, atunci când un observator care accelerează observă radiația unui corp absolut negru [222] . Alte predicții ale câmpurilor cuantice din spațiile curbe includ, de exemplu, radiația emisă de o particulă care se mișcă de-a lungul unei geodezice [223] [224] . Acest lucru face posibilă luarea în considerare a unor efecte gravitaționale semnificative, deși nu este o teorie consistentă a gravitației cuantice. Teoria câmpului cuantic în spațiu-timp curbat este valabilă în regiunea în care curbura spațiu-timp este mică în comparație cu scările Planck [K 4] [225] .
Funcțiile de corelație și predicțiile fizice ale QFT depind de metrica spațiu-timp g μν . Pentru o clasă specială de QFT numită teorii topologice ale câmpului cuantic (TCFT), toate funcțiile de corelație sunt independente de modificările continue ale metricii spațiu-timp [226] . QFT-urile în spațiu-timp curbat se schimbă de obicei în funcție de geometria (structura locală) a spațiu-timpului, în timp ce QFT-urile sunt invariante în cadrul difeomorfismelor spațiu-timp , dar sensibile la topologia (structura globală) spațiu-timp. Aceasta înseamnă că toate rezultatele calculelor TCFT sunt invarianți topologici ai spațiu-timpului principal. Teoria Chern-Simons este un exemplu de TCFT și a fost folosită pentru a construi modele de gravitație cuantică [227] . Aplicațiile TCFT includ efectul Hall cuantic fracțional și calculatoarele cuantice topologice [228] . Traiectoria liniei mondiale pentru particulele cu o sarcină fracțională (cunoscută sub numele de anioni ) poate forma o configurație conexă în spațiu-timp [229] care leagă statisticile de brading ale oricăror persoane din fizică de invarianții constrângerii din matematică. Teoriile topologice ale câmpului cuantic (QFT) aplicabile cercetării de ultimă oră în chestiunile cuantice topologice includ teoriile gauge Chern-Simons-Witten în dimensiuni spațiu-timp 2 + 1, alte QFT-uri noi exotice în dimensiuni spațiu-timp 3 + 1 și mai departe [ 230 ] .
Procedurile de cuantizare și renormalizare descrise în secțiunile anterioare sunt efectuate pentru teoria câmpului liber și teoria ϕ 4 [ (interacțiune cvadruplă) a unui câmp scalar real. Un proces similar poate fi realizat pentru alte tipuri de câmpuri, inclusiv câmpul scalar complex , câmpul vectorial și câmpul Dirac și pentru alte tipuri de termeni care interacționează, inclusiv interacțiunile electromagnetice și Yukawa .
De exemplu, electrodinamica cuantică conține câmpul Dirac ψ reprezentând câmpul de electroni și câmpul vectorial A μ reprezentând câmpul electromagnetic (câmp fotonic ). În ciuda numelui său, „câmpul” electromagnetic cuantic corespunde de fapt cu patru potențial electromagnetic clasic , și nu cu câmpurile electrice și magnetice clasice. Densitatea totală a QED Lagrangian este:
unde γ μ sunt matricele Dirac , , este puterea câmpului electromagnetic . Parametrii acestei teorii sunt masa electronului (gol) m și sarcina elementară (golă) e . Primul și al doilea termen din densitatea lagrangiană corespund câmpului liber Dirac și, respectiv, câmpului vectorial liber. Ultimul termen descrie interacțiunea dintre câmpurile de electroni și fotoni, care este considerată o perturbare în teorie fără interacțiune [231] .
Toate simetriile cunoscute experimental din natură leagă bozonii cu bozoni, iar fermionii cu fermionii. Teoreticienii au emis ipoteza că există un tip de simetrie numit supersimetrie care leagă bozonii și fermionii [232] [233] .
Modelul Standard se supune simetriei Poincaré , ai cărei generatori sunt translațiile spațiu-timp P μ și transformările Lorentz J μν [234] . În plus față de acești generatori, supersimetria în spațiul dimensional (3 + 1) include generatoare suplimentare Q α , numite supraîncărcări , care ei înșiși se transformă ca fermioni Weyl [232] [235] . Grupul de simetrie generat de toți acești generatori este cunoscut sub numele de supergrup Poincaré . În general, pot exista mai mult de un set de generatoare de supersimetrie, Q α I , I = 1, ..., N Q α I , I = 1, ..., N Q α I , I = 1, .. ., N , care generează supersimetria corespunzătoare N = 1 N = 2 și așa mai departe [232] [236] . Supersimetria poate fi construită și în alte dimensiuni [237] , în primul rând în spațiul (1 + 1) pentru aplicarea sa în teoria superstringurilor [238] .
Lagrangianul unei teorii supersimetrice trebuie să fie invariant sub acțiunea supergrupului Poincaré [239] . Exemple de astfel de teorii includ: Minimal Supersymmetric Standard Model (MSSM), N = 4 Supersymmetric Yang-Mills theory [240] și teoria superstring. În teoria supersimetrică, fiecare fermion are un superpartener bosonic și invers [241] .
Dacă supersimetria se transformă în simetrie locală, atunci teoria gauge rezultată este o extensie a relativității generale numită supergravitație [242] .
Supersimetria este o soluție potențială la multe probleme moderne din fizică. De exemplu, problema ierarhiei modelului standard - de ce masa bosonului Higgs nu este corectată radiativ (când este renormalizată) la o scară foarte mare, cum ar fi scara mare de unificare sau scara Planck , poate fi rezolvată prin relaţionarea câmpul Higgs și superpartenerul său, higgsino . Corecțiile radiative datorate buclelor bosonului Higgs din diagramele Feynman sunt compensate de buclele Higgsino corespunzătoare. Supersimetria oferă, de asemenea, răspunsuri la marea unificare a tuturor constantelor de cuplare gauge în Modelul Standard, precum și la natura materiei întunecate [243] [244] .
Cu toate acestea, din 2021 [245] , nu au fost găsite dovezi experimentale pentru existența particulelor supersimetrice. Dacă supersimetria ar fi o adevărată simetrie a naturii, atunci ea trebuie ruptă, iar energia ruperii simetriei trebuie să fie mai mare decât energia realizabilă în experimentele moderne [246] [247] .
Teoria lui ϕ 4 , QED, QCD, precum și întregul Model Standard presupune spațiul Minkowski (3 + 1)-dimensional (3 dimensiuni spațiale și 1 timp) ca fundal pe care sunt definite toate câmpurile cuantice. Cu toate acestea, QFT a priori nu impune restricții nici asupra numărului de dimensiuni, nici asupra geometriei spațiu-timp.
În fizica materiei condensate, QFT este folosit pentru a descrie gazele electronice (2 + 1)-dimensionale [248] . În fizica energiei înalte , teoria corzilor este un tip de QFT (1 + 1)-dimensional, [249] [77] , în timp ce teoria Kaluza-Klein folosește forța gravitațională în dimensiuni suplimentare pentru a obține o teorie gauge cu o dimensiune inferioară . 250] .
În spațiul Minkowski, metrica plată η μν este folosită pentru a crește și a scădea indicii spațiu-timp în Lagrangianul dat de următoarea regulă
unde η μν este inversul lui η μν care satisface relația η μρ η ρν = δ μ ν . Pe de altă parte, pentru QFT în spațiu-timp curbat, este utilizată o metrică comună (cum ar fi metrica Schwarzschild , care descrie metrica găurii negre ):
unde g μν este reciproca lui g μν . Pentru un câmp scalar real, densitatea Lagrangianului față de fundalul general spațiu-timp este
unde g = det( g μν ) , iar simbolul ∇ μ denotă derivata covariantă [251] . Lagrangianul QFT și, prin urmare, rezultatele calculelor și predicțiilor sale fizice depind de geometria spațiu-timp.
Folosind teoria perturbației , efectul general al termenului de interacțiune mică poate fi aproximat printr-o extindere în serie în ceea ce privește numărul de particule virtuale implicate în interacțiune. Fiecare termen din extensie poate fi înțeles ca unul dintre modurile posibile în care particulele (fizice) interacționează între ele prin particule virtuale, exprimate vizual folosind o diagramă Feynman . Forța electromagnetică dintre doi electroni în QED este reprezentată (în primul ordin al teoriei perturbației) prin propagarea unui foton virtual. În mod similar, bosonii W și Z poartă forța slabă, în timp ce gluonii poartă forța puternică. Interpretarea interacțiunii ca o sumă de stări intermediare, inclusiv schimbul de diferite particule virtuale, are sens numai în cadrul teoriei perturbațiilor. Dimpotrivă, metodele neperturbative din QFT tratează Lagrangianul care interacționează ca un întreg, fără nicio expansiune în serie. În loc de particule care poartă interacțiune, aceste metode au dat naștere la concepte precum monopolul 't Hooft-Polyakov peretele domeniului , tubul de și instantonul . Exemplele de QFT care sunt complet decidabile nonperturbativ includ modelele minimale ale teoriei câmpului conform [253] și modelul Thirring [254] .
În ciuda succesului copleșitor în fizica particulelor și în fizica materiei condensate, QFT în sine nu are o bază matematică formală. De exemplu, conform teoremei lui Haag , nu există o reprezentare de interacțiune bine definită pentru QFT, ceea ce înseamnă că teoria perturbației QFT, care stă la baza întregii metode de diagramă Feynman , este fundamental nedefinită [255] .
Cu toate acestea, teoria cuantică perturbativă a câmpului, care necesită doar calculul cantităților ca serii de puteri formale fără nicio cerință de convergență, poate fi supusă unui tratament matematic riguros. În special, monografia lui Kevin Costello Renormalization and Effective Field Theory [256] oferă o formulare riguroasă a renormalizării perturbative care combină abordările teoriei câmpului efectiv a lui Kadanoff , Wilson și Polchinsky , precum și abordarea lui Batalin-Vilkovisky la cuantizarea teoriilor gauge. Mai mult, metodelor integrale de cale perturbativă, de obicei înțelese ca metode de calcul formale inspirate de teoria integrării finite-dimensionale [257] , pot primi o interpretare matematică robustă bazată pe omologii lor finite-dimensionale [258] .
Începând cu anii 1950 [259] , fizicienii și matematicienii teoreticieni au încercat să formuleze QFT ca un set de axiome pentru a stabili matematic riguros existența unor modele specifice de QFT relativiste și a studia proprietățile acestora. Această linie de cercetare se numește teoria cuantică constructivă a câmpului , o subsecțiune a fizicii matematice [260] , care a condus la rezultate precum teorema CPT, teorema statisticii spin și teorema Goldstone [259] , precum și construcții riguroase din punct de vedere matematic ale multor QFT-uri cu interacțiune în două și trei dimensiuni ale spațiu-timpului, de exemplu, teorii bidimensionale ale câmpului scalar cu interacțiuni polinomiale arbitrare [261] , teorii tridimensionale ale câmpului scalar cu interacțiune de gradul al patrulea etc. pe [262] .
În comparație cu QFT convențional, teoria cuantică topologică a câmpului și teoria câmpului conformal sunt justificate corect matematic — ambele pot fi clasificate în termeni de reprezentări cobordism [263] .
Teoria câmpului cuantic algebric este o altă abordare a axiomatizării QFT, în care obiectele fundamentale sunt operatorii locali și relațiile algebrice dintre ei. Sistemele axiomatice care urmează această abordare includ axiomele Wightman și axiomele Haag-Kastler [260] . O modalitate de a construi teorii care să satisfacă axiomele lui Wightman este utilizarea axiomelor Osterwalder-Schröder , care oferă condiții necesare și suficiente pentru ca o teorie în timp real să fie dedusă dintr-o teorie în timp imaginar folosind continuarea analitică ( rotația lui Wick ) [ 260] .
Existența teoriei Yang-Mills și decalajul în spectrul de masă - una dintre problemele asociate cu Premiul Millennium , se referă la existența bine definită a teoriilor Yang-Mills , afirmate de axiomele de mai sus [264] .
Secțiuni de fizică cuantică | |
---|---|
Dicționare și enciclopedii | ||||
---|---|---|---|---|
|