Resonant scattering

▼ Category:8.422

► Category:Quantum Light

► Category:Optical Bloch Equations

► Category:Bose-Einstein condensates

► Category:Ion traps and quantum information

► Category:Light forces

► Category:Photon-atom interactions

  Introduction to Atomic Physics

  Quantum light: states and dynamics

  Optical Bloch equations

  Photon-atom interactions

  Frontiers in Atomic Physics

  Ion traps and quantum information

  Quantum gases

There are several important reasons to consider resonant scattering. Resonant scattering is when we have the strongest scattering rate, and as a result, the most sensitive fluorescence detection or the maximum spontaneous light force. However, when you are on resonance, there is a divergence which cannot be treated by perturbation theory. Nevertheless, there are ways to still apply diagrams to derive what happens. We will see that we have to sum up an infinite number of diagrams. Therefore, the problem of resonant scattering is also an excellent non-trivial example to illustrate the diagrammatic approach. At the end of our discussion, we will find the familiar result of the natural linewidth and spontaneous emission, but this time, it is derived from first principles and not in a phenomenological way, as in many textbooks.

The need for non-perturbative expansion in resonant scattering

So far, we have discussed time perturbation theory, and obtained the T matrix element $T_{fi}$ which connects initial and final states. To second order, this result is nothing more than Fermi's golden rule. The result we obtained is

${\begin{array}{rcl}{\mathcal {T}}_{fi}={\langle }\phi _{f}|V{\frac {1}{E_{i}-H_{0}}}V|\phi _{i}{\rangle }\,.\end{array}}$

We can then replace the energy denominator by an expansion

${\frac {1}{E_{i}-H_{0}}}=\sum _{k}|\phi _{k}\rangle {\frac {1}{E_{i}-E_{k}}}{\langle }\phi _{k}|\,.$

Resonant scattering arises when photons are scattered off atoms, and the photon energy is close to the energy difference between ground and excited state of the atom:

Let $\hbar \omega \approx E_{b}-E_{a}$, and consider a photon of wavevector $k$ and polarization $\epsilon$. The $T$ matrix for this process is, assuming that there is only one relevant intermediate state, $b$,

${\begin{aligned}T&=\langle a,k',\epsilon '|H_{I}{\frac {1}{E_{a}+\hbar \omega -H_{0}}}H_{I}|a,k,\epsilon {\rangle }\\&={\frac {\langle a,k',\epsilon '|H_{I}|b,0\rangle \langle b,0|H_{I}|a,k,\epsilon {\rangle }}{\hbar \omega +E_{a}-E_{b}}}\,.\end{aligned}}$

What does this expression mean in diagrammatic language? It means that the atom is taken to state $b$, after absorbing a photon, then after emitting the photon it goes back to state $a$, the ground state. Physically, since the intermediate state is close to the actual excited state $b$, we may consider replacing $H_{0}$ with $H$ in the above term. Diagrammatically, this means that the atom, after absorbing a photon, is propagating not in the unperturbed state $b$ (eigenstate of $H_{0}$), but in a state, which is an eigenstate of $H$. As we will see later, the main result of this is that the divergence in the denominator is cut off by an additional imaginary term,

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\begin{aligned}T&=\langle a,k',\epsilon '|H_{I}{\frac {1}{E_{a}+\hbar \omega -H_{0}}}H_{I}|a,k,\epsilon {\rangle }\\&={\frac {\langle a,k',\epsilon '|H_{I}|b,0\rangle \langle b,0|H_{I}|a,k,\epsilon {\rangle }}{\hbar \omega +E_{a}-E_{b}+i\hbar (\Gamma /2)}}\,.\end{aligned}}}

Many textbooks introduce this result phenomenologically. Let us analyze what is means. For this, we expand the energy denominator into powers of $\Gamma$, obtaining

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\frac {1}{\hbar \omega +E_{a}-E_{b}+i\hbar (\Gamma /2)}}={\frac {1}{\hbar }}\sum _{n=0}^{\infty }(-1)^{n}{\frac {(i\Gamma /2)^{n}}{(\omega -\omega _{0})^{n+1}}}}

Because this is an infinite sum, physically it means that the addition of damping, the $\Gamma$ term, results in an infinite order of interactions $H_{I}$ and is thus non-perturbative in nature (Note that $\Gamma$, in lowest order approximation, is quadratic in the interaction operator).

Let us now do this derivation carefully and rigorously. We follow API pages 167-174 and 180-189. There are two parts.

Evolution operator and resolvent

We have obtained the following exact expression for the time evolution operator from time Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle t'} to $t$ is

${\begin{array}{rcl}U(t,t')=U_{0}(t,t')+{\frac {1}{i\hbar }}\int _{t'}^{t}dt_{1}U_{0}(t,t_{1})VU(t_{1},t')\end{array}}$

