S MATRIX

(Redirected from S-matrix)

In quantum mechanics, scattering theory or quantum field theory, the 'S-matrix' relates the final state in the infinite future (out-channels) and the initial state in the infinite past (in-channels). The "S" stands for "scattering" or "Strahlung" (radiation).
More mathematically, the S-matrix is defined as the unitary matrix connecting asymptotic particle states in the Hilbert space of physical states (scattering channels). While the S-matrix may be defined for any background (spacetime) that is asymptotically solvable and has no horizons, it has a simple form in the case of the Minkowski space. In this special case, the Hilbert space is a space of irreducible unitary representations of the inhomogeneous Lorentz group; the S-matrix is the evolution operator between time equal to minus infinity, and time equal to plus infinity. It can be shown that if a quantum field theory in Minkowski space has a mass gap, the state in the asymptotic past and in the asymptotic future are both described by Fock spaces.
The S-matrix is closely related to the transition probability amplitude in quantum mechanics and to cross sections of various interactions; the elements (individual numerical entries) in the S-matrix are known as 'scattering amplitudes'. Poles of the S-matrix in the complex-energy plane are identified with bound states, virtual states or resonances. Branch cuts of the S-matrix in the complex-energy plane are associated to the opening of a scattering channel.
In the Hamiltonian approach to quantum field theory, the S-matrix may be calculated as a time-ordered exponential of the integrated Hamiltonian in the Dirac picture; it may be also expressed using Feynman's path integrals. In both cases, the perturbative calculation of the S-matrix leads to Feynman diagrams.
In scattering theory, the 'S-matrix' is an operator mapping free particle ''in-states'' to free particle ''out-states'' (scattering channels) in the Heisenberg picture. This is very useful because we cannot describe exactly the interaction (at least, the most interesting ones).
In Dirac notation, we define left |0
ight
angle as the void (or vacuum) quantum state. If a^{dagger}(k) is a creation operator, its hermitian conjugate (destruction or annihilation operator) acts on the void as follows:
:a(k)left |0
ight
angle = 0
Now, we define two kinds of creation/destruction operators, acting on different Hilbert spaces (IN space ''i'', OUT space ''f''), a_i^dagger (k) and a_f^dagger (k).
So now
:mathcal H_mathrm{IN} = operatorname{span}{ left| I, k_1ldots k_n
ight
angle = a_i^dagger (k_1)cdots a_i^dagger (k_n)left| I, 0
ight
angle},
:mathcal H_mathrm{OUT} = operatorname{span}{ left| F, p_1ldots p_n
ight
angle = a_f^dagger (p_1)cdots a_f^dagger (p_n)left| F, 0
ight
angle}.
It is possible to prove that left| I, 0
ight
angle and left| F, 0
ight
angle are both invariant under translation and that the states left| I, k_1ldots k_n
ight
angle and left| F, p_1ldots p_n
ight
angle are eigenstates of the momentum operator mathcal P^mu.
In the Heisenberg picture the states are time-independent, so we can expand initial states on a basis of final states (or vice versa) as follows:
:left| I, k_1ldots k_n
ight
angle = C_0 + sum_{m=1}^infty int{d^4p_1ldots d^4p_mC_m(p_1ldots p_m)left| F, p_1ldots p_n
ight
angle}
Where left|C_m
ight|^2 is the probability that the interaction transforms left| I, k_1ldots k_n
ight
angle into left| F, p_1ldots p_n
ight
angle
According to Wigner's theorem, S must be a unitary operator such that left langle I,eta
ight |Sleft | I,lpha
ight
angle = S_{lphaeta} = left langle F,eta | I,lpha
ight
angle. Moreover, S leaves the void invariant and transforms IN-space fields in OUT-space fields:
:Sleft|0
ight
angle = left|0
ight
angle
:phi_f=S^{-1}phi_f S
If S describes an interaction correctly, these properties must be also true:
If the system is made up with a single particle in momentum eigenstate left| k
ight
angle, then Sleft| k
ight
angle=left| k
ight
angle
The S-Matrix element must be non zero if and only if momentum is conserved.

