[Physics] What’s the meaning of the Feynman propagator for the driven quantum harmonic oscillator

greens-functionsharmonic-oscillatorpropagatorquantum mechanicsquantum-field-theory

Consider a quantum harmonic oscillator that is driven for a finite time by a force $J(t)$, and work entirely in Heisenberg picture. Then we may define the 'in' and 'out' vacua
$$|0_{\text{in}} \rangle, \quad |0_{\text{out}} \rangle$$
to be the ground states of the Hamiltonian at early and late times. In Schrodinger picture, the 'in' vacuum corresponds to a state in the usual QHO ground state before the driving starts, while the 'out' vacuum corresponds to a state that ends up in that state when the driving ends.

In Mukhanov and Winitzki's book the retarded Green's function is defined as a matrix element between 'in' states,
$$\langle 0_{\text{in}} | \hat{q}(t) | 0_{\text{in}}\rangle = \int J(t') G_{\text{ret}}(t, t') \, dt', \quad G_{\text{ret}}(t, t') = \frac{\sin \omega(t – t')}{\omega} \theta(t – t').$$
This makes perfect sense thinking semiclassically, as $\langle \hat{q}(t) \rangle$ is just the average position of the particle, given that it was at rest in the far past; that's basically the definition of what a retarded propagator is. Similarly, one can define the advanced propagator using $|0_{\text{out}}\rangle$.

Finally, Mukhanov and Winitzki define the Feynman propagator by
$$\langle 0_{\text{out}} | \hat{q}(t) | 0_{\text{in}}\rangle \propto \int J(t') G_{F}(t, t') \, dt'.$$
Now, I've been searching for an intuitive understanding of the Feynman propagator for years. Typical explanations in quantum field theory speak of "negative energy solutions" and antiparticles (e.g. here) which I've always been confused about, since they don't exist in ordinary quantum mechanics (as I asked here). But above we have a Feynman propagator for an exceptionally simple non-QFT system! So if there's an intuitive explanation at all it'll be right here, but I can't quite see what the matrix element means physically.

I have two questions: first, how is this equivalent to the usual definition of the Feynman propagator, involving a particular contour choice? Second, are there intuitive words one can drape around this definition? Does it provide any additional physical insight?

Best Answer

You've motivated me to read the nice development in Mukhanov and think a little about this issue. Here is how I rationalized it to myself:

First, how is this equivalent to the usual definition of the Feynman propagator, involving a particular contour choice?

I think you should consider the fundamental definition of the Feynman propagator not as a propagator with a particular contour choice, but as an propagator that is symmetric under exchange of spacetime coordinates. In this zero-dimensional context, that means exchange of $t$ and $t'$. In QFT language this leads to a structure like:

$$ -i \langle 0 | \Theta(t-t')\psi(t)\psi(t')+ \Theta(t'-t)\psi(t')\psi(t)|0\rangle $$ While in the driven oscillator case the form is: $$\frac{i}{2\omega} \left(e^{-i\omega(t-t')}\Theta(t-t')+e^{-i\omega(t'-t)}\Theta(t'-t)\right)$$

In either case, you can Fourier transform this and get something with one pole above and one pole below the complex $\omega$ plane, from the two Heaviside functions. But since we are supposed to be looking for a physical intuition, I suggest you think of this as a consequence of demanding that the propagator be symmetric under exchange of times.

Second, are there intuitive words one can drape around this definition? Does it provide any additional physical insight?

As far as a physical interpretation, I think you will just have to accept that the interpretation isn't going to be as straightforward in the case of the Feynman propagator as it is for the retarded propagator. Your question already sets up why this is the case: one is an expectation value, which is something that appears classically and that we have a natural feel for, while the other is an off-diagonal matrix element. The good news is that by this point in our study of quantum mechanics, we've both seen enough of these to have some sense of what they mean. For example, an amplitude of the form $\langle 0_{out}|\hat{q} |0_{in}\rangle$ is well-known in atomic physics as the dipole operator. Roughly speaking, it represents the degree to which the states $|0_{out}\rangle$ and $|0_{in}\rangle$ are coupled by the operator $J \hat{q}$. Summarizing, then, the best interpretation I can offer for the Feynman propagator in this situation is that it is the object which tells you, for a given transient current, the extent to which the resulting output state is coupled to the initial state. So it is a particular, and calculationally important, way of characterizing how much the states were changed by the driving force. Since it is not itself an observable, it is not clear to me that a more intuitive description should exist or what it might entail.