
January 26, 2004 16:26 WSPC/Book Trim Size for 9in x 6in b ook2
Excitonic Optical Stark Effect 259
∂
∂t
{N +1,M +1} =
∂c
†
(ϕ
N+1
)
∂t
{N,M}c(ψ
M+1
)
+ c
†
(ϕ
N+1
)
∂{N,M}
∂t
c(ψ
M+1
)
+ c
†
(ϕ
N+1
) {N,M}
∂c(ψ
M+1
)
∂t
. (13.89)
To analyze to which correlations functions {N,M} are coupled, one can
evaluate the equations of motion for the operators, i.e.,
∂c
†
(ϕ
i
)
∂t
and
∂c(ϕ
j
)
∂t
.
Using Heisenberg’s equation, one finds that {1, 0} ({0, 1}) is coupled to
itself by the single-particle (band structure) part, coupled to {0, 1} ({1, 0})
by the light-matter interaction, and coupled to {2, 1} ({1, 2})bythemany-
body Coulomb interaction.
Inserting these results into Eq. (13.89) and restoring normal ordering,
i.e., commuting all creation operators to the left of the destruction op-
erators, one can see that the light-matter interaction couples {N,M} to
{N −1,M+1}, {N +1,M−1}, {N −2,M},and{N, M −2}, since it is given
by pairs of creation and destruction operators. The many-body Coulomb
interaction, however, couples {N, M} to {N,M} and {N +1,M +1}.
Therefore, the four-operator part of the Hamiltonian generates the cou-
pling to products that contain more operators, i.e., the many-body hierar-
chy. Clearly, for both parts of the Hamiltonian, operators with N −M being
odd are only coupled to other operators where N −M is odd, and operators
with N −M being even are only coupled to other operators where N −M
is even. Thus, if we start from the ground state as the initial condition, i.e.,
{0, 0} =1and all other expectation values are zero, the operators {N, M}
with N − M being odd vanish at all times, since they contain no sources.
These considerations are visualized in Fig. 13.6. This, furthermore, clearly
shows that in any finite order in the external field, only a finite number of
expectation values contribute to the optical response. To find the lowest
order in the light field of any term {N, M}, one only needs to evaluate the
minimum number of dotted lines in Fig. 13.6, which are needed to connect
it to {0, 0}.
As can be seen from Fig. 13.6 and can be proven rigorously, see Lindberg
et al. (1994), the minimum order in the field in which {N,M} is finite is
(N + M)/2 if N and M are both even and (N + M )/2+1 if N and M are
both odd, i.e.,
c
†
(ϕ
2N
) ... c
†
(ϕ
1
) c(ψ
1
) ... c(ψ
2M
) = O(E
N+M
) , (13.90)