Hatékony elmélet

A kvantumtér-elmélet szisztematikus eljárást nyújt az ilyen zavarok kiszámítására az elmélet összes megfigyelhető elemének (vagyis az elmélet különböző számszerűsített operátorai közötti korrelációs függvényeknek), tekintettel annak Lagrang-féle mikroszkóppal. Az elmélet szabadságának fokait tömegük szerint osztályozzák , úgy tűnik, hogy a gyenge megfigyelési energiák esetében a megfigyelhetőséghez való domináns hozzájárulás a legkönnyebb gerjesztésekből származik (azt mondjuk, hogy csak ezek a szabadsági fokok láthatók ), és hogy a tömegesebb gerjesztések a látható gerjesztések által nyújtott eredmény korrekciójának szerepét töltik be. A gyakorlatban nagyon kényelmes módszer ennek a folyamatnak az összegzésére, ha bevezetünk egy effektív Lagrangian nevű Lagrangi-t , amelynek kifejezései klasszikus operátorok, amelyek megfelelnek az alacsony energiánál megfigyelt szabadsági fokoknak, és amelynek kapcsolási állandói pontosan a korábban kiszámított megfigyelhetők. Ebben a megközelítésben az effektív Lagrangian alapján kiszámított klasszikus megfigyelhetőségek konstrukcióval megfelelnek a kvantumelméletből származó korrelációs függvényeknek.

Ily módon az elmélet megfigyelhetőségének magas perturbációs elméleti sorrendben történő kiszámítása a hatékony elmélet kapcsolási állandók számításának finomítását jelenti .

Míg a mikroszkópos Lagrangian és az effektív Lagrangian alakja gyakran hasonló lehet, ez általában nem szükséges. Például abban az esetben, konformális kétdimenziós elmélet leíró nemlineáris szigma modell , a mikroszkopikus elmélet egy kétdimenziós kvantumtérelméletben de a tényleges elmélet klasszikus elmélet a területeken élő célterületre a modell. Szigma amely más dimenzióval rendelkezik. Pontosan így jelennek meg a húrelméletben az általános relativitáselmélettel párosuló mezőelméletek a konformális elmélet hatékony elméleteként, amelyeket a húrok kétdimenziós univerzumlapján határoznak meg.