Perturbative Expansion of Correlation Functions
Explains the perturbative expansion of correlation functions.
Reference: (Peskin & Schroeder, 1995)
Unlike free field theories, no exactly solvable nonlinear interacting field theories are known in more than two dimensions. Therefore, we generally have to rely on perturbation theory. Thus, we want to be able to compute perturbative series easily. Ultimately, we aim to calculate observables, but first, we must consider the perturbative expansion of correlation functions. To achieve this, we need to rewrite the correlation functions into a form suitable for a perturbative expansion. Here, we provide an explanation within the context of canonical quantization.
If we understand how to rewrite the 2-point correlation function, the approach for the n-point correlation function is easy to deduce. Therefore, below we explain the rewriting for the 2-point correlation function:
⟨Ω∣TϕH(x)ϕH(y)∣Ω⟩
Here, ∣Ω⟩ is the ground state of the interacting field theory. Note that this ground state differs from the ground state ∣0⟩ of the free field theory. In addition, ϕH is the field in the Heisenberg picture, which we will simply denote as ϕ below.
Our goal is to express the 2-point correlation function as a power series in λ, given a Hamiltonian such as:
H=H0+Hint,Hint=∫d3x4!λϕ4
The effect of Hint appears in the following two parts of the 2-point correlation function:
- The definition of the Heisenberg field: ϕ(x)=eiHtϕ(x)e−iHt
- The definition of the ground state: H∣Ω⟩=0
Thus, if we can express these two parts in the language of free field theory, we can express the 2-point correlation function entirely in the language of free field theory. This is specifically what we aim to do.
Rewriting the Heisenberg Field
Consider the time evolution of a field at a certain time t0 under H:
ϕ(t,x)=eiH(t−t0)ϕ(t0,x)e−iH(t−t0)
If λ is small, we can assume that the time evolution of the field is dominated by H0, which is expected to form the core of the perturbative expansion. Therefore, we define:
ϕI(t,x):=ϕ(t,x)∣λ=0=eiH0(t−t0)ϕ(t0,x)e−iH0(t−t0)
We call this the field in the interaction picture. This is a free field. Its relationship with the original field ϕ is given by:
ϕ(t,x)=U†(t,t0)ϕI(t,x)U(t,t0),U(t,t0):=eiH0(t−t0)e−iH(t−t0)(1)
where U(t,t0) satisfies the differential equation:
idtdU(t,t0)=HI(t)U(t,t0),U(t0,t0)=1
This precisely corresponds to the time evolution operator of the interacting field. The solution to this differential equation can formally be written as:
U(t,t0)=Texp(−i∫t0tdt′HI(t′))
This is known as Dyson’s formula. Using this and equation (1), we successfully rewrote the original field ϕ in terms of the free field ϕI.
Rewriting the Ground State
Consider the time evolution of the free field theory ground state ∣0⟩ under H:
e−iHT∣0⟩=n∑e−iEnT∣n⟩⟨n∣0⟩
Here, ∣n⟩ are the unknown eigenstates of H, and En are its unknown energy eigenvalues.
Assuming ⟨Ω∣0⟩=0, since E0<En, the n=0 term becomes dominant in the limit T→∞(1−iϵ). Therefore:
∣Ω⟩=T→∞(1−iϵ)lim(e−iE0T⟨Ω∣0⟩)−1e−iHT∣0⟩
In this limit, we can shift the value of T by a finite amount, yielding:
∣Ω⟩=T→∞(1−iϵ)lim(e−iE0(t0−(−T))⟨Ω∣0⟩)−1U(t0,−T)∣0⟩
Thus, excluding an overall normalization factor, we successfully rewrote the ground state ∣Ω⟩ in terms of free field theory.
Rewriting the Correlation Function
Combining the above steps, for x0>y0, we get:
⟨Ω∣Tϕ(x)ϕ(y)∣Ω⟩=T→∞(1−iϵ)lim(∣⟨0∣Ω⟩∣2e−iE0(2T))−1⟨0∣U(T,x0)ϕI(x)U(x0,y0)ϕI(y)U(y0,−T)∣0⟩
Dividing the right-hand side by the normalization condition:
1=⟨Ω∣Ω⟩=T→∞(1−iϵ)lim(∣⟨0∣Ω⟩∣2e−iE0(2T))−1⟨0∣U(T,−T)∣0⟩
allows us to express the correlation function purely in the language of free field theory. This reasoning holds equally well for x0<y0. In summary, we have:
⟨Ω∣Tϕ(x)ϕ(y)∣Ω⟩=T→∞(1−iϵ)lim⟨0∣Texp[−i∫−TTdt HI(t)]∣0⟩⟨0∣TϕI(x)ϕI(y)exp[−i∫−TTdt HI(t)]∣0⟩
For n-point functions, we simply add more ϕI fields. We are now in a position to perform a series expansion in λ up to any necessary order.
References
Peskin, M. E., & Schroeder, D. V. (1995). An Introduction to quantum field theory. Addison-Wesley.