# On the S-Matrix and correlation functions

I'm learning about interactions in QFT. My primary source has been the book "Quantum Field Theory For The Gifted Amateur" by Tom Lancaster. From there I've learned that in QFT one is interested in computing expressions of the form:

$$\left< f \right| \hat{S}\left| i \right>$$

where $$\hat{S}$$ is called the S-Matrix and it represent a sort of time evolution operator.

Now, in the book it is mentioned (on page 177) that in $$\phi^4$$ interaction of a scalar field we are interested in the calculation of:

$$\left< q \right| \hat{S}\left| p \right>$$

The book then proceeds showing how to compute such expressions and representing them using Feynman diagrams.

I attach a screenshot of the relevant screenshot of where this is mentioned:

Now I thought I understood this somewaht, but then I watched Tobias Osborne's lectures on QFT(https://raw.githubusercontent.com/avstjohn/qft/master/QFT.pdf) and in lecture 10 a similar calculation is done but instead the following is identified as the target of the computation:

The calculation that followed in the lecture was somewhat similar to the one in the book, but I don't get what is the difference between those expressions (the book seem to only care about the numerator of the expression in the lectures).

In particular what is the role of the denominator, which is absent in the book, of the expression in the lecture notes? Can someone clarify whether the two point correlation function in the lecture notes and the expression given in the book are related? If so are they the same?

QFT is difficult, unfortunately. Usually in a 1st pass in QFT, one is interested in computing different cross sections $$d\sigma$$. These differential cross sections can be related to the square of the scattering amplitude $$\mathcal M$$. For a scattering event of $$A+B\rightarrow 1\ldots m$$ distinguishable particles in $$n$$ spatial dimensions one has $$d\sigma=\frac{1}{2E_AE_B|v_A-v_B|}\prod_{f=1}^m\frac{d^np_f}{(2\pi)^n2E_f}|\mathcal M(A+B\rightarrow\sum_i p_i)|^2(2\pi)^{n+1}\delta^{(n+1)}(p_A+p_B-\sum_i p_i);$$ see, e.g., Ch. 4 of Peskin and Schroeder.

The scattering amplitude $$\mathcal M$$ is in turn related to the overlap of the asymptotic $$in$$ state $$|p_Ap_B;in\rangle$$ and the asymptotic $$out$$ state $$|p_1\ldots p_m;out\rangle$$, $$i\mathcal M(p_1\ldots p_m; p_Ap_B)(2\pi)^{n+1}\delta^{(n+1)}(p_A+p_B-\sum_ip_i)\equiv\langle p_1\ldots p_m;out|p_Ap_B;in\rangle.$$

One may then compute these asymptotic $$in$$ and $$out$$ states using LSZ reduction. For a theory of scalar fields, one has $$\langle \rho_1\ldots \rho_m;out|\kappa_1\ldots\kappa_\ell;in\rangle = \int d^{n+1} x_1\cdots d^{n+1}x_md^{n+1}y_1\cdots d^{n+1}y_\ell e^{i\sum_i^m\rho_i\cdot x_i}e^{-i\sum_j^\ell \kappa_j\cdot y_j}(i)^{m+\ell}\prod_{i=1}^m(\Box_{x_i}+m_{phys}^2)\prod_{j=1}^\ell(\Box_{y_j}+m_{phys}^2)\langle\Omega|T\{\phi'(x_1)\cdots\phi'(x_m)\phi'(y_1)\cdots\phi'(y_\ell)\}|\Omega\rangle \\ = \prod_{i=1}^m \frac{\rho_i^2-m_{phys}^2}{i}\prod_{j=1}^\ell\frac{\kappa_j^2-m_{phys}^2}{i}\tilde G'(\rho_1\ldots\rho_m;-\kappa_1\ldots -\kappa_\ell),$$ where $$\tilde G'(\rho_1\ldots\rho_m;-\kappa_1\ldots -\kappa_\ell)\equiv\int d^{n+1} x_1\cdots d^{n+1}x_md^{n+1}y_1\cdots d^{n+1}y_\ell e^{i\sum_i^m\rho_i\cdot x_i}e^{-i\sum_j^\ell \kappa_j\cdot y_j}G'(x_1\ldots x_m,y_1\ldots y_\ell)$$ is the Fourer transform of the $$n+m$$-point "renormalized" Green function $$G'(x_1\ldots x_m,y_1\ldots y_\ell)\equiv\langle\Omega|T\{\phi'(x_1)\cdots\phi'(x_m)\phi'(y_1)\cdots\phi'(y_\ell)\}|\Omega\rangle.$$ I've put renormalized in quotes because the field $$\phi'$$ is renormalized, but may not necessarily coincide with the renormalization choice taken. In particular, $$\phi'$$ must satisfy 1) $$\langle\Omega|\phi'(x)|\Omega\rangle=0$$; i.e. there's no vacuum expectation value (VEV) for $$\phi'$$ (no tadpole diagrams) and 2) $$\langle\kappa|\phi'(x)|\Omega\rangle = e^{i\kappa\cdot x}$$; i.e. $$\kappa$$ corresponds to our usual notion of a normalized plane wave. See, e.g., Coleman's Harvard Lecture Notes (free on the arXiv!) or Itzykson and Zuber.

