Home Page Overview Site Map Index Appendix Illustration About Contact Update FAQ

Quantum Field Theory

Perturbation Theory and S Matrix

It is not possible to obtain an analytical solution for the field equation with the field itself in the interaction term. A perturbation theory was developed to obtain approximate solutions step by step.

For example, the interaction between a charged fermion and the photon can be expressed in the form HI = , where A is the electromagnetic vector potential and is the 4 components spinor separated into 2 parts (in Dirac representation, and together form a 4-components field for either the fermion or anti-fermion; while in chiral representation they stand for the left-handed and right-handed fermions called Weyl spinors). In term of the Green's function (with (y) replaced by the interaction term, replacing , and G defined by Eq.(9a)), the function now appears on both sides in Eq.(8). The equation can be solved by an iteration procedure yielding a sum of integrals as shown in the formula below:
Perturbation Theory ---------- (10)
In this form the unknown field on the left hand side is now expressed in terms of all known quantities on the right hand side. The free field solution is denoted by 0, and the integration is over all the space-time x', x'', x''', ... Note that each of the following term is multiplied by the power of e, from e1, to e2, ... Since e2=1/137 for the electromagnetic interaction, computation on a few terms would be sufficient to obtain a result with acceptable accuracy.

Another formulism is the S-matrix. It is the transition amplitude expressed in a series as the result of the iteration procedure on the transition operator, which transforms the system from an initial state (at negative infinity time) to a final state (at positive infinity time). Derivation of the formula starts with the time evolution of an unitary operator U(t0,t0) = 1
S Matrix
In this picture the fields obey the free field equations, the interaction enters via HI (with integration over all space). The green's function and S-matrix formulations are equivalent since the transition probability amplitude f(t)|i(t) in the former case is the same as f|S|i = f|S|i in each term of the expansion. The difference in appearance is due to different representation on placement of the time dependent Hamiltonian HI. While the Green's formulation follows the Schrodinger picture with time residing in the wave function; the time-dependence part is within the S-matrix operator itself by adopting the Heisenberg picture. The difference is readily apparent by considering the source and interacting Hamiltonian to be independent of time, e.g., equals to H. By equating the ti's to t, and performing a time-order re-arrangement, it can be shown that Eq.(10) becomes (t) = e-iH(t-t0)(t0), while Eq.(11) turns into S = e-iH(t-t0).

The S-matrix elements Sfi = f|S|i of the expansion are taken between the initial state (i) at t0 = - and the final state (f) state at tn = +. Usually, one initial state can produce one or more final states as shown in Figure 01g, where three different initial states are taken as examples - namely, the electron positron scattering, the Compton scattering and the deep inelastic scattering. Each of this process produces many final states, but only a few have been shown just for illustration purpose. The Sfi is a complex number in general. It is called probability amplitude and is related to the probability of going from the i to f states. It has to satisfy the unitary condition, i.e., f S*fiSfi = 1, which guarantees that
S-matrix align= probability is conserved in the process. Such relationship indicates that the matrix Sfi has an inverse, which in turn implies that it is possible to return to the initial state from the final state at least in principle although the probability is almost zero in practice so that the second law of thermodynamics is "almost" never violated. This property is also related to the conservation of information, which caused so much trouble for Stephen Hawking.

Figure 01g S-Matrix
[view large image]

Note: For example in the electron positron scattering process, there are three possible finally states as illustrated in Figure 01g. The sum of the probabilities for each one of these has to be: S*11S11 + S*21S21 + S*31S31 = 1 to insure that the final state is in one of the three possibilities.

Now let us take the nucleon-pion system as an example of S-matrix application:
Field Eqs. ---------- (12)
---------- (13)

where Eq.(12) is the free field equation for the pion, and Eq.(13) is the free field equation for the nucleon (the Dirac equation). Expressing in terms of the field itself, it can be shown that the quantization rules in Eq.(4) become:
---------- (14)
where {a,b} = ab + ba is the anticommunition expression, and the quantities on the right-hand side are the Green's functions for the pion and nucleon respectively (see Eqs.(9a) and (9b)), and also referred to as propagator. Since the interaction HI = go the nth order term in the S-matrix expansion Eq.(11) has the explicit form:
---------- (15)
where the integration runs from - to + over all space-time, N is the normal-order operator, which shifts all the creation operators to the left (to bypass the infinite vacuum energy), while T is the time-order operator, which re-arranges the fields so that the one associated with later time is on the left (to make sure a particle is created before its annihilation). The T product can be expanded into the N products and pairings, e.g.,

If the coupling constant g0 is a small number less than 1, the successive higher terms would be getting even smaller as the proportional constant is in the form of (g0)n. Therefore the perturbation series can be terminated up to certain term depending on the requirement of accuracy.

