density-matrix formalism in quantum opticssop.uohyd.ac.in/~sdg/resources/fam2.pdf · 2018-03-29 ·...

60
1 DENSITY OPERATOR AND APPLICATIONS IN NONLINEAR AND QUANTUM OPTICS Fam Le Kien Department of Applied Physics and Chemistry, University of Electro-Communications, Chofu, Tokyo 182-8585, Japan Lecture notes for the fall semester of 2008

Upload: others

Post on 29-Jan-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

1

DENSITY OPERATOR AND APPLICATIONS IN NONLINEAR

AND QUANTUM OPTICS

Fam Le Kien

Department of Applied Physics and Chemistry,

University of Electro-Communications, Chofu, Tokyo 182-8585, Japan

Lecture notes for the fall semester of 2008

Page 2: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

2

Contents

I. GENERAL THEORY OF THE DENSITY OPERATOR

1. Concept of a statistical mixture of states

2. Pure states. Introduction of the density operator

3. Statistical mixtures of states

4. Applications of the density operator

II. TWO-LEVEL ATOMS INTERACTING WITH A LIGHT FIELD

1. Atom+field interaction Hamiltonian

2. Optical Bloch equations

3. Absorption spectrum: saturation and power broadening

4. Field propagation equations

5. Susceptibility, refractive index, and absorption coefficient

Page 3: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

3

I. GENERAL THEORY OF THE DENSITY OPERATOR

1. Concept of a statistial mixture of states

Consider a quantum system. If we have complete information about the system, the

state of the system can be described by a state vector (wave function), denoted by | .

Such a state is called a pure state.

It often happens that we don’t know the exact state vector of the system. In this case,

we say that we have incomplete information about the system. For example, a photon

emitted by a source of natural light can have any polarization state with equal probability.

Similarly, a system in thermal equilibrium at a temperature T has a probability

proportional to /nE kT

e

of being in a state of energy nE .

More generally, the incomplete information usually presents itself in the following

way: the state of this system may be either the state 1| with a probability 1p or the

state 2| with a probability 2p , etc… Obviously, we have

1 2 ... 1.n

n

p p p (1)

We then say that we have a statistical mixture of states 1| , 2| , ... with probabilities

1p , 2p , … A statistical mixture of two or more than two different states is called a

mixed state. In general, a quantum state can be either a pure state or a mixed state.

We emphasize that a system described by a statistical mixture of states must not be

confused with a system whose state | is a linear superposition of states:

| | .n n

n

C (2)

For a linear superposition of states, there exist, in general, interference effects between

these component states. Such effects are due to the cross terms of the type 'n nC C,

obtained when the modulus of the wave function is squared. Meanwhile, for a statistical

mixture of states | n , we can never obtain interference terms between these component

states.

We illustrate the above statements by considering a single particle in the coordinate

space R of the position vector r .

If the particle is in a linear superposition state ( ) ( ),n n

n

C r r the probability of

finding the particle at a given point r is

2 2 * *

' '

'

( ) | ( ) | | ( ) | ( ) ( ).n n n n n n

n nn

P C C C r r r r r (3)

Page 4: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

4

The above expression involves cross terms of the type 'n nC C , which describe interference

between the component states ( )n r .

However, if the particle is in a statistical mixture of states | n with weight factors

kp , the probability of finding the particle at a given point r is

2( ) | ( ) | .n n

n

P p r r (4)

The above expression shows no interference between the component states ( )n r .

2. Pure states. Introduction of the density operator

We first examine the simple case where the state vector of the system is perfectly

known, that is, all the probabilities np are zero, except one. The system is then said to be

in a pure state.

a) Description by a state vector (wave function)

i. State space

A pure quantum state of any physical system is characterized by a state vector,

belonging to a linear space S which is called the state space of the system.

ii. Ket vectors

An element, or vector, of the state space S is called a ket vector. It is represented by

the symbol .

iii. Scalar product

With each pair of ket vectors and ' , taken in this order, we associate a