Contents
S-matrix and evolution operator ''U''
L.S.Z. (Lehman, Symanzik, Zimmermann) reduction formula
Wick's theorem
See also
Bibliography

S-matrix and evolution operator ''U''


:aleft(k,t
ight)=U^{-1}(t)a_ileft(k
ight)Uleft( t
ight)
:phi_f=U^{-1}(infty)phi_i U(infty)=S^{-1}phi_i S
So we have S=e^{ilpha}U(infty) where
:e^{ilpha}=leftlangle 0|U(infty)|0
ight
angle^{-1}
because
:Sleft|0
ight
angle = left|0
ight
angle.
Substituting the explicit expression for ''U'' we obtain:
:S= rac{1}{leftlangle 0|U(infty)|0
ight
angle}mathcal T e^{-iint{d au V_i( au)}}
You can see that this formula is not explicitly covariant.

L.S.Z. (Lehman, Symanzik, Zimmermann) reduction formula


:F_n(x_1dots x_n)=leftlangle 0|mathcal Tphi(x_1)dotsphi(x_n)|0
ight
angle
The task is to find an expression for the S-Matrix element using the reduction formula. Before starting to accomplish this, it is useful to show the following ''trick'':
:left(lim_{x_0 o infty} - lim_{x_0 o infty}
ight)f^
★ partial_0^{leftrightarrow}phi=int_{-infty}^{infty}
{dx_0,left( f^
★ ddotphi-ddot f^
★ phi
ight)},
:lim_{t_1,t_2 oinfty}int_{t_1}^{t_2}{d au, rac{partial}{partial t}int{d^3x,psi(x,t)}}=left(lim_{x_0 o infty} - lim_{x_0 o infty}
ight)int{d^3x,psi(x,t)}.

We will use this in the following calculation:
:S_{fi}=left langle F,k_1, k_2 | I,p_1,p_2
ight
angle=left langle F,k_1, k_2 | a_i^dagger(p_2)|I,p_1
ight
angle
This operation is called ''particle extraction''.
: =left langle F,k_1, k_2 | a_i^dagger(p_2)-a_f^dagger(p_2)|I,p_1
ight
angle
This is true because ''p'' is not equal to ''k''.
:=-iint{d^3x, f^
★ (p_2,x)partial_0^leftrightarrow left langle F,k_1, k_2 | phi_i(x)-phi_f(x)|I,p_1
ight
angle}
:=ileft(lim_{t o infty} - lim_{t o infty}
ight)int{d^3x, f^
★ (p_2,t)partial_0^leftrightarrow left langle F,k_1, k_2 | phi(x)|I,p_1
ight
angle}
:=iint{d^4x, left langle F,k_1, k_2 | f^
★ ddot phi - ddot f^
★ phi|I,p_1
ight
angle}

Remembering that ''f'' functions are solutions of Klein-Gordon equation:
:left( Box + m^2
ight ) f^
★ =0=ddot f^
★ -
abla^2 f^
★ + m^2 f^
★ Rightarrow ddot f^
★ =left(
abla^2-m^2
ight)f^