It was thought that since we cannot measure the fields directly, so we should not talk about it, while we do measure S-matrix elements, so this is what we should be mindful about. Essentially, the stringent requirements of conservation of probability, analyticity, various invariences and symmetries, ... are considered to be sufficient to determine the S matrix uniquely in a form that is in agreement with some experiments, e.g., the pion-nucleon scattering amplitude. Such methodology would bypass the tedious renormalization process at higher order involving hundreds of Feynman diagrams. This alternate method is called S-matrix Theory, which was very popular in the 1960's. It is now realized that analyzing the S-matrix alone is not sufficient, information on the quantum fields is also necessary. The followings provide just a short glance on a part of its formulation, which has considerable ramifications into the Theory of String.

The S-Matrix Theory (see its modern incarnation in Unitarity Method) was a failed attempt to understand the strong interaction from a macroscopic point of view. Its part on "duality" is said to provide a base for the development of the "Theory of String", which is equally unsuccessful so far (as of 2016) without any experimental support. Anyway, not much was known about the strong interaction in the 1960's. Scattering between hadrons was the main tool to study the force. There were two kinds of such process known as the s- and t-channels.
Scattering Channels Regge Trajectory The s-channel corresponds to two incoming particles with 4-momenta p1 and p2, which combine into an intermediate (virtual) particle with real mass and finally emerge as two outgoing particles with 4-momenta p3 and p4 (Figure 01h,a). Mathematically,
s = (p1 + p2)2 = (p3 + p4)2 = 4E2, where we assume they all have energy E to simplify the formula. In t-channel, particle with p1 emits virtual particle with imaginary mass, which is absorbed by p2. They depart with p3 and p4 respectively (Figure 01h,b). Thus,
t = (p1 - p3)2 = (p4 - p2)2 = 2E2(1 - cos), where is the angle between

Figure 01h Scattering Channels
[view large image]

Figure 01i Regge Trajectory [view large image]

p1 and p3. There is an additional u-channel with the role of particles 3, 4 interchanged. Together they form an identity : s + t + u = i=1,4 mi2.

The scattering amplitude for a simple t-channel interaction is A(s,t) ~ -g2/(t - m2) as shown by the nucleon-nucleon scattering according to the prescription associated with the Feynman diagram, where g is the coupling constant and m the mass of the intermediate particle. A similar expression is applicable for the s-channel A(t,s) ~ -g2/(s - m2). This form of scattering amplitude (for intermediate particle spin J < 1) is well behave as it vanishes for s or |t| . As shown by QED, it has a logarithmic divergence for J = 1, and becomes nasty unrenormalizable divergence for J > 1 (e.g., for the case of graviton).

Experiments during that period uncovered a huge number of resonances (particles with very short life-time < 10-23 sec). They have high spin quantum number and show regularity known as Regge trajectory : = (0) + ' s, where = J whenever s = m2 and ' ~ 1/(Gev)2 is the Regge slope (Figure 01i).

Hadron Scattering For scalar particles at high energy the scattering amplitude can be generalized to :
A(s,t) = -J gJ2(s)J/(t - mJ2) for the t-channel, and similarly
A(t,s) = -J gJ2(t)J/(s - mJ2) for the s-channel.
The finite summation in these formulas yields values way above the experimental data (Figure 01j). Then it was suggested that an infinite sum may offer a more acceptable result. At about the same time, there were hints that the scattering amplitudes from the two different channels may be equal to each other, i.e., A(s,t) ~ A(t,s), which is now known as the "duality" hypothesis.

Figure 01j Hadron Scattering [view large image]

Gamma Function Then a scattering amplitude (known as the Veneziano Amplitude) that satisfies all the stringent requirements of the S-matrix Theory (except the unitarity but including the duality) was discovered in 1968 :

Figure 01k Gamma Function [view large image]

Some comments on the Veneziano amplitude :
Euler Beta Function
  • Duality between the s and t channels is obvious from the expression in terms of the Gamma Function (Figure 01k). The Regge trajectory emerges from the poles in the series expansion of the Euler beta function (Figure 01l), each one of them yields a resonance with m2 = [n - (0)]/', where n is identified to the spin quantum number J. For example, in the case of ' = 1 and (0) = 2, the graviton would appear with n = J = 2, and m2 = 0; while it would be a tachyon with n = J = 1 and m2 = -1.
  • The asymptotic behavior can be considered as an average of all the zeros and poles resulting in a fictitious particle with Jeff = (teff), where teff - is off the mass-shell. Thus, the high energy behavior of this dual models can be much softer than that of any field theory.

Figure 01l Euler Beta Function [view large image]

  • On the other hand, the differential cross-section also falls off exponentially with s. However, despite such desirable features, it soon became obsolete as experimental data favor the Quantum Chromo-Dynamics (QCD) model for the correct theory of strong interaction.

  • This strange episode in the annals of theoretical physics shows that beauty in mathematics does not guarantee a correspondence in the real world as suggested by some physicists (see for example, "A Beautiful Question", also an article about the history of "Gabriele Veneziano, Strong Nuclear Force and Beta-function").

    Go to Next Section
     or to Top of Page to Select
     or to Main Menu