complex number, which is denoted by ( , ' ) and satisfies the various properties

*

1 1 2 2 1 1 2 2

* *

1 1 2 2 1 1 2 2

( , ' ( ' , ,

( , ( , ( ,

( , ( , ( ,

(5)

This complex number is called the scalar or inner product. The linear space with this type

of scalar products is called a Hilbert space.

iv. Bra vectors and dual space

Each ket vector is associated with a bra vector, denoted by the symbol | ,

which associates every ket vector ' with a complex number which is denoted by

' and is equal to ( , ' . The set of bra vectors constitutes a vector space called

the dual space of the state space S.

Page 5: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

5

v. Basic properties of the ket and bra vectors

*

* *

1 1 2 2 1 1 2 2

(1) | ' ' | .

(2) If | | | then | | | .

(6)

More generally, for the superposition state vector | |n n

n

C u , we have

*| | .n n

n

u C (7)

In the case of a single particle in the coordinate space R of the position vector r , the

ket vector and the bra vector are represented by the complex functions ( ) r and

*( ) r , respectively, and the scalar product ' is defined as *' ( ) '( )d r r r .

It is clear that ' ' .

vi. Orthonormal basis

The state of a pure-state system can be described by a state vector | . The set of

state vectors | nu is a basis set if an arbitrary state vector | can be decomposed as

| | .n n

n

C u (8)

The set of basis states | nu is an orthonormal basis set if

.n m nmu u (9)

The coefficients nC in Eq. (8) are called the probability amplitudes of the superposition

state | in the basis {| }nu . More exactly, we say that nC is the probability amplitude

of the basis state | nu in the superposition state | .

It follows from the expansion (8) and the orthonormality (9) of the basis states | nu

that the coefficients nC of the state vector | can be determined as

|n nC u (10)

We say that the state vector | is normalized if | 1 . If the state vector | is

normalized, its coefficients satisfy the normalization condition

2| | 1.n

n

C (11)

From now we consider only normalized state vectors.

Note that the bra vector | associated with the ket vector | can be decomposed in

the form

Page 6: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

6

*| | .n n

n

u C (12)

With the use of the orthonormality of the basis states | nu , we find

* | |n n nC u u (13)

vii. Projection operators

We introduce the operator

| | |,nu n nP u u (14)

whose action on an arbitrary vector |V is defined as

| | (| |) |

| ( | | |

nu n n

n n n n

P V u u V

u u V u u V

(15)

As seen, the action of | nuP on |V gives a vector parallel to | nu . In addition, we have

2

| | |

|

(| |)(| |)

| ( | ) |

| |

.

n n n

n

u u u

n n n n

n n n n

n n

u

P P P

u u u u

u u u u

u u

P

(16)

The operator | | |nu n nP u u is called the projection operator onto the basis vector | nu .

viii. Completeness of the basis

The completeness of the set of the basis states | nu means that

1 2| | | ... 1,

nu u u

n

P P P (17)

that is,

1 1 2 2| | | | | | ... 1.n n

n

u u u u u u (18)

From now we use only the orthonormal basis. The properties of this basis are

summarized below:

,

| | 1.

n m nm

n n

n

u u

u u

(19)

ix. Linear operators

A linear operator O associates each ket vector | with a ket vector | ' |O and

satisfies the linearity

Page 7: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

7

1 1 2 2 1 1 2 2( | | ) | | .O O O (20)

Similarly, the linear operator O associates each bra vector | with a bra vector

' | |O and satisfies the linearity

1 1 2 2 1 1 2 2( | |) | | .O O O (21)

For the superposition state vector | |n n

n

C u , we have

* * *

| | | | ,

| | | | .

n n n n n n

n n n

n n n n n n

n n n

O O C u C O u C O u

O C u O C u O C u O

(22)

We consider the operator

| |,O A B (23)

whose action on ket and bra vectors is defined as

| | | | | | | | ,

| | | | | | | | .

O A B A B A B

O A B A B A B

(24)

We can show that

| | ' | | ' | | ' | | ' .O O A B O (25)

x. Matrix form of a linear operator

With the help of the completeness relation (18), we can represent an arbitrary

operator O in the form

| | | |

| | ( | ) | | ( | ) | |

| ( | ) | | ( | ) | | |.

n n m m

n m

n n m m n n m m

nm nm

n m n m n m n m

nm nm

O u u O u u

u u O u u u u O u u

u O u u u u O u u u

(26)

Hence, we find

| ( | ) ( | ) | | | .n m n m n m nmu O u u O u u O u O (27)

The matrix | |nm n mO u O u is called the matrix form of the linear operator O . Every

operator O can be represented by a matrix nmO .

Every matrix nmO represents an operator O . Indeed, it follows from Eqs. (26) and

(27) that

Page 8: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

8

| | .nm n m

nm

O O u u (28)

We can generalize Eq. (27) to obtain

1 2 1 2 1 2| ( | ) ( | ) | | | .O O O (29)

xi. Hermitian conjugate

Every operator O is associated with an operator †O , whose matrix is

† * * † *( ) ( ) ( ) | | | | .T

nm mn nm n m m nO O O u O u u O u (30)

Here the upper label T means the matrix transpose and the symbol * means the complex

conjugate. The operator †O is called the Hermitian conjugate of the operator O .

For | |nm n m

nm

O O u u , we have

† †

*

*

| |

| |

| |.

nm n m

nm

mn n m

nm

nm m n

nm

O O u u

O u u

O u u

(31)

Note that †

†O O .

We can show that

†| |,O O (32)

where † |O is the bra vector associated with the ket vector † †| |O O . Indeed,

since | |nm n m

nm

O O u u , we have

| | | | | |.nm n m nm n m

nm nm

O O u u O u u (33)

On the other hand, since † * | |nm m n

nm

O O u u , we find

† † *

*

*

| | | | |

| |

| | ,

nm m n

nm

nm m n

nm

nm n m

nm

O O O u u

O u u

O u u

(34)

which yields

† | | |.nm n m

nm

O O u u (35)

Page 9: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

9

Comparison of Eq. (35) with Eq. (33) gives Eq. (32). Thus, |O is a bra vector that is

associated with the ket vector † |O . In the same way, we can say that the ket vector

|O is associated with the bra vector †|O .

Several useful properties of the Hermitian conjugates:

Property 1:

If | |

then | | .

O

O

(36)

Property 2:

If | |

then | | .

O

O

(37)

Property 3:

* †| | ' ' | | .O O (38)

Property 4:

1 2

† * † † †

1 1

If

then ,

n

n n

O O O O

O O O O

(39)

where is a complex number and 1O , 2O , …, nO are arbitrary operators.

Property 5:

† * †

If ( )

then ( ),

O f A

O f A

(40)

where f is a real function, A is an arbitrary operator, and is a complex number.

xii. Hermitian operators

An operator O is called Hermitian if it is equal to its Hermitian conjugate †O , that is,

† * or .mn nmO O O O (41)

xiii. Mean values of observables

Every observable is described by a Hermitian operator. Consider an observable

described by a Hermitian operator A . The matrix elements of the operator A in the basis

{| }nu are given by

| | | | ( | ) | .nm n m n m n mA u A u u A u u A u (42)

Since A is a Hermitian operator, we have

* .nm mnA A (43)

Page 10: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

10

The mean value of A is

*

*

*

| |

| |

| |

.

n n m m

n m

n m n m

nm

n m nm

nm

A A

C u A C u

C C u A u

C C A

(44)

xiv. Schrödinger equation and Schrödinger picture of quantum mechanics

The time evolution of the state vector | ( )t of the quantum system is described by

the Schrödinger equation

| ( ) | ( ) ,d

i t H tdt

(45)

where H is the Hamiltonian operator of the system. The Hamiltonian is the energy, an

observable. Therefore, it must be a Hermitian operator, that is, †H H .

The solution to the Schrödinger equation (45) is given by

| ( ) exp( / ) | (0) .t iHt (46)

The corresponding bra vector is

( ) | (0) | exp( / ).t iHt (47)

The time-dependent mean value of the observable A is

( ) ( ) | | ( ) .A t t A t (48)

Consider the initial state vector | (0) (0) |n n

n

C u . The probability amplitude

(0)nC is given by (0) | (0)n nC u For an arbitrary time t , we have

| ( ) ( ) | ,n n

n

t C t u (49)

where

( ) | ( )n nC t u t (50)

Inserting Eq. (49)into Eq. (45) gives

( ) | ( ) |

( ) | | |

( ) | | | .

n n m m

n m

m n n m

mn

m n m n

mn

di C t u C t H u

dt

C t u u H u

C t u H u u

(51)

Page 11: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

11

Hence, we obtain

( ) ( ).n nm m

m

di C t H C t

dt (52)

Here | |nm n mH u H u is the matrix of the Hamiltonian.

In terms of the probability amplitudes ( )nC t , the mean value of the observable A at

the time t is given by

*( ) ( ) | | ( ) ( ) ( ) .n m nm

nm

A t t A t C t C t A (53)

xv. Example of a two-level system

Figure 1: A two-level system.

The simplest quantum system is a two-level system, see Fig. 1. Such a system has two

stationary energy levels, denoted by a aE (upper level) and b bE (lower level).

The wave functions of these two levels are denoted by the state vectors | a (upper state)

and | b (lower state). These state vectors are normalized in modulus to unity and are

orthogonal to each other:

| | 1,

| | 0.

a a b b

a b b a

(54)

The completeness of the basis requires

| | | | 1.a a b b (55)

In general, any state vector (wave function) of the two-level system can be written in the

form

| | | .a bC a C b (56)

Here aC and bC are the probability amplitudes of finding the system in states | a and

| b , respectively. They satisfy the normalization condition

2 2| | | | 1.a bC C (57)

Page 12: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

12

The bra vector | associated with the ket vector | can be written in the form

* *| | | .a ba C b C (58)

The mean value of an observable A is

* *

2 2 * *

2 2 * *

| |

| | | |

| | | | | | | | | | | |

| | | | .

a b a b

a b a b b a

a aa b bb a b ab b a ba

A A

a C b C A C a C b

C a A a C b A b C C a A b C C b A a

C A C A C C A C C A

(59)

The total Hamiltonian is

0 ,IH H H (60)

where 0H and IH are the free (unperturbed) and interaction parts, respectively. The

upper state | a and the lower state | b are the eigenstates of the free Hamiltonian 0H ,

that is, 0 | |jH j E j , where ,j a b . We can represent 0H in the form

0 | | | | .a bH a a b b (61)

Why does 0H have the above form? The reason is the following: since

| | | | | | 1j

j j a a b b and 0 | |jH j E j , we can expand 0H as

0 0,

0,

,, ,

(| |) (| |)

| | ( | | )

| | ( | ) | |

| | | |.

i j

i j

j j i ji j i j

i ii i

H i i H j j

i j i H j

i j i j E E i j

E i i i i

(62)

We consider a particular case where the two-level system is free, i.e., 0IH . In this

case, the Schrödinger equation is

0| |

( | | | |) | .a b

di H

dt

a a b b

(63)

It gives

| | ( | | | |) | |

| | | | .

a b a b a b

a b a a b b

di C a C b a a b b C a C b

dt

iC a iC b C a C b

(64)

Hence, we find

Page 13: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

13

,

.

a a a

b b b

dC i C

dt

dC i C

dt

(65)

The solutions to the above equations are

( ) (0),

( ) (0).

a

b

i t

a a

i t

b b

C t e C

C t e C

(66)

Consequently, the explicit time-dependent expression for the state vector (wave function)

of the free two-level system is

| ( ) ( ) | ( ) | (0) | (0) | .a bi t i t

a b a bt C t a C t b e C a e C b

(67)

Note that the probabilities of finding the free two-level system in the upper and lower

levels are 2 2| ( ) | | (0) |a aC t C and 2 2| ( ) | | (0) |b bC t C , respectively. They are independent

of time. In the contrary, the interference described by the cross term ( )* *( ) ( ) (0) (0) a bi t

a b a bC t C t C C e

oscillates in time.

The mean value of an observable A at an arbitrary time t is

*

( )*

2 2

* *

( ) ( ) | | ( ) ( ) ( )

(0) (0)

| (0) | | (0) |

(0) (0) (0) (0) .

n m

ab ab

n m nm

nm

i t

n m nm

nm

a aa b bb

i t i t

a b ab b a ba

A t t A t C t C t A

C C e A

C A C A

C C e A C C e A

(68)

Here ab a b is the transition frequency.

If the initial state is | (0) | ,a then (0) 1aC and (0) 0bC . In this case, the state

vector at an arbitrary time is | ( ) |ai tt e a

and the mean value of an observable A at

an arbitrary time is ( ) | | .aaA t A a A a The mean value is independent of time

because the initial state | a is an eigenstate of the system.

If the initial state is | (0) | ,b then (0) 1bC and (0) 0aC . In this case, the state

vector at an arbitrary time is | ( ) |bi tt e b

and the mean value of an observable A at

an arbitrary time is ( ) | | .bbA t A b A b The mean value is independent of time

because the initial state | b is an eigenstate of the system.

If the initial state is a superposition state of | a and | b , with (0) 0aC and

(0) 0,bC then ( )A t in general varies in t.

Page 14: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

14

Exercises

Exercise 1: Consider a two-level system. Suppose that is an operator such that

| |a b and | 0b . Show that can be written in the form | | .b a

Exercise 2: By definition † *( )kl lkO O , where O is an arbitrary operator and †O is its

Hermitian conjugate. Suppose | |n mO u u . Show that † | |m nO u u .

Exercise 3: Suppose | |O A B , where | A and | B are two arbitrary vectors. The

action of | |O A B on an arbitrary vector Q is defined as

| | | | | | | |O Q A B Q A B Q A B Q . Show that † | |O B A .

Exercise 4: By definition † T*O O . Suppose 1 2O O O . Show that † † †

2 1O O O .

Page 15: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

15

Solutions

Exercise 1:

Since | |a b and | 0b , we have

| | | |a a b a

and

| | 0.b b

When we sum up the last two equations, we obtain

(| | | |) | | .a a b b b a

On the other hand, the completeness of the basis means that

| | | | 1.a a b b

Hence, we find

| | .b a

Using the orthonormality of | a and | b , namely |a a and |a b , we

can confirm that the operator | |b a satisfies the relations | |a b and

| 0b .

Exercise 2:

For | |n mO u u , we find

.kl kn lmO

For | |m nX u u , we have

.kl km lnX

We see that

* † .kl lk klX O O

Hence, we obtain †O X , that is,

† | | .m nO u u

Exercise 3:

For | |O A B , we have

*,kl k lO a b

Page 16: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

16

where |k ka u A and |l lb u B .

For | |X B A , we have

*.kl k lX b a

We see that

* † .kl lk klX O O

Hence, we obtain †O X , that is,

† | | .O B A

Exercise 4:

For 1 2O O O , we have

† † * * * * † †

1 2 1 2 2 1 2 1 2 1( ) ( ) ( ) .T T T T TO O O O O O O O O O O

Generalization:

For 1 2 nO O O O , where is a complex number and 1O , 2O , …, nO are

arbitrary operators. Using the result of the above exercise, we can easily show that

† * † † †

1 1 .n nO O O O

Page 17: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

17

b) Description by a density matrix

The relation

*| | n m nm

nm

A A C C A (69)

shows that the coefficients nC enter into the mean values through quadratic expressions

of the type *

n mC C . These quadratic expressions are simply the matrix elements of the

operator | | , which is the projector onto the ket vector | . Indeed, since

*

| | ,

| | ,

n n

n

n n

n

C u

u C

(70)

we have

*

|

|

n n

n n

C u

C u

(71)

Hence, we find

* | | .n m m nC C u u (72)

It is therefore natural to introduce the density operator

| | . (73)

The density operator is represented in the {| }nu basis by a matrix called the density

matrix whose elements are

*

| |

| |

.

mn m n

m n

n m

u u

u u

C C

(74)

The mean value of the observable A is then given by

*| | Tr{ } Tr{ }.n m nm mn nm

nm nm

A A C C A A A A (75)

Mathematically, the operator | | is the projector onto the ket vector | . Indeed,

with the use of the notation

| | |,P (76)

we see that the action of |P on an arbitrary vector |V gives a vector aligned along | ,

namely,

| | (| |) |

| ( |

P V V

V

(77)

Page 18: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

18

In addition, we have

2

| | |

|

(| |)(| |)

| ( | ) |

| |

.

P P P

P

(78)

The above properties indicate that | | |P is a projection operator. Since

2

| | ,P P we find that, in the case of pure states, we have 2 and hence,

2Tr Tr 1 [see Eq. (80)].

Note that the matrix mn is a Hermitian matrix. Indeed, we have

* *

† .

mn m n nmC C

(79)

The specification of suffices to characterize the quantum state of the system. In

other words, the density operator enables us to obtain all the physical predictions that

can be calculated from | . To show this, we express in terms of the operator the

conservation law of probability, the mean value of an observable, and the time evolution

of a quantum state.

i. Conservation law of probability

We find from the conservation law of probability that

2Tr | | 1.nn n

n n

C (80)

Thus, the sum of the diagonal elements of the density matrix is equal to 1.

ii. Mean value of an observable

For the mean value of an observable, we have the formula

*| |

Tr{ } Tr{ }.

n m nm mn nm

nm nm

A A C C A A

A A

(81)

iii. Schrödinger equation

We derive the time evolution equation for the density operator . As known, the

Schrödinger equation is

1

| | .d

Hdt i

(82)

Page 19: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

19

The Hermitian conjugate form of the above equation reads

†1 1| | | .

dH H

dt i i

(83)

Hence, we have

| |

| | | |

1 1| | | |

1

1[ , ].

d d

dt dt

d d

dt dt

H Hi i

H Hi

Hi

(84)

Here

1 2 1 2 2 1[ , ]O O O O O O (85)

is the commutator between the operators 1O and 2O . Thus, the time evolution of the

density operator is governed by the equation

[ , ].d

i Hdt (86)

This equation is called the generalized Schrödinger equation.

iv. Summary of the properties of the density operator of a pure state

The properties of the density operator in the case of pure states are

† ,

Tr 1,

Tr { } Tr { },

[ , ].

A A A

di H

dt

(87)

The above properties are general, i.e., they are true also in the case of mixed states.

In the case of pure states, there are two specific properties:

2

2

,

Tr 1.

(88)

These properties can be used as criteria to find out if a state is a pure state or not.

Page 20: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

20

v. Advantages of the description in terms of the density operator

A pure state can be described by a density operator as well as by a state vector (wave

function). Both descriptions are equivalent. However, the density operator presents a

number of advantages:

First of all, two state vectors | and |ie describe the same quantum

state. In other words, there exists an arbitrary global phase factor for the state

vector. However, the state vectors | and |ie correspond to the same

density operator

| |

| | .i ie e

(89)

Thus, the use of the density operator eliminates the global phase.

Second, the equation

Tr { } Tr { }A A A (90)

is linear with respect to the density operator .

However, the equation

| |A A (91)

is quadratic with respect to | .

vi. Example: the density operator of a pure state of a two-level system

We consider a two-level system in a pure state described by the state vector (wave

function)

| | | .a bC a C b (92)

The density operator of the system is

* *| | ( | | )( | |).a b a bC a C b C a C b (93)

Taking the matrix elements, we get

2

*

*

2

| | ,

,

,

| | .

aa a

ab a b

ba ab

bb b

C

C C

C

(94)

The matrix form of the density operator is

2 *

* 2

| |.

| |

aa ab a a b

ba bb b a b

C C C

C C C

(95)

We see that *

nm mn , that is, † . In addition, we have

Page 21: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

21

2 2Tr | | | | 1.aa bb a bC C (96)

The average value of an observable A is given by

Tr{ } Tr{ }

.

mn nm

nm

aa aa bb bb ab ba ba ab

A A A

A

A A A A

(97)

It is obvious that the diagonal matrix elements aa and bb are the probabilities of

being in the upper and lower states, respectively. The off-diagonal matrix elements ab

and ba , where *

ab ba , describe the interference between the upper level | a and the

lower level | b in the state . To illustrate more clearly the physical meaning of the off-

diagonal elements, we use the fact that the atomic polarization (average dipole moment)

of a single two-level atom is given by

2 2 * *

* *

*

| |

(| | | | )

( )

,

a aa b bb a b ab b a ba

a b ab b a ba

ba x ab x

P e x e x

e C x C x C C x C C x

e C C x C C x

d d

(98)

where e is the electric charge of the electron and

x abd ex (99)

is the dipole matrix element. Here we have used the property 0aa bbx x , which is a

consequence of the fact that x is an odd function while 2| ( ) |n x (with ,n a b ) is, in the

case of atoms, an even function. The probability density 2| ( ) |n x is an even function

because so is the Coulomb potential in the atom. Thus, in the case of two-level atoms, the

off-diagonal elements ab and ba determine the atomic polarization.

As known, for a free two-level system, the Hamiltonian is

0 | | | |a bH a a b b (100)

and the time evolution of the probability amplitudes is governed by the equations

,

.

a a a

b b b

dC i C

dt

dC i C

dt

(101)

When we use the relation * ,C C we can easily show that the evolution equations

for the density-operator matrix elements of the free two-level system are

Page 22: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

22

0,

0,

( ) .

aa

bb

ab a b ab

d

dt

d

dt

di

dt

(102)

We can also derive the above equations directly from the generalized Schrödinger

equation (86). The solutions to Eqs. (102) are

( )

( ) constant,

( ) constant,

( ) (0).a b

aa

bb

i t

ab ab

t

t

t e

(103)

As seen, when the two-level system is free, the diagonal matrix elements of the density

operator are constant. However, the off-diagonal matrix elements oscillate in time.

3. Statistical mixtures of states

a) Definition of the density operator

We now return to the general case where the system is in a mixture of states

1 2| ,| ,...,| ,...k , with probabilities 1 2, ,..., ,...kp p p , where

0 1,

1.

k

k

k

p

p

(104)

The state vectors | k of the components are normalized, that is, | 1.k k However,

they are not necessarily orthogonal to each other.

The density operator of the statistical mixture of states is defined as

,k k

k

p ρ (105)

where k is the density operator corresponding to the state | k , i.e.,

| | .k k k (106)

b) Properties of the density operator

i. Hermitivity

Since the coefficients kp are real, is obviously a Hermitian operator like each of

the k :

Page 23: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

23

† * † .k k k k

k k

p p (107)

ii. Probability conservation law

The conservation law of probability gives

Tr Tr

1.

k k

k

k

k

p

p

(108)

iii. Mean values

The expression for the mean value of an observable is

Tr{ }

=Tr{ }

=Tr{ }.

k k

k

k k

k

k k

k

A p A

p A

A p

A

(109)

The averaging by means of the density operator, expressed by Eq. (109), has a twofold

nature. It comprises both the averaging due to the probabilistic nature of quantum

mechanics (even when the information about the object is complete) and the statistical

averaging necessitated by the incompleteness of our information. For a pure state, only

the first averaging remains. For a mixed state, both types of averaging are always present.

iv. Schrödinger equation for the density operator

We now derive an equation for the time evolution of the density operator. We assume

that the Hamiltonian H of the system is known. The state | k satisfies the Schrödinger

equation

| | .k k

di H

dt (110)

Therefore, k obeys the evolution equation

[ , ].k k

di H

dt (111)

Using the linearity of Eqs. (105) and (111), we find the following evolution equation for

the density operator :

Page 24: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

24

[ , ] [ , ]

[ , ].

k k k k

k k

k k k k

k k

d d di i p p i

dt dt dt

p H H p

H

(112)

v. Positivity

We see from the definition k k

k

p ρ that, for any ket | u , we have

2

| | | |

| | |

k k

k

k k

k

u u p u u

p u

(113)

and, consequently,

| | 0.u u (114)

Equation (114) means that the density operator is a positive operator.

vi. Summary of the properties of the density operator of a general quantum state

Thus, for pure states as well as statistical mixtures of states, we have

† ,

Tr 1,

Tr { } Tr { },

[ , ].

A A A

di H

dt

(115)

vii. Differences between the density operator of a mixed quantum state and that of a pure state

The equations

2

2

,

Tr 1

(116)

are true for pure states but not true for mixed states. For mixed states, since is no

longer a projector, we have

2 (117)

and, consequently, 2Tr 1. For a mixed state, according to comments (i) and (iii) at

the end of this section (see pages 26 and 27), we have

2Tr 1. (118)

Thus, we have, in general, for pure and mixed states,

Page 25: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

25

2Tr 1. (119)

The above equation can be used as a criterion to find out if a state is a pure state 2(Tr 1) or a mixed state ( 2Tr 1 ).

c) Populations and coherences

What is the physical meaning of the matrix elements of the density operator in the

basis {| }nu ?

First, we consider the diagonal element nn . We have

2

| |

| |

| |

| | | .

nn n n

k n k n

k

k n k k n

k

k n k

k

u u

p u u

p u u

p u

(120)

We express the state | k in terms of the basis {| }nu as

( )| | .k

k n n

n

c u (121)

This gives

( ) | .k

n n kc u (122)

Then Eq. (120) becomes

( ) 2| | .k

nn k n

k

p c (123)

It follows from Eq. (123) that nn is a positive real number. The squared modulus ( ) 2| |k

nc

is the probability of | nu in the pure state | k . Therefore, Eq. (123) means that nn is

the probability of | nu in the state . For this reason, the diagonal matrix element nn is

called the population of the state | nu . If the same measurement is carried out N times

under the same initial condition, where N is a large number, nnN systems will be found

in the state | nu .

Now, we consider the non-diagonal element nm . A calculation analogous to the

preceding one gives the following expression for nm :

Page 26: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

26

( ) ( )*

| |

| |

| |

.

nm n m

k n k m

k

k n k k m

k

k k

k n m

k

u u

p u u

p u u

p c c

(124)

The term ( ) ( )*k k

n mc c is a cross term. It expresses the interference effects between the states

| nu and | mu that can appear when the state | k is a coherent linear superposition of

these states. According to Eq. (124), nm is the average of these cross terms, taken over

all the possible states of the statistical mixture. If nm is zero, this means that the

statistical average has canceled out any interference effects between | nu and | mu . On

the other hand, if nm is different from zero, a certain coherence subsists between these

states. This is why the non-diagonal elements of are often called coherences.

COMMENTS:

(i) The distinction between populations and coherences obviously depends on the

choice of the basis {| }nu . Since is Hermitian, it is always possible to find an

orthonormal basis {| }n where is diagonal. In this basis, can be written as

| | .l l l

l

(125)

The density operator can thus be considered to describe a statistical mixture of the

orthonormal states | n with the probabilities l . There are no coherences between the

states | n in this mixture. We have

2 2Tr

1.

l

l

l

l

(126)

When one of the coefficients l is equal to 1, all the other coefficients must be zero. In

this case, the state ρ is a pure state and 2Tr 1 . When all the coefficients l are

smaller than 1, the state ρ is a mixed state and 2Tr 1 .

(ii) Assume that the Hamiltonian H is time-independent. If | nu are eigenvectors of

H, then

| | ,

| | .

n n n

n n n

H u E u

u H u E

(127)

Hence, we obtain from Eq. (112)

Page 27: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

27

| |

|

|

n m n m

n n m m

n m n m

di u u u H H u

dt

u E E u

E E u u

(128)

that is,

( ) .nm n m nm

di E E

dt (129)

The solution to the above equation is

( )

( ) (0).n m

iE E t

nm nmt e

(130)

In particular, we have ( ) constantnn t .

Thus, the populations are constant, and the coherences oscillate at the Bohr

frequencies of the system.

(iii) We can easily prove that

2| | .nn mm nm (131)

Indeed, according to Eqs. (123) and (124) and to the generalized Cauchy-Scharz-

Buniakowsky inequality, we have

( ) 2 ( ) 2

2

( ) ( )

2

( ) ( ) 2

| | | |

| |

| | .

k k

nn mm k n k m

k k

k k

k n m

k

k k

k n m nm

k

p c p c

p c c

p c c

(132)

It follows from Eq. (131) that can have coherences only between states whose

populations are not zero.

It also follows from Eq. (131) that

2 2Tr | |

1,

nm

nm

nn mm

nm

nn mm

n m

(133)

see Eq. (119).

Page 28: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

28

Exercises

Exercise 1: Consider a two-level system with density operator

14

34

01 3| | | | .

04 4a a b b

Show that the state of the system is a mixed state.

Exercise 2: Consider a two-level system with density operator

31

4 4

3 34 4

1 3 3 3| | | | | | | | .

4 4 4 4a a b b a b b a

Show that the state is a pure state.

Exercise 3: Consider two orthonormal vectors | a and | b . Consider a quantum

system (ensemble) 1Q that is prepared in the state | a with probability 1/4 and in the

state | b with probability 3/4.

Suppose we define

1 3| 0 | |

4 4

1 3|1 | |

4 4

a b

a b

Consider a quantum system (ensemble) 2Q that is prepared in the state | 0 with

probability 1/2 and in the state |1 with probability 1/2. Show that the quantum systems

1Q and 2Q correspond to the same density operator.

Exercise 4: Consider two arbitrary vectors | A and | B Show that

Tr | | |A B B A .

Page 29: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

29

Solutions

Exercise 1:

The square of the density operator of the system is

1

162

916

01 9| | | | .

016 16a a b b

We find 2Tr 1/16 9 /16 10 /16 5 / 8 1 . This inequality indicates that the state of

the system is a mixed state.

Exercise 2:

The square of the density operator of the system is

2

314 4

3 34 4

1 3 3 3| | | | | | | |

4 4 4 4

.

a a b b a b b a

Hence we find 2Tr Tr 1 . These equalities indicate that the state of the system is a

pure state.

Exercise 3:

The density operator of the system 1Q is

1

1 3| | | | .

4 4a a b b

The density operator of the system 2Q is

2

1 1| 0 | |1 | .

2 2

We can easily show that

2

1

1 1| 0 | |1 |

2 2

1 1 3 1 3 1 1 3 1 3| | | | | | | |

2 4 4 4 4 2 4 4 4 4

1 3| | | |

4 4

.

a b a b a b a b

a a b b

Page 30: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

30

Thus, two different realizations may correspond to the same statistical quantum

ensemble.

Since | a and | b are orthogonal to each other, they are the eigenstates of the density

operator 1 2 . In the contrary, | 0 and |1 are not orthogonal to each other.

Therefore, | 0 and |1 are not the eigenstates of the density operator . In general, the

eigenvectors and eigenvalues of a density operator just indicate one of many possible

realizations that may give rise to a specific density operator.

Exercise 4:

With the help of the formula

| | 1,n n

n

u u

we find

Tr | | | |

| |

|

n n

n

n n

n

A B u A B u

B u u A

B A

Page 31: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

31

4. Applications of the density operator

a) System in thermal equilibrium

The first example we consider is borrowed from quantum statistical mechanics.

Consider a system in thermal equilibrium at the absolute temperature T. According to

quantum statistical mechanics, the density operator of the system is

1 / .H kTZ e (134)

Here H is the Hamiltonian operator of the system, k is the Boltzmann constant, and Z is a

normalization constant chosen so as to make the trace of equal to 1, that is,

/Tr { }.H kTZ e (135)

We use the basis from the eigenvectors | nu of H. In this basis, we have

/1 / 1| | nE kTH kT

nn n nZ u e u Z e (136)

and

1 /| | 0 for .H kT

nm n mZ u e u n m (137)

At thermal equilibrium, the populations of the stationary states are exponentially

decreasing functions of the energy, and the coherences between stationary states are zero.

b) Description of a part of a physical system

The most important application of the density operator is as a descriptive tool for

subsystems of a composite quantum system. Such a description is provided by the

reduced density operator. The reduced density operator is indispensable in the analysis of

composite quantum systems.

Suppose we have a composition of physical systems A and B. The state space of the

combined system AB is the direct product of the state spaces of the subsystems A and B.

By definition, the state space of AB contains the vectors of the type

| | | | | |AB A B A B A BV V V V V V V (138)

and also their superpositions, where | AV and | BV are arbitrary vectors in the state

spaces of A and B, respectively. The vector | ABV has two parts, one belongs to A and

the other belongs to B. We have | |AB BAV V , | |A B B AV V V V ,

| | | |A B B AV V V V , and | | | |A B B AV V V V . The dimension of the state space

of AB is the sum of the dimensions of the state spaces of A and B.

The basis states of the combined system AB are

| | | | | |AB A B A B A Bu u u u u u u (139)

where | Au and | Bu are the basis states of the subsystems A and B, respectively.

Page 32: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

32

To label the individual basis states of the subsystems A and B, we use indices An and

Bn , respectively. Then, we can label the basis states of the combined system AB as

| | | | | |A B A B A B A B

AB A B A B A B

n n n n n n n nu u u u u u u (140)

We describe the state of the composite system AB by a density operator AB . The

matrix form of the density operator AB is given by

, |

|

| | |

| | | .

A B A B A B A B

A B A B

B A A B

B A A B

AB AB AB AB

n n m m n n m m

A B AB A B

n n m m

B A AB A B

n n m m

B A AB A B

n n m m

u u

u u u u

u u u u

u u u u

(141)

We assume that only part A is observed. Then information about part B is lost. This is

the so-called incomplete detection. Therefore, a statistical average over part B is

necessary. The state of part A is described by the reduced density operator

Tr ( )

| | ,

A AB

B

B AB B

n n

n

u u

(142)

where TrB is a map of operators known as the partial trace over system B. In the matrix

form, we have

, .A A A B A B

B

A AB

n m n n m n

n

(143)

Note that the partial trace of an operator of the type 1 2 1 2| | | |ABO a a b b is given

by

1 2 1 2 1 2 1 2

1 2 2 1

Tr (| | | |) | | Tr (| |)

| | | .

B Ba a b b a a b b

a a b b

(144)

Here 1| a and 2| a are any two vectors in the state space of A, and 1| b and 2| b are

any two vectors in the state space of B. In deriving the above expression, we have used

the formula 1 2 2 1Tr | | | .

If the composite system is in a pure state, the incomplete detection process may cause

a part of the system to be in a statistical mixture. As an example, consider a two-level

atom initially prepared in the excited state. Assume that the atom interacts with a single-

mode radiation field that is initially prepared in the vacuum state.

The excited and ground states of the atom are indicated by | a and | b , respectively.

The n-photon state of the field is denoted by | n , where 0,1,2,...n . The basis states of

the composite system “atom+field” are | ;0a , | ;1a , | ;2a , … , | ;a n , … , and | ;0b ,

| ;1b , | ;2b , … , | ;b n , … .

Page 33: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

33

The initial state of the composite system is | ;0a . After a short time the atom has a

probability to make a transition to the ground state by spontaneous emission of a photon.

The state vector of the composite system at an arbitrary time t is then given by

| | ;0 | ;1 .AB a b (145)

The density operator of the composite atom+photon system is

* *

2 2

* *

| |

| ;0 | ;1 ;0 | ;1 |

| | | ;0 ;0 | | | | ;1 ;1 |

| ;0 ;1 | | ;1 ;0 | .

AB AB AB

a b a b

a a b b

a b b a

(146)

If we observe the state of the atom but not the emitted photon, then the atom will be

found in either the excited | a or the ground state | b ; however, it will no longer be in a

pure state. The new state can be described by the reduced density operator

atom ph ph

2 2

Tr Tr | |

| | | | | | | | .

AB AB AB

a a b b

(147)

Basic properties of the reduced density operator

Hermitivity: We can show that

*

' '

,

or,

.

A A

A A

nn n n

(148)

Indeed, the matrix elements of the reduced density operator A are given by

' '

'

'

, '

| |

| | | |

| |

.

A A A A

nn n n

A B AB B A

n m m n

m

A B AB A B

n m n m

m

AB

nm n m

m

u u

u u u u

u u u u

(149)

From the Hermitivity of AB , we have *

, ' ' ' ',

AB AB

nm n m n m nm . Hence, we find

** *

' , ' , '

' , ' .

A AB AB

nn nm n m nm n m

m m

AB A

n m nm n n

m

(150)

Page 34: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

34

Thus, A is a Hermitian operator.

Normalization: We can show that

Tr 1.A (151)

Indeed,

,Tr

Tr 1.

A A AB

nn nm nm

n n m

AB

(152)

Thus, the probability conservation law is valid for the reduced density operator.

Average of an observable: Consider an observable AO that depends only on part A .

We can show that the average of this observable is given by the formula

Tr Tr .A A A A A

A AO O O (153)

Indeed, by definition we have

Tr

Tr Tr

Tr Tr

Tr Tr .

A AB A

AB

AB A

A B

AB A

A B

A A A A

A A

O O

O

O

O O

(154)

Another way of proving is the following:

Tr

| |

| | .

A AB A

AB

AB AB A AB

nm nm

nm

A B AB A A B

n m n m

nm

O O

u O u

u u O u u

(155)

Since AO does not depend on part B , it does not change any vectors in the state space of

B , that is,

| (|

|

|

A A B A A B

n m n m

A A B

n m

B A A

m n

O u u O u u

O u u

u O u

(156)

Consequently, we have

Page 35: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

35

| |

| | |

| | } |

Tr {{Tr } }

Tr { } Tr { }.

A A B AB A A B

n m n m

nm

A B AB B A A

n m m n

nm

A B AB B A A

n m m n

n m

AB A

A B

A A A A

A A

O u u O u u

u u u O u

u u u O u

O

O O

(157)

Thus, the average of AO can be determined from the reduced density operator A by

using the same formula as for an arbitrary quantum system. This property makes the

reduced density operator A useful for describing the state of part A.

Invalidity of the Schrödinger equation: In general, the Schrödinger equation is not

valid for the reduced density operator. An example is given below.

c) Spontaneous emission

Consider a two-level atom. If the atom is completely free, that is, if there is no

interaction and no spontaneous emission, the evolution of the density operator of the

atom is governed by the generalized Schrödinger equation

0

1[ , ].

dH

dt i

(158)

Here the Hamiltonian of the free atom is given by

0 | | | | .a bH a a b b (159)

When spontaneous emission is included, the evolution of the density operator of

the atom cannot be described by the Schrödinger equation. According to the Weisskopf-

Wigner theory, the reduced density operator of the atom is governed by the master

equation

0

1[ , ] 2 .

2

dH

dt i

(160)

Here is the atomic decay rate, and | |a b and | |b a are the atomic

transition operators. The decay rate is sometimes called the Einstein A-coefficient and

is given as 3 2 3

0| | /3ab d c

, where | | | |d e a r b

is the dipole moment of the

atom and ab a b is the atomic transition frequency. Equation (160) can be

represented in the form

0 decay , (161)

where

Page 36: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

36

0 0

decay

1[ , ],

2 .2

Hi

(162)

We find

0

decay

| | | | | | | | ,

| | 2 | | | | | | .2

a bi a a a a b b b b

a a b a a b a a

(163)

We can easily do some exercises to show that

0

0

0

| | 0,

| | 0,

| | ,ab ab

a a

b b

a b i

(164)

and

decay

decay

decay

| | ,

| | ,

| | .2

aa

aa

ab

a a

b b

a b

(165)

The equations of motion for the matrix elements of can be obtained from Eq. (161):

,

,

.2

aa aa

bb aa

ab ab ab ab

d

dt

d

dt

di

dt

(166)

It may be noted that 0aa bb , that is, constantaa bb . This result is valid

only in the framework of the two-level atomic model. In the case where the atom has

three or more levels, the atom can decay from level a to levels other than b. In this case,

the sum of the populations of levels a and b is not conserved.

The solution of Eqs. (166) is found to be

/2

( ) (0) ,

( ) 1 (0) ,

( ) (0) .ab

t

aa aa

t

bb aa

i t t

ab ab

t e

t e

t e

(167)

Page 37: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

37

Thus, the upper-state population aa and the coherence ab decay exponentially with

the rates and / 2 , respectively. In other words, the decay rate of ab is half the decay

rate of aa .

Page 38: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

38

Exercises

Exercise 1: Consider an arbitrary operator O and two arbitrary vectors |V and |U .

Show that

Tr{ | |} | | .O V U U O V

Exercise 2: Consider an arbitrary operator O and a state vector | . Show that

Tr{ | |} .O O

Exercise 3: Consider an arbitrary operator O and two basis vectors | nu and | mu .

Show that

Tr{ | |} .n m mnO u u O

Exercise 4: Consider a density operator and two basis vectors | nu and | mu .

Show that

Tr{ | |} .n m mnu u

Page 39: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

39

Solutions

Exercise 1: Using the formula Tr{| |} |A B B A , we can show that

Tr{ | |} | | .O V U U O V

Exercise 2: Use the result of exercise 1 and the definition | | .O O

Exercise 3: Use the result of exercise 1 and the definition | | .mn m nO u O u

Exercise 4: Use the result of exercise 1 and the definition | | .mn m nu u

Page 40: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

40

3. TWO-LEVEL ATOMS INTERACTING WITH A LIGHT FIELD

1. Atom+field interaction Hamiltonian

Figure 2: A two-level atom interacting with a light field.

We consider a two-level atom interacting with a light field, see Fig. 2. The total

Hamiltonian of the atom in the field is given by

0 ,IH H H (168)

where 0H and IH are the free (unperturbed) and interaction parts.

The free part of the Hamiltonian is the operator for the energy of the atom when it is

free and is given by

0 | | | | .a bH a a b b (169)

The projection operators | |aa a a and | |bb b b describe the populations

(probabilities) of levels a and b, respectively. Indeed, we have

Tr{ | |} | |aa aaa a a a (170)

and

Tr{ | |} | | .bb bbb b b b (171)

Here, the diagonal matrix elements aa and bb of the density operator describe the

populations of the atom in levels a and b, respectively. Note that the energy of the atom

when it is free is given by

0 | | | |

.

a b

a aa b bb

a aa b bb

H a a b b

(172)

Page 41: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

41

We introduce the Pauli operator | | | |z a a b b , which describes the inversion of

the populations of the atom. Note that z aa bb . In terms of the population

inversion operator z , we have

1| | (1 ),

2

1| | (1 ).

2

z

z

a a

b b

(173)

Hence, we find

0 ( )

2 2

const,2

abz a b

abz

H

(174)

where ab a b is the transition frequency of the atom. We can choose the middle

point between a and b as the origin for the zero energy. This leads to 0 / 2a and

0 / 2b . Then, the constant is the above expression for the Hamiltonian 0H is zero.

More general, a constant in the Hamiltonian can always be neglected because it

commutes with the density operator and the observables operators and consequently does

not affect their time evolution.

We now describe the atom-field interaction. The interaction part of the Hamiltonian is

the operator for the interaction energy between the atom and the field. We assume that

the field is linearly polarized along the x direction. We use the dipole approximation for

the interaction. Then, the interaction part of the Hamiltonian is given by

(| | | | | | | | )

(| | | | )

(| | | |) .

I

aa bb ab ba

ab ba

x

H d E exE

e a a x b b x a b x b a x E

e a b x b a x E

a b b a d E

(175)

Here we have used the properties 0aa bbx x , have introduced the notation x abd ex ,

which is called matrix element of the atomic dipole moment, and have assumed for

simplicity that abx and consequently xd are real parameters.

We present the electric component of the light field in the form

0 0

1cos .

2

i t i tE E t e e E (176)

We introduce the Rabi frequency

0 / .xd E (177)

Then, we obtain

Page 42: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

42

(| | | |)( )2

( )( ) .2

i t i t

I

i t i t

H a b b a e e

e e

(178)

Here we have introduced the upward transition operator

| |ab a b (179)

and the downward transition operator

| | .ba b a (180)

We note that, for a free atom, in the Heisenberg presentation, the transition operators

| |a b and | |b a oscillate as abi te

and abi te

, respectively. Indeed, for a free

atom we have Tr Tr | | | | (0) abi t

ab abb a a b e

. Therefore, the

terms | |i t i te a b e and | |i t i te b a e

quickly vary as ( )abi t

e

and ( )abi t

e

,

respectively. Meanwhile, | |i t i te a b e

and | |i t i te b a e slowly vary as

( )abi te

and

( )abi te

, respectively.

Let’s come back to the interaction Hamiltonian (178). We neglect the fast rotating

terms | | i ta b e and | | i tb a e . This approximation is called the rotating-wave

approximation. The result is

( )2

(| | | | ).2

i t i t

I

i t i t

H e e

a b e b a e

(181)

Appendix: Properties of the Pauli operators , , and z :

The operators | |a b , | |b a , and | | | |z a a b b are called the Pauli

operators. The matrix forms of these operators are

0 1,

0 0

0 0,

1 0

1 0.

0 1z

(182)

The operators x and ( )y i together with z are the original Pauli

operators invented by W. Pauli to describe the spin 1/2 of an electron in the first half of

the last century.

We can easily show that

Page 43: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

43

2 2

2

0,

1,z

1(1 ),

2

1(1 ),

2

z

z

,

,

z

z

and

,

.

z

z

The above relations allow us to reduce any function ( , , )zf of the Pauli operators

to a linear form of the type z zc c c .

In particular, we find the following commutation relations:

[ , ] 2 ,

[ , ] 2 ,

[ , ] .

z

z

z

Exercise

Consider a free two-level atom, with the Hamiltonian 00

2zH H

. Use the

commutation relations for the Pauli operators to derive the Heisenberg equations for these

operators.

Solution

The Heisenberg equation for the observable O of a quantum system with the

Hamiltonian H reads

[ , ].d i

O H Odt

When we use the commutation relations [ , ] 2z , [ , ] 2z , and

[ , ] z and the Hamiltonian 00

2zH H

, we find

Page 44: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

44

0

0 0

0 0

[ , ] 0,2

[ , ] ,2

[ , ] .2

z z z

z

z

d i

dt

d ii

dt

d ii

dt

The solutions to the above equations are ( ) (0)z zt , 0( ) (0)exp( )t i t , and

0( ) (0)exp( )t i t .

2. Optical Bloch equations

a) Evolution equations for the state vector of a pure state of a two-level atom

We first consider the case where the state of the atom is a pure state, described by a

state vector

| | | .a bC a C b (183)

The state vector | satisfies the Schrödinger equation

0| | ( ) | .I

di H H H

dt (184)

For the probability amplitudes aC and bC , we find the equations

,2

.2

i t

a a a b

i t

b b b a

d iC i C e C

dt

d iC i C e C

dt

(185)

The case of exact resonance:

Let consider the case of resonance, where the frequency ω of the field coincides with

the atomic transition frequency 0 a b , that is, 0 . We change the fast

oscillating amplitudes aC and bC to the slowly varying amplitudes

,

.

a

b

i t

a a

i t

b b

c C e

c C e

(186)

Then, Eqs. (185) yield

,2

.2

a b

b a

d ic c

dt

d ic c

dt

(187)

The solutions for ac and bc can be written as

Page 45: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

45

( ) (0)cos (0)sin ,2 2

( ) (0)cos (0)sin .2 2

a a b

b b a

t tc t c ic

t tc t c ic

(188)

This solution is general with respect to the initial condition.

Example 1:

We consider the situation where the atom is initially in the ground state b, that is,

(0) 0ac and (0) 1bc . In this case, we find

( ) sin ,2

( ) cos .2

a

b

tc t i

tc t

(189)

Hence, we have

( ) sin ,2

( ) cos .2

a

b

i t

a

i t

b

tC t i e

tC t e

(190)

The populations of the levels, described by the diagonal matrix elements aa and bb ,

are found to be

2 2

2 2

( ) | ( ) | sin ,2

( ) | ( ) | cos .2

aa a

bb b

tt C t

tt C t

(191)

As seen, the populations oscillate in time, with the frequency Ω. Such oscillations are

caused by the driving field. They are different from the optical oscillations, which occur

with the frequency . The oscillations of the populations, caused by the driving field, are

called the Rabi oscillations, and Ω is called the Rabi frequency. The Rabi oscillations

mean that the atom jumps forth and back between the ground and excited states.

Meanwhile, the coherence (interference) is described by the off-diagonal matrix

element

0

*

( )

( ) ( ) ( )

sin cos2 2

sin( ) sin( ) .2 2

a b

ab a b

i t

i t i t

t C t C t

t ti e

i it e t e

(192)

Page 46: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

46

Note that the coherence ab oscillates with the optical frequency 0 , and the slowly

varying envelope of the coherence oscillates with the Rabi frequency Ω. We usually have

. Thus, the Rabi oscillations are usually very slow compared to the optical

oscillations.

Example 2:

We consider the situation where the atom is initially in the excited state a, that is,

(0) 1ac and (0) 0bc . In this case, we find

( ) cos2

( ) sin .2

a

b

tc t

tc t i

(193)

Hence, we have

( ) cos ,2

( ) sin .2

a

b

i t

a

i t

b

tC t e

tC t i e

(194)

The populations of the levels, described by the diagonal matrix elements aa and bb ,

are found to be

2 2

2 2

( ) | ( ) | cos ,2

( ) | ( ) | sin .2

aa a

bb b

tt C t

tt C t

(195)

As seen, the populations oscillate in time, with the Rabi frequency Ω. Meanwhile, the

coherence (interference) is

0

*

( )

( ) ( ) ( )

sin cos2 2

sin( ) sin( ) .2 2

a b

ab a b

i t

i t i t

t C t C t

t ti e

i it e t e

(196)

We also observe that the coherence ab oscillates with the optical frequency 0 , and

the slowly varying envelope of the coherence oscillates with the Rabi frequency Ω.

Example 3:

We consider the situation where the atom is initially in a linear superposition of the

excited state a and the ground state b, with the probability amplitudes (0) 1/ 2ac and

(0) 1/ 2bc . In this case, we obtain the solution

Page 47: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

47

1

( ) ( ) cos sin ,2 22

a b

t tc t c t i

(197)

which leads to

1( ) cos sin ,

2 22

1( ) cos sin .

2 22

a

b

i t

a

i t

b

t tC t i e

t tC t i e

(198)

Hence, we find that the populations of the levels are constant in time:

( ) ( ) 1/ 2.aa bbt t (199)

We also find that the coherence is oscillating in time, with a constant envelope:

0( )* 1 1 1( ) ( ) ( ) .

2 2 2a bi t i t i t

ab a bt C t C t e e e (200)

b) Evolution equations for the density operator of a general quantum state of

a two-level atom with no decay

We now consider the case where the state of the atom is an arbitrary state, described

by a density operator ρ. The density operator is governed by the Schrödinger equation

1

[ , ].d

Hdt i

(201)

To obtain the evolution equations for the matrix elements of , we can use Eq. (201)

directly. For this purpose, we write

†( ),d

i O Odt (202)

where

1

.O H

(203)

In the matrix form, we have

† *( ) ( ).d

i O O i O Odt

(204)

Let’s calculate the matrix elements O . When we use the explicit expression for the

Hamiltonian 0 IH H H , we find

Page 48: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

48

0

1 1( )

| | | | (| | | | ).2

I

i t i t

a b

O H H H

a a b b a b e b a e

(205)

We can easily show that

,2

,2

,2

.2

i t

aa a aa ba

i t

bb b bb ab

i t

ab a ab bb

i t

ba b ba aa

O e

O e

O e

O e

(206)

When we insert the above matrix elements into Eq. (204), we obtain

( ),2

( ),2

( ).2

i t i t

aa ba ab

i t i t

bb ba ab

i t

ab ab ab aa bb

d ie e

dt

d ie e

dt

d ii e

dt

(207)

Note that we can also derive Eqs. (207) with the use of Eqs. (185) and the definitions

2

2

*

*

| | ,

| | ,

,

.

aa a

bb b

ab a b

ba ab

C

C

C C

(208)

We introduce the notation ab for the detuning of the field. It is convenient to

use new variables

,

,

,

.

i t

ab ab

i t

ba ba

aa aa

bb bb

e

e

(209)

In terms of these variables, we have

Page 49: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

49

( ),2

( ),2

( ).2

aa ba ab

bb ba ab

ab ab aa bb

d i

dt

d i

dt

d ii

dt

(210)

The above equations are called the optical Bloch equations for two-level atoms without

decay.

Example:

We consider the situation where the atom is initially in a statistical mixture of the

excited state a and the ground state b, with the weight factors 1/ 2a bp p . In this case,

the matrix elements of the initial density of the atom are given by

(0) (0) 1 / 2,

(0) (0) 0.

aa bb

ab ba

(211)

Consequently, we have

(0) (0) 1 / 2,

(0) (0) 0.

aa bb

ab ba

(212)

The Bloch equations show that the above values are true for any time t, that is,

( ) ( ) 1 / 2,

( ) ( ) 0.

aa bb

ab ba

t t

t t

(213)

Note that the above solutions and the solutions for example 3 in the previous subsection

give the same populations but different coherences.

Exercise

Derive Eqs. (207) from Eqs. (185). Such a derivation is valid only for the case of a

pure state. However, the result is general: it coincides with that for an arbitrary state.

Solution

Equations (185) and their complex conjugates can be written as

Page 50: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

50

* * *

* * *

,2

,2

,2

.2

i t

a a a b

i t

a a a b

i t

b b b a

i t

b b b a

d iC i C e C

dt

d iC i C e C

dt

d iC i C e C

dt

d iC i C e C

dt

When we use the above equations and the relations

2

2

*

*

| | ,

| | ,

,

,

aa a

bb b

ab a b

ba ab

C

C

C C

we can easily derive Eqs. (207).

c) Evolution equations for the density operator of a system with decay