This equation is equivalent to the Schrödinger equation. In perturbation theory, is is solved iteratively. To go beyond perturbative expansions, we need to start from this expression and manipulate it.

To cast this expression into a more tractable form we can seek to remove the integrals, by working in the Fourier space. The convolution of two functions, in Fourier space, is the product of the Fourier transforms. This would be useful if the integral were a convolution, but it is not, at least as presented.

A convolution integral must integrate over range Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \pm \infty } , but the above does not have this form. This can be circumventd by not discussing the time evolution operator Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle U(t,t')} , but rather, a kind of Green's function,

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\begin{array}{rcl}K(t,t')=U(t,t')\Theta (t-t')\,,\end{array}}}

and similarly for $K_{0}$ and $U_{0}$, where $\Theta$ is the Heaviside step function. This allows us to write

$K(t,t')=K_{0}(t,t')+{\frac {1}{i\hbar }}\int _{-\infty }^{\infty }dtK_{0}VK\,.$

Because $K$ satisfies a differential equation similar to the Schrödinger equation but with some delta functions in time, $K$ is referred to as being the retarded Green's function.

Now take the Fourier transform. Let $G(E)$ be the Fourier transform of $K$,

${\begin{aligned}G(E)&={\frac {1}{i\hbar }}\int _{-\infty }^{\infty }d\tau e^{iE\tau /\hbar }K(\tau )\\&={\frac {1}{E-H+i\eta }}\,,\end{aligned}}$

where $\eta$ is an infinitesimal number introduced to be able to do a contour integration later. This now allows us to turn the integral equation into an algebraic equation,

$G(E)=G_{0}(E)+G_{0}(E)VG(E)\,.$

Define

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle G(z)={\frac {1}{z-H}}\,,}

where $z$ is a complex number, thus extending $G$ into the complex plane. This is called a resolvent. Note that the resolvent is directly connected with the time evolution operator through the contour integral

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle U(\tau )={\frac {1}{i2\pi }}\oint dze^{iz\tau /\hbar }G(z)\,.}

Such integrals are often evaluated using the method of residues.

Iterative solution

Let us seek an iterative solution to the algebraic equation we have in hand. This is, for example,

$G=G_{0}+G_{0}VG_{0}+G_{0}VG_{0}VG(E)$

for two iterative steps. This looks and smells like a geometric series, but in order to take advantage of this, we must go from operators to numbers. This can be done by writing the operator equation in terms of eigenfunctions of $H_{0}$, with energy $E_{k}$ and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle E_{l}} . Now, the matrix element of the resolvent is, in this basis,

$G_{kl}={\frac {1}{z-E_{k}}}\delta _{kl}+{\frac {1}{z-E_{k}}}V_{kl}{\frac {1}{z-E_{l}}}+\cdots \,.$

This is exact, but so general that we must now decide what we'll do with it (or what approximations to apply).

Effect of vacuum interaction on the excited state

Let us focus on one discrete state, Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle |\phi _{b}{\rangle }} of $H_{0}$ with energy $E_{b}$. We are interested in the physics of one state of an atom, $b$ (the excited state), interacting with the vacuum, and want to obtain a non-perturbative solution. Thus we seek $G_{bb}$ which is related to the time-evolution operator for an atom in state Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle |\phi _{b}{\rangle }} . The expansion involved will have energy denominators which diverge when $z=E_{b}$. Recall that $z$ is the complex extension of energy $E$. So let us take all such terms, which diverge as $E$ approches $E_{b}$, and see if we can pull out all the divergent terms, leaving the expression for the resolvent still exact. After all, we know the system has a resonance, so we seek to pull out the terms describing the resonance, leaving a remainder which describes the effects of the interaction with the vacuum, but does not diverge any more and is therefore tractable.

Approximate solution

We want to use a diagrammatic representation of the divergent terms. Let us use a symbolic notation for the expansion of the resolvent in the energy basis. Let a solid line represent free propagation in state $b$ (which diverges), and a dotted line represent propagation in states other than $b$ (which do not diverge). Let a circle represent $V$.

Consider now the diagrams representing all the terms which contain ${\frac {1}{z-E_{b}}}$ twice:

Let us introduce a square box $\Box$ to represent all such terms, that is, all terms, to infinite order, which do not allow the system to go back to the state $b$. Analytically,

$\Box =R_{b}(z)=V_{bb}+\sum _{i\neq b}V_{bi}{\frac {1}{z-E_{i}}}V_{ib}+\cdots$

So far, we've isolated all terms with two occurences of the diverging energy denominator. In a similar manner, all terms with $n$ occurances can be identified as well. For $n=3$, for example, a single return to the state $b$ is allowed in the intermediate states. Therefore, the contribution of all the terms which have three divergent denominators to $G_{bb}(z)$ is

