A kvantumkromodinamika a rácson egy diszkrét euklideszi tér-idő rácson megfogalmazott kvantumkromodinamika (QCD ) . Ezzel a megfontolással nem vezetnek be új paramétereket vagy mezőváltozókat, ami azt jelenti, hogy a rácson lévő QCD megtartja a QCD alapvető karakterét.
A rácson lévő QCD-t három speciális tulajdonság jellemzi. Először is, a funkcionális integrál matematikailag jól definiált lesz a csatolási állandók összes értékére . Másodszor, a diszkrét tér-idő rács egy nem perturbatív regularizáció szerepét tölti be . Ez azt jelenti, hogy a stabil rács véges értékeinek nincsenek végtelenek, mivel a π/a-nál az úgynevezett ultraibolya vágási határérték biztosított, ahol a a rácsállandó. Így a rácsreguláció segítségével elvégezhetjük a szokásos perturbatív számításokat. Harmadszor, a rácsos QCD szimulálható számítógépen a statisztikai mechanikában használt módszerekhez hasonló módszerekkel. Jelenleg a szimuláció bemeneti paramétereit, például az erős erőállandót és a csupasz kvarktömegeket kísérleti adatokból veszik [1] .
Ezt a megfogalmazást Wilson javasolta 1974-ben. Fontos, hogy ebben a megközelítésben megmaradjon a mérőszám invarianciája [2] .
Tekintsünk egy d-dimenziós hiperköbös rácsot , amelynek csomópontjai közötti távolság egyenlő . Az általánosság elvesztése nélkül feltételezzük, hogy . A rácscsomópontokat a következővel jelöljük
ahol Legyen , az irány egységvektora
Az él egy rács két szomszédos csomópontját összekötő út. Az élt teljesen meghatározza a csomópont és a vektor pozíciója , azaz jelölhető .
A plakett a lehető legkisebb hurok a rácson. A plakettet teljes mértékben meghatározza a csomópont helyzete és a vektorok és , , azaz jelölhető . Tekintsük a mérőműszer elméletét egy rácson. Ebben az esetben az alapvető szabadsági fokok a rács szélein meghatározott párhuzamos fordítások.
a szelvénycsoport eleme , a rács helyétől a helyszínre irányítja . Ennek megfelelően a k -ból irányított élváltozót a k - reciprok adja . Jegyezze meg, hogy .
A rácson a mérőtranszformációt a csomópontban határozzuk meg . Legyen egy lokális nyomtáv transzformáció. Ehhez az élváltozókat a következőképpen alakítjuk át
Legyen párhuzamos fordítás a csomópont és az irányok által meghatározott plakett körül . A következőképpen írható fel
A lokális transzformáció a következőképpen változik
A mezőelmélet kulcsfogalma a cselekvés . A rácson végzett művelet létrehozásához a következő természetes követelményeket kell használni:
Wilson [2] javasolt egy olyan műveletet, amely teljes mértékben kielégíti ezeket a követelményeket a plakettváltozókra vonatkozó rácsokra vonatkozó mérőelméletekhez:
ahol az összegzés a rács összes plakettjére vonatkozik, és β az inverz csupasz kölcsönhatási állandó. A mérőmező mátrixait a csoport alapvető reprezentációjában veszik fel.
A Wilson-akció a hatás egyik lehetséges változata egy olyan rácson, amelynek naiv kontinuumhatára egybeesik a Yang-Mills elmélet folyamatos cselekvésével .
Tekintsük a rácson lévő anyagmezőket. Ezek lehetnek skaláris mezők (amelyek például a Higgs-mezőnek felelnek meg ) és fermionikus mezők (a kvarkokat vagy leptonokat írják le ).
A fermionikus cselekvés naiv rácsformája, amely a Dirac-akció diszkretizálásából következik, az úgynevezett fermionikus megkettőződési problémába ütközik. Kiderült, hogy a modell, amelyet egy ilyen akció ír le, Dirac-részecskéket (két töltésű és két spinállapotú fermionokat) tartalmaz [3] . Ennek a problémának a kiküszöbölésére a rácson két összetettebb cselekvési formát alkalmaznak: a Wilson akciót és a Kogut-Suskind akciót.
A Wilson-fermionos hatás általános formája (a szín és a spin indexek kihagyva) [4]
ahol , a fermionos mező tömege, a kvark ízek száma, és a Wilson-paraméter, amely lehetővé teszi a nem kívánatos szabadsági fokok elkerülését. Wilson eredeti művében azonban később világossá vált, hogy volt egy általánosabb eset is , [5] . A naiv kontinuumhatár a masszív Dirac-fermionok elméletéhez vezet, amelyek sima nyomtávú mezőhöz kapcsolódnak. A királis szimmetria megsérül minden lehetséges és esetén, és a CP szimmetria is sérül a vagy esetén . Kogut-akció – Saskind [6]
hol ,A szorzó az eredeti naiv akciónak a spin indexekre való átlósítása után jelenik meg a cselekvésben. Nem ez az egyetlen választási lehetőség , de ez az a választás, amely lehetővé teszi, hogy leírjunk masszív Dirac fermionokat, amelyeknek négy íze van a kontinuum határában [7] . Ami a királis tulajdonságokat illeti, a nulla tömeghatár esetén ez a hatás invariáns a fermionos mezők globális átalakulása során.
A kvantumkromodinamikai problémák rácson való mérlegelésének fontos állomása a mérőmezők kvantálása. Az útintegrált megközelítésben a kvantálás funkcionális integrációval történik az összes mérőmező-konfiguráción. Egy rácsmérő elmélet esetén a megfigyelhető vákuum várható értéke egy vonalváltozó függvényében a következőképpen adható meg:
hol van a Wilson művelet és a partíció függvény . Az integrációt a rács minden élén végrehajtjuk:
Az ebben az alfejezetben megadott integrálok pontos kiszámításához szükséges a mérték megadása . Invariánsnak kell lennie, ha a kvantumfluktuációk nem sértik ezt a fontos elvet. A megfelelő egyedi mérték, amely kielégíti a mérőeszköz invariancia feltételét, a mérőeszközcsoport Haar mértéke . Így a mérőinvarianciát a Haar-mérték, mint az integráció mértéke, valamint a cselekvés mérőváltozatlansága garantálja. Elitzur [8] tétele szerint egy ilyen lokális szelvényváltozatlanság spontán módon nem törhető meg. Véges térfogatban a redukált funkcionális integrálokban lévő változók száma is véges. Mivel az integrálás határai kompaktok, ezek az integrálok jól meghatározottak anélkül, hogy a csatolási állandó értékére rögzítenék a mérőeszközt . Ezért az ilyen átlagok a mérőmodellek nem perturbatív kvantálását adják.
Első pillantásra úgy tűnhet, hogy a "rács" és a " perturbációelmélet " szavak használata kölcsönösen kizárják egymást, de ez nem így van, és a rácson alapuló perturbatív elmélet egy nagy és megalapozott tudományággá nőtte ki magát. Valójában a rácsperturbáció-elméletnek számos gyakorlati alkalmazása létezik, és néha még szükséges is. Ezek közé tartozik az operátorok mátrixelemeinek renormálási tényezőinek meghatározása, valamint a csupasz Lagrange-paraméterek, például a kölcsönhatás és a tömegparaméterek renormálása. Az erős kölcsönhatás renormalizációjának pontos ismerete szükséges a rácson lévő QCD-ben lévő paraméterhez, valamint a neki megfelelő kontinuumhoz [9] .
Például a kvantumelektrodinamikában a perturbatív tágulás paramétere az állandó finomszerkezet. . A kvantumkromodinamikában az elektromágneses töltés analógja , a kölcsönhatás mértéke pedig (alfa erős). A színtöltés jelenléte miatt a gluonok kölcsönhatásba lépnek egymással. Ennek eredményeként a hadronok nagyságrendjének megfelelő távolságokon a kölcsönhatás erős, és a távolság növekedésével nő [10] .
A perturbációelmélet valójában szignifikánsan összefügg a QCD diszkrét változatainak kontinuumhatárával. Az aszimptotikus szabadság miatt , ahogy a kvarkok távolsága csökken, ezért , és ezért tágulási paraméter lehet [9] .
A Monte Carlo módszert részesítik előnyben a rácsos QCD számításoknál. Elképzelése hasonló a statisztikai mechanikához, mert a számítógép memóriájában olyan mérőkonfigurációkat generál, amelyek súlyát az útintegrál exponenciális hatása fejezi ki. Az ötlet azon alapul, hogy nem minden területen integrálunk, hanem több „tipikus konfiguráción” keresztül. Az eljárást a Markov-lánc elvének alkalmazásával hajtják végre a tárolt rendszer kis súlyozott változtatásainál.
Ahhoz, hogy folytonos esetben eredményt kapjunk, különféle extrapolációkat kell végezni, a konstans rácsnak nullára, a rácsméretnek pedig a végtelenre kell irányulnia. Ezenkívül az ilyen modellezés sokkal nehezebbé válik a kvark tömegének csökkenésével. A Monte Carlo-módszer nagyon jól működik a bozonikus mezők esetében, de unalmassá válik a fermionok esetében [11] .
A szoros csatolás közelítésében a kis paraméter a . Az erős és gyenge csatolási módokat egy vagy több fázisátmenet választja el, ami megnehezíti a problémák megoldását. Ezt a problémát a Monte Carlo módszerrel vagy a Padé közelítési módszerrel lehet megoldani. Ezzel a módszerrel az erős csatolás kiterjesztésében kapott eredményeket arra a tartományra extrapoláljuk, ahol a perturbációelmélet kis csatolási állandóra vonatkozó eredményei érvényesek [12] .
Az erős linkbontás megkülönböztető jellemzője, hogy a csoportintegráció csak akkor ad nullától eltérő eredményt, ha minden kapcsolat olyan kombinációban fordul elő, amely színes szingulettet alkothat.
A Wilson-hurok átlaga a plakett hatásra kis β-ban (nagy g) a következőképpen bővíthető:
ahol két plakett orientáció van, és az egyes hurkon belüli színindex-nyomok nincsenek kifejezetten megírva. Az első nem nulla hozzájárulást az integrálhoz a megfelelő tájolású elemi plakettekkel körülvett hurokból kaphatjuk, amelyek mindegyike egy faktorral járul hozzá a kiterjesztéssel és egy tényezővel az integrációval. Aztán [1]
A Feynman - fa diagramok szintjén a relativisztikus kvantumtérelmélet jól meghatározott, és nem igényel renormálást. A későbbi hurokkorrekciókat figyelembe véve azonban olyan nézeteltérések jelennek meg, amelyeket újranormálással kell kiküszöbölni. Általában ebben az esetben az elmélet valamilyen vágási paramétertől függ, amelyet el kell távolítani a csupasz paraméterek beállítása és a fizikai mennyiségek véges tartása közben.
Tekintsük a rácsállandó rácsvágását . Legyen a proton tömege, egy véges fizikai mennyiség, amely a rácson eleve ismeretlen függvénye a határértéknek, a csupasz kölcsönhatási állandónak és a csupasz kvark tömegeknek. Mivel a kvarkok tömege nullára hajlamos, a protontömeg várhatóan véges lesz, ezért az egyszerűsítés kedvéért átmenetileg figyelmen kívül hagyjuk a kvark tömegeket. Akkor . Ha ezt a paramétert állandónak tekintjük a csere során, akkor függőséget kapunk :
ezt a kifejezést alapcsoport-renormalizációs egyenletnek nevezzük.
Renormalizációs csoport funkciója:
jellemzi, hogy a csupasz kölcsönhatási állandó hogyan változik a kontinuum határában. Ezt a függvényt Callan-Symanzik függvénynek is nevezik [13] , és fontos a kontinuumhatár felépítéséhez. Sőt, a nemperturbatív -függvény pontos ismerete ebben a kérdésben meghatározó. Meg kell jegyezni, hogy ez a meghatározás nem függ a perturbációelmélettől vagy a mérőeszköz rögzítésétől. A -függvénynek eddig csak egy perturbatív kifejezése ismert.
Mivel a renormalizálás nem szükséges mindaddig, amíg a kvantumhurkokat nem veszik figyelembe, csökken a -nál . Perturbatív együtthatók az aszimptotikus sorozatból
Egy időben kiszámították a nem Abeli-féle szelvényelméletek együtthatóját:
ahol a szelvénycsoport , és a fermiontípusok számát jelöli [14] [15] [16] .
A hurokhozzájárulást is meghatározták [17] [18] :
Általában a béta függvény a használt renormalizációs sémától függ. Ez függhet például attól, hogy milyen fizikai mennyiség van beállítva állandóként, valamint a levágási paramétertől. A béta függvény fontos tulajdonsága, hogy a figyelembe vett és univerzális együtthatók [11] .
Mivel a -függvény negatív a csatolási állandó kis értékeire, akkor amikor a rácsállandó is nullára hajlik. Ez az állítás az aszimptotikus szabadságnak felel meg . Integrálással a következő összefüggést kaphatjuk a csupasz csatolási állandó és a rácsállandó között :
ahol , és az integrációs állandó , amelynek tömegdimenziója van.
A -függvény első két tagjára és a tiszta QCD ( ) esetére a következő eredményt kaphatjuk:
Ezt a két kifejezést gyakran skálázási törvénynek is nevezik, mert információt ad a nullára hajló csupasz csatolási állandó as viselkedéséről.
Ahhoz, hogy a kvantumkromodinamika leírhassa az erős kölcsönhatást, a következő három jellemzővel kell rendelkeznie, amelyek mindegyike jelentősen eltér a klasszikus elmélet esetétől.
Az anyag kvarkokkal való vizsgálatában megnyilvánuló elképesztő tény, hogy a kvarkok (összetett hadronok) tömegei csak a proton/neutron tömegeket adják össze:
Tekintsük a kvark mezők következő transzformációit:
A ható királis rotációk elhagyják a QCD Lagrange-invariáns kinetikai részét, a tömegtag egyértelműen sérti ezt a szimmetriát. Mivel azonban a tömegek és a kvarkok nagyon kicsik, ez a látszólagos megsértés első közelítésként elhanyagolható egy olyan elméletben, amely két vagy akár három legkönnyebb ízt tartalmaz.
A fő feltételezés az, hogy a QCD velejárója a spontán szimmetriatörésnek .
Ennek a szabálysértésnek a sorrendi paraméterét kvark kondenzátumnak nevezik :
Ha , akkor a kötött hadroni állapotok eredményeként kapott effektív elmélete a QCD-ben rendelkezik tömegtaggal mind a mezonokra, mind a barionokra. Ilyen hatékony elmélet csak az erős kölcsönhatás közelítésben számítható ki.
A probléma egy olyan operátor létrehozásában rejlik, amely megadja a megfelelő hadroni tömegeket. Ilyen operátor a , amely kvark mezőkből , gamma-mátrixokból és csoportmátrixokból áll, hogy színtelen állapotot hozzon létre a szükséges kvantumszámokkal és szimmetrikus tulajdonságokkal. A hadron tömegét a kétpontos korrelációs függvény segítségével lehet kiszámítani:
Még ha az ilyen operátorok lokálisnak bizonyulnak is (ami a valódi hadronok esetében nem így van), akkor korrelációik egyetemessége miatt a kontinuumhatáron egzakt hadronkorrelációkként fognak viselkedni.
Szabad kvarkokat soha nem figyeltek meg a kísérlet során. Azt a jelenséget, amely lehetetlenné teszi a szabad kvarkok megfigyelését normál körülmények között, bezártságnak nevezzük . Úgy tartják, hogy a kvarkok állandóan léteznek a hadronokban , és a QCD megmagyarázhatja ezt a tulajdonságot az erős erővel .
A bezártság bizonyítása és mechanizmusának magyarázata a QCD keretében az egyik legnagyobb kihívás az ezen a területen dolgozó teoretikusok számára.
A kísérletekből ismert, hogy az erős kölcsönhatás rövid hatótávolságú. Ha ez a kölcsönhatás magyarázható egy mérőelmélettel, akkor ez azt jelenti, hogy a mérőbozonoknak hatalmasnak kell lenniük. A tömegtag azonban nem szerepelhet a klasszikus Lagrange-ban, mert ez megsemmisítené a szelvényváltozatlanságot. Ez azt jelenti, hogy a tömegrésnek valahogyan meg kell jelennie a kvantumelméletben.
Ezt a problémát "A Yang-Mills elmélet létezésének és a tömegszakadék problémájának" nevezték, és egyike a hét úgynevezett " millenniumi problémának ". A pontos megfogalmazás a következő:
Bizonyítsuk be, hogy a nemtriviális Yang-Mills kvantumelmélet létezik a térben bármely egyszerű kompakt szelvénycsoportra, és nullától eltérő tömegrés ( ).