selfAdjoint said:
Heh heh! chemistryknight's title of this thread was right. His question is truly not so easy to answer!
Question: apart from visual sensation, is QED capable of answering the question about ultra-short pulses of light? Or is this phenomenon beyond the reach of valid perturbation analysis? Or can we set up a series of Feynman diagrams featuring just ONE photon in and out which will superpose different wave states on it?
I thought it was very simple to describe this in QED (quantum optics, if you like).
Consider fock space:
we have:
1) a vacuum state |0>
2) single photon, pure momentum states: |k>
3) two-photon states |k1,k2>
...
This is the difference with nonrelativistic QM:
you only have line 2) because there's no creation or destruction.
If we talk about "single photons" we limit ourselves to the subspace spanned by the states in 2).
A single-photon "localized" state would then be exactly like a "localized" position state in NR QM: |x> = integral dk exp(i k x) |k>
(ok, the normalization is different in QED but let's forget all these details)
I honestly don't see why nobody complains about such a momentum superposition in NRQM, and why it is a problem in QED.
But the link with classical EM is a bit more subtle. Classical EM waves are indeed no single-photon states (but can approach them - except for one detail - in the low-intensity limit), but "coherent states".
Pure harmonic, classical EM waves are described in QED by a superposition of states with different numbers of photons, but with all the same momentum:
|EM harm wave> = Sum_n alpha^n/n! |k,...k>
where |k...k> is an n-photon state, with all of them momentum k.
(if I'm not mistaking).
Alpha is the complex amplitude of the EM harmonic wave.
So if we now consider an EM wave which has a non-trivial Fourier decomposition g(k), this is represented in QED by:
|EM "g(k)" field> = Integral dk |EM harm wave (k) with alpha = g(k)>
If the amplitude is low (low intensity) we can neglect the 2-photon and higher order n-photon states, and our state is essentially:
|0> + Integral dk g(k) |k> + O( g^2)
So it is |0> + |white single photon> + peanuts.
where |white single photon> = Integral dk g(k) |k>, for instance |x>, in the case of an ultrashort pulse (at given t, we know where it is, IF it is there).
The difference is a big contribution of the vacuum state: most of the time, in an attenuated beam, we don't have anything, and "single photons" are rare.
There is a way to make *pure* single-photon states, and that is by entangling them with something else (another photon): upon detection of that other photon, we then know that there is ONE photon (and not ZERO photon) in the other branch.
cheers,
patrick.