A renormalizáció problémája akkor merül fel, amikor a Feynman-diagrammokban zárt hurkok találhatók, és a számítások során divergenciák lépnek fel. Bár a renormalizáció elsősorban a divergenciák kezelésére szolgál, valójában egy általános eljárásról van szó, amelyet még akkor is alkalmazni kell, ha a divergenciák egyáltalán nem jelennek meg. A renormalizáció szükségessége a kölcsönhatások létezéséből fakad, ami azt jelenti, hogy a Lagrangiánban szereplő tömegek nem egyeznek meg a különböző mezők által leírt részecskék tömegével, és hogy maguk a mezők sem „rendesen normalizáltak”, amint azt a Z-faktorok jelenléte is egyértelműen mutatja az egyes részecskeállapotok hozzájárulásában a megfelelő propagátorokhoz.

A kvantumtérelméletben a divergenciák jelenléte normális jelenség, de két alapvetően különböző helyzet is előfordulhat. Az egyik a renormalizálható elméletek esete, melyek közé tartozik a kvantumelektrodinamika (QED) és általánosan a fundamentális kölcsönhatásokat leíró Standard Modell. A másik kategória a nem-renormalizálható elméletek, mint például a gyenge kölcsönhatásokat leíró Fermi-elmélet. A renormalizálható elméletekben a divergenciák kizárólag akkor lépnek fel, amikor megpróbálunk kapcsolatokat felállítani a Lagrangiánban szereplő mennyiségek, például a tömeg m0m_0 és a töltés e0e_0, valamint a megfelelő fizikai mennyiségek, mm és ee, között. Az ilyen típusú elméletekben a divergenciák eltüntethetők, ha az eredményeket fizikai szempontból megfigyelhető mennyiségekre fejezzük ki.

Például, ha az elektron tömegére gondolunk, akkor a korrekciós tag δm\delta m, amelyet az előző fejezetben vezettünk be, a perturbációs elméletben divergens lesz. Azonban, ahogy láttuk, lehetséges átszervezni a perturbációs elméletet úgy, hogy a δm\delta m tag pontosan egy megfelelő kontratagnál eltűnjön, így például nem fog megjelenni az S-mátrix elemeinek kiszámításakor.

A nem-renormalizálható elméletekben a divergenciák minden fizikai mennyiség számítása során előfordulnak, például bármely S-mátrix elemének kiszámítása során. Itt a divergenciák a virtuális részecskék impulzusainak végtelenhez tartó integráljaiból származnak. A divergenciák jelentésére két lehetséges felvetés adódik: az első, hogy ezek a divergenciák a perturbatív módszer sajátosságai, és nem jelentkeznének egy hipotetikus nem-perturbatív megközelítésben. A második pedig az, hogy az elmélet csupán egy első közelítése a fizikai valóságnak, és nem érvényes rendkívül magas impulzusok esetén, amelyek a Heisenberg-féle bizonytalansági reláció miatt rendkívül rövid távolságokkal feleltethetők meg.

Ha egy renormalizálható elméletet nézünk, miután a divergenciákat eltüntettük az elmélet paramétereinek újradefiniálásával, a perturbációs számítások eredményeinek a véges impulzusértékek viselkedésétől kell függeniük, és a véges távolságok (nem infiniteszimálisan kicsi) mellett egy jó közelítést adhatnak, még akkor is, ha az elmélet az impulzusok végtelen határértékén elveszíti érvényességét.

A jelenlegi kutatásokat figyelembe véve, létezik egy apró eltérés a miónak az anomális mágneses momentumának kísérletileg mért és a Standard Modell által előre jelzett értéke között. Ez az eltérés arra utalhat, hogy új fizikai jelenségek léteznek a TeV energia-skálán, amelyeket az LHC kísérletei feltárhatnak.