One of the major points of LSZ above is that interacting fields are very complicated; even the interacting vacuum, $$|\Omega\rangle$$, is very complicated and should be distinguished form the free field vacuum $$|0\rangle$$. The free field vacuum is empty, but the interacting vacuum has particle--anti-particle pairs popping in and out of existence all the time. For tree level processes, which you're probably interested in at this point, things simplify considerably because one doesn't need to worry about renormalization, which only kicks in once there are loops.

Now one needs to compute the nasty $$n+m$$-point GF that's made up of horrific fully interacting fields in the Heisenberg Picture. The next and final trick is to use the Gell-Mann--Low theorem (see again Ch. 4 of Peskin). The GM-L theorem allows one to see that a Heisenberg Picture operator matrix element may be expressed in terms of Interaction Picture operator matrix elements via $$\langle\Omega|\phi_H(x)|\Omega\rangle = \lim_{T\rightarrow\infty(1-i\epsilon)}\frac{\langle0|T\{\phi_I(x)e^{-i\int_{-T}^Tdt'H_I(t')}\}|0\rangle}{\langle0|T\{e^{-i\int_{-T}^Tdt'H_I(t')}\}|0\rangle}.$$ Mercifully we can evaluate the expression on the RHS since all the fields are in the Interaction Picture and we may expand the time ordered exponential into a Dyson Series. This last expression is what I believe you're seeing in the lecture notes.

• Thanks a lot for your detailed answer, I will try to read Peskin when I get the chance. So the expression calculated in the lectures is more "correct"? In the book it seems that calculation only involves the numerator of the expression you wrote, neglecting the denominator Apr 16, 2021 at 7:16
• As I said, QFT is really hard. So most resources skip over at least some details. Even Weinberg is a little hand wave-y in the connection to cross sections, and he's so detailed he's basically impossible to read until you've more or less understood field theory. Peskin is a big favorite, but the danger with Peskin is that you leave reading the book thinking you understand things, but you really don't. Sterman is more rigorous than Peskin, but is quite a difficult read, especially if it's your first time with QFT. Kaku is supposed to be good for building up an intuition, but I never liked him. Apr 16, 2021 at 11:25
• So, yes, Lancaster skipped over quite a lot (without warning you), leading to your confusion. The denominator is really important! See, e.g., Peskin Ch 4 and the cancellation of all the vacuum bubbles. Apr 16, 2021 at 11:27
• ok thanks, yes in the lectures by Tobias Osborne the cancellation of the vacuum bubbles was indeed shown. I think I will keep reading Lancaster atm and then when finished with it move to Peskin and Schroder. Apr 16, 2021 at 11:46