We now include the spontaneous emission of the atom into our treatment. In this case,

the state of the atom is described by a reduced density operator , which is governed by

the master equation

1

[ , ] ,d

Hdt i

(214)

where the last term describes the decay and is given by

[ 2 ].2

(215)

We can rewrite Eq. (214) as

coherent decay( ) ( ) , (216)

where

coherent

1( ) [ , ]H

i

(217)

and

decay( ) [ 2 ].2

(218)

In the matrix form, we have

coherent decay( ) ( ) . (219)

Page 51: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

51

The matrix elements coherent( ) are the matrix elements of the operator

coherent

1( ) [ , ]H

i

. They are given by Eqs. (207). The matrix elements decay( ) are

the matrix elements of the operator decay( ) [ 2 ].2

They are given by the expressions on the right-hand side of Eqs. (166). Indeed, we can

easily show that

decay

decay

decay

( ) ,

( ) ,

( ) .2

aa aa aa

bb bb aa

ab ab ab

(220)

To obtain the evolution equations for the matrix elements of , we add to Eqs. (207) the

decay terms (220). This procedure leads to

( ),2

( ),2

( ).2 2

i t i t

aa aa ba ab

i t i t

bb aa ba ab

i t

ab ab ab aa bb

d ie e

dt

d ie e