A divergenciák eltüntetése az elmélet néhány paraméterének újradefiniálásával (mint például a tömeg vagy az elektromos töltés) alkotja a renormalizációt, és ez egy olyan eljárás, amely némi körültekintést igényel. A matematikailag divergáló mennyiségekkel való manipuláció gyanús, és nyilvánvalóan el kell kerülni. Az elmélet manipulációinak elkerülésére a „regularizálás” módszere alkalmazható. Az ötlet egyszerű: ha T az érdekes elmélet (például QED), akkor létre kell hozni egy T(η) elméletcsaládot, amely η paramétertől függ, és amelynek a következő tulajdonságoknak kell megfelelnie:

  1. Ha η → 0, akkor T(η) → T.

  2. T(η) rendelkezik minden „fontos” tulajdonsággal, amit T-nek kell, hogy legyen.

  3. Ha η ≠ 0, akkor T(η) nem tartalmaz divergenciákat.

A regularizált T(η) elméletben a renormalizációval kapcsolatos manipulációk csak véges mennyiségekkel történnek, amelyek megengedettek. Csak miután elvégeztük a renormalizációt, vehetjük a η → 0 határértéket. A leggyakrabban alkalmazott módszer a „dimenziós regularizálás”. Egyszerűbben fogalmazva, a QED-t úgy definiálhatjuk, mint a Feynman-diagrammok halmazát, amelyek minden α sorrendben leírják a különböző folyamatokat, és azokat a szabályokat, amelyek lehetővé teszik minden diagram kiszámítását. Zárt hurokkal rendelkező diagrammok számítása során olyan integrálok jelennek meg, amelyek logaritmikusan divergálnak, például az alábbi típusú integrálok:

d4kk4I(k),I(k)1, ha k\int \frac{d^4k}{k^4} I(k), \quad I(k) \sim 1 \text{, ha } |k| \to \infty

Ezek az integrálok nem lennének divergensek, ha a térdimenziók száma nem négy, hanem három lenne. A dimenziós regularizálás lényege, hogy olyan elméletet képzeljünk el, amely ugyanazokat a diagrammokat tartalmazza, mint a QED, de a megfelelő integrálokat nem négy, hanem 4η4 - \eta dimenzióban végezzük el. Ez bizonyos értelemben az analitikus folytatásának tekinthető a térdimenzióknak.

A dimenziós regularizálás előnye, hogy nem zavarja meg az alapvető kapcsolatok, például a Ward-identitás érvényességét. Noha a QED esetén léteznek alternatív regularizálási módszerek, a dimenziós regularizálás az egyetlen olyan módszer, amely lehetővé tette a nem-Abel-féle gauge invariancián alapuló elméletek perturbatív kezelését, mint például a Standard Modellben az elektromágneses és gyenge kölcsönhatások egyesített leírása.

A divergenciák, amelyek az impulzusok pp \to \infty határértékére vonatkozó integrálokban jelentkeznek, ultraibolya divergenciáknak nevezhetők. A QED-ben egy másik típusú divergencia, az úgynevezett infravörös divergencia is előfordul, amikor a foton impulzusa, akár valós (kibocsátott foton), akár virtuális (propagátor), nulla felé tart. Az infravörös divergenciák pontos fizikai jelentéssel bírnak: az elektromágneses sugárzás kibocsátása, amelynek energia-spektruma dW/dνdW/d\nu állandó ért

Hogyan működik a QED renormalizációs csoportja és az effektív elektromos töltés?

A kvantumelektrodinamika (QED) egyik alapvető jellemzője, hogy az interakciókat leíró fizikai mennyiségek nem állandóak, hanem az energia-skálától függően változnak. Ez a jelenség a renormalizációs csoport (RG) hatásaként ismert, és rendkívül fontos szerepet játszik a részecskefizika elméleteiben. A QED-ben alkalmazott renormalizációs csoport elmélete a töltés és más fizikai mennyiségek energiaskálával való változását írja le, és az egyik legfontosabb következménye a hatékony elektromos töltés megjelenése.