${\frac {1}{(z-E_{b})^{3}}}\left[{R_{b}(z)}\right]^{2}\,.$

Generalizing this, we have now found that

${\begin{aligned}G_{bb}(z)&={\frac {1}{z-E_{b}}}\sum _{n=0}^{\infty }\left[{\frac {R_{b}(z)}{(z-E_{b})}}\right]^{n}\\&={\frac {1}{z-E_{b}-R_{b}(z)}}\,,\end{aligned}}$

because the first equality is a geometric series. This is an exact result. Note that all the complexity now has been moved into the kernel $R_{b}(z)$, but this term now has no divergences.

The importance of this result is that:

• The resonant structure of $G_{bb}(z)$ is explicitly accounted for
• $R_{b}(z)$ has no divergences near $z\approx E_{b}$
• Simple approximations to $R_{b}(z)$ are possible and correspond to an infinite number of terms in a perturbative expansion.

The expression for $R_{b}(z)$,

contained the original interaction, the second order expression, and higher order expressions. The exact time propagation was given by:

the free propagator, propagation through $\Box$ once, twice, and so on. $\Box$ is the kernel. Now, we want to make an approximation. We know that $R_{b}(z)$ is well behaved, so we can cut off the series at the second order. Denote such an approximation by the symbol $\triangle$. The full expression using this still involves an infinite series of diagrams, but we have replaced $\Box$ by $\triangle$:

Application to excited state shift and decay

Let us apply this formulation to an excited atomic state, $|\phi _{b}{\rangle }$, which is, more specifically, $|b,0{\rangle }$, the excited atomic state and no photon. With this diagramatic approach, we calculate $G_{bb}(z)$, the matrix element of $G(z)$ with state $|b{\rangle }$. Then, through a contour integration, we obtain the time evolution of the state $|b{\rangle }$,

$U_{b}(\tau )=\langle b,0|U(\tau )|b,0{\rangle }\,,$

which is the time evolution of the atom in its excited state.

The resolvant $G_{bb}(z)$ is

$G_{b}(z)+{\frac {1}{z-E_{0}-R_{b}(z)}}$

inserting the second order approximation ${\hat {R}}_{b}(z)$ for $R_{b}(z)$, which considers only two atom light interaction vertices:

we obtain the physics due to an atom emitting a photon once and re-absorbing. Thus, we approximate the exact solution for $G_{bb}(z)$ by:

This neglects some higher order interactions; specifically, we neglect all processes where we have several (i.e. more than one) intermediate states, between two states which are both $|b,0{\rangle }$. For example, we neglect diagrams such as

In other words, we have a two-level system, and there is one discrete state with energy $E_{b}$. Whenever the atom absorbs the photon and re-absorbs it, we approximate that it goes back to the state with energy $E_{b}$. Other processes, we drop because they (intermittently) violate energy conservation more than these leading-order processes.

Mathematically, this gives us

${\begin{aligned}{\hat {R}}_{b}(E)&=\sum _{a}\sum _{k\epsilon }{\frac {\langle a,k,\epsilon |H_{I}|b,0{\rangle }}{E-E_{a}-\hbar \omega }}\\&=\hbar \Delta _{b}(E)-i\hbar {\frac {\Gamma _{b}(E)}{2}}\,.\end{aligned}}$

Now we do one more approximation. Recall that we chose this approach because ${\hat {R}}_{b}(E)$ has no pole around $E_{b}$. So we can now evaluate this expression at the energy $E=E_{b}$. This gives us an expression for the resolvant,

$G_{bb}(E)={\frac {1}{E-E_{b}-\hbar \Delta _{b}+i{\frac {\hbar }{2}}\Gamma _{b}}}\,.$

Doing the backwards Fourier transform (contour integral) to relate this back to the time-evolution operator, we get

$U_{b}(\tau )=e^{-i(E_{b}+\hbar \Delta _{b})\tau /\hbar }e^{-\Gamma _{b}|\tau |/2}\,,$

where the $\Delta _{b}$ is now identified as the radiative energy shift (analogous to the Lamb shift), and the imaginary part gives rise to an exponential decay at rate $\Gamma _{b}$.

Discussion: Relation to the optical Bloch equations

When we neglected the energy dependence of the decay $\Gamma$ and the radiative shift $\Delta$, this corresponds to assuming a delta function approximation in time. That is the Markov approximation which we have seen previously in the context of the optical Bloch equation. In other words, the vacuum is acting as a reservoir, which is memoryless, to the extent of the approximations used here.

Note, however, that if we had truncated the infinite perturbation series at some order, we would have obtained a polynomial decay, rather than an exponential decay. Recall that the apparently innocous introduction of $\Gamma$ into the denominator, as we discussed in our initial treatment of resonant scattering, lead to an infinite order interaction between the atom and vacuum.

References

• see API pp. 93-97 and pp. 167-174, 180-189