dt

d ii e

dt

(221)

We introduce the notation ab for the detuning of the field. It is convenient to use

new variables

,

,

,

.

i t

ab ab

i t

ba ba

aa aa

bb bb

e

e

(222)

Using these variables, we obtain

( ),2

( ),2

( ).2 2

aa aa ba ab

bb aa ba ab

ab ab aa bb

d i

dt

d i

dt

d ii

dt

(223)

The above equations are called the optical Bloch equations for two-level atoms with

decay.

The above optical Bloch equations play an important role in optics. In particular, they

are used to calculate the absorption spectrum of the atoms.

Page 52: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

52

3. Absorption spectrum: saturation and power broadening

We introduce the population difference

aa bbw (224)

and the optical coherence

.c ab (225)

Then, we can rewrite Eqs. (223) as

*( 1) ( ),

.2 2

c c

c c

dw w i

dt

d ii w

dt

(226)

We consider the adiabatic (steady-state) regime where

0.cdw d

dt dt

(227)

In this regime, Eqs. (226) yield

*( ) ,

.2 2

c c

c

w i

ii w

(228)

The solutions to the above equations are

1

1w

s

(229)

and

.2( / 2 )(1 )

c

i

i s

(230)

Here s is the saturation parameter and is given by

2 2

0

2 2 2 2