Először is, a QED renormalizációja a kölcsönhatási konstansok, propagátorok és vertexek transzformációját jelenti. A töltés (e) az energia-skálával (vagyis a kvantum állapotokkal) való kölcsönhatások függvényében változik, és ezt az átalakítást az alábbi képletek írják le:

e2Z3Z11Z2e2=Z3e2,DμνZ31Dμν,ΛμZ1Λμe^2 \rightarrow Z_3 Z_1^{ -1} Z_2 e^2 = Z_3 e^2, \quad D_{\mu \nu} \rightarrow Z_3^{ -1} D_{\mu \nu}, \quad \Lambda_{\mu} \rightarrow Z_1 \Lambda_{\mu}

Ezek az egyenletek azt mutatják, hogy a renormalizációs csoport elmélete révén különböző skálákon különböző effektív kölcsönhatási konstansokat kapunk. Az energia-skála növekedésével a részecskék kölcsönhatásai is módosulnak.

A következő lépésben a foton propagátorát vizsgáljuk, amely az elektron-pozitron kölcsönhatások leírásához szükséges. A legegyszerűbb foton propagátor rendkívül egyszerű, de ha figyelembe vesszük a fermionhurok által okozott magasabb rendű diagramokat, akkor a foton propagátorát az alábbi formában kell kifejezni:

igμνq2igμνq2(1+e2Π(q2)+e4Π(q2)+)\frac{ -i g_{\mu \nu}}{q^2} \rightarrow \frac{ -i g_{\mu \nu}}{q^2} \left( 1 + e^2 \Pi(q^2) + e^4 \Pi(q^2) + \cdots \right)

Ahol Π(q2)\Pi(q^2) a foton polárisága, és q2q^2 a foton impulzusának négyzetét jelöli. A magasabb rendű diagramok figyelembevételével a propagátor korrekciókat kap, és az effektív elektromos töltés (effektív kölcsönhatási konstans) kifejezésére van szükség.

Ezek után az effektív elektromos töltés kifejezését a következő módon írhatjuk:

α(q2)=eeff24π=Z3e024π=e024π(1e02Πc(q2))\alpha(q^2) = \frac{e^2_{\text{eff}}}{4\pi} = \frac{Z_3 e_0^2}{4\pi} = \frac{e_0^2}{4\pi} \left( 1 - e_0^2 \Pi_c(q^2) \right)

Ez az effektív kölcsönhatás kifejezés azt mutatja, hogy a foton polárisációja (vacuum polarizáció) módosítja a töltés mértékét az energia-skálától függően. A vakum polarizációja az, hogy az elektron-pozitron párok környezete (amelyek kvantummechanikai hatások révén folyamatosan létrejönnek és eltűnnek) képes befolyásolni az elektromágneses kölcsönhatásokat.

Ahogy az energia-skála nő, úgy az effektív elektromos töltés is nő, amely azt jelenti, hogy a rövidebb távolságú kölcsönhatások erősebbek lesznek. Ez az aszimptotikus növekedés következménye, amit a következő egyenlet ír le:

α(Q2)=α(0)1α(0)3πln(Q2m2)\alpha(Q^2) = \frac{\alpha(0)}{1 - \frac{\alpha(0)}{3 \pi} \ln \left( \frac{Q^2}{m^2} \right)}

Ez az egyenlet azt mutatja, hogy az effektív töltés növekvő funkciója a Q2Q^2 (a kvantum állapot energiájának négyzetével) és a mm (a részecskék tömege) arányának függvényében. A Q2Q^2-t csökkentve, a töltés csökkenthetők, és így a részecskék közötti kölcsönhatás gyengül. Ez az úgynevezett szűrési hatás, ami azt jelenti, hogy a részecskék közötti elektromágneses interakciók gyengébbek lesznek nagy távolságok esetén a vakum polarizáció miatt.

A QED-ben a hatékony elektromos töltés mérését a CERN LEP tárológyűrűjében végezték el, és az eredmények jól illeszkednek az elméleti előrejelzésekhez. A mérési adatok azt mutatják, hogy az effektív töltés növekvő funkciója valóban megfigyelhető.

