Fórmula de reducció d'LSZ

Un diagrama de Feynman que mostra la radiació d'un gluó quan s'aniquilen un electró i un positró.

En la teoria quàntica de camps, la fórmula de reducció de Lehmann–Symanzik–Zimmermann (LSZ) és un mètode per calcular els elements de la matriu S (les amplituds de dispersió) a partir de les funcions de correlació ordenades en el temps d'una teoria quàntica de camps. És un pas del camí que parteix del Lagrangià d'alguna teoria quàntica de camps i condueix a la predicció de magnituds mesurables. Porta el nom dels tres físics alemanys Harry Lehmann, Kurt Symanzik i Wolfhart Zimmermann.

Tot i que la fórmula de reducció LSZ no pot gestionar els estats lligats, les partícules sense massa i els solitons topològics, es pot generalitzar per cobrir els estats lligats, mitjançant l'ús de camps compostos que sovint són no locals. A més, el mètode, o les seves variants, també han resultat fructífers en altres camps de la física teòrica. Per exemple, en física estadística es poden utilitzar per obtenir una formulació particularment general del teorema de la fluctuació-dissipació.

Camps dins i fora

Els elements de la matriu S són amplituds de transicions entre estats d' entrada i estats de sortida. Un en estat $|\{p\}\mathrm{i}\mathrm{n}⟩$ descriu l'estat d'un sistema de partícules que, en un passat llunyà, abans d'interaccionar, es movien lliurement amb un moment definit Plantilla:Math i, a la inversa, un estat de sortida. $|\{p\}\mathrm{o}\mathrm{u}\mathrm{t}⟩$ descriu l'estat d'un sistema de partícules que, molt després de la interacció, es mourà lliurement amb un moment definit Plantilla:Math

Els estats d'entrada i sortida són estats a la imatge de Heisenberg, per la qual cosa no s'ha de pensar que descriuen partícules en un moment determinat, sinó que descriuen el sistema de partícules en tota la seva evolució, de manera que l'element de la matriu S:

$S_{\mathrm{f}\mathrm{i}}=⟨\{q\}\mathrm{o}\mathrm{u}\mathrm{t}|\{p\}\mathrm{i}\mathrm{n}⟩$

és l' amplitud de probabilitat que un conjunt de partícules que es van preparar amb un moment definit Plantilla:Math} interaccionin i es mesuren més tard com un nou conjunt de partícules amb un moment Plantilla:Math

La manera senzilla d' incorporar i sortir estats és buscar operadors de camp adequats que proporcionin els operadors de creació i aniquilació adequats. Aquests camps s'anomenen camps d'entrada i sortida respectivament:

Només per arreglar idees, suposem que tractem amb un camp de Klein-Gordon que interactua d'alguna manera que no ens interessa:

$ℒ=\frac{1}{2}{\partial }_{\mu }\phi {\partial }^{\mu }\phi -\frac{1}{2}{m}_0^2{\phi }^2+{ℒ}_{\mathrm{i}\mathrm{n}\mathrm{t}}$

${ℒ}_{\mathrm{i}\mathrm{n}\mathrm{t}}$ pot contenir una interacció pròpia Plantilla:Math o interacció amb altres camps, com una interacció Yukawa $g\phi \overline{\psi }\psi$. A partir d'aquest Lagrangià, utilitzant les equacions d'Euler-Lagrange, l'equació del moviment és la següent:

$({\partial }^2+m_0^2)\phi (x)=j_0(x)$

on, si ${ℒ}_{\mathrm{i}\mathrm{n}\mathrm{t}}$ no conté acoblaments derivats:

$j_0=\frac{\partial {ℒ}_{\mathrm{i}\mathrm{n}\mathrm{t}}}{\partial \phi }$

Podem esperar que el camp interior s'assembli al comportament asimptòtic del camp lliure com Plantilla:Math, fent la suposició que en el passat llunyà la interacció descrita pel corrent Plantilla:Math és insignificant, ja que les partícules estan lluny les unes de les altres. Aquesta hipòtesi rep el nom d'hipòtesi adiabàtica. Tanmateix, l'autointeracció no s'esvaeix mai i, a més de molts altres efectes, provoca una diferència entre la massa lagrangiana Plantilla:Math i la massa física Plantilla:Mvar del bosó Plantilla:Mvar. Aquest fet s'ha de tenir en compte reescrivint l'equació del moviment de la següent manera:

$({\partial }^2+m^2)\phi (x)=j_0(x)+(m^2-m_0^2)\phi (x)=j(x)$

Aquesta equació es pot resoldre formalment utilitzant la funció de Green retardada de l'operador de Klein-Gordon ${\partial }^2+m^2$ :

${\mathrm{\Delta }}_{\mathrm{r}\mathrm{e}\mathrm{t}}(x)=i\theta \left(x^0\right)\int \frac{{\mathrm{d}}^{3}k}{(2\pi {)}^{3}2{\omega }_k}{(e^{-ik\cdot x}-e^{ik\cdot x})}_{k^0={\omega }_k}{\omega }_k=\sqrt{{𝐤}^2+m^2}$

que ens permet separar la interacció de la conducta asimptòtica. La solució és:

$\phi (x)=\sqrt{Z}{\phi }_{\mathrm{i}\mathrm{n}}(x)+\int {\mathrm{d}}^{4}y{\mathrm{\Delta }}_{\mathrm{r}\mathrm{e}\mathrm{t}}(x-y)j(y)$

El factor Plantilla:Math és un factor de normalització que serà útil més endavant, el camp Plantilla:Math és una solució de l'equació homogènia associada a l'equació del moviment:

$({\partial }^2+m^2){\phi }_{\mathrm{i}\mathrm{n}}(x)=0,$

i per tant és un camp lliure que descriu una ona entrant impertorbada, mentre que l'últim terme de la solució dóna la pertorbació de l'ona deguda a la interacció.

El camp Plantilla:Math és, de fet, el camp in que estàvem buscant, ja que descriu el comportament asimptòtic del camp en interacció com Plantilla:Math, encara que aquesta afirmació es farà més precisa més endavant. És un camp escalar lliure per la qual cosa es pot expandir en ones planes:

${\phi }_{\mathrm{i}\mathrm{n}}(x)=\int {\mathrm{d}}^{3}k\{f_k(x)a_{\mathrm{i}\mathrm{n}}(𝐤)+f_k^{*}(x)a_{\mathrm{i}\mathrm{n}}^{†}(𝐤)\}$

on:

$f_k(x)={\frac{e^{-ik\cdot x}}{(2\pi {)}^{\frac{3}{2}}(2{\omega }_k{)}^{\frac{1}{2}}}|}_{k^0={\omega }_k}$