/ 2,

2 | / 2 | / 4 1 (2 / )

ss

i

(231)

where 0s is the on-resonance saturation parameter and is defined as

2

0 2

2.s

(232)

Page 53: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

53

For low saturation, 1,s the population is mostly in the ground state ( 1w ). For

high saturation, 1,s the population is almost equally distributed between the ground

and excited states ( 0w , i.e. , 1/ 2aa bb ).

The parameter 0s can be written in another form

0 .

s

Is

I (233)

Here

2

0 0 / 2I c E (234)

is the intensity of the laser beam and

2 2

0

22 2s

x

cI

d

(235)

is the so-called saturation intensity. According to the Weisskopf-Wigner theory, we have

3 2 3 3 2 3

0 0 0 0| | /3 / .xd c d c

(236)

Here we have introduced for convenience a new notation 0 ab a b . With the

help of Eq. (236), we can show that

3 3

0 0/ / ,sI hc hc (237)

where

1/ (238)

is the lifetime of the excited state and 0 is the atomic resonant wavelength.

The population of the excited state is given by

0

2

0

1 / 2(1 ) .

2 2(1 ) 1 (2 / )aa

s sw

s s

(239)

Since the population in the excited state decays at a rate , the total scattering rate scatt

of light from the laser field is given by

0scatt 2