where Box stands for the D'Alembertian. Substituting this in previous equation we get (integrating by parts two times):
:S_{fi}=iint{d^4x, f^
★ (p_2,x)left(Box_x+m^2
ight )left langle F,k_1, k_2 | phi(x)|I,p_1
ight
angle}.
Now we repeat these operations for all the particle in the system, and finally we get:
:S_{fi}=(i)^4int{d^4x_1, d^4x_2, d^4y_1, d^4y_2, f^
★ (p_1,x_1)f^
★ (p_2,x_2)f(k_1,y_1)f(k_2,y_2)left(Box_{x_1}+m^2
ight )left(Box_{x_2}+m^2
ight )left(Box_{y_1}+m^2
ight )left(Box_{y_2}+m^2
ight )left langle 0|mathcal Tphi(x_1)phi(x_2)phi(y_1)phi(y_2)|0
ight
angle}.
This is, of course, the simplest case with only four interacting particles.
Now we Fourier transform (it is not ''exactly'' a Fourier transformation) the reduction formula ''F'' and we get:
:f_{mn}(q_1dots 1_{m+n})=int{d^4x_1cdots d^4x_n, d^4y_1cdots d^4y_m, rac{e^{-iq_1x_1}}{sqrt{(2pi)^32omega_k}}
cdots rac{e^{-iq_{n+m}x_{n+m}}}{sqrt{(2pi)^32omega_k}}
F_{nm}(x_1dots x_n,y_1dots y_m)}.
There is a theorem that states (proof omitted) that the S-matrix elements are the residuals of ''f'' calculated on mass-shell:
:S_{fi}=(i)^{n+m}lim_{q_i o m^2}(m^2-q_1)cdots(m^2-q_{n+m})f_{nm}(q_1dots 1_{n+m}).
The matter is that we do not have an explicit expression for phi(x), so we have to make a perturbative expansion with phi_i(x).
In the end, we obtain:
:F_p(x)=left langle 0 |mathcal Tphi(x_1)dotsphi(x_p)| 0
ight
angle= rac{left langle 0 |mathcal T e^{-iint d au, V_i( au)} phi_i(x_1)dotsphi_i(x_p)| 0
ight
angle}{left langle 0 |e^{-iint{d au, V_i( au)}}| 0
ight
angle}.

Wick's theorem


Wick's theorem is named after Gian-Carlo Wick.
'Definition of' ''contraction'':
:mathcal C(x_1, x_2)=left langle 0 |mathcal Tphi_i(x_1)phi_i(x_2)|0
ight
angle=overline{phi_i(x_1)phi_i(x_2)}=iDelta_F(x_1-x_2)
=iint{ rac{d^4k}{(2pi)^4} rac{e^{-ik(x_1-x_2)}}{(k^2-m^2)+iepsilon}}.
Which means that overline{AB}=mathcal TAB-:AB:
In the end, we approach at Wick's theorem:
'T' ''Wick's theorem''
The T-product of a time-ordered free fields string can be expressed in the following manner:
:mathcal TPi_{k=1}^mphi(x_k)=:Piphi_i(x_k):+sum_{lpha,eta}overline{phi(x_lpha)phi(x_eta)}:Pi_{k
ot=lpha,eta}phi_i(x_k):+

:mathcal
+sum_{(lpha,eta),(gamma,delta)}overline{phi(x_lpha)phi(x_eta)};overline{phi(x_gamma)phi(x_delta)}:Pi_{k
ot=lpha,eta,gamma,delta}phi_i(x_k):+cdots.

Applying this theorem to S-matrix elements, we discover that normal-ordered terms acting on void state give a null contribute to the sum. We conclude that ''m'' is even and only completely contracted terms remain.
:F_m^i(x)=left langle 0 |mathcal Tphi_i(x_1)phi_i(x_2)|0
ight
angle=sum_mathrm{pairs}overline{phi(x_1)phi(x_2)}cdots
overline{phi(x_{m-1})phi(x_m})
:G_p^{(n)}=left langle 0 |mathcal T:v_i(y_1):dots:v_i(y_n):phi_i(x_1)cdots phi_i(x_p)|0
ight
angle
where ''p'' is the number of interaction fields (or, equivalently, the number of interacting particles) and ''n'' is the development order (or the number of vertices of interaction). For example, if v=gy^4 Rightarrow :v_i(y_1):=:phi_i(y_1)phi_i(y_1)phi_i(y_1)phi_i(y_1):
This is analogous to the corresponding theorem in statistics for the moments of a Gaussian distribution.

See also


Feynman diagram.

Bibliography


''The Theory of the Scattering Matrix'' (Barut, 1967).

This article provided by Wikipedia. To edit the contents of this article, click here for original source.

psst.. try this: add to faves