A fenti elmélet bemutatja, hogyan hat a renormalizációs csoport elmélete a részecskék közötti kölcsönhatásokra, különösen a vakum polarizációja és az energia-skála függvényében. Ahhoz, hogy a QED-ben végzett kísérletek és elméletek helyesek legyenek, azokat folyamatosan a renormalizációs csoport változásaihoz kell igazítani. Az elméleti eszközök segítségével sikerült pontosabb képet kapni a részecskék közötti kölcsönhatásokról, amely a kvantummechanika és a relativitáselmélet egyesítésének kulcsfontosságú eredménye.

Miért szükséges a Faddeev–Popov-determináns a nem-Abéli-szabadságfokok kvantálásában?

A nem-Abéli gauge-elméletek kvantálása során a legnagyobb nehézséget az jelenti, hogy azonos fizikai állapotokhoz többféle mezőkonfiguráció tartozik. Ezt a redundanciát a gauge-transzformációk idézik elő: a mezők értékei nem egyértelműen határozzák meg a fizikailag releváns állapotot, mivel léteznek olyan transzformációk, amelyek nem változtatják meg a fizikát, de megváltoztatják a mezők alakját. Ezért a kvantumtérelméleti útintegrál formális kifejezése – amely a mezőkonfigurációk feletti integrál – túl sokat számol: integrál ugyanazon fizikai konfiguráció több reprezentációja felett.

A megoldás a gauge-fixálás. Egy függvényt rendelünk a mezőkhöz, például a Lorenz-gauge feltételt: ∂μAμ = 0, amely kiválaszt egy adott reprezentációt minden gauge-osztályon belül. Azonban a delta-függvény behelyettesítése az útintegrálba önmagában nem elégséges. Szükség van a Jacobi-determinánsra is, amely a koordinátarendszer transzformációjának mértékét tükrözi – ez a Faddeev–Popov-determináns.

A determináns – Δ[A] – a gauge-transzformáció paramétereiből az adott gauge-fixálás függvényeire való átmenet Jacobija. Az útintegrál helyes formája tehát:

W[A] = ∫ D[Aμ] Δ[A] e^{i(S[A] + S_{gf}[A])}

ahol S_{gf} a gauge-fixáló tag, gyakran egy Lorenz-féle vagy Gauss-féle típusú kvadratikus kifejezés, amely az eredeti Yang–Mills-akcióhoz adódik. Bár ez az új akció nem gauge-invariáns, az ebből származtatott vákuum-várhatóértékek gauge-invariáns fizikai mennyiségekre helyesen reprodukálják az elmélet predikcióit.

Ez az eljárás biztosítja, hogy a mezőkonfigurációk integrálja során csak fizikailag eltérő konfigurációk járuljanak hozzá a kvantumamplitúdóhoz. A Faddeev–Popov-formalizmus ezért nem csupán technikai eszköz, hanem elengedhetetlen a nem-Abéli elméletek – például a kvantumszíndinamika – következetes kvantálásához.

A mezők chirális struktúrája is kiemelt szerepet kap a kvantumtérelméletekben. A fermionokat, mint a kvarkokat és leptonokat, bal- és jobbkezes komponenseikre bontjuk, mivel ezek a komponensek különbözően viselkednek a gyenge kölcsönhatás alatt. A színtöltés bevezetése – amely az SU(3) szimmetriacsoporthoz kapcsolódik – a barionok antiszimmetrikus kvantumállapotainak megfelelő leírását teszi lehetővé, figyelembe véve a Pauli-elvet a félspinű kvarkokra.

A kvarkok három színtöltését – hagyományosan vörös, zöld és kék – a kvarkmező indexelésével reprezentáljuk: u^a_L, ahol a = 1, 2, 3. Az SU(3) szimmetria megköveteli, hogy a fizikailag megfigyelhető hadronok színtöltésre nézve szingletállapotban legyenek, teh_