0

/ 2.

1 (2 / )aa

s

s

(240)

Note that, at high intensity, scatt saturates to / 2 .

Equation (240) can be rewritten as

0scatt 2

0

/ 2,

1 1 (2 / ')

s

s

(241)

where

Page 54: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

54

0' 1 .s (242)

The dependence of the scattering rate scatt on the detuning is shown in Fig. 3 for

several values of the saturation parameter 0s . This dependence describes the absorption

spectrum. The width of the spectral profile is characterized by ' . Note that the width

' increases with increasing intensity of the field. This phenomenon is called the power

broadening of the spectral profile.

The power broadening is a direct result of the fact that, for large 0s , the absorption

continues to increase with increasing intensity in the wings, whereas, in the center, half of

the atoms are already in the excited state. The absorption in the center is saturated,

whereas in the wings it is not.

Figure 3: Scattering rate scatt as a function of the detuning for several values of the saturation

parameter 0s .

The scattering results in intensity loss when the beam travels through a sample of

atoms. The amount of scattered power per unit of volume is scattn , where n is the

number density of the atoms. Thus, we have

0

scatt 2 2

0 0

/ 2 ( / 2)( / )

1 (2 / ) 1 (2 / )

.

sdI s n I In n

dz s s

n I I

(243)

Page 55: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

55

Here is the scattering cross section and n is the absorption coefficient. These

coefficients are given by

2

0

1.

2 1 (2 / )sn I s

(244)

When we use the expressions 2 2

0

2 3

02 2s

x

c hcI

d

, we can rewrite Eq. (244) as

2

2

0 0

2

0

2

0

2 1

1 (2 / )

1.

2 1 (2 / )

xd

n c s

s

(245)

For low intensity, 0 1s , we have

2

2

0

2

0

2

2 1

1 (2 / )

1.

2 1 (2 / )

xd

n c

(246)

In this regime, the absorption coefficient is independent of the field intensity I.

Therefore, the solution for the field intensity is

0( ) .zI z I e (247)

At exact resonance ( 0 ), the cross section (89) reduces to

2

0 .2n

(248)

In the case where sI I , the absorption coefficient tends to zero. This does not

mean the vanishing of the absorption. Indeed, in the limit

sI I (249)

we have

/ 2.I n (250)

Hence, Eq. (243) yields

( / 2).dI

I ndz

(251)

The solution to the above equation is

(0) ( / 2) .I I n z (252)

Page 56: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

56

According to the above equation, the field intensity will linearly reduce with increasing

propagation length. However, after the field intensity I becomes small as compared to

the saturation intensity sI , the field intensity I will exponentially decrease with

increasing propagation length z.

4. Field propagation equation

We study the propagation of the field along the z direction. The one-dimensional

wave equation reads

2 2 2 2

02 2 2 2 2 2

0

1,E P P

z c t t c t

(253)

where P is the polarization density. We expand the field and the polarization in the forms

( ) * ( )

0 0

( ) * ( )

0 0

1,

2

1.

2

i t kz i t kz

i t kz i t kz

E E e E e

P P e P e

(254)

Here and /k c are the frequency and wave number of the field, respectively.

We introduce new variables

,

/ .

z

t z c

(255)

In terms of these variables, we have

*

0 0

*

0 0

1,

2

1.

2

i i

i i

E E e E e

P P e P e

(256)

We also have

,

,

z c

t

(257)

and, consequently,

2 2 2 2

2 2 2 2

2 2

2 2

2,

.

z c c

t

(258)

On substituting Eqs. (256) and (258) into Eq. (253), we find

Page 57: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

57

2 2

02

22

02 2

0

2 2c.c.

12 c.c.

i

i

ie E

c c

e i Pc

(259)

The above equation will be satisfied if

2 2 2

2

0 02 2 2

0

2 2 12 .

iE i P

c c c

(260)

We assume that the envelopes 0E and 0P vary slowly in space and time. When we

keep only the lowest nonvanishing order on each side of Eq. (260), we obtain

0 0

0

.2

iE P

c

(261)

Since z , we can rewrite Eq. (261) as

0 0 0

0 0

,2 2

i ikE P P

z c

(262)

keeping in mind that the partial derivative with respect to z in Eq. (262) is taken under the

condition / constantt z c . Equation (262) is called the propagation equation for

the field in the slowly varying envelope approximation.

5. Susceptibility, refractive index, and absorption coefficient

We have

0 0 0,P E (263)

where is the susceptibility. We write

' '',i (264)

where ' and '' are the real and imaginary parts of . Then, Eq. (262) becomes

0 0 0( ' '') ( ' '') .2 2

iE i E i E

z c c

(265)

The real part ' determines the shift of the wave number of the field, while the

imaginary part '' determines absorption. The refractive index of the medium is defined

by

ref

'1 ,

2n

(266)

while the absorption coefficient is defined by

Page 58: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

58

'' ''.kc

(267)

In terms of refn and , we can rewrite Eq. (265) as

0 ref 0( 1) .

2E ik n E

z

(268)

At low intensity, we can ignore the dependences of refn and on the field intensity. In

this case, the solution of Eq. (268) for the field envelope 0E is

ref( 1) /2

0 .ik n z zE Ae e (269)

When we use the presentation | | iA A e and the formula,

( ) * ( )

0 0

1,

2

i t kz i t kzE E e E e (270)

we obtain

/2

ref| | cos( ).zE A e t kn z (271)

The expression (271) explains why refn is called the refractive index and why is called

the absorption coefficient.

We now calculate , refn , and . As shown in Sec. I.2.e, the polarization of a single

two-level atom is ( ).x ab baP d Here, we have assumed for simplicity that xd is a

real parameter. For a medium with the atomic density n, the polarization density of the

medium is given by

*( ) ( ).i i

x ab ba x c cP nd nd e e (272)

Consequently, the envelope of the polarization density is

0 2 .x cP nd (273)

Inserting Eq. (230) into Eq. (273) yields

0

2

0

2( 2 )(1 )

2.

( 2 )(1 )

x

x

iP nd

i s

nd Ei

i s

(274)

Hence, we have

0 0 0,P E (275)

where the susceptibility is given by

Page 59: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

59

0

0 0

2

0

2

2 2

0 0

2 1

( 2 )(1 )

2 2.

1 (2 / )

x

x

P

E

ndi

i s

nd ii

s

(276)

Then, we find

2

2 2

0 0

4'

1 (2 / )

xnd

s

(277)

and

2

2

0 0

2 1'' .

1 (2 / )

xnd

s

(278)

With the help of Eqs. (266) and (267), we obtain

2

ref 2 2

0 0

3

0

2 2

0

21

1 (2 / )

/1

4 1 (2 / )

xndn

s

n

s

(279)

and

2

2

0 0

2

0

2

0

2 1

1 (2 / )

1.

2 1 (2 / )

xn d

c s

n

s

(280)

Here we have used the expression 3 2 3

0 0/xd c and the approximation 0 .

Equation (280) is in agreement with Eq. (245). Note that refn and depend on the field

intensity via the saturation parameter 0s .

Page 60: DENSITY-MATRIX FORMALISM IN QUANTUM OPTICSsop.uohyd.ac.in/~sdg/Resources/fam2.pdf · 2018-03-29 · Each ket vector _²I is associated with a bra vector, denoted by the symbol ¢I|,

60

Figure 4: Real and imaginary parts of the susceptibility as functions of the normalized detuning

/ of the field for the saturation parameter 0 0.1s .

According to Eqs. (266) and (267), the real part ' and the imaginary part '' of the

susceptibility determine the refractive index refn and the absorption coefficient . We

illustrate in Fig. 4 the frequency dependence of ' and '' . The figure shows that ' is

large in the region / 1. However, in this region, '' is also large. Thus, in a

medium of two-level atoms, a high refractive index is accompanied by large dispersion.